TY - GEN
T1 - Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis
AU - Moormann, L.
AU - Van De Mortel-Fronczak, J. M.
AU - Fokkink, W. J.
AU - Rooda, J. E.
PY - 2020/10/8
Y1 - 2020/10/8
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 - http://www.scopus.com/inward/record.url?scp=85094117260&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85094117260&partnerID=8YFLogxK
U2 - 10.1109/CASE48305.2020.9216953
DO - 10.1109/CASE48305.2020.9216953
M3 - Conference contribution
AN - SCOPUS:85094117260
T3 - IEEE International Conference on Automation Science and Engineering
SP - 659
EP - 666
BT - 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)
PB - IEEE Computer Society
T2 - 16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Y2 - 20 August 2020 through 21 August 2020
ER -