Michel Reniers

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

• MSc in Computer Science (TU/e, 1994)
• PhD in Computer Science (TU/e, 1999)

His work emphasizes formal methods in supervisory control for high-tech and embedded systems, with applications in manufacturing, automotive systems, waterway locks, tunnel installations, robotics, and autonomous systems. The research aims to ensure safety and performance guarantees for cyber-physical systems through automated synthesis tools.

Key publications highlight advancements in controller synthesis for non-deterministic systems, Hennessy-Milner logic, and embeddings between state-based and event-based systems. These contributions bridge concurrency theory and practical supervisory control implementations.

• Scientific Awards
  • IEEE Senior Member