2 papers
eess.SY2026
Multimodal Nonblocking Supervisory Control Synthesis
Marijn Minkenberg, Michel Reniers, Martijn Goorden +2
Supervisory control synthesis leverages the nonblocking property to show liveness of the supervised system. This property is particularly weak when system models include fault beha…
eess.SY2025
Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
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…