Supervisory control synthesis for a waterway lock. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (CCTA, 2017)

Structuring multilevel discrete-event systems with dependency structure matrices. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CDC, 2017)

Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CCTA, 2018)

No synthesis needed, we are alright already. - Martijn A. Goorden; Martin Fabian (CASE, 2019)

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. - Martijn A. Goorden; Calvin Dingemans; Michel A. Reniers; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (ECC, 2019)

Modeling Guidelines for Component-Based Supervisory Control Synthesis. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (FACS, 2019)

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (FMICS, 2019)

The Road Ahead for Supervisor Synthesis. - Martijn A. Goorden; Lars Moormann; Ferdie F. H. Reijnen; J. J. Verbakel; D. A. van Beek; Albert T. Hofkamp; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda; L. F. P. Etman (SETTA, 2020)

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Martin Fabian; Wan J. Fokkink; Jacobus E. Rooda (CoRR, 2020)

Modeling for supervisor synthesis - a lock-bridge combination case study. - Ferdie F. H. Reijnen; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2020)

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. - Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (IEEE Trans. Autom. Control., 2020)

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. - Martijn A. Goorden; Kim G. Larsen; Jesper E. Nielsen; Thomas D. Nielsen; Michael R. Rasmussen; Jirí Srba (ADHS, 2021)

Compositional coordinator synthesis of extended finite automata. - Martijn A. Goorden; Martin Fabian; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Wan J. Fokkink; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2021)

STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. - Martijn A. Goorden; Peter Gjøl Jensen; Kim G. Larsen; Mihhail Samusev; Jirí Srba; Guohan Zhao (ATVA, 2022)

Supervisor Synthesis: Bridging Theory and Practice. - Wan J. Fokkink; Martijn A. Goorden; Joanna M. van de Mortel-Fronczak; Ferdie F. H. Reijnen; Jacobus E. Rooda (Computer, 2022)

Guaranteed safe controller synthesis for switched systems using analytical solutions*. - Martijn A. Goorden; Kim G. Larsen; Jesper E. Nielsen; Thomas D. Nielsen; Weizhu Qian; Michael R. Rasmussen; Guohan Zhao (CCTA, 2023)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - Wan J. Fokkink; Martijn A. Goorden; Dennis Hendriks; D. A. van Beek; Albert T. Hofkamp; Ferdie F. H. Reijnen; L. F. P. Etman; Lars Moormann; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda; Bram van der Sanden; et al. (TACAS (2), 2023)

Timed I/O Automata: It is never too late to complete your timed specification theory. - Martijn A. Goorden; Kim G. Larsen; Axel Legay; Florian Lorber; Ulrik Nyman; Andrzej Wasowski (CoRR, 2023)

Compositional Control Synthesis for Water Management System. - Esther H. Kim; Kim G. Larsen; Martijn A. Goorden; Thomas D. Nielsen (ECC, 2024)

Controlling stormwater detention ponds under partial observability. - Esther H. Kim; Martijn A. Goorden; Kim G. Larsen; Thomas D. Nielsen (J. Log. Algebraic Methods Program., 2024)

Offline supervisory control synthesis: taxonomy and recent developments. - Wan J. Fokkink; Martijn A. Goorden (Discret. Event Dyn. Syst., 2024)

Data-Driven Shielding of Online Reinforcement Learning: A Stormwater Pond Case Study. - Esther H. Kim; Martijn A. Goorden; Kim Guldstrand Larsen; Thomas Dyhre Nielsen (FSEN, 2025)