Synthesis-based engineering of supervisory controllers

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).