Supervisory Control of Real-Time Discrete Event Systems Modeled by Timed Automata with Invariants

A, Khoumsi, L. Ouedraogo, and M. Nourelfath (Canada)


Supervisory control, Real-time discrete event systems, Timed automata with invariants, Set-Exp-Automata.


The objective is to synthesize a supervisor that forces a given plant to conform to a given formal specification. Timed Automata (TA) with invariants is the model used to describe the plant and the specification, and the synthe sis approach consists of using a transformation of TA into particular finite state automata called Set-Exp-Automata.

Important Links:

Go Back