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.