Home

Back

IRS9 fall 2006 - Discrete Event Systems & Supervisory Control

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

Course plan:

Lecture nr: Date: Topic: Literature: Comments:

1 11/09 12:30 - B207 Introduction
Structure of the course, main goals.
Modeling
Languages and automata, properties. Slides1 and Slides1b
Slides from Lafortune: des1, des2 Important!
We will not use a book in the course. I will provide slides and if you still want some material from the book, I have a copy in my office FUV 2.49 that you can borrow.

2 Petri Nets
introduction, basic properties, examples. Slides
Slides from Lafortune: des4 Checking this tool: PIPE

3,4,5 Guest lectures
Supervisory Control Theory and Hybrid Systems
More slides from Lafortune: des3, des5 First week of October 2006

Exercises (to deliver as part of your exam):

automata theory
petri nets
supervisory control theory

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	11/09 12:30 - B207	Introduction Structure of the course, main goals. Modeling Languages and automata, properties.	Slides1 and Slides1b Slides from Lafortune: des1, des2	Important! We will not use a book in the course. I will provide slides and if you still want some material from the book, I have a copy in my office FUV 2.49 that you can borrow.
2		Petri Nets introduction, basic properties, examples.	Slides Slides from Lafortune: des4	Checking this tool: PIPE
3,4,5		Guest lectures Supervisory Control Theory and Hybrid Systems	More slides from Lafortune: des3, des5	First week of October 2006