Integration of supervisory control synthesis in model-based systems engineering

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.