Efficient Validation of Supervisory Controllers using Symmetry Reduction

Lars Moormann (Corresponding author), J.M. (Asia) van de Mortel-Fronczak, Martijn A. Goorden, Wan J. Fokkink, Patrick Maessen, J.E. (Koos) Rooda

Research output: Contribution to journalConference articleAcademicpeer-review

1 Citation (Scopus)
14 Downloads (Pure)


Supervisory control synthesis is a method to automatically generate a correct-by-construction supervisory controller. Validation of the synthesized controller is an important step to guarantee correct and safe system behavior. Especially requirement validation for systems with numerous components can be a difficult and time-consuming task. This paper proposes a method that reduces the required validation time and effort of systems through symmetry reduction, and is based on the concept of isomorphism. Isomorphism of component models and requirement models means that these models are equivalent in behavior, and therefore only part of the system needs to be validated. This method is used in an industrial case study, in which a supervisory controller is synthesized for a road tunnel (the Koning Willem-Alexandertunnel, the Netherlands). In this case study, the modeling of the plant and the requirements, supervisor synthesis, simulation, and validation are described.

Original languageEnglish
Pages (from-to)288-295
Number of pages8
Issue number4
Publication statusPublished - 12 Nov 2020
Event15th International Workshop on Discrete Event Systems (WODES 2020) - Virtual, Rio de Janeiro, Brazil
Duration: 11 Nov 202013 Nov 2020
Conference number: 15


  • Automata theory
  • control system synthesis
  • supervisory control
  • system reduction
  • validation


Dive into the research topics of 'Efficient Validation of Supervisory Controllers using Symmetry Reduction'. Together they form a unique fingerprint.

Cite this