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
  1. 2020.05.15 Introduction to discrete-event systems; symbols, alphabets, strings
  2. 2020.05.22 Languages, finite-state automata
  3. 2020.05.29 Operations on automata
  4. 2020.06.05 Supervisory control basics
  5. 2020.06.12 Controllability, main result of supervisory control
  6. 2020.06.19 Optimal supervisory control
  7. 2020.06.27 Supervisory control examples, TCT design software
  8. 2020.07.03 Decentralized supervisory control
  9. 2020.07.10 Distributed control architecture
  10. 2020.07.17 Distributed control by supervisor localization
  11. 2020.07.31 Distributed control examples
  12. 2020.08.07 Test week
  13. 2020.08.14 Partial observation, natural projection
  14. 2020.08.21 Observability, partially-observed supervisory control
  • For 2019 course see here.
  • For 2018 course see here.
  • For 2017 course see here.
  • For 2016 course see here.
  • For 2015 course see here.