Nonblocking Hierarchical Control of Decentralized Discrete Event Systems

This contribution investigates the hierarchical control of decentralized discrete event systems (DES) that are synchronized by shared events. A 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. Our main theorem identifies sufficient conditions for this desirable property.

[1]  Lei Feng,et al.  Computationally efficient supervisor design: abstraction and modularity , 2006, 2006 8th International Workshop on Discrete Event Systems.

[2]  T. Moor,et al.  Marked-String Accepting Observers for the Hierarchical and Decentralized Control of Discrete Event Systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[3]  J. Rutten.  Coalgebra, concurrency, and control , 1999 .

[4]  J.H. van Schuppen,et al.  Optimal solutions of modular supervisory control problems with indecomposable specification languages , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

[6]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[7]  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).

[8]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory control-part II: parallel case , 2005, IEEE Transactions on Automatic Control.

[9]  Jörg Raisch,et al.  Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1 , 2003, ADHS.

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

[11]  Jean-Claude Fernandez,et al.  An Implementation of an Efficient Algorithm for Bisimulation Equivalence , 1990, Sci. Comput. Program..

[12]  B. Gaudin,et al.  Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models , 2006, 2006 8th International Workshop on Discrete Event Systems.

[13]  T. Yoo,et al.  Accepted for publication in Discrete Event Dynamic Systems Theory and Applications A General Architecture for Decentralized Supervisory Control of Discrete Event Systems , 2002 .

[14]  D.M. Tilbury,et al.  Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction , 2006, 2006 8th International Workshop on Discrete Event Systems.

[15]  Walter Murray Wonham,et al.  Modular Control and Coordination of Discrete-Event Systems , 1998, Discret. Event Dyn. Syst..

[16]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

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

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

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

[20]  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..

[21]  César R. C. Torrico,et al.  Hierarchical supervisory control of discrete event systems based on state aggregation , 2002 .

[22]  J. H. Schuppen,et al.  Modular Supervisory Control with General Indecomposable Specification Languages , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[23]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.

[24]  B. Gaudin,et al.  Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

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

[26]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[27]  T. Moor,et al.  Hierarchical Discrete Event Systems with Inputs and Outputs , 2006, 2006 8th International Workshop on Discrete Event Systems.

[28]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

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

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