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:
- Install Matlab (download the Windows 64bit version here, with university campus license).
- Download MatlabTCT (with graphviz).
- 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
- 2019.04.10 Introduction to discrete-event systems; symbols, alphabets, strings
- 2019.04.17 Languages, finite-state automata
- 2019.04.24 Operations on automata
- 2019.05.02 Supervisory control basics
- 2019.05.08 Controllability, main result of supervisory control
- 2019.05.15 Optimal supervisory control
- 2019.05.22 Supervisory control examples, TCT design software
- 2019.06.05 Decentralized supervisory control
- 2019.06.12 Distributed control architecture
- 2019.06.19 Distributed control by supervisor localization
- 2019.06.26 Distributed control examples
- 2019.07.03 Partial observation, natural projection
- 2019.07.10 Observability, partially-observed supervisory control
- 2019.07.17 Final project