Efficient failure-recovering supervisors

Research output: Contribution to journalConference articleAcademicpeer-review

15 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
Pages (from-to)1755-1762
Number of pages8
Issue number2
Publication statusPublished - 2020
Event21st World Congress of the International Federation of Aufomatic Control (IFAC 2020 World Congress) - Berlin, Germany
Duration: 12 Jul 202017 Jul 2020
Conference number: 21


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


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

Cite this