Experimental comparison of control architectures. - Joanna M. van de Mortel-Fronczak; J. P. M. Schmitz; Jacobus E. Rooda (APMS, 1999)

A case study in simulation based system specification and design. - Joanna M. van de Mortel-Fronczak; R. J. A. Gorter; Jacobus E. Rooda (ESM, 2000)

Design of supervisory machine control. - N. J. M. van den Nieuwelaar; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ECC, 2003)

Verification of timed chi models using uppaal. - Elena M. Bortnik; D. A. van Beek; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICINCO, 2005)

Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. - Elena M. Bortnik; Nikola Trcka; Anton Wijs; Bas Luttik; Joanna M. van de Mortel-Fronczak; Jos C. M. Baeten; Wan J. Fokkink; Jacobus E. Rooda (J. Log. Algebraic Methods Program., 2005)

A Model-based Integration and Testing Method to Reduce System Development Effort. - N. C. W. M. Braspenning; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (MBT, 2006)

Model-based system analysis using Chi and Uppaal: An industrial case study. - N. C. W. M. Braspenning; Elena M. Bortnik; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Comput. Ind., 2008)

Test Sequencing in Complex Manufacturing Systems. - R. Boumen; Ivo S. M. de Jong; J. W. H. Vermunt; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Risk-Based Stopping Criteria for Test Sequencing. - R. Boumen; Ivo S. M. de Jong; J. W. H. Vermunt; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Integration and Test Sequencing for Complex Systems. - R. Boumen; Ivo S. M. de Jong; J. M. G. Mestrom; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Hierarchical Test Sequencing for Complex Systems. - R. Boumen; Sui Ruan; Ivo S. M. de Jong; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda; Krishna R. Pattipati (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Estimating and quantifying the impact of using models for integration and testing. - N. C. W. M. Braspenning; R. Boumen; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Comput. Ind., 2011)

Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. - Jasen Markovski; Joanna M. van de Mortel-Fronczak (SAFECOMP Workshops, 2012)

Application of supervisory control theory to theme park vehicles. - Stefan T. J. Forschelen; Joanna M. van de Mortel-Fronczak; Rong Su 001; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2012)

Supervisor synthesis in model-based automotive systems engineering. - Joanna M. van de Mortel-Fronczak; Rudolf G. M. Huisman; Martin H. R. van der Heijden; Michel A. Reniers (ICCPS, 2014)

CIF 3: Model-Based Engineering of Supervisory Controllers. - D. A. van Beek; Wan J. Fokkink; Dennis Hendriks; Albert T. Hofkamp; Jasen Markovski; Joanna M. van de Mortel-Fronczak; Michel A. Reniers (TACAS, 2014)

Synthesis of discrete-event controllers from sequence-based specifications. - Thijs Janssen; Joanna M. van de Mortel-Fronczak; Emile van Gerwen; Michel A. Reniers (CDC, 2015)

Development and Validation of Functional Model of a Cruise Control System. - Avinash Visagan Varadarajan; Marcel Romijn; Bart Oosthoek; Joanna M. van de Mortel-Fronczak; Jos Beijer (FESCA@ETAPS, 2016)

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)

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. - Tim Korssen; Victor S. Dolk; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Maurice Heemels (IEEE Trans. Intell. Transp. Syst., 2018)

Finite Response and Confluence of State-based Supervisory Controllers. - Ferdie F. H. Reijnen; Albert T. Hofkamp; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CASE, 2019)

Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex. - Ferdie F. H. Reijnen; J. J. Verbakel; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (CCTA, 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)

Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. - Lars Moormann; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (CASE, 2020)

Design of a Supervisor Platform for Movable Bridges. - Ferdie F. H. Reijnen; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda (CASE, 2020)

Data Logging and Reconstruction of Discrete-event System Behavior. - Ferdie F. H. Reijnen; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICARCV, 2020)

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)

A configurator for supervisory controllers of roadside systems. - J. J. Verbakel; M. E. W. Vos de Wael; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (CASE, 2021)

Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers. - Lars Moormann; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (CCTA, 2021)

Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. - Ferdie F. H. Reijnen; Eva-Britt Leliveld; Joanna M. van de Mortel-Fronczak; John van Dinther; Jacobus E. Rooda; Wan J. Fokkink (Comput. Ind., 2021)

Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. - Reinier H. J. Schouten; Lars Moormann; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (CoRR, 2021)

Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project. - J. van Hegelsom; Joanna M. van de Mortel-Fronczak; Lars Moormann; Dirk A. van Beek; Jacobus E. Rooda (CoRR, 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)

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)

Supervisory controller synthesis and implementation for safety PLCs. - Ferdie F. H. Reijnen; Toby R. Erens; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2022)

Legend Pattern Calculation for Dynamic Traffic Management Using ILP. - J. J. Verbakel; Jeroen van Meurs; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (CASE, 2023)

Validating communication of a dynamic traffic management system. - J. J. Verbakel; Wan J. Fokkink; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICECCS, 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)

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays. - Lars Moormann; Reinier H. J. Schouten; Joanna M. van de Mortel-Fronczak; Wan J. Fokkink; Jacobus E. Rooda (IEEE Trans Autom. Sci. Eng., 2023)