Title: CAS 745: Supervisory Control of Discrete-Event Systems OVERVIEW: 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, time permitting. MAJOR TOPICS: - 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.