Supervisory control for failure recovery in discrete event systems

Discrete event system models are used for systems with a discrete state space and event-driven state transitions such as communication systems and manufacturing systems. This paper proposes a polynomial-time algorithm for the construction of fault-tolerant supervisors for discrete event systems. Such supervisor ensures the desired system behavior as long as no faults occur, and realizes a redundant behavior in case of faults.