Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

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

1 Citation (Scopus)

Abstract

Supervisor synthesis enables the design of supervisory
controllers for large cyber-physical systems, with high
guarantees for functionality and safety. The complexity of the
synthesis problem, however, increases exponentially with the
number of system components in the cyber-physical system and
the number of models of this system, often resulting in lengthy
or even unsolvable synthesis procedures. In this paper, a new
method is proposed for reducing the model of the system before synthesis to decrease the required computational time and effort. The method consists of three steps for model reduction, that are mainly based on symmetry in dependency graphs of the system. Dependency graphs visualize the components in the system and the relations between these components. The proposed method is applied in a case study on the design of a supervisory controller for a road tunnel. In this case study, the model reduction steps are described, and results are shown on the effectiveness of model reduction in terms of model size and synthesis time.
Original languageEnglish
Title of host publication2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
PublisherInstitute of Electrical and Electronics Engineers
Pages659-666
Number of pages8
ISBN (Electronic)9781728169040
DOIs
Publication statusPublished - 11 Aug 2020
Event16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hong Kong
Duration: 20 Aug 202021 Aug 2020

Conference

Conference16th IEEE International Conference on Automation Science and Engineering, CASE 2020
CountryHong Kong
CityHong Kong
Period20/08/2021/08/20

Fingerprint

Dive into the research topics of 'Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis'. Together they form a unique fingerprint.

Cite this