Model-based engineering of supervisory controllers for cyber-physical systems

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Abstract

Engineering of supervisory controllers for cyber-physical systems is a challenging task in practice, amongst others because of the high complexity of the uncontrolled system. A supervisory controller coordinates the behaviour of a (cyber-physical) system based on discrete-event observations of its state. It uses these observations to decide which activities the uncontrolled system can safely perform or to determine activities that (are more likely to) lead to acceptable system behaviour. In model-based engineering, models are used in the design process to show the correctness of a solution before it is actually implemented. The engineering of supervisory controllers for large and complex cyber-physical systems such as cyber-physical manufacturing and production systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We illustrate a model-based engineering framework for supervisory control on a case study involving the coordination of autonomously navigating vehicles. We discuss the engineering steps involved in this framework such as modelling, supervisory control synthesis, and validation through simulation-based visualization, verification, real-time testing, and code generation, and illustrate some of these. We explain how the CIF language and supporting tools can be used for these typical activities.
LanguageEnglish
Title of host publicationIndustrial internet of things
Place of PublicationBasel
PublisherSpringer
Pages111-136
VolumePart II
ISBN (Electronic)978-3-319-42559-7
ISBN (Print)978-3-319-42558-0
DOIs
StatePublished - 2017

Publication series

NameSpringer Series in Wireless Technology

Fingerprint

Controllers
Interchanges
Cyber Physical System
Visualization
Testing

Cite this

Reniers, M. A., van de Mortel - Fronczak, J. M., & Roelofs, K. (2017). Model-based engineering of supervisory controllers for cyber-physical systems. In Industrial internet of things (Vol. Part II, pp. 111-136). (Springer Series in Wireless Technology). Basel: Springer. DOI: 10.1007/978-3-319-42559-7_5
Reniers, M.A. ; van de Mortel - Fronczak, J.M. ; Roelofs, K./ Model-based engineering of supervisory controllers for cyber-physical systems. Industrial internet of things. Vol. Part II Basel : Springer, 2017. pp. 111-136 (Springer Series in Wireless Technology).
@inbook{3bdbe6bf932544509f65b2d0a8485fea,
title = "Model-based engineering of supervisory controllers for cyber-physical systems",
abstract = "Engineering of supervisory controllers for cyber-physical systems is a challenging task in practice, amongst others because of the high complexity of the uncontrolled system. A supervisory controller coordinates the behaviour of a (cyber-physical) system based on discrete-event observations of its state. It uses these observations to decide which activities the uncontrolled system can safely perform or to determine activities that (are more likely to) lead to acceptable system behaviour. In model-based engineering, models are used in the design process to show the correctness of a solution before it is actually implemented. The engineering of supervisory controllers for large and complex cyber-physical systems such as cyber-physical manufacturing and production systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We illustrate a model-based engineering framework for supervisory control on a case study involving the coordination of autonomously navigating vehicles. We discuss the engineering steps involved in this framework such as modelling, supervisory control synthesis, and validation through simulation-based visualization, verification, real-time testing, and code generation, and illustrate some of these. We explain how the CIF language and supporting tools can be used for these typical activities.",
author = "M.A. Reniers and {van de Mortel - Fronczak}, J.M. and K. Roelofs",
year = "2017",
doi = "10.1007/978-3-319-42559-7_5",
language = "English",
isbn = "978-3-319-42558-0",
volume = "Part II",
series = "Springer Series in Wireless Technology",
publisher = "Springer",
pages = "111--136",
booktitle = "Industrial internet of things",
address = "Germany",

}

Reniers, MA, van de Mortel - Fronczak, JM & Roelofs, K 2017, Model-based engineering of supervisory controllers for cyber-physical systems. in Industrial internet of things. vol. Part II, Springer Series in Wireless Technology, Springer, Basel, pp. 111-136. DOI: 10.1007/978-3-319-42559-7_5

Model-based engineering of supervisory controllers for cyber-physical systems. / Reniers, M.A.; van de Mortel - Fronczak, J.M.; Roelofs, K.

Industrial internet of things. Vol. Part II Basel : Springer, 2017. p. 111-136 (Springer Series in Wireless Technology).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Model-based engineering of supervisory controllers for cyber-physical systems

AU - Reniers,M.A.

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

AU - Roelofs,K.

PY - 2017

Y1 - 2017

N2 - Engineering of supervisory controllers for cyber-physical systems is a challenging task in practice, amongst others because of the high complexity of the uncontrolled system. A supervisory controller coordinates the behaviour of a (cyber-physical) system based on discrete-event observations of its state. It uses these observations to decide which activities the uncontrolled system can safely perform or to determine activities that (are more likely to) lead to acceptable system behaviour. In model-based engineering, models are used in the design process to show the correctness of a solution before it is actually implemented. The engineering of supervisory controllers for large and complex cyber-physical systems such as cyber-physical manufacturing and production systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We illustrate a model-based engineering framework for supervisory control on a case study involving the coordination of autonomously navigating vehicles. We discuss the engineering steps involved in this framework such as modelling, supervisory control synthesis, and validation through simulation-based visualization, verification, real-time testing, and code generation, and illustrate some of these. We explain how the CIF language and supporting tools can be used for these typical activities.

AB - Engineering of supervisory controllers for cyber-physical systems is a challenging task in practice, amongst others because of the high complexity of the uncontrolled system. A supervisory controller coordinates the behaviour of a (cyber-physical) system based on discrete-event observations of its state. It uses these observations to decide which activities the uncontrolled system can safely perform or to determine activities that (are more likely to) lead to acceptable system behaviour. In model-based engineering, models are used in the design process to show the correctness of a solution before it is actually implemented. The engineering of supervisory controllers for large and complex cyber-physical systems such as cyber-physical manufacturing and production systems requires dedicated engineering support. The Compositional Interchange Format language and toolset have been developed for this purpose. We illustrate a model-based engineering framework for supervisory control on a case study involving the coordination of autonomously navigating vehicles. We discuss the engineering steps involved in this framework such as modelling, supervisory control synthesis, and validation through simulation-based visualization, verification, real-time testing, and code generation, and illustrate some of these. We explain how the CIF language and supporting tools can be used for these typical activities.

U2 - 10.1007/978-3-319-42559-7_5

DO - 10.1007/978-3-319-42559-7_5

M3 - Chapter

SN - 978-3-319-42558-0

VL - Part II

T3 - Springer Series in Wireless Technology

SP - 111

EP - 136

BT - Industrial internet of things

PB - Springer

CY - Basel

ER -

Reniers MA, van de Mortel - Fronczak JM, Roelofs K. Model-based engineering of supervisory controllers for cyber-physical systems. In Industrial internet of things. Vol. Part II. Basel: Springer. 2017. p. 111-136. (Springer Series in Wireless Technology). Available from, DOI: 10.1007/978-3-319-42559-7_5