Control of Discrete-Event Systems

  • Study how to model discrete-event systems and design controllers for them;
  • learn about how to build different control architectures: centralized, decentralized, distributed, hierarchical.

Instructor:

  • Prof. Kai Cai (Engineering Building F-610)
  • Email: kai.cai@eng.osaka-cu.ac.jp
  • Office hour: after each lecture or by email appointment

Lecture Schedule:

  • Period: Apr. 2019 -- Jul. 2019
  • Day and Time: Wednesdays 15:15-16:55
  • Location: Engineering Building B-115

Textbook / Reference:

There is no textbook for this course. An essential reference is the following:

"Supervisory Control of Discrete-Event Systems" by W.M. Wonham and Kai Cai, Springer, 2019. (copies to be lent by request)

Software:

This courses uses Matlab + TCT. You need Windows 64bit. To use the software, follow the steps below:

  1. Install Matlab (download the Windows 64bit version here, with university campus license).
  2. Download MatlabTCT (with graphviz).
  3. Uncompress the downloaded file and use the folder "MatlabTCT" as the working directory for Matlab.

Test script:

  • create, displaydes, and trim (Test20170419.m)
  • complement (Ex_complement.m)
  • selfloop, meet, sync, and nonconflict (Test20170426.m)
  • supervisory control design (Ex_supcon.m)
  • Test script for Supervisor Localization of Transfer Line (Test20170621.m)
  • Test script for observable (Test20170704.m)
  • Test script for Partial-Observation Supervisory Control Design of Mutual Exclusion (Test20170705.m)

Additional information:

Software TCT is available for free online http://www.control.utoronto.ca/cgi-bin/dlxptct.cgi

To plot state-transition graph, you need to download software graphviz.zip

Manual of TCT is for download here

Prerequisites:

There is no prerequisite for this course. An undergraduate control and automata course would be a plus, but not required.

Grading:

  • Homework 60% (+30% bonus)
  • Final project 40%

Homework and Project:

  • Homework1 (assigned 2019.04.10, due 2019.04.24)
  • Homework2 (assigned 2019.04.24, due 2019.05.08)
  • Homework3 (assigned 2019.05.08, due 2019.05.22)
  • Homework4 (assigned 2019.05.22, due 2019.06.05)
  • Homework5 (assigned 2019.06.05, due 2019.06.19)
  • Homework6 (assigned 2019.06.19, due 2019.07.03)
  • Final Project (assigned 2019.07.03, due 2019.07.31)

Course Outline:

    Dates              Topics
  1. 2019.04.10 Introduction to discrete-event systems; symbols, alphabets, strings
  2. 2019.04.17 Languages, finite-state automata
  3. 2019.04.24 Operations on automata
  4. 2019.05.02 Supervisory control basics
  5. 2019.05.08 Controllability, main result of supervisory control
  6. 2019.05.15 Optimal supervisory control
  7. 2019.05.22 Supervisory control examples, TCT design software
  8. 2019.06.05 Decentralized supervisory control
  9. 2019.06.12 Distributed control architecture
  10. 2019.06.19 Distributed control by supervisor localization
  11. 2019.06.26 Distributed control examples
  12. 2019.07.03 Partial observation, natural projection
  13. 2019.07.10 Observability, partially-observed supervisory control
  14. 2019.07.17 Final project
  • For 2018 course see here.
  • For 2017 course see here.
  • For 2016 course see here.
  • For 2015 course see here.