AUTOMATION SYSTEMS (2nd MODULE)
Provide basic elements of supervisory control for discrete events systems theory.
Elements of supervisory control theory.
1 - Languages
Definitions of alphabet and language.
Operations on languages.
Regular languages and rational expressions.
2- Deterministic finite state automata
Definitions, equivalence, computation of minimum automata.
3- Non deterministic finite state automata.
Basic operations on generators.
5- Controllability and supervision.
Controllability theorem, computation of the supremal controllable language.
"Introduction to Discrete Event Systems", Christos G. Cassandras, Stéphane Lafortune, Springer, 2009.
Written exam with exercises and theoretical questions.
The maximum degree is 32 points.