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. 2018 -- Jul. 2018
- Day and Time: Wednesdays 14:45-16:15
- 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, 2018.
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 2018.04.01, due 2018.04.25)
- Homework2 (assigned 2018.04.25, due 2018.05.09)
- Homework3 (assigned 2018.05.09, due 2018.05.23)
- Homework4 (assigned 2018.05.23, due 2018.06.06)
- Homework5 (assigned 2018.06.06, due 2018.06.20)
- Homework6 (assigned 2018.06.20, due 2018.07.04)
- Final Project (assigned 2018.07.04, due 2018.07.31)
Course Outline:
Dates Topics
- 2018.04.11 Introduction to discrete-event systems; symbols, alphabets, strings
- 2018.04.18 Languages, finite-state automata
- 2018.04.25 Operations on automata
- 2018.05.02 Supervisory control basics
- 2018.05.09 Controllability, main result of supervisory control
- 2018.05.16 Optimal supervisory control
- 2018.05.23 Supervisory control examples, TCT design software
- 2018.06.06 Decentralized supervisory control
- 2018.06.13 Distributed control architecture
- 2018.06.20 Distributed control by supervisor localization
- 2018.06.27 Distributed control examples
- 2018.07.04 Partial observation, natural projection
- 2018.07.11 Observability, partially-observed supervisory control
- 2018.07.18 Final project