Discrete Event Systems : Controller Synthesis (ASI)

Informations générales

  • ECTS

    ECTS 1

Goal(s)

Presentation of a formal method for the conception of
controllers for discrete event systems. This approach guaranties a priori
that the system will have a behavior in accordance with the specifications
without performing any simulation.

Content(s)

 Chapter 1. Finite automata

. Languages

 . Finite state systems, finite automata

 . From Automata to regular expressions


 Chapter 2. Controller synthesis based on automata

. Open loop and closed loop behavior

. controllable languages

. Existence of a supervisor and synthesis algorithm


 Chapter 3. Synthesis of a controller based on Petri nets

 . Markings invariants

 . Control places

 . Case of uncontrollable transitions

Prerequisites :
Ordinary Petri Nets

Calendar

S1

Additional Information

10 h CM

Bibliography

http://www.control.utoronto.ca/people/profs/wonham/wonham.html

K. Yamalidou, J. O. Moody, M. Lemmon and P. Antsaklis, “Feedback Control of Petri Nets Based on Place Invariants”, Automatica, Vol. 32, No. 1, pp. 15-28, 1996.

French State controlled diploma conferring a Master's degree

diplôme conférant grade de master contrôlé par l'Etat