论文信息 - Formulation and control of real time discrete event processes

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.<<ETX>>

Y. Brave | M. Heymann | M. Heymann | Y. Brave

[1] C. Golaszewski,et al. Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

[2] P. Ramadge,et al. Modular Supervisory Control of Discrete Event Systems , 1988 .

[3] J. Ostroff,et al. State machines, temporal logic and control: A framework for discrete event systems , 1987, 26th IEEE Conference on Decision and Control.

[4] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[5] W. M. Wonham,et al. On Supervisory Control of Real-Time Discrete-Event Systems , 1987 .

[6] P. Ramadge,et al. On the supermal controllable sublanguage of a given language , 1987 .