CAS 745:
Supervisory Control of Discrete-Event Systems

This page is intended for students taking my CAS 745 grad course.

NOTE: for 2017/2018 academic year, the first day of classes for CAS 745 will be Tue, Jan 9, 2018.

Office hours: TBA.

CAS 745 lecture slides, and assignments etc. can be found here.


This course is an introduction to the control of discrete-event systems (DES), asynchronous systems discrete in space and time (eg. manufacturing systems, communication systems etc.). The course will provide a solid foundation for research in this area, focusing on architectural issues such as modular, and hierarchical control. The course will also discuss timed DES, as well as current topics of interest, as time permits.


  • Algebraic preliminaries review (posets, lattices, equivalence relations etc).
  • Linguistic preliminaries (languages, Nerode equivalence, automata, generators, etc).
  • Supervisory control basics (representation, synchronous product, controllability, nonblocking, maximally permissive supervision).
  • Modular control.
  • Hierarchical interface-based supervisory control.
  • Timed discrete-event systems.
  • Current topics of interest.
NOTE: We may not have time to cover all topics.


W.M. Wonham, Supervisory Control of Discrete-Event Systems, Department of Electrical and Computer Engineering, University of Toronto, July 2013. Monograph and TCT software can be downloaded here.


Daniel Solow, How to Read and Do Proofs, 6th ed. John Wiley and Sons, 2013. ISBN 1118164024. Click here for more information.

Ryan Leduc