Discrete Event Systems: The State of the Art and New Directions

The goal of this chapter is to present some perspectives on current and future research directions in the area of discrete event systems. For the benefit of readers unfamiliar with this field, we start with a brief survey of the modeling of discrete event systems along with some key results from the last decade that define the state of the art. We then comment on some new challenges for the “next generation” of discrete event system theory, highlighting issues of complexity and uncertainty, the emergence of hybrid systems, and the need for optimal control. Recent research on some of these issues is then discussed in more detail in four sections treating decentralized control and optimization, failure diagnosis, nondeterministic supervisory control, and hybrid systems and optimal control.

[1]  C. Cassandras,et al.  Observable augmented systems for sensitivity analysis of Markov and semi-Markov processes , 1989 .

[2]  P. Glasserman,et al.  Monotone Structure in Discrete-Event Systems , 1994 .

[3]  Michel Le Borgne,et al.  Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical , 1997 .

[4]  Feng Lin,et al.  Design and test of mixed signal circuits: a discrete-event approach , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[5]  J. Kiefer,et al.  Stochastic Estimation of the Maximum of a Regression Function , 1952 .

[6]  Mischa Schwartz,et al.  Fault identification using a finite state machine model with unreliable partially observed data sequences , 1993, IEEE Trans. Commun..

[7]  Albert Benveniste,et al.  A Petri net approach to fault detection and diagnosis in distributed systems. II. Extending Viterbi algorithm and HMM techniques to Petri nets , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[8]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

[9]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[10]  Edwin K. P. Chong,et al.  Convergence of Recursive Optimization Algorithms using IPA Derivative Estimates , 1990, 1990 American Control Conference.

[11]  J. G. Thistle.  Supervisory control of discrete event systems , 1996 .

[12]  Reuven Y. Rubinstein,et al.  Monte Carlo Optimization, Simulation and Sensitivity of Queueing Networks , 1986 .

[13]  G. Meyer,et al.  An algebra of discrete event processes , 1991 .

[14]  M.D. Di Benedetto,et al.  Model matching for finite state machines , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[15]  Pravin Varaiya,et al.  Algebras of discrete event models , 1989 .

[16]  Richard M. Karp,et al.  A characterization of the minimum cycle mean in a digraph , 1978, Discret. Math..

[17]  R. Sengupta,et al.  An Optimal Control Theory for Discrete Event Systems , 1998 .

[18]  W. M. Wonham,et al.  Supervisory control of discrete event processes , 1982 .

[19]  Lawrence E. Holloway.  Online fault monitoring of a class of hybrid systems using templates with dynamic time scaling , 1996 .

[20]  Meera Sampath.  A discrete event systems approach to failure diagnosis. , 1995 .

[21]  A. D. Pouliezos,et al.  Real time fault monitoring of industrial processes , 1994 .

[22]  Christos G. Cassandras,et al.  Concurrent Sample Path Analysis of Discrete Event Systems , 1999, Discret. Event Dyn. Syst..

[23]  Jean-Pierre Quadrat,et al.  11th International Conference on Analysis and Optimization of Systems Discrete Event Systems , 1994 .

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

[25]  Christos G. Cassandras,et al.  Introduction to the Modelling, Control and Optimization of Discrete Event Systems , 1995 .

[26]  Mischa Schwartz,et al.  Simple finite-state fault detectors for communication networks , 1992, IEEE Trans. Commun..

[27]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[28]  Stéphane Lafortune,et al.  Dealing with blocking in supervisory control of discrete-event systems , 1991 .

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

[30]  Johan Gunnarsson,et al.  Synthesis of a Discrete System using Algebraic Methods , 1996 .

[31]  Paul Glasserman,et al.  Gradient Estimation Via Perturbation Analysis , 1990 .

[32]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[33]  Felisa J. Vázquez-Abad,et al.  Centralized and decentralized asynchronous optimization of stochastic discrete-event systems , 1998 .

[34]  Michael Heymann,et al.  Discrete event control of nondeterministic systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[35]  Nejib Ben Hadj-Alouane,et al.  Variable lookahead supervisory control with state information , 1994 .

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

[37]  Christos G. Cassandras,et al.  Infinitesimal and finite perturbation analysis for queueing networks , 1982, 1982 21st IEEE Conference on Decision and Control.

[38]  Kemal Inan.  Nondeterministic supervision under partial observations , 1994 .

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

[40]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[41]  Sanjoy Paul,et al.  Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences , 1994, TNET.

[42]  Christos G. Cassandras,et al.  Modeling, Analysis, and Optimal Control of a Class of Hybrid Systems , 1998, Discret. Event Dyn. Syst..

[43]  Alberto Isidori,et al.  Trends in Control , 1995 .

[44]  Feng Lin,et al.  On-line control of partially observed discrete event systems , 1994, Discret. Event Dyn. Syst..

