An engineering perspective on model-based design of supervisors

Research output: Contribution to journalConference articleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Abstract

Several tools exist providing support for model-based design of supervisors in high-tech and cyber-physical systems. On the one hand, specifically tools based on finite automata are of interest as they allow to synthesize correct supervisors from which implementations can be generated. To cope with synthesis complexity, various decentralized synthesis techniques have been proposed. In recent years, extensions were defined to deal with automata and requirements in which variables may be used. On the other hand, as the synthesis result depends on the validity of the models used as its input, other model-based techniques such as simulation, testing, and verification provide complementary support in the design process. This is especially meaningful when dealing with synthesis of supervisors for large systems. In this paper, the design process is discussed with a focus on modeling, simulation, and synthesis. Additionally, the functionalities of the available synthesis tools are presented in relation to this process. To explain models relevant in this context, a container terminal scale system is used as a case study. This system consists of 35 components (mostly sensors and actuators) and 35 requirements. The design process is evaluated and missing functionality is identified.

Original languageEnglish
Pages (from-to)257-264
Number of pages8
JournalIFAC-PapersOnLine
Volume51
Issue number7
DOIs
Publication statusPublished - 1 Jan 2018

Fingerprint

Supervisory personnel
Hand tools
Finite automata
Containers
Actuators
Sensors
Computer simulation
Testing

Keywords

  • continuous-time systems
  • discrete-event
  • formal methods
  • Model-based systems engineering
  • supervisory control

Cite this

@article{32da49f7183f4d4ebf62b720fff5254b,
title = "An engineering perspective on model-based design of supervisors",
abstract = "Several tools exist providing support for model-based design of supervisors in high-tech and cyber-physical systems. On the one hand, specifically tools based on finite automata are of interest as they allow to synthesize correct supervisors from which implementations can be generated. To cope with synthesis complexity, various decentralized synthesis techniques have been proposed. In recent years, extensions were defined to deal with automata and requirements in which variables may be used. On the other hand, as the synthesis result depends on the validity of the models used as its input, other model-based techniques such as simulation, testing, and verification provide complementary support in the design process. This is especially meaningful when dealing with synthesis of supervisors for large systems. In this paper, the design process is discussed with a focus on modeling, simulation, and synthesis. Additionally, the functionalities of the available synthesis tools are presented in relation to this process. To explain models relevant in this context, a container terminal scale system is used as a case study. This system consists of 35 components (mostly sensors and actuators) and 35 requirements. The design process is evaluated and missing functionality is identified.",
keywords = "continuous-time systems, discrete-event, formal methods, Model-based systems engineering, supervisory control",
author = "M.A. Reniers and {van de Mortel-Fronczak}, J.M.",
year = "2018",
month = "1",
day = "1",
doi = "10.1016/j.ifacol.2018.06.310",
language = "English",
volume = "51",
pages = "257--264",
journal = "IFAC-PapersOnLine",
issn = "2405-8963",
publisher = "Elsevier",
number = "7",

}

An engineering perspective on model-based design of supervisors. / Reniers, M.A.; van de Mortel-Fronczak, J.M.

In: IFAC-PapersOnLine, Vol. 51, No. 7, 01.01.2018, p. 257-264.

Research output: Contribution to journalConference articleAcademicpeer-review

TY - JOUR

T1 - An engineering perspective on model-based design of supervisors

AU - Reniers, M.A.

AU - van de Mortel-Fronczak, J.M.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - Several tools exist providing support for model-based design of supervisors in high-tech and cyber-physical systems. On the one hand, specifically tools based on finite automata are of interest as they allow to synthesize correct supervisors from which implementations can be generated. To cope with synthesis complexity, various decentralized synthesis techniques have been proposed. In recent years, extensions were defined to deal with automata and requirements in which variables may be used. On the other hand, as the synthesis result depends on the validity of the models used as its input, other model-based techniques such as simulation, testing, and verification provide complementary support in the design process. This is especially meaningful when dealing with synthesis of supervisors for large systems. In this paper, the design process is discussed with a focus on modeling, simulation, and synthesis. Additionally, the functionalities of the available synthesis tools are presented in relation to this process. To explain models relevant in this context, a container terminal scale system is used as a case study. This system consists of 35 components (mostly sensors and actuators) and 35 requirements. The design process is evaluated and missing functionality is identified.

AB - Several tools exist providing support for model-based design of supervisors in high-tech and cyber-physical systems. On the one hand, specifically tools based on finite automata are of interest as they allow to synthesize correct supervisors from which implementations can be generated. To cope with synthesis complexity, various decentralized synthesis techniques have been proposed. In recent years, extensions were defined to deal with automata and requirements in which variables may be used. On the other hand, as the synthesis result depends on the validity of the models used as its input, other model-based techniques such as simulation, testing, and verification provide complementary support in the design process. This is especially meaningful when dealing with synthesis of supervisors for large systems. In this paper, the design process is discussed with a focus on modeling, simulation, and synthesis. Additionally, the functionalities of the available synthesis tools are presented in relation to this process. To explain models relevant in this context, a container terminal scale system is used as a case study. This system consists of 35 components (mostly sensors and actuators) and 35 requirements. The design process is evaluated and missing functionality is identified.

KW - continuous-time systems

KW - discrete-event

KW - formal methods

KW - Model-based systems engineering

KW - supervisory control

UR - http://www.scopus.com/inward/record.url?scp=85050076025&partnerID=8YFLogxK

U2 - 10.1016/j.ifacol.2018.06.310

DO - 10.1016/j.ifacol.2018.06.310

M3 - Conference article

AN - SCOPUS:85050076025

VL - 51

SP - 257

EP - 264

JO - IFAC-PapersOnLine

JF - IFAC-PapersOnLine

SN - 2405-8963

IS - 7

ER -