NEWS 14 December 2023

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


Access to cleanliness – symposium…

Contamination control is critical for the operation of high-end manufacturing equipment.

Read more
Techcafé on working together as…

Philips Research, the once famous NatLab, was a breeding ground for unexpected ideas and solutions. Innovation was stimulated there as people from different disciplines could spontaneously meet and catch up.

Read more
How a course pushed the…

Working as a particle accelerator engineer at Argonne National Laboratory, Curt Preissner ran into the limits of their design philosophy.

Read more