[45]  Bruce E. Hajek,et al.  Review of 'Approximation and Weak Convergence Methods for Random Processes, with Applications to Stochastic Systems Theory' (Kushner, H.J.; 1984) , 1985, IEEE Transactions on Information Theory.

[46]  C. Cassandras,et al.  On-line sensitivity analysis of Markov chains , 1989 .

[47]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[48]  Edwin K. P. Chong,et al.  Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

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

[50]  Gregory Provan,et al.  Modeling and diagnosis of timed discrete event systems-a factory automation example , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[51]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[52]  Nejib Ben Hadj-Alouane,et al.  Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation , 1996, Discret. Event Dyn. Syst..

[53]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[54]  Felisa J. Vázquez-Abad,et al.  Strong points of weak convergence: a study using RPA gradient estimation for automatic learning, , 1999, Autom..

[55]  M. Heymann.  Concurrency and discrete event control , 1990, IEEE Control Systems Magazine.

[56]  Christos G. Cassandras,et al.  A new approach to the analysis of discrete event dynamic systems , 1983, Autom..

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

[58]  K. C. Wong,et al.  Decentralized supervisory control of discrete-event systems with communication , 1996 .

[59]  Lawrence E. Holloway,et al.  Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations , 1994 .

[60]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[61]  Sujeet Chand,et al.  Time templates for discrete event fault monitoring in manufacturing systems , 1994, Proceedings of 1994 American Control Conference - ACC '94.

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

[63]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

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

[65]  Pirooz Vakili,et al.  Using a standard clock technique for efficient simulation , 1991, Oper. Res. Lett..

[66]  Jean-Claude Fernandez,et al.  An Implementation of an Efficient Algorithm for Bisimulation Equivalence , 1990, Sci. Comput. Program..

[67]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[68]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[69]  Yuan-Jun Wei,et al.  Lattice structures and hierarchical COCOLOG for finite machines , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[70]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[71]  Yu-Chi Ho,et al.  On the numerical solutions of stochastic optimization problem , 1997, IEEE Trans. Autom. Control..

[72]  Geert Jan Olsder,et al.  The power algorithm in max algebra , 1993 .

[73]  Y. Brave.  Control of discrete event systems modeled as hierarchical state machines , 1993, IEEE Trans. Autom. Control..

[74]  N. Viswanadham,et al.  Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[75]  Ard Andreas Franciscus Overkamp.  Discrete event control motivated by layered network architectures , 1996 .

[76]  S. Lafortune,et al.  Using bisimulation to solve discrete event control problems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[77]  Christos G. Cassandras,et al.  Scheduling policies using marked/phantom slot algorithms , 1995, Queueing Syst. Theory Appl..

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

[79]  M. Fu.  Convergence of a stochastic approximation algorithm for the GI/G/1 queue using infinitesimal perturbation analysis , 1990 .

[80]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

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

[82]  S. Morioka,et al.  Performance evaluation of marked graphs by linear programming , 1991 .

[83]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

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

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

[86]  P. Caines,et al.  COCOLOG: A Conditional Observer and Controller Logic for Finite Machines , 1995 .

[87]  Y. Wardi,et al.  Optimal release times in a single server: an optimal control perspective , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[88]  Robert E. Tarjan,et al.  Three Partition Refinement Algorithms , 1987, SIAM J. Comput..

[89]  A. Sangiovanni-Vincentelli,et al.  Strong model matching for finite state machines with non-deterministic reference model , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[90]  Iain Phillips,et al.  Refusal Testing , 1986, Theoretical Computer Science.

[91]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

[92]  D. S. Flamm.  Single-loop stability margins for multirate and periodic control systems , 1993, IEEE Trans. Autom. Control..

[93]  André Arnold,et al.  Finite transition systems , 1994 .

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

[95]  Martin Fabian.  On Object Oriented Nondeterministic Supervisory Control , 1995 .

[96]  R. Sreenivas.  On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets , 1997, IEEE Trans. Autom. Control..

[97]  Stéphane Lafortune,et al.  Supervisory control using variable lookahead policies , 1993, 1993 American Control Conference.

[98]  H. Kushner,et al.  Stochastic approximation algorithms for parallel and distributed processing , 1987 .

[99]  Yu-Chi Ho,et al.  A gradient technique for general buffer storage design in a production line , 1979 .

[100]  Demosthenis Teneketzis,et al.  Active diagnosis of discrete-event systems , 1998 .

[101]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[102]  John P. Hayes,et al.  Testing ICs: Getting to the Core of the Problem , 1996, Computer.

[103]  Xi-Ren Cao,et al.  Perturbation analysis of discrete event dynamic systems , 1991 .

[104]  Mark A. Shayman,et al.  Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models , 1995 .