S. Bose et al., BOUNDEDNESS ANALYSIS OF FINITELY RECURSIVE PROCESSES - PART II - SEQUENTIAL AND HYBRID PROCESSES, IEEE transactions on automatic control, 43(11), 1998, pp. 1532-1542
Part I of this paper has shown that a subclass of the finitely recursi
ve processes (FRP), composed without the sequential composition operat
or (SCO), is bounded. In this sequel it is first shown that boundednes
s is not guaranteed but decidable for the subclass of FRP built using
the SCO, but without the parallel composition operator (PCO), To overc
ome the limitation in modeling using the SCO only, some bounded hybrid
subclasses have been proposed where both the SCO and PCO can be used,
although in a restricted fashion, Finally, the proposed hybrid framew
ork is used to model a job-shop, and its potential in the specificatio
n and design of supervisory control systems is demonstrated.