Structured synthesis of fault-tolerant supervisory controllers

F.F.H. Reijnen, M.A. Reniers, J.M. van de Mortel - Fronczak, J.E. Rooda

Research output: Contribution to journalConference articlepeer-review

5 Citations (Scopus)
1 Downloads (Pure)


Supervisory control synthesis for discrete-event systems can help in overcoming the growing complexity in the process of designing supervisors for cyber-physical systems. This is especially the case when fault-tolerance needs to be taken into account. The aim of this paper is to present a structured way of working that can be used for this purpose. Special attention is given to partitioning plant models and requirement models according to nominal and post-fault behavior. Extended finite-state automata and state-based requirement models are used as the modeling formalism. A case study involving a movable bridge (state space size: 8.4 × 1025) is presented to illustrate the proposed method.

Original languageEnglish
Pages (from-to)894-901
Number of pages8
Issue number24
Publication statusPublished - Aug 2018
Event10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - Warsaw, Poland
Duration: 29 Aug 201831 Aug 2018


  • Discrete-event systems
  • Fault-tolerance
  • Supervisory control
  • Synthesis


Dive into the research topics of 'Structured synthesis of fault-tolerant supervisory controllers'. Together they form a unique fingerprint.

Cite this