The control of discrete event systems

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems arise in a variety of contexts ranging from computer operating systems to the control of complex multimode processes. A control theory for the logical aspects of such DESs is surveyed. The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered. Automata and formal language models for DESs are surveyed. >

[1]  John N. Tsitsiklis,et al.  The Complexity of Markov Decision Processes , 1987, Math. Oper. Res..

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

[3]  J. Buzacott.  "Optimal" operating rules for automated manufacturing systems , 1980 .

[4]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[5]  Robin Milner,et al.  Concurrent Processes and Their Syntax , 1979, JACM.

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

[7]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[8]  Jean Walrand,et al.  Extensions of the multiarmed bandit problem: The discounted case , 1985 .

[9]  W. M. Wonham,et al.  Control problems in a temporal logic framework , 1986 .

[10]  P. J. Ramadge.  The complexity of some basic control problems for discrete event systems , 1988 .

[11]  Peter J. Ramadge,et al.  Mutual exclusion problems for discrete event systems with shared events , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

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

[13]  B. Hajek.  Optimal control of two interacting service stations , 1982, 1982 21st IEEE Conference on Decision and Control.

[14]  Michael A. Arbib,et al.  Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..

[15]  Peter J. Ramadge.  Supervisory control of discrete event systems: A survey and some new results , 1988 .

[16]  A. Pnueli.  The Temporal Semantics of Concurrent Programs , 1979, Theor. Comput. Sci..

[17]  R. P. Kurshan,et al.  Reducibility in analysis of coordination , 1988 .

[18]  C. H. Golaszewski,et al.  Supervisory control of discrete event processes with arbitrary controls , 1988 .

[19]  Alan C. Shaw,et al.  Software Descriptions with Flow Expressions , 1978, IEEE Transactions on Software Engineering.

[20]  Pierre Wolper,et al.  Adding liveness properties to coupled finite-state machines , 1990, TOPL.

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

[22]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

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

[24]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, TOPL.

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

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

[27]  J. Ben Atkinson,et al.  An Introduction to Queueing Networks , 1988 .

[28]  Pravin Varaiya,et al.  Finitely recursive process models for discrete event systems , 1988 .

[29]  Rajan Suri,et al.  Perturbation analysis is exact for the M/G/1/ queue , 1984, The 23rd IEEE Conference on Decision and Control.

[30]  John N. Tsitsiklis,et al.  On the Complexity of Designing Distributed Protocols , 1982, Inf. Control..

[31]  Krishan K. Sabnani.  An algorithmic technique for protocol verification , 1988, IEEE Trans. Commun..

[32]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[33]  Dipankar Raychaudhuri.  ALOHA with Multipacket Messages and ARQ-Type Retransmission Protocols - Throughput Analysis , 1984, IEEE Transactions on Communications.

[34]  Zvi Rosberg,et al.  Optimal control of service in tandem queues , 1982 .

[35]  Charles P. Pfleeger,et al.  State Reduction in Incompletely Specified Finite-State Machines , 1973, IEEE Transactions on Computers.

[36]  Stéphane Lafortune.  Modeling and analysis of transaction execution in database systems , 1988 .

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

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

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

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

[41]  Eduard Cerny,et al.  An Algebraic Model for Asynchronous Circuits Verification , 1988, IEEE Trans. Computers.

[42]  W. M. Wonham.  A control theory for discrete-event systems , 1988 .

[43]  R. Akella,et al.  Optimal control of production rate in a failure prone manufacturing system , 1985, 1985 24th IEEE Conference on Decision and Control.

[44]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

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

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

[47]  Jeffrey D. Ullman,et al.  Deadlock-Free Packet Switching Networks , 1981, SIAM J. Comput..

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

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

[50]  Rein Smedinga.  Using trace theory to model discrete events , 1988 .

[51]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[52]  P. Ramadge.  Observability of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

[53]  C. Courcoubetis,et al.  A bin-packing system for objects with sizes from a finite set: Necessary and sufficient conditions for stability and some applications , 1986, 1986 25th IEEE Conference on Decision and Control.

[54]  Yang Li,et al.  On Supervisory Control of Real-Time Discrete-Event Systems , 1987, 1987 American Control Conference.

[55]  P. R. Kumar,et al.  Optimal control of a queueing system with two heterogeneous servers , 1984 .

[56]  Edward A. Lee.  Data flow programming for parallel implementation of digital signal processing systems , 1988 .