Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015

Abstract This brief history summarizes the ‘supervisory control of discrete-event systems’ as it has evolved in the period 1980-2015. Overall, the trend has been from centralized or ‘monolithic’ control to more structured architectures, and from ‘naive’ to symbolic computation. Like any ‘history’ this one represents the perspective of the authors; inevitably some important contributions will have been overlooked or short-changed.

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

[2]  Michael Seidl.  Systematic controller design to drive high-load call centers , 2006, IEEE Transactions on Control Systems Technology.

[3]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[4]  Zhiwu Li,et al.  Optimal Supervisory Control of Automated Manufacturing Systems , 2013 .

[5]  G. Basile,et al.  Controlled and conditioned invariants in linear system theory , 1992 .

[6]  P. Ramadge.  Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[7]  Demosthenis Teneketzis,et al.  Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems , 2007, Discret. Event Dyn. Syst..

[8]  Walter Murray Wonham,et al.  On relative coobservability of discrete-event systems , 2015, 2015 American Control Conference (ACC).

[9]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

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

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

[12]  Stéphane Lafortune,et al.  Minimal communication in a distributed discrete-event system , 2003, IEEE Trans. Autom. Control..

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

[14]  Hai Lin,et al.  A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants , 2014 .

[15]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[16]  Edsger W. Dijkstra,et al.  Cooperating sequential processes , 2002 .

[17]  Karen Rudie,et al.  Minimal sensor activation and minimal communication in discrete-event systems , 2016, Discret. Event Dyn. Syst..

[18]  Walter Murray Wonham,et al.  Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems , 2015, IEEE Transactions on Automatic Control.

[19]  J. Ostroff,et al.  A temporal logic approach to real time control , 1985, 1985 24th IEEE Conference on Decision and Control.

[20]  W. M. Wonham,et al.  Discrete event systems modeling and control of a manufacturing testbed , 1995, Proceedings 1995 Canadian Conference on Electrical and Computer Engineering.

[21]  Feng Lin,et al.  Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses , 2014, SIAM J. Control. Optim..

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

[23]  Walter Murray Wonham,et al.  Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages , 2015, IEEE Transactions on Automatic Control.

[24]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[25]  W. M. Wonham,et al.  Distributed supervisory control of discrete-event systems with communication delay , 2016, Discret. Event Dyn. Syst..

[26]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

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

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

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

[30]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

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

[32]  Gerald S. Craig,et al.  New ideas in science , 1946 .

[33]  W. M. Wonham,et al.  Supervisor localization for large discrete-event systems , 2009, CDC 2009.

[34]  Ramon R. H. Schiffelers,et al.  Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner , 2014, IEEE Transactions on Automation Science and Engineering.

[35]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .

[36]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

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

[38]  Peyman Gohari,et al.  Embedded supervisory control of discrete-event systems , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[39]  J. G. Thistle,et al.  Control of Infinite Behavior of Finite Automata , 1994 .

[40]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[41]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[42]  M. Arbib.  A Common Framework for Automata Theory and Control Theory , 1965 .

[43]  G. S. Fishman.  Principles of Discrete Event Simulation , 1978 .

[44]  Robert L. Aveyard,et al.  A Boolean Model for a Class of Discrete Event Systems , 1974, IEEE Trans. Syst. Man Cybern..

[45]  Stéphane Lafortune,et al.  On the Minimization of Communication in Networked Systems with a Central Station , 2008, Discret. Event Dyn. Syst..

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

[47]  Anthony Ephremides,et al.  A simple dynamic routing problem , 1980 .

[48]  W. M. Wonham,et al.  Think globally, act locally: decentralized supervisory control , 1992 .

[49]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[50]  Maurice Nivat,et al.  APPLICATION OF FORMAL LANGUAGE THEORY TO PROBLEMS OF SECURITY AND SYNCHRONIZATION , 1980 .

[51]  Maurice Nivat,et al.  Controlling Behaviours of Systems: Some Basic Concepts and some Applications , 1980, MFCS.

[52]  Mordechai Ben-Ari,et al.  Principles of concurrent programming , 1982 .

[53]  Klaus Werner Schmidt,et al.  Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems , 2011, IEEE Transactions on Automatic Control.

[54]  Ronald A. Howard,et al.  Dynamic Programming and Markov Processes , 1960 .

[55]  B. A. Brandin,et al.  The supervisory control of the automated manufacturing system of the AIP , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[56]  J. Willems,et al.  The computational complexity of decentralized discrete-event control problems , 1995, IEEE Trans. Autom. Control..

[57]  Bengt Lennartson,et al.  Modular implementation of discrete event systems as sequential function charts applied to an assembly cell , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).