Computation of supervisors for fault-recovery and repair for discrete event systems

In this paper, we study the fault-recovery and repair of discrete event systems (DES). To this end, we first develop a new method for the fault-recovery of DES. In particular, we compute a fault-recovery supervisor that follows the specified nominal system behavior until a fault-occurrence, that continues its operation according to a degraded specification after a fault and that finally converges to a desired behavior after fault. We next show that our method is also applicable to system repair and we propose an iterative procedure that determines a supervisor for an arbitrary number of fault occurrences and system repairs. We demonstrate our method with a manufacturing system example