Integration of supervisory control synthesis in model-based systems engineering

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

Abstract

Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms.
LanguageEnglish
Title of host publicationComplex systems: relationships between control, communications and computing
PublisherSpringer
Pages39-58
Number of pages20
VolumePart I
ISBN (Electronic)978-3-319-28860-4
ISBN (Print)978-3-319-28858-1
DOIs
StatePublished - 2016

Publication series

NameStudies in Systems, Decision and Control
Volume55

Fingerprint

Systems engineering
Supervisory personnel
Cost reduction
Control systems

Cite this

Baeten, J. C. M., van de Mortel - Fronczak, J. M., & Rooda, J. E. (2016). Integration of supervisory control synthesis in model-based systems engineering. In Complex systems: relationships between control, communications and computing (Vol. Part I, pp. 39-58). (Studies in Systems, Decision and Control; Vol. 55). Springer. DOI: 10.1007/978-3-319-28860-4_2
Baeten, J.C.M. ; van de Mortel - Fronczak, J.M. ; Rooda, J.E./ Integration of supervisory control synthesis in model-based systems engineering. Complex systems: relationships between control, communications and computing. Vol. Part I Springer, 2016. pp. 39-58 (Studies in Systems, Decision and Control).
@inbook{8d3c91c01bd14be590fbef95fb10c5fd,
title = "Integration of supervisory control synthesis in model-based systems engineering",
abstract = "Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms.",
author = "J.C.M. Baeten and {van de Mortel - Fronczak}, J.M. and J.E. Rooda",
year = "2016",
doi = "10.1007/978-3-319-28860-4_2",
language = "English",
isbn = "978-3-319-28858-1",
volume = "Part I",
series = "Studies in Systems, Decision and Control",
publisher = "Springer",
pages = "39--58",
booktitle = "Complex systems: relationships between control, communications and computing",
address = "Germany",

}

Baeten, JCM, van de Mortel - Fronczak, JM & Rooda, JE 2016, Integration of supervisory control synthesis in model-based systems engineering. in Complex systems: relationships between control, communications and computing. vol. Part I, Studies in Systems, Decision and Control, vol. 55, Springer, pp. 39-58. DOI: 10.1007/978-3-319-28860-4_2

Integration of supervisory control synthesis in model-based systems engineering. / Baeten, J.C.M.; van de Mortel - Fronczak, J.M.; Rooda, J.E.

Complex systems: relationships between control, communications and computing. Vol. Part I Springer, 2016. p. 39-58 (Studies in Systems, Decision and Control; Vol. 55).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Integration of supervisory control synthesis in model-based systems engineering

AU - Baeten,J.C.M.

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

AU - Rooda,J.E.

PY - 2016

Y1 - 2016

N2 - Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms.

AB - Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms.

U2 - 10.1007/978-3-319-28860-4_2

DO - 10.1007/978-3-319-28860-4_2

M3 - Chapter

SN - 978-3-319-28858-1

VL - Part I

T3 - Studies in Systems, Decision and Control

SP - 39

EP - 58

BT - Complex systems: relationships between control, communications and computing

PB - Springer

ER -

Baeten JCM, van de Mortel - Fronczak JM, Rooda JE. Integration of supervisory control synthesis in model-based systems engineering. In Complex systems: relationships between control, communications and computing. Vol. Part I. Springer. 2016. p. 39-58. (Studies in Systems, Decision and Control). Available from, DOI: 10.1007/978-3-319-28860-4_2