Instructor: Stéphane Lafortune
This course is intended for engineering and computer science graduate students who want to learn about dynamic systems with discrete state spaces and event-driven transitions. Discrete Event Systems, as they are called, arise in the modeling of technological systems such as automated manufacturing systems, communication networks, software systems, process control systems, and transportation systems. In embedded and networked systems, discrete event dynamics are coupled with continuous dynamics, giving rise to what are called Hybrid Systems or Cyber-Physical Systems. This course will introduce students to the modeling, analysis, and control of Discrete Event Systems. The primary emphasis will be on the logical, or untimed, behavior and associated verification and supervisory control problems. Timed Automata and Hybrid Automata will also be introduced. Examples from the above areas will be used throughout the course to illustrate the main concepts.
EECS 566 is also open to undergraduate seniors, but they should consult the instructor first. There are no specific course prerequisites. 566 is offered in the fall semesters of even years.
"Introduction to Discrete Event Systems - Second Edition" by C. Cassandras and S. Lafortune, Springer, 2008
Most of Chapters 2, 3, 4, and 5 of textbook.