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, 2017
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, University of Toronto,
available for free online http://www.control.toronto.edu/cgi-bin/dldes.cgi
Software:
This courses uses Matlab + TCT.
Follow the steps below:
1. Install Matlab.
2. Download TCT (with graphviz).
3. Uncompress the downloaded file and use the folder "MatlabTCT" as the working directory for Matlab.
Test script for create, displaydes, and trim (Test20170419.m)
Test script for selfloop, meet, sync, and nonconflict (Test20170426.m)
Test script for supcon (Test20170517.m)
Test script for Supervisory Control Design of Small Factory (Test20170531.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):