• DocumentCode
    3082651
  • Title

    Finitely recursive processes

  • Author

    Inan, K. ; Varaiya, P.

  • Author_Institution
    University of California, Berkeley, CA
  • Volume
    26
  • fYear
    1987
  • fDate
    9-11 Dec. 1987
  • Firstpage
    252
  • Lastpage
    256
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Decision and Control, 1987. 26th IEEE Conference on
  • Conference_Location
    Los Angeles, California, USA
  • Type

    conf

  • DOI
    10.1109/CDC.1987.272774
  • Filename
    4049263
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3082651