• 1109 Citaties
1994 …2020

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Quote

“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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Michel A. Reniers actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 3 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

Systematic model-based design and implementation 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, blz. 533-544 12 blz., 8226993.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
  • 8 Citaten (Scopus)
    50 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, blz. 109-142 34 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
  • 4 Citaten (Scopus)
    82 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, blz. 1-21 21 blz., 10.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 4 Citaten (Scopus)
    1 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, blz. 73-92

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 6 Citaten (Scopus)
    5 Downloads (Pure)

    Structuring multilevel discrete-event systems with dependency structure matrices

    Goorden, M., van de Mortel - Fronczak, A., Reniers, M., Fokkink, W. & Rooda, K., 1 apr 2020, In : IEEE Transactions on Automatic Control. 65, 4, blz. 1625-1639

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
  • Prijzen

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

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

    Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

    Activiteiten

    • 2 Workshop, seminar, cursus of expositie
    • 1 Keynote spreker

    ICT with Industry

    Michel A. Reniers (Lid van programmacomité)
    20 jan 202024 jan 2020

    Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieProfessioneel

    Partial-order reduction for synthesis and performance analysis of supervisory controllers

    Michel A. Reniers (Uitgenodigde spreker)
    31 aug 2019

    Activiteit: Types gesprekken of presentatiesKeynote sprekerWetenschappelijk

    Bestand

    oCPS webinar Performance Analysis and Optimization of Supervisory Controllers

    Michel A. Reniers (Bijdrager)
    26 mrt 2019

    Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk

    Bestand

    Cursussen

    Supervisory control

    1/09/15 → …

    Cursus

    Supervisory Control Synthesis

    1/09/18 → …

    Cursus

    Scriptie

    A modeling language for reconfigurable distributed Hybrid systems

    Auteur: Kratz, F., 30 nov 2005

    Begeleider: Reniers, M. (Afstudeerdocent 1), Lee, I. (Externe persoon) (Afstudeerdocent 2) & Pappas, G. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    An algebraic semantics of message charts

    Auteur: Reniers, M., 30 apr 1994

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

    Scriptie/masterproef: Master

    Applying IndiGolog to the domestic service robot domain

    Auteur: Li, Z., 31 aug 2013

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

    Scriptie/masterproef: Master

    Design and verification of the smartpixel II protocol

    Auteur: Springer, R., 31 aug 2008

    Begeleider: Reniers, M. (Afstudeerdocent 1) & Hendriksen, W. (Externe persoon) (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand

    Enabling ambient intelligence: a network simulation framework for analysis of target based distributed component assembly systems

    Auteur: van Dijk, I., 30 nov 2003

    Begeleider: Reniers, M. (Afstudeerdocent 1)

    Scriptie/masterproef: Master

    Bestand