Encyclopedia of Systems and Control

Living Edition
| Editors: John Baillieul, Tariq Samad

Supervisory Control of Discrete-Event Systems

Living reference work entry
DOI: https://doi.org/10.1007/978-1-4471-5102-9_54-1

Abstract

We introduce background and base model for supervisory control of discrete-event systems, followed by discussion of optimal controller existence, a small example, and summary of control under partial observations. Control architecture and symbolic computation are noted as approaches to manage state space explosion.

Keywords

Discrete Asynchronous Dynamics Finite automata Regular languages Controllability Observability Optimality Control architectures Symbolic computation 
This is a preview of subscription content, log in to check access.

References

  1. Cassandras CG, Lafortune S (2008) Introduction to discrete event systems. Springer, New YorkCrossRefMATHGoogle Scholar
  2. Cieslak R, Desclaux C, Fawaz A, Varaiya P (1988) Supervisory control of discrete-event processes with partial observations. IEEE Trans Autom Control 33:249–260CrossRefMATHGoogle Scholar
  3. Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44:173–198CrossRefMATHMathSciNetGoogle Scholar
  4. Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Lecture notes in control and information sciences, vol 317. Springer, BerlinGoogle Scholar
  5. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25:206–230CrossRefMATHMathSciNetGoogle Scholar
  6. Seatzu C et al (ed) (2013) Control of discrete-event systems. Springer, London/New YorkMATHGoogle Scholar
  7. Wonham WM (1997–2013) Supervisory control of discrete-event systems. Department of Electrical and Computer Engineering, University of Toronto. Available at http://www.control.utoronto.ca/~wonham

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  1. 1.Department of Electrical & Computer EngineeringUniversity of TorontoTorontoCanada