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 Set Exp, of timed automata (TA) into finite state automata. This Set Exp based method is computationally less complex than other real-time control methods, but it may synthesize less permissive supervisors. This paper improves significantly the Set Exp 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.