Structured synthesis of fault-tolerant supervisory controllers

Research output: Contribution to journalConference articleAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Abstract

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
JournalIFAC-PapersOnLine
Volume51
Issue number24
DOIs
Publication statusPublished - Aug 2018
Event10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes - Warsaw, Poland
Duration: 29 Aug 201831 Aug 2018

Keywords

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

Fingerprint

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

Cite this