A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

In this article, we study the problem of controlling a plant described as a real-time discrete event system. The aimed objective is to ensure a conformance relation denoted tioco between the plant and the formal specification of the system, by means of a supervisor. We adopt a two-step approach. In Step 1, we express the problem into a non-real-time form, by using a transformation of timed automata (TA) into particular finite state automata called Set-Exp-Automata (SEA). The latter use two additional types of events, Set and Exp. And in Step 2, we propose a non-real-time control method suitable for SEA. We also propose a control architecture.