Supervisory Control Architecture for Discrete-Event Systems

A flexible decentralized and hierarchical architecture is presented to reduce computational effort in designing optimal nonblocking supervisors for discrete-event systems (DES). We organize a DES into modular subsystems that embody internal interacting dependencies. Verification of, and coordination among modular subsystems are achieved through their model abstractions. Sufficient conditions are presented to guarantee that coordinators and modular supervisors result in maximally permissive and nonblocking control. A medium-sized example demonstrates the computational effectiveness of our approach.

[1]  Lei Feng,et al.  Computationally Efficient Supervisor Design: Control Flow Decomposition , 2006, 2006 8th International Workshop on Discrete Event Systems.

[2]  Raoguang Song,et al.  Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control , 2006, 2006 8th International Workshop on Discrete Event Systems.

[3]  K. Schmidt,et al.  A Hierarchical Architecture for Nonblocking Control of Decentralized Discrete Event Systems , 2005 .

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

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

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

[7]  R. Tennant.  Algebra , 1941, Nature.

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

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

[10]  A. F. Vaz,et al.  On supervisor reduction in discrete-event systems , 1986 .

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

[12]  Michael Heymann,et al.  Supervisory control of concurrent discrete-event systems , 1991 .

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

[14]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

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

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

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

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

[19]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

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

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

[22]  B. Gaudin,et al.  Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

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

[25]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

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

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

[28]  J.H. van Schuppen,et al.  Optimal solutions of modular supervisory control problems with indecomposable specification languages , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

[30]  W. M. Wonham,et al.  Supervisor Reduction for Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

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

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

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