Michel Reniers
YOU?
Author Swipe
View article: Supervisory Control Theory With Event Forcing
Supervisory Control Theory With Event Forcing Open
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 plant makes a final decision about which of the enabled e…
View article: Reducing the computational effort of symbolic supervisor synthesis
Reducing the computational effort of symbolic supervisor synthesis Open
Supervisor synthesis is a means to algorithmically derive a supervisory controller from a discrete-event model of a system and a requirements specification. For large systems, synthesis suffers from state space explosion. To mitigate this,…
View article: Validation of supervisory control synthesis tool CIF using model checker mCRL2
Validation of supervisory control synthesis tool CIF using model checker mCRL2 Open
This paper proposes a method to show how model checking may be used to verify that a synthesized supervisor indeed is safe (w.r.t. safety requirements used in the synthesis procedure), nonblocking and controllable. To achieve this this pap…
View article: Supervisory Control Theory with Event Forcing
Supervisory Control Theory with Event Forcing Open
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 plant makes a final decision about which of the enabled ev…
View article: Verification of safety requirements for program code using data abstraction
Verification of safety requirements for program code using data abstraction Open
Large systems in modern development consist of many concurrent processes. To prove safety properties formal modelling techniques are needed. When source code is the only available documentation for deriving the system's behaviour, it is a …
View article: Automated design space exploration for poultry processing systems using discrete-event simulation
Automated design space exploration for poultry processing systems using discrete-event simulation Open
The poultry processing industry struggles to keep up with new developments in meat consumption and livestock breeding. Designing poultry processing systems is becoming increasingly more complex, and an increasing number of iterations of (r…
View article: Expressivity of Timed Discrete Event Systems and Timed Automata
Expressivity of Timed Discrete Event Systems and Timed Automata Open
In control engineering and computer science, different formalisms are used for the specification and subsequent analysis of timed extensions of discrete event systems. In this paper, the expressivity of timed discrete event systems and tha…
View article: Automated design space exploration for poultry processing systems using discrete-event simulation
Automated design space exploration for poultry processing systems using discrete-event simulation Open
The poultry processing industry struggles to keep up with new developments in meat consumption and livestock breeding. Designing poultry processing systems is becoming increasingly more complex, and an increasing number of iterations of (r…
View article: Correction to: Transformational supervisor synthesis for evolving systems
Correction to: Transformational supervisor synthesis for evolving systems Open
The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this…
View article: Review of simulation software for cyber-physical production systems with intelligent distributed production control
Review of simulation software for cyber-physical production systems with intelligent distributed production control Open
Many intelligent distributed production control architectures have been developed for cyber-physical production systems (CPPSs), but the difficulty in predicting performance has hindered acceptance by industry. Performance predictions for …
View article: RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications Open
The paper presents a novel domain-specific language, RoboSC, for developing supervisory controllers for robotic applications. RoboSC supports concepts of ROS/ROS2 and supervisory control theory. It enables users to focus on the modeling an…
View article: Transformational Supervisor Localization
Transformational Supervisor Localization Open
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work, we consider systems that evolve over time. We study how to…
View article: Supervisory Control Synthesis of Timed Automata Using Forcible Events
Supervisory Control Synthesis of Timed Automata Using Forcible Events Open
This paper presents an algorithm for synthesizing a supervisor for timed automata (TA) using the conventional supervisory control theory. The algorithm is directly applicable to TA without explicit transformation into finite automata, and …
View article: Tool interoperability for model-based systems engineering
Tool interoperability for model-based systems engineering Open
Supervisory control design of cyber-physical systems has many challenges. Model-based systems engineering can address these, with solutions originating from various disciplines. We discuss several tools, each state-of-the-art in its own di…
View article: Special issue on control technology for networked and distributed robotics
Special issue on control technology for networked and distributed robotics Open
"Special issue on control technology for networked and distributed robotics." Advanced Robotics, 37(1-2), p. 1
View article: Supervisory Control for Dynamic Feature Configuration in Product Lines
Supervisory Control for Dynamic Feature Configuration in Product Lines Open
In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is a…
View article: Review of simulation software for cyber-physical production systems with intelligent distributed production control
Review of simulation software for cyber-physical production systems with intelligent distributed production control Open
Many intelligent distributed production control architectures have been developed for cyber-physical production systems (CPPSs), but the difficulty in predicting performance has hindered acceptance by industry. Performance predictions for …
View article: A specification language for automated design space exploration of production systems
A specification language for automated design space exploration of production systems Open
Integrating simulation in the design process of production systems allows the predicted performance of design alternatives to be compared. However, many iterations of specifying the design, constructing the simulation model, performing sim…
View article: Traffic control for automated guided vehicles on a grid layout
Traffic control for automated guided vehicles on a grid layout Open
Automated guided vehicle (AGV) systems are widely used in a variety of industrial environments. The performance of these systems depends heavily on the control strategies used, among others for traffic control. The traffic control strategy…
View article: Supplementary material for: Review of simulation software for cyber-physical production systems with intelligent distributed production control
Supplementary material for: Review of simulation software for cyber-physical production systems with intelligent distributed production control Open
Supplementary material for: "Review of simulation software for cyber-physical production systems with intelligent distributed production control".
View article: Transformational Supervisor Localization
Transformational Supervisor Localization Open
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this letter, we consider systems that evolve over time. We study how …
View article: Supervisory Control for Dynamic Feature Configuration in Product Lines
Supervisory Control for Dynamic Feature Configuration in Product Lines Open
In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is a…
View article: Deadlock avoidance algorithm for AGVs on a tessellated layout
Deadlock avoidance algorithm for AGVs on a tessellated layout Open
Automated guided vehicle (AGV) systems are widely used in different industrial environments. The performance of these systems depends heavily on the control strategies used, among others to ensure all movements are executed in a deadlock-f…
View article: Semantic Model‐based Systems Engineering based on KARMA: A Research and Practice Roadmap 2025
Semantic Model‐based Systems Engineering based on KARMA: A Research and Practice Roadmap 2025 Open
Model‐based Systems Engineering is proposed as a graphical approach to support for‐malization of system artifacts across system lifecycle based on models since 1993. The previous motivation of graphical specification is to provide a unifie…