Jacobus E. Rooda

4 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.

Model properties for efficient synthesis of nonblocking modular supervisors

Martijn A. Goorden and others (2021) · Control Engineering Practice · Elsevier BV

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

Martijn A. Goorden and others (2019) · Lecture notes in computer science · Springer Science+Business Media

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

J. C. M. Baeten and others (2016) · Studies in systems, decision and control · Springer International Publishing

Nonconflict check by using sequential automaton abstractions based on weak observation equivalence

Rong Su and others (2010) · Automatica · Elsevier BV