DSM-based Analysis for the Recognition of Modeling Errors in Supervisory Controller Design

DS 97: Proceedings of the 21st International DSM Conference (DSM 2019), Monterey, California, September 23rd - 25th 2019

Year: 2019
Editor: Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jintin Tran; Paulo Montijo
Author: Goorden, Martijn; Etman, Pascal; van de Mortel-Fronczak, Joanna; Rooda, Jacobus
Series: DSM
Institution: Eindhoven University of Technology
Section: New Methods and Algorithms
Page(s): 9
DOI number: https://doi.org/10.35199/dsm2019.7
ISBN: 978-1-912254-06-4


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.

Keywords: DSM, MBSE, supervisory control theory, formal methods


Please sign in to your account

This site uses cookies and other tracking technologies to assist with navigation and your ability to provide feedback, analyse your use of our products and services, assist with our promotional and marketing efforts, and provide content from third parties. Privacy Policy.