Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

L. Moormann*, J. M. Van De Mortel-Fronczak, W. J. Fokkink, J. E. Rooda

*Corresponding author for this work

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

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)
Subtitle of host publicationProceedings
PublisherIEEE Computer Society
Pages659-666
Number of pages8
ISBN (Electronic)9781728169040
DOIs
Publication statusPublished - 8 Oct 2020
Event16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hong Kong
Duration: 20 Aug 202021 Aug 2020

Publication series

NameIEEE International Conference on Automation Science and Engineering
Volume2020-August
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Conference

Conference16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Country/TerritoryHong 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