Content available in repository
Content available in repository
dr.ir.
Content available in repository
“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.”
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.
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.
Partners in (semi-)industry
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Paape, Nick (Recipient), van Eekelen, Joost A.W.M. (Recipient) & Reniers, Michel A. (Recipient), Sept 2022
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
van der Sanden, L.J. (Recipient), Geilen, Marc C.W. (Recipient), Reniers, Michel A. (Recipient) & Basten, A.A. (Twan) (Recipient), 2018
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
Michel A. Reniers (Editorial board member)
Activity: Publication peer-review and editorial work types › Editorial activity › Scientific
Michel A. Reniers (Editorial board member)
Activity: Publication peer-review and editorial work types › Editorial activity › Scientific
Michel A. Reniers (Editorial board member)
Activity: Publication peer-review and editorial work types › Editorial activity › Scientific
Michel A. Reniers (Member of programme committee)
Activity: Participating in or organising an event types › Workshop, seminar, course or exhibition › Professional
Michel A. Reniers (Invited speaker)
Activity: Talk or presentation types › Keynote talk › Scientific
Supervisor: Baeten, J. C. M. (Supervisor 1) & Mauw, S. (Supervisor 2)
Student thesis: Master