Supervisory control of extended finite automata using transition projection

A limitation of the Ramadge and Wonham (RW) framework for the supervisory control theory is the explicit state representation using finite automata, often resulting in complex and unintelligible models. Extended finite automata (EFAs), i.e., deterministic finite automata extended with variables, provide compact state representation and then make the control logic transparent through logic expressions of the variables. A challenge with this new control framework is to exploit the rich control structure established in RW's framework. This paper studies the decentralized control structure with EFAs. To reduce the computational complexity, the controller is synthesized based on model abstraction of subsystems, which means that the global model of the entire system is unnecessary. Sufficient conditions are presented to that guarantee the decentralized supervisors result in maximally permissive and nonblocking control to the entire system.

[1]  Knut Åkesson,et al.  Modeling of discrete event systems using finite automata with variables , 2007, 2007 46th IEEE Conference on Decision and Control.

[2]  Thierry Jéron,et al.  Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems , 2005, FM.

[3]  A. Rosenfeld,et al.  IEEE TRANSACTIONS ON SYSTEMS , MAN , AND CYBERNETICS , 2022 .

[4]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[5]  M.H. de Queiroz,et al.  Modular control of composed systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[6]  Bengt Lennartson,et al.  Sequence Planning for Integrated Product, Process and Automation Design , 2010, IEEE Transactions on Automation Science and Engineering.

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

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

[9]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

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

[11]  Walter Murray Wonham,et al.  On the complexity of supervisory control design in the RW framework , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[12]  Bengt Lennartson,et al.  Reduced-order synthesis of operation sequences , 2011, ETFA2011.

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

[14]  Bengt Lennartson,et al.  BDD-based supervisory control on extended finite automata , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[15]  Bengt Lennartson,et al.  Efficient supervisory synthesis of large systems , 2004 .

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

[17]  J. G. Thistle.  Supervisory control of discrete event systems , 1996 .

[18]  Bengt Lennartson,et al.  Automatic generation of controllers for collision-free flexible manufacturing systems , 2010, 2010 IEEE International Conference on Automation Science and Engineering.

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

[20]  R. Malik,et al.  Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[21]  Alessandro Giua,et al.  Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems , 2002, Discret. Event Dyn. Syst..

[22]  Robi Malik,et al.  Nondeterminism avoidance in compositional synthesis of discrete event systems , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

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

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

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

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

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

[28]  Knut Åkesson,et al.  Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata , 2011, IEEE Transactions on Automation Science and Engineering.

[29]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

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

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

[33]  Kai C. Wong,et al.  On the Complexity of Projections of Discrete-Event Systems , 1998 .