SUPERVISORY CONTROL OF REAL-TIME DISCRETE EVENT SYSTEMS MODELED BY TIMED AUTOMATA WITH INVARIANTS

摘要

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 synthesis approach consists of using a transformation of TA into particular finite state automata called Set-Exp-Automata.