Control of Discrete-Event Systems
IMPORTANT MESSAGES:
- Due to COVID-19, all lectures will be given remotely
- Each week, slides and videos will be uploaded
- Grading will be based on 5 homework assignments (please see "Homework" section below for submission deadlines)
Learning objectives:
- Study how to model discrete-event systems
- Study how to design feedback controllers for discrete-event systems
- 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(Questions will be answered through WebClass discussion, so post your questions there)
Lecture Schedule:
- Period: Apr. 2020 -- Aug. 2020
- Day and Time: Fridays 15:15-16:55
Location: Engineering Building B-115(Remote lectures)
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 on request)
Software:
This courses uses Matlab + TCT.
Prerequisites:
There is no prerequisite for this course. An undergraduate control and automata course would be a plus, but not required.
Grading:
Homework 50% (+25% bonus)- ~~Final project 50% ~~
(5 homework assignments, each 20 points)
Homework:
Homework must be submitted through WebClass by the deadlines; 0 point for late submission unless exceptional reason exists
- [Homework1] (assigned 2020.05.22, due 2020.06.05)
- [Homework2] (assigned 2020.06.05, due 2020.06.19)
- [Homework3] (assigned 2020.06.19, due 2020.07.03)
- [Homework4] (assigned 2020.07.03, due 2020.07.17)
- [Homework5] (assigned 2020.07.17, due 2020.08.07)
Course Outline:
Dates Topics
- 2020.05.15 Introduction to discrete-event systems; symbols, alphabets, strings
- 2020.05.22 Languages, finite-state automata
- 2020.05.29 Operations on automata
- 2020.06.05 Supervisory control basics
- 2020.06.12 Controllability, main result of supervisory control
- 2020.06.19 Optimal supervisory control
- 2020.06.27 Supervisory control examples, TCT design software
- 2020.07.03 Decentralized supervisory control
- 2020.07.10 Distributed control architecture
- 2020.07.17 Distributed control by supervisor localization
- 2020.07.31 Distributed control examples
- 2020.08.07 Test week
- 2020.08.14 Partial observation, natural projection
- 2020.08.21 Observability, partially-observed supervisory control