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: by email appointment
Lecture Schedule:
Period
April - July, 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.
(Available for purchase at Amazon)
Software:
This courses uses Matlab + TCT.
You need Windows 64bit.
To use the software, follow the steps below:
1. Install Matlab (download the install files here).
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
Prerequisite:
There is no prerequisite for this course. An undergraduate control course would be a plus, but not required.
Grading:
Homework
Final project
60% (+30% bonus)
40%
Homework and Project (tentative):
Course Outline (tentative):