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.
Original language | English |
---|---|
Title of host publication | Proceedings of the 21st International Dependency and Structure Modeling Conference, DSM 2019 |
Editors | Harold Stowe, Tyson R. Browning, Steven D. Eppinger, Jintin Tran, Paulo Montijo |
Place of Publication | Glasgow |
Publisher | Design Society |
Pages | 121-129 |
Number of pages | 9 |
ISBN (Electronic) | 978-1-912254-06-4 |
DOIs | |
Publication status | Published - 1 Jan 2019 |
Event | 21st International Dependency and Structure Modeling Conference, DSM 2019 - Monterey, United States Duration: 23 Sep 2019 → 25 Sep 2019 |
Conference
Conference | 21st International Dependency and Structure Modeling Conference, DSM 2019 |
---|---|
Country/Territory | United States |
City | Monterey |
Period | 23/09/19 → 25/09/19 |
Keywords
- DSM
- Formal methods
- Mbse
- Supervisory control theory