Home

Back

IRS9 fall 2007 - Discrete Event Systems & Supervisory Control

Teacher: Andrea Valente (aaue.dk/~av)

Course plan:

Lecture nr: Date: Topic: Literature: Comments:

1 04/09 9:00 B202 Introduction
Structure of the course, main goals. Slides1

2 11/09 9:00 B202 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 18/09 9:00 B202 Petri Nets
introduction, basic properties, examples. Slides, Exercises (to deliver as part of your exam) Checking this tool: PIPE

4 04/10 9:00 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]

5 18/10 9:00 B202 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)

Last updated: <DATE>

Department for Software, Electronics og Mediatechnology - Aalborg University Esbjerg - Niels Bohrs Vej 8 - 6700 Esbjerg - Denmark
Phone: +45 7912 7666 - Fax: +45 7912 7710

Lecture nr:	Date:	Topic:	Literature:	Comments:
1	04/09 9:00 B202	Introduction Structure of the course, main goals.	Slides1
2	11/09 9:00 B202	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	18/09 9:00 B202	Petri Nets introduction, basic properties, examples.	Slides, Exercises (to deliver as part of your exam)	Checking this tool: PIPE
4	04/10 9:00 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]
5	18/10 9:00 B202	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)