No synthesis needed, we are alright already
Paper in proceeding, 2019

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.

Author

Martijn Goorden

Eindhoven University of Technology

Martin Fabian

Chalmers, Electrical Engineering, Systems and control

IEEE International Conference on Automation Science and Engineering

21618070 (ISSN) 21618089 (eISSN)

Vol. 2019-August 195-202 8843071
978-172810355-6 (ISBN)

15th IEEE International Conference on Automation Science and Engineering, CASE 2019
Vancouver, Canada,

Subject Categories

Other Engineering and Technologies not elsewhere specified

Embedded Systems

Control Engineering

DOI

10.1109/COASE.2019.8843071

More information

Latest update

9/21/2020