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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

18 Downloads (Pure)

Uittreksel

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.
Originele taal-2Engels
TitelIndustrial internet of things
Plaats van productieBasel
UitgeverijSpringer
Pagina's111-136
VolumePart II
ISBN van elektronische versie978-3-319-42559-7
ISBN van geprinte versie978-3-319-42558-0
DOI's
StatusGepubliceerd - 2017

Publicatie series

NaamSpringer Series in Wireless Technology

Vingerafdruk

Controllers
Interchanges
Cyber Physical System
Visualization
Testing

Citeer dit

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, blz. 111-136). (Springer Series in Wireless Technology). Basel: Springer. https://doi.org/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. blz. 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, blz. 111-136. https://doi.org/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. blz. 111-136 (Springer Series in Wireless Technology).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. blz. 111-136. (Springer Series in Wireless Technology). https://doi.org/10.1007/978-3-319-42559-7_5