Formulation and control of real time discrete event processes

A discrete-event process is modeled as a controlled state machine, in the framework of D.J. Ramadge and W.M. Wohman (1986). Their approach is extended to model a class of real-time discrete-event processes by means of a special type of automaton, called a clock automaton. The clock automaton is used for decreasing the real-time behavior of processes, controllers, and real-time specifications.<
>