Synthesis-based engineering of supervisory controllers
Synthesis-based engineering (SBE) provides assistance needed to manage the complexity of guaranteeing safe control, by combining model-based engineering with computer-aided design.
It builds on the synthesis procedure computing a correct-by-construction controller from models of the to-be-controlled system and associated requirements. This Mikroniek article explains how SBE has recently been applied in the context of metal 3D printers, helping to make their control software more robust. Additionally, recent developments in SBE are highlighted, showing it can be used successfully in the development of complex, industrial-scale systems. (Image courtesy of TU/e).