Year: 2019
Type: conference-paper
Abstract: The design of supervisory controllers for cyber-physical systems is steadily becoming harder as increasingly more functionality needs to be automated, the systems become larger, and safe operation becomes more important. Model-based systems engineering incorporating formal methods such as supervisory control synthesis can be used to synthesize these supervisory controllers based on models of the uncontrolled system components and models of the control requirements. Although synthesis is an automatic procedure, creating these models is still a manual activity prone to modeling errors. In this paper, we propose to use several DSM-supported analysis techniques to identify potential modeling errors. Analyzing the dependencies between uncontrolled system component models and requirement models with both a domain mapping matrix and a dependency structure matrix reveals potential modeling errors. We present several examples of models from literature to show the potential effectiveness of the DSM-supported analysis of the uncontrolled system and the associated control requirements.
DOI: 10.35199/dsm2019.7
Authors: WillBe Group, Martijn Goorden, Pascal Etman, Joanna van de Mortel-Fronczak, Jacobus Rooda, CentraleSupélec
Language: English
Subfield: Control and Systems Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W2979412907