Embedded supervisory control of discrete-event systems

  title={Embedded supervisory control of discrete-event systems},
  author={Yue Yang and Peyman Gohari},
  journal={IEEE International Conference on Automation Science and Engineering, 2005.},
In this paper we propose to implement supervisory control by extending the plant finite state machine (FSM). Plant and supervisor are modeled by regular FSM. Supervisory control is introduced by extending the plant with Boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states. Event observation is captured by a set of Boolean functions that update the value of Boolean variables and are triggered by the occurrence of events. Finally… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS