Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

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.
Originele taal-2Engels
Titel2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's659-666
Aantal pagina's8
ISBN van elektronische versie9781728169040
DOI's
StatusGepubliceerd - 11 aug 2020
Evenement16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hongkong
Duur: 20 aug 202021 aug 2020

Congres

Congres16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Land/RegioHongkong
StadHong Kong
Periode20/08/2021/08/20

Vingerafdruk

Duik in de onderzoeksthema's van 'Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis'. Samen vormen ze een unieke vingerafdruk.

Citeer dit