A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems

This contribution investigates the hierarchical control of decentralized DES which are synchronized by shared events. A multi-level hierarchical control architecture providing hierarchical consistency is introduced. Moreover, it allows for composition of decentralized subsystems on the high-level of the hierarchy, and hence reduces the computational complexity of supervisory control synthesis for language inclusion specifications. In this context, a crucial issue is the nonblocking operation of the overall system. In our main theorem, marked state acceptance and marked state controllability are identified as sufficient conditions for this desirable property

[1]  Sang-Heon Lee,et al.  Structural Decentralised Control of Concurrent Discrete-event Systems , 2002, Eur. J. Control.

[2]  J.E.R. Cury,et al.  An assume-guarantee reasoning for hierarchical coordination of discrete event systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[3]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  Shengbing Jiang,et al.  Decentralized control of discrete event systems with multiple local specifications , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[6]  Ken Q. Pu.  Modeling and control of discrete-event systems with hierarchical abstraction , 2000 .

[7]  Peter E. Caines,et al.  Dynamical consistency in hierarchical supervisory control , 2002, IEEE Trans. Autom. Control..

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

[9]  Johann Reger,et al.  Hierarchical control for structural decentralized DES , 2004 .

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

[11]  L. Grigorov.  Hierarchical control of discrete-event systems , 2005 .

[12]  Klaus Werner Schmidt,et al.  Nonblocking hierarchical control of decentralized DES , 2005 .