New results in modeling and supervisory control of real-time discrete event systems

A method has been recently proposed for the supervisory control of real-time discrete event systems (RTDES). This method is based on a transformation, called SetExp, of timed automata (TA) into finite state automata. This SetExp-based method is computationally less complex than other realtime control methods, but it may synthesize less permissive supervisors. This paper improves significantly the SetExp-based control method: 1) we improve the permissiveness of the supervisors; 2) we study and present more rigorously and completely the control method and its architecture.