9 citations · 12 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
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…
Design space exploration of a poultry fillet processing system using discrete-event simulation
N. Paape, J. A. W. M. van Eekelen, M. A. Reniers
Developments in the poultry processing industry, such as how livestock is raised and how consumers buy meat, make it increasingly difficult to design poultry processing systems tha…
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors
Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers +3
Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements.…