Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems

The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural observer condition and the msa-observer condition, also LCC can be formulated in terms of a quasi-congruence. Based on existing algorithms in the literature, this allows to algorithmically compute natural projections that are either natural observers or msa-observers and that additionally fulfill LCC. The obtained results are illustrated by the synthesis of nonblocking and maximally permissive supervisors for a manufacturing system.

[1]  Walter Murray Wonham,et al.  On the Computation of Observers in Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

[2]  Knut Åkesson,et al.  Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence , 2007, Discret. Event Dyn. Syst..

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

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

[5]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[6]  K. Schmidt,et al.  On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

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

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

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

[10]  J.H. van Schuppen,et al.  Coordination control of discrete-event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

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

[12]  Lei Feng,et al.  Supervisory Control Architecture for Discrete-Event Systems , 2008, IEEE Transactions on Automatic Control.

[13]  Rong Su,et al.  Supervisor synthesis based on abstractions of nondeterministic automata , 2008, 2008 9th International Workshop on Discrete Event Systems.

[14]  Antonio Eduardo Carrilho da Cunha,et al.  Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking , 2007, IEEE Transactions on Automatic Control.

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

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

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

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

[19]  W. M. Wonham,et al.  On the Computation of Natural Observers in Discrete-Event Systems , 2006, CDC.

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

[21]  Thomas Moor,et al.  Nonblocking Hierarchical Control of Decentralized Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[22]  D.M. Tilbury,et al.  Modular supervisory control with equivalence-based conflict resolution , 2008, 2008 American Control Conference.

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

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

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

[26]  T. Moor,et al.  Controller synthesis for an I/O-Based hierarchical system architecture , 2008, 2008 9th International Workshop on Discrete Event Systems.