A New Framework for Supervisory Control of Discrete Event Systems
MetadataShow full item record
We propose a new framework for supervisory control design for discrete event systems. Some of the features of the proposed approach are: (i) By associating control and observation capabilities and limitations with the plant as well as the supervisor, it models reactive systems, and also treats plant and supervisory processes in a symmetric way. (ii) By introducing a single general interconnection operation, called masked composition, it permits open-loop as well as closed-loop control. (iii) By viewing the uncontrollability of events as corresponding to a projection-type control mask, and considering more general nonprojection-type control as well as observation masks, it treats the controllability and observability of events in a unified way. (iv) It applies to both deterministic and nondeterministic plant models and supervisory design. The sublanguages of a given language that are realizable under control are closed under union. Hence, the supremal realizable sublanguage always exists. In addition, it yields conditions under which existence of a non-deterministic supervisor implies existence of a deterministic supervisor. (v) By encapsulating control and observation masks with process logic to form process objects, and using a single type of interconnection operator to build complex process objects out of simpler component process objects, it provides a foundation for an object-oriented approach to discrete event control.
Showing items related by title, author, creator and subject.
Justh, Eric W. (1998)Pattern-forming systems are used to model many diverse phenomena from biology,chemistry and physics. These systems of differential equations havethe property that as a bifurcation (or control) parameter passes through ...
Manikonda, Vikram (1998)The focus of this dissertation is to study issues related to controllability and stabilization of a class of underactuated mechanical systems with symmetry. In particular we look at systems whose configuration can be ...
Justh, Eric W.; Krishnaprasad, Perinkulam S. (1999)Basic properties of solutions and a Lyapunov functionalare presented for a complex activator-inhibitor equation witha cubic nonlinearity.Potential applications include control of coupled-oscillator arrays(for quasi-optical ...