9 citations · 12 across the 7 of their papers we have counts for
7 papers
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…
Supervisory Control Theory with Event Forcing
Michel Reniers, Kai Cai
In the Ramadge-Wonham supervisory control theory the only interaction mechanism between supervisor and plant is that the supervisor may enable/disable events from the plant and the…
Transformational Supervisor Localization
Sander Thuijsman, Kai Cai, Michel Reniers
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work,…
Tool interoperability for model-based systems engineering
Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani +7
Supervisory control design of cyber-physical systems has many challenges. Model-based systems engineering can address these, with solutions originating from various disciplines. We…
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.…