Visible to the public Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

TitleExploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis
Publication TypeConference Paper
Year of Publication2020
AuthorsMoormann, L., Mortel-Fronczak, J. M. van de, Fokkink, W. J., Rooda, J. E.
Conference Name2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)
Keywordsactuators, Analytical models, Automata, compositionality, Cyber Dependencies, cyber-physical system, Cyber-physical systems, data visualisation, dependency graphs, discrete event systems, discrete-event systems, even unsolvable synthesis procedures, graph theory, human factors, lengthy synthesis procedures, Metrics, model reduction steps, pubcrawl, reduced order systems, required computational time, Resiliency, Scalability, Sensors, supervisor synthesis, supervisory controller, synthesis problem, system components, tunnels
AbstractSupervisor 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.
Citation Keymoormann_exploiting_2020