Modeling Guidelines for Component-Based Supervisory Control Synthesis

Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink*, Jacobus Rooda

*Corresponding author for this work

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

87 Downloads (Pure)


Supervisory control theory provides means to synthesize supervisors from a model of the uncontrolled plant and a model of the control requirements. Currently, control engineers lack experience with using automata for this purpose, which results in low adaptation of supervisory control theory in practice. This paper presents three modeling guidelines based on experience of modeling and synthesizing supervisors of large-scale infrastructural systems. Both guidelines see the model of the plant as a collection of component models. The first guideline expresses that independent components should be modeled as asynchronous models. The second guideline expresses that physical relationships between component models can be easily expressed with extended finite automata. The third guideline expresses that the input-output perspective of the control hardware should be used as the abstraction level. The importance of the guidelines is demonstrated with examples from industrial cases.

Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
EditorsFarhad Arbab, Sung-Shik Jongmans
Number of pages22
ISBN (Electronic)9783030409142
ISBN (Print)9783030409135
Publication statusPublished - 2020
Event16th International Conference on Formal Aspects of Component Software, FACS 2019 - Amsterdam, Netherlands
Duration: 23 Oct 201925 Oct 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12018 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference16th International Conference on Formal Aspects of Component Software, FACS 2019


  • Automata
  • Modeling
  • Supervisory control synthesis


Dive into the research topics of 'Modeling Guidelines for Component-Based Supervisory Control Synthesis'. Together they form a unique fingerprint.

Cite this