M. A. Reniers

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Compositional coordinator synthesis of extended finite automata

M. A. Goorden and others (2021) · Springer Science and Business Media LLC

CIF3 models used in the T-AC 2019 paper

M. A. Goorden and others (2019) · url: https : //github

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure

M. A. Goorden and others (2019) · IEEE

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

T. Korssen and others (2018) · Institute of Electrical and Electronics Engineers (IEEE)

Maximally permissive controlled system synthesis for non-determinism and modal logic

A. C. van Hulst and others (2017) · Springer Science and Business Media LLC

Modular model-based supervisory controller design for wafer logistics in lithography machines

L. J. van der Sanden and others (2015) · IEEE

CIF 3: Model-Based Engineering of Supervisory Controllers

D. A. van Beek and others (2014) · Springer Berlin Heidelberg