Supervisory control of real-time systems using prioritized synchronization [chapter]

Ratnesh Kumar, Mark A. Shayman
1996 Lecture Notes in Computer Science  
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible timed traces of the system. This is alternatively specified using timed automata where each transition is associated with an event occurrence time set during which time the transition can occur. Our model for time is more general in that the time advances continuously as compared to a model where time advances discretely.
more » ... e extend the notion of prioritized synchronous composition to the real-time setting to use it as the control mechanism. It is shown that a suitable extension of the controllability condition to the real-time setting yields a condition for the existence of a supervisor achieving a desired timed behavior. Although the real-time controllability is similar in form to its untimed counterpart, they are different in the sense that one does not imply the other and vice-versa.
doi:10.1007/bfb0020959 fatcat:utrk6qkrbbak5hya2jlyjgighm