1 paper
Dennis Hendriks, Michel Reniers, Wan Fokkink +1
Supervisory controllers control cyber-physical systems to ensure their correct and safe operation. Synthesis-based engineering (SBE) is an approach to largely automate their design…