Integration of supervisory control synthesis in model-based systems engineering

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

Research output: Book/ReportReportAcademic

17 Downloads (Pure)


Due to increasing system complexity, time-to-market and development costs reduction, there are higher demands on engineering processes. Model-based engineering can play a role here because it supports system development by enabling the use of various model-based analysis techniques and tools. As a result, they are able to cope with complexity and have the potential to reduce time-to-market and development costs. Moreover, supervisory control synthesis can be integrated in this setting, which can contribute to the development of control systems. This paper gives an overview of recently developed supervisor synthesis techniques and tools. To evaluate the applicability of these techniques and to show how they can be integrated in an engineering process, a few industrial cases are discussed. The supervisors synthesized for these cases have successfully been implemented and integrated in the existing resource-control platform.
Original languageEnglish
Place of PublicationEindhoven
PublisherEindhoven University of Technology
Number of pages20
Publication statusPublished - 2011

Publication series

NameSE report
ISSN (Print)1872-1567


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

Cite this