Failure-recovery supervisory control for discrete event systems (DES) is concerned with the recovery from faults that impair the desired system behaviors. Hereby, it is required to detect the occurrence of faults using ...