The control of discrete event systems

In this paper we have provided an overview of one trend among others in the development of a control theory for discrete-event systems. In view of the relatively long history of prior approaches to discrete-event control design (notably discrete-event system simulation, and analysis via Petri nets, starting in the 1960s; and investigations via queueing theory and its variants, including perturbation analysis, from the early 1970s) it is perhaps surprising that attempts to evolve a synthetic, control-theoretic overview of the problem area, especially in its qualitative, logical aspects, have been both few in number and recent in appearance. In any case, it can fairly be said that control of DES is now an established branch of control theory.

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

[2]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

[3]  Didier Dubois,et al.  A linear-system-theoretic view of discrete-event processes , 1983 .

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

[5]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[6]  Alan J. Laub,et al.  Advanced Computing Concepts and Techniques in Control Engineering , 1988, NATO ASI Series.

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

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

[9]  Yu-Chi Ho.  Perturbation analysis explained , 1987 .

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

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

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

[13]  P. Ramadge,et al.  Supervision of discrete event processes , 1982, 1982 21st IEEE Conference on Decision and Control.

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

[15]  Jonathan S. Ostroff,et al.  Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems , 1987, IEEE Real-Time Systems Symposium.

[16]  Z. Manna,et al.  Verification of concurrent programs: a temporal proof system , 1983 .

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

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

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

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

[21]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.