DSM-based analysis for the recognition of modeling errors in supervisory controller design

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings of the 21st International Dependency and Structure Modeling Conference, DSM 2019
EditorsHarold Stowe, Tyson R. Browning, Steven D. Eppinger, Jintin Tran, Paulo Montijo
Place of PublicationGlasgow
PublisherDesign Society
Pages121-129
Number of pages9
ISBN (Electronic)978-1-912254-06-4
DOIs
Publication statusPublished - 1 Jan 2019
Event21st International Dependency and Structure Modeling Conference, DSM 2019 - Monterey, United States
Duration: 23 Sep 201925 Sep 2019

Conference

Conference21st International Dependency and Structure Modeling Conference, DSM 2019
CountryUnited States
CityMonterey
Period23/09/1925/09/19

Keywords

  • DSM
  • Formal methods
  • Mbse
  • Supervisory control theory

Fingerprint Dive into the research topics of 'DSM-based analysis for the recognition of modeling errors in supervisory controller design'. Together they form a unique fingerprint.

Cite this