Max Robotics — Global Service Robot Directory + US Certification

About

Michel Reniers is a researcher specializing in supervisory control theory, model-based systems engineering, and the development of intelligent control systems for autonomous and robotic applications. His work sits at the intersection of formal methods, control engineering, and robotics, with a particular focus on synthesizing supervisory controllers that provably satisfy safety and task requirements. Reniers has made notable contributions to advancing synthesis-based engineering approaches, demonstrating how formal controller synthesis can be applied to real-world domains including automotive systems and ROS-based robotic platforms. His 2014 work on supervisor synthesis in model-based automotive engineering showcased the power of model-driven development for complex cyber-physical systems, while his subsequent research has pushed these techniques into mobile robotics, addressing critical safety challenges in human-robot interaction scenarios. A significant thread throughout his work is bridging the gap between theoretical frameworks and practical implementation — exemplified by his development of RoboSC, a domain-specific language tailored for synthesizing supervisory controllers within the widely-used Robot Operating System ecosystem. His contributions to the special issue on networked and distributed robotics further highlight his leadership in shaping research directions in the field. With citations accumulating across multiple research communities, Reniers represents an important voice connecting formal control theory with applied robotics engineering.