DIFFER Seminar: Synthesis-Based Engineering of supervisory controllers

Abstract: Supervisory controllers are crucial for the correct and safe operation of cyber-physical systems. As organizations face growing complexity and a shortage of skilled engineers, Synthesis-Based Engineering offers an approach that integrates model-based engineering with computer-aided design. This enables engineers to focus on ‘what’ the controller should do (the requirements), rather than ‘how’ it should do it (the implementation). Automatically synthesized controllers are correct-by-construction, enabling system level simulations, faster feedback cycles during development, and automatic code generation, enhancing productivity and controller quality. In this presentation, I'll explain Synthesis-Based Engineering and its benefits, give some insights into where this technology currently stands, and show some concrete applications.