The control of dense real-time discrete event systems
Howard Wong-Toi, G. Hoffmann · 2002
The authors introduce dense real-time into the supervisory control of discrete event systems. They give conditions for the existence of a controller. If the plant and specification behaviors are represented by timed automata, there is a supremal controllable sublanguage of the specification language for a subclass of synthesis problems. The synthesized supervisor is polynomial in the number of automata states and exponential in the timing information.>