If you made any changes in Pure these will be visible here soon.

Personal profile


“The impact of the current generation of embedded and cyber-physical systems on society asks for application of model-based engineering of the involved supervisory control structures in order to obtain better guarantees for safety and performance.”

Research profile

Michel Reniers is an Associate Professor at the Mechanical Engineering Department at Eindhoven University of Technology (TU/e). His research interests include model-based engineering of supervisory controllers, synthesis of supervisory controllers for modal logics, engineering of cyber-physical systems (of systems) and development of modeling languages (CIF) and model transformations.

In Reniers’ research the emphasis is on application of formal methods in engineering of supervisory controllers for high-tech and embedded systems. The research focuses on furthering the state-of-the-art and the state-of-the-practice in model-based systems engineering approaches for supervisory controllers. This includes research themes such as supervisory controller synthesis for networked systems, the combination of supervisory control and throughput optimization, and supervisory control for system product lines.

Application areas for the research are manufacturing and high-tech systems such as lithography manufacturing, automotive systems, waterway locks and tunnel installations, robotics and autonomous systems.

Academic background

Michel Reniers obtained his MSc in Computer Science from TU/e in 1994 followed by a PhD in 1999. He began working for TU/e in 1999 as an assistant professor in the section Analysis and Design of Systems (OAS), followed by an assistant professorship in the section Systems Engineering (SE). He was appointed Associate Professor in 2015.

Michel is a member of various organizations, including IEEE (senior member), IEEE CSS Technical Committee on Discrete Event Systems, and IFAC Technical Committee 1.3 on Discrete Event and Hybrid Systems. Michel has been chair of Working Group 3 on Tools for systems of systems engineering and management of the Communication and Support Action CPSoS and was coauthor of the Proposal of a European Research and Innovation Agenda on Cyber-physical Systems of Systems – 2016-2025.

Affiliated with

Partners in (semi-)industry

  • ASML
  • Rijkswaterstaat

Fingerprint Dive into the research topics where Michel A. Reniers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Semantics Engineering & Materials Science
Supervisory personnel Engineering & Materials Science
Controllers Engineering & Materials Science
Discrete event simulation Engineering & Materials Science
Specifications Engineering & Materials Science
Distributivity Mathematics
Systems engineering Engineering & Materials Science
Temporal logic Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1994 2019

6 Citations (Scopus)
41 Downloads (Pure)

Systematic model-based design of supervisors for advanced driver assistance systems

Korssen, T., Dolk, V. S., van de Mortel - Fronczak, J. M., Reniers, M. A. & Heemels, W. P. M. H., Feb 2018, In : IEEE Transactions on Intelligent Transportation Systems. 19, 2, p. 533-544

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Advanced driver assistance systems
Supervisory personnel
Cruise control
Adaptive cruise control
Discrete event simulation
3 Citations (Scopus)
77 Downloads (Pure)

Maximally permissive controlled system synthesis for non-determinism and modal logic

van Hulst, A. C., Reniers, M. A. & Fokkink, W. J., 2017, In : Discrete Event Dynamic Systems. 27, 1, p. 109-142 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Modal Logic
Supervisory Control
4 Citations (Scopus)
1 Downloads (Pure)

Maximal synthesis for Hennessy-Milner logic

van Hulst, A. C., Reniers, M. A. & Fokkink, W. J., 2015, In : ACM Transactions on Embedded Computing Systems. 14, 1, p. 1-21 21 p., 10.

Research output: Contribution to journalArticleAcademicpeer-review

Discrete event simulation
Computational complexity
6 Citations (Scopus)
5 Downloads (Pure)

Results on embeddings between state-based and event-based systems

Reniers, M. A., Schoren, R. J. A. & Willemse, T. A. C., 2014, In : The Computer Journal. 57, 1, p. 73-92

Research output: Contribution to journalArticleAcademicpeer-review


Compositional coordinator synthesis for discrete event systems

Goorden, M., Fabian, M., Reniers, M., van de Mortel - Fronczak, A., Fokkink, W. & Rooda, K., 2019, p. 91. 1 p.

Research output: Contribution to conferenceAbstractAcademic

Open Access


Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems

L.J. van der Sanden (Recipient), Marc Geilen (Recipient), Michel A. Reniers (Recipient) & Twan Basten (Recipient), 2018

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Activities 2019 2020

  • 2 Workshop, seminar, course or exhibition
  • 1 Keynote talk

ICT with Industry

Michel A. Reniers (Member of programme committee)
20 Jan 202024 Jan 2020

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionProfessional

International workshop on Timing Performance engineering for Safety critical systems

Michel A. Reniers (Invited speaker)
31 Aug 2019

Activity: Talk or presentation typesKeynote talkScientific


oCPS webinar Performance Analysis and Optimization of Supervisory Controllers

Michel A. Reniers (Contributor)
26 Mar 2019

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific



Supervisory control

1/09/15 → …


Supervisory Control Synthesis

1/09/18 → …


Student theses

A modeling language for reconfigurable distributed Hybrid systems

Author: Kratz, F., 30 Nov 2005

Supervisor: Reniers, M. (Supervisor 1), Lee, I. (External person) (Supervisor 2) & Pappas, G. (External person) (Supervisor 2)

Student thesis: Master


An algebraic semantics of message charts

Author: Reniers, M., 30 Apr 1994

Supervisor: Baeten, J. (Supervisor 1) & Mauw, S. (Supervisor 2)

Student thesis: Master

Applying IndiGolog to the domestic service robot domain

Author: Li, Z., 31 Aug 2013

Supervisor: Janssen, R. (Supervisor 1), Reniers, M. (Supervisor 2), van de Molengraft, M. (Supervisor 2) & Steinbuch, M. (Supervisor 2)

Student thesis: Master

Design and verification of the smartpixel II protocol

Author: Springer, R., 31 Aug 2008

Supervisor: Reniers, M. (Supervisor 1) & Hendriksen, W. (External person) (Supervisor 2)

Student thesis: Master