Recovery analysis of supervisory control of discrete event systems

H. Darabi, M. A. Jafari

Research output: Contribution to journalConference articlepeer-review

3 Scopus citations


Ramadge-Wonham (RW) framework for designing a supervisory controller for a given plant and user specification, has been widely addressed by many researchers. The framework accepts a generator (or plant model), G, and a specification (or imposed constraint on the plant), H, and generates the supervisory controller, S. It assumes that plant is known and deterministic. However, in many practical cases the designer is not completely aware of the real generator GR. In this paper the above assumption is removed. It is assumed that G is not fully known. Using the available G and the user specification H, RW procedure is applied to a supervisor S. Then the family of (real) generators, {GR}, which can be supervised under S while satisfying the specification H is introduced and different cases are discussed. We establish the mathematical framework for one of the cases where some events originally controllable become uncontrollable or vice versa. It is argued that the complement of {GR} which violates the specification H can be partially synthesized by available recovery and diagnosis techniques in RW literature if the violation is already known. Otherwise the violated specification must be handled in run time.

Original languageEnglish (US)
Pages (from-to)704-707
Number of pages4
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
StatePublished - 1998
EventProceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics. Part 1 (of 5) - San Diego, CA, USA
Duration: Oct 11 1998Oct 14 1998

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture


Dive into the research topics of 'Recovery analysis of supervisory control of discrete event systems'. Together they form a unique fingerprint.

Cite this