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

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

Keywords

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

Abstract

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:

• DOI:
• From Proceeding (497) Intelligent Systems and Control - 2005

Go Back