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

Announcements will be via the course's Avenue To Learn page.

Assignments will be handed in at the start of the class that they are due.

CAS 745 lecture slides and assignments will be posted on the courses A2L page.

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, as time permits.

Note: A grad student with an ECE background should be able to take this course without much difficulty. The material is suitable for application to both software and hardware systems.

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.

Text:

W.M. Wonham and Kai Cai, Supervisory Control of Discrete-Event Systems, Springer, 2019. ISBN-10: 9783319774510. Can purchase hardcopy or e-copy here. See also Amazon.

Reference:

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