Efficient failure-recovering supervisors

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)


Automated systems require controllers which guarantee machine safety and specified functionality even in case of occurring defects. In literature, several methods can be found for formally deriving a supervisor providing such guarantees, including the existence of failure recovery. In this paper, an extension is proposed so that the derived supervisor not only guarantees the existence of failure recovery, but also enforces a shortest path for it. To this end, a two-step procedure is defined for supervisor derivation, in which two algorithms are involved.
Original languageEnglish
Title of host publicationIFAC-PapersOnLine
Publication statusE-pub ahead of print - 2020


  • Discrete-event systems
  • Failure recovery
  • Fault tolerance
  • Supervisory control
  • Supervisor synthesis

Fingerprint Dive into the research topics of 'Efficient failure-recovering supervisors'. Together they form a unique fingerprint.

Cite this