Title :
Formulation and control of real time discrete event processes
Author :
Brave, Y. ; Heymann, M.
Author_Institution :
Technion-Israel Inst. of Technol., Haifa, Israel
Abstract :
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
Keywords :
automata theory; discrete time systems; real-time systems; automata theory; clock automaton; controlled state machine; discrete event processes; real time; Automata; Automatic control; Clocks; Communication networks; Communication system control; Computer aided manufacturing; Computer networks; Computer science; Counting circuits; Process control;
Conference_Titel :
Decision and Control, 1988., Proceedings of the 27th IEEE Conference on
Conference_Location :
Austin, TX
DOI :
10.1109/CDC.1988.194493
