Modular supervisory control with equivalence-based conflict resolution

This paper proposes a set of requirements on coordinating filters that will resolve conflict among modular supervisors. Our specific approach is unique in that it employs a conflict-equivalent abstraction, which offers the potential for greater reduction than those abstractions employed in existing works on conflict resolution. The resulting control implemented by the modular supervisors in conjunction with coordinating filters meeting the proposed requirements is shown to be safe and nonblocking. Approaches for constructing these filters are discussed and it is proposed that a static state-feedback approach to control be employed that implements deterministic coordinating filter control laws by nondeterministic automata.

[1]  Robi Malik,et al.  Modular Synthesis of Discrete Controllers , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[2]  Rong Su,et al.  A Distributed Supervisor Synthesis Approach Based on Weak Bisimulation , 2006, 2006 8th International Workshop on Discrete Event Systems.

[3]  Mark A. Shayman,et al.  Non-blocking supervisory control of nondeterministic discrete event systems , 1994, Proceedings of 1994 American Control Conference - ACC '94.

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

[5]  Bengt Lennartson,et al.  On non-deterministic supervisory control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

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

[7]  Shigemasa Takai,et al.  Characterization of all M-controllable subpredicates of a given predicate , 1998 .

[8]  Stéphane Lafortune,et al.  Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction , 2008 .

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

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

[11]  A. Overkamp.  Supervisory control using failure semantics and partial specifications , 1997 .

[12]  Paulo Tabuada.  Open Maps, Alternating Simulations and Control Synthesis , 2004, CONCUR.

[13]  P. S. Thiagarajan,et al.  Branching time controllers for discrete event systems , 2002, Theor. Comput. Sci..

[14]  Robi Malik,et al.  Conflicts and Fair Testing , 2006, Int. J. Found. Comput. Sci..

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

[16]  K. Inan.  Supervisory control and the gateway problem , 1993 .

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

[18]  R. Malik,et al.  Modular nonblocking verification using conflict equivalence , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

[20]  José Eduardo Ribeiro Cury,et al.  Multitasking Supervisory Control of Discrete-Event Systems , 2005, Discret. Event Dyn. Syst..

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

[22]  Mark A. Shayman,et al.  Nonblocking supervisory control of nondeterministic systems via prioritized synchronization , 1996, IEEE Trans. Autom. Control..

[23]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[24]  Patrícia N. Pena,et al.  Conflicts and projections , 2007 .

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

[26]  J.E.R. Cury,et al.  Testing Modularity of Local Supervisors: An Approach Based on Abstractions , 2006, 2006 8th International Workshop on Discrete Event Systems.

[27]  Michael Heymann,et al.  Nonblocking Supervisory Control of Nondeterministic Systems , 1997 .

[28]  Shengbing Jiang,et al.  Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control , 2005, IEEE Transactions on Automatic Control.

[29]  Jong Tae Lim,et al.  Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach , 2000 .

[30]  Vijay K. Garg,et al.  Predicates and predicate transformers for supervisory control of discrete event dynamical systems , 1993, IEEE Trans. Autom. Control..

[31]  Shengbing Jiang,et al.  Control of nondeterministic discrete-event systems for bisimulation equivalence , 2006, IEEE Trans. Autom. Control..