Synthesis-Based engineering of Supervisory Controllers with Eclipse ESCET

Abstract: Supervisory controllers ensure the correct and safe operation of cyber-physical systems. Synthesis-based engineering (SBE) automates their design by combining model-based engineering withcomputer-aided design, allowing engineers to focus on