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

NOTE: for 2011/2012 academic year, the first day of classes for CAS 745 will be Mon, Sept 12, 2011.

Office hours: Fridays 14:30-15:20.

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

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.

Text:

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

Reference:

Daniel Solow, How to Read and Do Proofs, 5th ed. John Wiley and Sons, 2005. ISBN 978-0-470-39216-4. Click here for more information.