Teacher: Andrea Valente (aaue.dk/~av)
Goal: ...
Book(s): (SUGGESTED - We will only use some chapters)
Introduction to Discrete Event Systems.
by Christos G. Cassandras, Stephane Lafortune. (here)
Course plan:
| Lecture nr | Date | Topic | Literature | Comments |
|---|---|---|---|---|
| 1 | 24/9 12:45 B201 | Introduction
Structure of the course, main goals. |
Slides1 | |
| 2 | 1/10 12:45 B201 | Modeling
Languages and automata, properties. |
[DES chpt 2], slides (and here), and Exercises (to deliver as part of your exam) | Take a look at JFLAP |
| 3 | 28/10 12:45 B204 | Petri Nets
introduction, basic properties, examples. |
Slides, Exercises (to deliver as part of your exam) | Checking this tool: PIPE |
| 4 | 4/11 12:45 B204 | Supervisory Control
definition of supervisory control, how can we control the behavior of an automaton? Examples. Work on exercises. |
[DES chpt 3->3.3] - slides | |
| 5 | FIND A DAY | Supervisory Control II
Uncontrollablility and unobservablility, supremal language, other approaches (Observing Complexity and The Complexity of Observation) Work on exercises |
[DES chpt 3.4->] and Exercises (to deliver as part of your exam) |