Supervisory Control of Discrete-Event Systems
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.
KeywordsDiscrete Asynchronous Dynamics Finite automata Regular languages Controllability Observability Optimality Control architectures Symbolic computation
- Ma C, Wonham WM (2005) Nonblocking supervisory control of state tree structures. Lecture notes in control and information sciences, vol 317. Springer, BerlinGoogle Scholar
- 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