No synthesis needed, we are alright already

Martijn Goorden, Martin Fabian

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

6 Citations (Scopus)
101 Downloads (Pure)


Supervisory control theory provides means to synthesize supervisors for cyber-physical systems based on models of the uncontrolled plant and models of the control requirements. In general, it has been shown that supervisory control synthesis is NP-hard, which is not beneficial for the applicability to industrial-sized systems. However, supervisory control synthesis seems to be easy for several industrial-sized systems compared to the theoretical worst-case complexity. In this paper, we propose properties to identify easy supervisory control problems. When a system satisfies these properties, we show that the plant models and the requirement models together are a controllable, nonblocking, and maximally permissive supervisor, i.e., no synthesis is needed to calculate a supervisor. Furthermore, these properties allow for local verification of each plant and requirement model separately.

Original languageEnglish
Title of host publication2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Number of pages8
ISBN (Electronic)9781728103556
Publication statusPublished - 1 Aug 2019
Event15th IEEE International Conference on Automation Science and Engineering, (CASE 2019) - University of British Columbia, Vancouver, Canada
Duration: 22 Aug 201926 Aug 2019
Conference number: 15


Conference15th IEEE International Conference on Automation Science and Engineering, (CASE 2019)
Abbreviated titleCASE2019
Internet address


Dive into the research topics of 'No synthesis needed, we are alright already'. Together they form a unique fingerprint.

Cite this