Michel Reniers - Publications, H-index & Citations

Michel Reniers

Eindhoven University of Technology

25H指数

246论文数

3.0K被引数

收录论文 7

发表时间

Supervisory Control Synthesis of Timed Automata Using Forcible Events

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-02-01

OAAI

Rashidinejad, Aida; Reniers, Michel; Fabian, Martin

Review of simulation software for cyber-physical production systems with intelligent distributed production control

INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING

IF4

2023-07-05

OAAI

Paape, N.; Van Eekelen, J. A. W. M.; Reniers, M. A.

Synthesis-based engineering of supervisory controllers for ROS-based applications

CONTROL ENGINEERING PRACTICE

IF4.6

2023-04-01

OAAI

Torta, E.; Reniers, M.; Kok, J.; Mortel-Fronczak, J. M. van de; van de Molengraft, M. J. G.

Partial-Order Reduction for Supervisory Controller Synthesis

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2022-02-01

OAAI

van der Sanden, Bram; Geilen, Marc; Reniers, Michel; Basten, Twan

Model properties for efficient synthesis of nonblocking modular supervisors

CONTROL ENGINEERING PRACTICE

IF4.6

2021-07-01

OAAI

Goorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel; Fabian, Martin; Fokkink, Wan; Rooda, Jacobus

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2020-04-01

OAAI

Goorden, Martijn; van de Mortel-Fronczak, Joanna; Reniers, Michel; Fokkink, Wan; Rooda, Jacobus

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems 基于系统模型的高级驾驶辅助系统监控器的设计与实现

IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS

IF8.4

2018-02-01

OAAI

Korssen, Tim; Dolk, Victor; van de Mortel-Fronczak, Joanna; Reniers, Michel; Heemels, Maurice

研究方向