A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Supervisory control of real-time systems using prioritized synchronization
[chapter]
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.
doi:10.1007/bfb0020959
fatcat:utrk6qkrbbak5hya2jlyjgighm