Integration of supervisory control synthesis in model-based systems engineering

J.C.M. Baeten, J.M. van de Mortel - Fronczak, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

15 Citations (Scopus)
11 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationComplex systems: relationships between control, communications and computing
Number of pages20
VolumePart I
ISBN (Electronic)978-3-319-28860-4
ISBN (Print)978-3-319-28858-1
Publication statusPublished - 2016

Publication series

NameStudies in Systems, Decision and Control


Dive into the research topics of 'Integration of supervisory control synthesis in model-based systems engineering'. Together they form a unique fingerprint.

Cite this