Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Lars Moormann; J.M. (Asia) van de Mortel-Fronczak; Wan J. Fokkink; J.E. (Koos) Rooda

doi:10.1109/CASE48305.2020.9216953

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Control Systems Technology

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

2 Citaten (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-2	Engels
Titel	2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020
Uitgeverij	Institute of Electrical and Electronics Engineers
Pagina's	659-666
Aantal pagina's	8
ISBN van elektronische versie	9781728169040
DOI's	https://doi.org/10.1109/CASE48305.2020.9216953
Status	Gepubliceerd - 11 aug. 2020
Evenement	16th IEEE International Conference on Automation Science and Engineering, CASE 2020 - Hong Kong, Hongkong Duur: 20 aug. 2020 → 21 aug. 2020

Congres

Congres	16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Land/Regio	Hongkong
Stad	Hong Kong
Periode	20/08/20 → 21/08/20

Financiering

*This work is supported by Rijkswaterstaat, part of the Dutch Ministry of Infrastructure and Water-Management 1Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands [email protected] 2Department of Computer Sciences, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands This work is supported by Rijkswaterstaat, part of the Dutch Ministry of Infrastructure and Water-Management

Financiers
Ministry of Infrastructure and Environment
Ministry of Infrastructure and Environment
Ministry of Infrastructure and Environment
Technische Universiteit Eindhoven

Toegang tot document

10.1109/CASE48305.2020.9216953

Andere bestanden en links

Link to publication in Scopus

Citeer dit

Moormann, L., van de Mortel-Fronczak, J. M., Fokkink, W. J., & Rooda, J. E. (2020). Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. In 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020 (blz. 659-666). Artikel 9216953 Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CASE48305.2020.9216953

@inproceedings{3f1bab367288490bbfabb9649154a455,

title = "Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis",

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.",

author = "Lars Moormann and \{van de Mortel-Fronczak\}, \{J.M. (Asia)\} and Fokkink, \{Wan J.\} and Rooda, \{J.E. (Koos)\}",

year = "2020",

month = aug,

day = "11",

doi = "10.1109/CASE48305.2020.9216953",

language = "English",

pages = "659--666",

booktitle = "2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "16th IEEE International Conference on Automation Science and Engineering, CASE 2020 ; Conference date: 20-08-2020 Through 21-08-2020",

}

Moormann, L , van de Mortel-Fronczak, JM , Fokkink, WJ & Rooda, JE 2020, Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. in 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020., 9216953, Institute of Electrical and Electronics Engineers, blz. 659-666, 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, Hongkong, 20/08/20. https://doi.org/10.1109/CASE48305.2020.9216953

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. / Moormann, Lars ; van de Mortel-Fronczak, J.M. (Asia); Fokkink, Wan J. et al.
2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020. Institute of Electrical and Electronics Engineers, 2020. blz. 659-666 9216953.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

AU - Moormann, Lars

AU - van de Mortel-Fronczak, J.M. (Asia)

AU - Fokkink, Wan J.

AU - Rooda, J.E. (Koos)

PY - 2020/8/11

Y1 - 2020/8/11

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85094117260

U2 - 10.1109/CASE48305.2020.9216953

DO - 10.1109/CASE48305.2020.9216953

M3 - Conference contribution

SP - 659

EP - 666

BT - 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020

PB - Institute of Electrical and Electronics Engineers

T2 - 16th IEEE International Conference on Automation Science and Engineering, CASE 2020

Y2 - 20 August 2020 through 21 August 2020

ER -

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Samenvatting

Congres

Financiering

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit