Hierarchical control of discrete-event systems

This paper is an overview of the current research on hierarchical control of discrete-event systems. Four major approaches are identified and described: bottom-up design, top-down design, state aggregation, and interface-based design. The research examined is grouped into these sections, in an attempt to unify the terminology and concepts where possible without an in-depth theoretical investigation. The motivation for this paper is to examine the different approaches to hierarchical control of discrete-event systems with an eye on their implications for the usability of the proposed models.

[1]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[2]  R. F. Drenick.  A mathematical organization theory , 1986 .

[3]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

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

[5]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[6]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

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

[8]  Michael Heymann,et al.  Control of discrete event systems modeled as hierarchical state machines , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[9]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

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

[11]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[12]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[13]  P. Caines,et al.  The hierarchical lattices of a finite machine , 1995 .

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

[15]  Peter E. Caines,et al.  The hierarchical control of ST-finite state machines , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[16]  Peter E. Caines,et al.  State aggregation and hierarchical supervisory control , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[17]  P. E. Caines,et al.  Control consistency and hierarchically accelerated dynamic programming , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[18]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[19]  C SIAMJ.,et al.  AN OPTIMAL CONTROL THEORY FOR DISCRETE EVENT SYSTEMS , 1998 .

[20]  Peyman Gohari-Moghadam.  A linguistic framework for controlled hierarchical DES , 1998 .

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

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

[23]  F. Lin,et al.  Modeling of discrete event systems using finite state machines with parameters , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[24]  Ken Q. Pu.  Modeling and control of discrete-event systems with hierarchical abstraction , 2000 .

[25]  S. Laurie Ricker,et al.  Know means no: Incorporating knowledge into discrete-event control systems , 2000, IEEE Trans. Autom. Control..

[26]  W. M. Wonham,et al.  Hierarchical interface-based non-blocking verification , 2000, 2000 Canadian Conference on Electrical and Computer Engineering. Conference Proceedings. Navigating to a New Era (Cat. No.00TH8492).

[27]  Haoxun Chen,et al.  Model aggregation for hierarchical control synthesis of discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[28]  J. E. R. Cury,et al.  A New approach for supervisory control of discrete event systems , 2001, 2001 European Control Conference (ECC).

[29]  Feng Lin,et al.  Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[30]  Mark Lawford,et al.  Hierarchical interface-based supervisory control: serial case , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[31]  Peter E. Caines,et al.  Dynamical consistency in hierarchical supervisory control , 2002, IEEE Trans. Autom. Control..

[32]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[33]  Peter E. Caines,et al.  Hierarchically accelerated dynamic programming for finite-state machines , 2002, IEEE Trans. Autom. Control..

[34]  J.E.R. Cury,et al.  An assume-guarantee reasoning for hierarchical coordination of discrete event systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[35]  José E. R. Cury,et al.  HIERARCHICALLY CONSISTENT CONTROLLED DISCRETE EVENT SYSTEMS , 2002 .

[36]  César R. C. Torrico,et al.  Hierarchical supervisory control of discrete event systems based on state aggregation , 2002 .

[37]  Hervé Marchand,et al.  Supervisory control problems of hierarchical finite state machines , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[38]  J. H. van Schuppen,et al.  Aggregation in Hierarchical Discrete-Event Systems , 2003, Discret. Event Dyn. Syst..

[39]  W. Murray Wonham,et al.  Control of state tree structures , 2003 .

[40]  Yugeng Xi,et al.  Necessary conditions for control consistency in hierarchical control of discrete-event systems , 2003, IEEE Trans. Autom. Control..

[41]  Ryan J. Leduc,et al.  Hierarchical Interface-based Supervisory Control , 2003 .

[43]  M. Naderi.  Think globally... , 2004, HIV prevention plus!.

[44]  Lenko Grigorov.  Control of Dynamic Discrete-Event Systems , 2004 .

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

[46]  Antonio Eduardo Carrilho da Cunha,et al.  Supervisory Control of Discrete Event Systems with Flexible Marking , 2004, Eur. J. Control.

[47]  Michael Matthias Wood.  Application, Implementation and Integration of Discrete-Event Systems Control Theory , 2005 .