Masked prioritized synchronization for interaction and control of discrete event systems

Extends the formalism of prioritized synchronous composition (PSC), proposed by Heymann for modeling interaction (and control) of discrete event systems, to permit system interaction with their environment via interface masks. This leads to the notion of masked prioritized synchronous composition (MPSC), which we formally define, MPSC can be used to model interaction of systems at single as well as multiple interfaces. We show that MPSC can alternatively be computed by "unmasking" the PSC of "masked" systems, thereby establishing a link between MPSC and PSC. We next prove that MPSC is associative and thus suitable for modeling and analysis of supervisory control of discrete event systems. Finally, we use MPSC of a discrete event plant and a supervisor for controlling the plant behavior and show (constructively) that under the absence of "driven" events, controllability together with normality of the given specification serve as conditions for the existence of a supervisor. This extends the results on supervisory control, which permits control and observation masks to be associated with the plant only.

[1]  K. Inan.  An algebraic approach to supervisory control , 1992, Math. Control. Signals Syst..

[2]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[3]  Walter Murray Wonham,et al.  Hierarchical control of timed discrete-event systems , 1996, Discret. Event Dyn. Syst..

[4]  Mark A. Shayman,et al.  Nonblocking supervisory control of nondeterministic systems via prioritized synchronization , 1996, IEEE Trans. Autom. Control..

[5]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[6]  Silvano Balemi.  Input/output discrete event processes and communication delays , 1994, Discret. Event Dyn. Syst..

[7]  G. Meyer,et al.  An algebra of discrete event processes , 1991 .

[8]  Shengbing Jiang,et al.  Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization , 2002, IEEE Trans. Autom. Control..

[9]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[10]  M. Shayman,et al.  Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation , 1997 .

[11]  M. Heymann.  Concurrency and discrete event control , 1990, IEEE Control Systems Magazine.

[12]  Mark A. Shayman,et al.  Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models , 1995 .

[13]  Mark A. Shayman,et al.  A new framework for supervisory control , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[14]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[15]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[16]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[17]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[18]  Mark A. Shayman,et al.  Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems , 1999, IEEE Trans. Autom. Control..

[19]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[20]  Mark A. Shayman,et al.  Supervisory Control of Real-Time Systems Using Prioritized Synchronization , 1996, Hybrid Systems.

[21]  Martin Fabian.  On Object Oriented Nondeterministic Supervisory Control , 1995 .