DocumentCode
2974171
Title
Formulation and control of real time discrete event processes
Author
Brave, Y. ; Heymann, M.
Author_Institution
Technion-Israel Inst. of Technol., Haifa, Israel
fYear
1988
fDate
7-9 Dec 1988
Firstpage
1131
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1988., Proceedings of the 27th IEEE Conference on
Conference_Location
Austin, TX
Type
conf
DOI
10.1109/CDC.1988.194493
Filename
194493
Link To Document