Abstractions for nonblocking supervisory control of Extended Finite Automata

An abstraction method for Extended Finite Automata (EFAs), i.e., finite automata extended with variables, using transition projection is presented in this work. A manufacturing system modeled by EFAs is abstracted into subsystems that embody internal interacting dependencies. Synthesis and verification of subsystems are achieved through their model abstractions rather than their global model. Sufficient conditions are presented to guarantee that supervisors result in maximally permissive and nonblocking control. An examples demonstrate the computational effectiveness and practical usage of the approach.

[1]  Bengt Lennartson,et al.  Supervisor computation and representation: A case study , 2010, WODES.

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

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

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

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

[6]  Christel Baier,et al.  Principles of model checking , 2008 .

[7]  Christel Baier,et al.  PROBMELA: a modeling language for communicating probabilistic processes , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

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

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

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

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

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

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

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

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

[16]  T. Moor,et al.  A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[17]  Bengt Lennartson,et al.  Supervisory control of extended finite automata using transition projection , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

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

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

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

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

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

[23]  Bengt Lennartson,et al.  A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata , 2012, IEEE Transactions on Control Systems Technology.

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

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