Deparment of Electrical Engineering and Cornpuler Sciences
Kemal İnan, Pravin P. Varaiya · 1987
We present a class of discrete event models called Finitely Recursive Rocesses (FRP). These models are motivated by problems in supervisory control while Although our work is preliminary we believe that for many problems it offers a formalsome of the formal structure is based on Hoare's Communicating Sequential Processes. ism that is superior to that of Finite State Machines recently introduced in control thcory.