Michel A. Reniers

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 54

Top Venues

CoRR

CASE

Discret. Event Dyn. Syst.

FDL

Publications

Aida Rashidinejad, Michel A. Reniers, Martin Fabian
Supervisory Control Synthesis of Timed Automata Using Forcible Events. IEEE Trans. Autom. Control. 69 (2) (2024)
Michel A. Reniers, Kai Cai
Supervisory Control Theory with Event Forcing. CoRR (2024)
Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers
Review of simulation software for cyber-physical production systems with intelligent distributed production control. Int. J. Comput. Integr. Manuf. 37 (5) (2024)
Nick Paape, J. A. W. M. van Eekelen, Michel A. Reniers
Simulation-based optimization of a production system topology - a neural network-assisted genetic algorithm. CoRR (2024)
Nick Paape, Joost van Eekelen, Michel A. Reniers
Automated design space exploration for poultry processing systems using discrete-event simulation. CoRR (2023)
Sander Thuijsman, Kai Cai, Michel A. Reniers
Transformational Supervisor Localization. IEEE Control. Syst. Lett. 7 (2023)
Masaaki Nagahara, Kai Cai, Debasish Chatterjee, Nikhil Chopra, Takeshi Hatanaka, Yutaka Hori, Hideaki Ishii, Daniel E. Quevedo, Michel A. Reniers
Special issue on control technology for networked and distributed robotics. Adv. Robotics 37 (1-2) (2023)
Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
Bart Wesselink, Koen de Vos, Ivan Kuertev, Michel A. Reniers, Elena Torta
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications. ICRA (2023)
Masaaki Nagahara, Kai Cai, Debasish Chatterjee, Nikhil Chopra, Takeshi Hatanaka, Yutaka Hori, Hideaki Ishii, Daniel E. Quevedo, Michel A. Reniers
Special issue on control technology for networked and distributed robotics (Part II). Adv. Robotics 37 (3) (2023)
Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten
Tool interoperability for model-based systems engineering. CoRR (2023)
Sander Thuijsman, Michel A. Reniers
Correction to: Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. 33 (4) (2023)
Sander Thuijsman, Kai Cai, Michel A. Reniers
Transformational Supervisor Localization. CoRR (2023)
K. J. C. Fransen, Michel A. Reniers, J. A. W. M. van Eekelen
Deadlock avoidance algorithm for AGVs on a tessellated layout. CASE (2022)
Sander Thuijsman, Michel A. Reniers
Supervisory Control for Dynamic Feature Configuration in Product Lines. CoRR (2022)
Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Trans. Autom. Control. 67 (2) (2022)
N. Paape, J. A. W. M. van Eekelen, Michel A. Reniers
Design space exploration of a poultry fillet processing system using discrete-event simulation. CoRR (2022)
Sander Thuijsman, Michel A. Reniers
Transformational supervisor synthesis for evolving systems. Discret. Event Dyn. Syst. 32 (2) (2022)
Sander Thuijsman, Michel A. Reniers, Dennis Hendriks
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. CASE (2021)
Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discret. Event Dyn. Syst. 31 (1) (2021)
Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. 31 (3) (2021)
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
Supervisory Control Synthesis of Timed Automata Using Forcible Events. CoRR (2021)
Jie Ding, Michel A. Reniers, Jinzhi Lu, Guoxin Wang, Lei Feng, Dimitris Kiritsis
Integration of modeling and verification for system model based on KARMA language. DSM@SPLASH (2021)
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems. CoRR (2021)
Michel A. Reniers, Sander Thuijsman
Supervisory Control for Dynamic Feature Configuration in Product Lines. FDL (2020)
Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Design of a Supervisor Platform for Movable Bridges. CASE (2020)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR (2020)
Martijn A. Goorden, L. Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman
The Road Ahead for Supervisor Synthesis. SETTA (2020)
Sander Thuijsman, Michel A. Reniers
Conversion of LSAT behavioral specifications to automata. CoRR (2020)
Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers
Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. ICARCV (2020)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. 65 (4) (2020)
Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC (2019)
Aida Rashidinejad, Bart Wetzels, Michel A. Reniers, Liyong Lin, Yuting Zhu, Rong Su
Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. ECC (2019)
Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. ACC (2019)
Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Finite Response and Confluence of State-based Supervisory Controllers. CASE (2019)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS (2019)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS (2019)
Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE (2019)
Aida Rashidinejad, Michel A. Reniers, Martin Fabian
Supervisory Control of Discrete-Event Systems in an Asynchronous Setting. CASE (2019)
Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink
Deducing causes for the absence of states in supervised systems. CoDIT (2019)
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. ICST Workshops (2018)
Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
Synthesis of Successful Actuator Attackers on Supervisors. CoRR (2018)
Tim Korssen, Victor S. Dolk, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Maurice Heemels
Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. IEEE Trans. Intell. Transp. Syst. 19 (2) (2018)
Bram van der Sanden, Marc Geilen, Michel A. Reniers, Twan Basten
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ACSD (2018)
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. CCTA (2018)
Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. MT@CPSWeek (2018)
A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. 27 (1) (2017)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Structuring multilevel discrete-event systems with dependency structure matrices. CDC (2017)
Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES (2016)
Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Martijn Hendriks, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
xCPS: a tool to explore cyber physical systems. SIGBED Rev. 14 (1) (2016)
Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
Compositional specification of functionality and timing of manufacturing systems. FDL (2016)
Abhishek Sharma, Michel A. Reniers
Integrated simulation of CIF3 and simulink models. ITSLE@SPLASH (2016)
Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers
Maintenance of specification models in industry using Edapt. FDL (2016)
Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) (2016)
Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron
Timed-Gamma and its Coordination Language. Nord. J. Comput. 15 (2) (2015)
Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers
Synthesis of discrete-event controllers from sequence-based specifications. CDC (2015)
Sebastian Engell, Radoslav Paulen, Michel A. Reniers, Christian Sonntag, Haydn Thompson
Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project. CyPhy (2015)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM (2015)
Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS (2015)
Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. ICTAC (2015)
Shreya Adyanthaya, Hadi Alizadeh Ara, João Bastos, Amir R. B. Behrouzian, Róbinson Medina Sánchez, Joost van Pinxten, Bram van der Sanden, Umar Waqas, Twan Basten, Henk Corporaal, Raymond Frijns, Marc Geilen, Dip Goswami, Sander Stuijk, Michel A. Reniers, Jeroen Voeten
xCPS: A tool to eXplore Cyber Physical Systems. WESE (2015)
Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers, Twan Basten
Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. SAMOS (2015)
Michel A. Reniers, Sebastian Engell, Haydn Thompson
Core Research and Innovation Areas in Cyber-Physical Systems of Systems. ERCIM News 2015 (102) (2015)
Michel A. Reniers, Sebastian Engell
A European Roadmap on Cyber-Physical Systems of Systems. ERCIM News 2014 (97) (2014)
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS (2014)
Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
Supervisor synthesis in model-based automotive systems engineering. ICCPS (2014)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR (2014)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES (2014)
Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers
Towards the Removal of Synchronous Behavior of Events in Automata. WODES (2014)
Michel A. Reniers, Rob Schoren, Tim A. C. Willemse
Results on Embeddings Between State-Based and Event-Based Systems. Comput. J. 57 (1) (2014)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO (2013)
Jasen Markovski, Michel A. Reniers
Supervisory movement coordination in pipeless chemical plants. ETFA (2013)
A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic. ACSD (2013)
Jasen Markovski, Michel A. Reniers
Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. MED (2013)
Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Electron. Notes Theor. Comput. Sci. 296 (2013)
Jasen Markovski, Michel A. Reniers
Verifying Performance of Supervised Plants. ACSD (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule formats for distributivity. Theor. Comput. Sci. 458 (2012)
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
Structural Analysis of Boolean Equation Systems. ACM Trans. Comput. Log. 13 (1) (2012)
Jasen Markovski, Michel A. Reniers
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2. ICT Innovations (2012)
Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch James Gabbay
Nominal SOS. MFPS (2012)
Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote
Dogfooding the Formal Semantics of mCRL2. SEW (2012)
Jasen Markovski, Michel A. Reniers
An integrated state- and event-based framework for verifying liveness in supervised systems. ICARCV (2012)
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule formats for determinism and idempotence. Sci. Comput. Program. 77 (7-8) (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule Formats for Distributivity. LATA (2011)
Damian Nadales Agut, Michel A. Reniers
Linearization of CIF Through SOS EXPRESS (2011)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412 (28) (2011)
Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. SLE (2011)
Michel A. Reniers, Tim A. C. Willemse
Folk Theorems on the Correspondence between State-Based and Event-Based Systems. SOFSEM (2011)
Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers
A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. 412 (28) (2011)
Frank P. M. Stappers, Michel A. Reniers, Sven Weber
Transforming SOS Specifications to Linear Processes. FMICS (2011)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
On Rule Formats for Zero and Unit Elements. MFPS (2010)
Michel A. Reniers, Tim A. C. Willemse
Folk Theorems on the Correspondence between State-Based and Event-Based Systems CoRR (2010)
Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
A Rule Format for Unit Elements. SOFSEM (2010)
Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers
Robustness of Equations Under Operational Extensions EXPRESS (2010)
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
Structural Analysis of Boolean Equation Systems CoRR (2010)
D. Hassan, Mohammad Reza Mousavi, Michel A. Reniers
Restricted delegation and revocation in language-based security: (position paper). PLAS (2010)
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
Semantics and expressiveness of ordered SOS. Inf. Comput. 207 (2) (2009)
Michel A. Reniers, Tim A. C. Willemse
Analysis of Boolean Equation Systems through Structure Graphs SOS (2009)
Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule Formats for Determinism and Idempotence. FSEN (2009)

Michel A. Reniers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michel A. Reniers