Coordination Control of Distributed Discrete-Event Systems

A coordinated distributed discrete-event system consists of a coordinator and two or more subsystems. The coordinator directly influences the dynamics of the other subsystems but the subsystems do not directly influence each other. Coordination control of a coordinated distributed discrete-event system is to synthesize supervisors for the coordinator and for each of the subsystems so that the closed-loop system meets the specification. A characterization of the existence of such supervisors is presented as well as the solution to the problem of supremal supervision.

[1]  Jan H. van Schuppen,et al.  On the Control of the Paint Factory Scale Model - Case Study of a Production System Located at the TU/e - , 2011 .

[2]  Jan Komenda,et al.  Supervisory control synthesis of discrete-event systems using a coordination scheme , 2010, Autom..

[3]  T. Moor,et al.  libFAUDES — An open source C++ library for discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

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

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

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

[7]  Jan Komenda,et al.  Supervisory control of modular systems with global specification languages , 2008, Autom..

[8]  Pia L. Kempker,et al.  Construction of a coordinator for coordinated linear systems , 2009, 2009 European Control Conference (ECC).

[9]  Ryan J. Leduc,et al.  Synthesis Method for Hierarchical Interface-based Supervisory Control , 2007, 2007 American Control Conference.

[10]  Hervé Marchand,et al.  Supervisory Control of Product and Hierarchical Discrete Event Systems , 2004, Eur. J. Control.

[11]  Lei Feng,et al.  On the Computation of Natural Observers in Discrete-Event Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[12]  S. Marcus,et al.  On controllability and normality of discrete event dynamical systems , 1991 .

[13]  Jan Komenda,et al.  Control of discrete-event systems with modular or distributed structure , 2007, Theor. Comput. Sci..

[14]  Klaus Werner Schmidt,et al.  Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems , 2011, IEEE Transactions on Automatic Control.

[15]  J.E.R. Cury,et al.  Polynomial-time verification of the observer property in abstractions , 2008, 2008 American Control Conference.

[16]  Jan Komenda,et al.  On algorithms and extensions of coordination control of discrete-event systems , 2012, WODES.

[17]  Jan Komenda,et al.  Modular Control of Discrete-Event Systems With Coalgebra , 2008, IEEE Transactions on Automatic Control.

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

[19]  André C. M. Ran,et al.  Control for coordination of linear systems , 2008 .

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

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

[22]  Jan Komenda,et al.  Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages , 2011 .

[23]  Jan Komenda,et al.  Coordination control of discrete-event systems revisited , 2015, Discret. Event Dyn. Syst..

[24]  Lei Feng.  Computationally efficient supervisor design for discrete-event systems , 2007 .

[25]  Jan Komenda,et al.  On conditional decomposability , 2012, Syst. Control. Lett..

[26]  Jan Komenda,et al.  Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator , 2011, Syst. Control. Lett..

[27]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .