Title :
Finitely recursive processes
Author :
Inan, K. ; Varaiya, P.
Author_Institution :
University of California, Berkeley, CA
Abstract :
We present a new class of discrete event models called Finitely Recursive Processes (FRP). These models are motivated by problems in supervisory control while some of the formal structure is based on Hoare´s Communicating Sequential Processes. Although our work is preliminary we believe that for many problems it offers a formalism that is superior to that of Finite State Machines recently introduced in control theory.
Keywords :
Automata; Automatic control; Control system synthesis; Control systems; Control theory; Discrete event systems; Fiber reinforced plastics; Power system relaying; Protective relaying; Real time systems;
Conference_Titel :
Decision and Control, 1987. 26th IEEE Conference on
Conference_Location :
Los Angeles, California, USA
DOI :
10.1109/CDC.1987.272774
