Joanna M. van de Mortel-Fronczak

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 31

Top Topics

Execution Times

Supervisory Control

Finite Automata

Top Venues

Discret. Event Dyn. Syst.

Publications

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
J. J. Verbakel, Jeroen van Meurs, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Legend Pattern Calculation for Dynamic Traffic Management Using ILP. CASE (2023)
J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Validating communication of a dynamic traffic management system. ICECCS (2023)
Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays. IEEE Trans Autom. Sci. Eng. 20 (3) (2023)
Ferdie F. H. Reijnen, Toby R. Erens, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Supervisory controller synthesis and implementation for safety PLCs. Discret. Event Dyn. Syst. 32 (1) (2022)
Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda
Supervisor Synthesis: Bridging Theory and Practice. Computer 55 (10) (2022)
L. Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers. CCTA (2021)
J. van Hegelsom, Joanna M. van de Mortel-Fronczak, L. Moormann, Dirk A. van Beek, Jacobus E. Rooda
Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project. CoRR (2021)
Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. 31 (3) (2021)
Ferdie F. H. Reijnen, Eva-Britt Leliveld, Joanna M. van de Mortel-Fronczak, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Comput. Ind. 130 (2021)
R. H. J. Schouten, L. Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. CoRR (2021)
J. J. Verbakel, M. E. W. Vos de Wael, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
A configurator for supervisory controllers of roadside systems. CASE (2021)
L. Moormann, R. H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. CASE (2021)
L. Moormann, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. CASE (2020)
Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Design of a Supervisor Platform for Movable Bridges. CASE (2020)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR (2020)
Martijn A. Goorden, L. 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
The Road Ahead for Supervisor Synthesis. SETTA (2020)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. 65 (4) (2020)
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Modeling for supervisor synthesis - a lock-bridge combination case study. Discret. Event Dyn. Syst. 30 (3) (2020)
Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Data Logging and Reconstruction of Discrete-event System Behavior. ICARCV (2020)
Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC (2019)
Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Finite Response and Confluence of State-based Supervisory Controllers. CASE (2019)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS (2019)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS (2019)
Ferdie F. H. Reijnen, J. J. Verbakel, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Hardware-in-the-loop Set-up for Supervisory Controllers with an Application: the Prinses Marijke Complex. CCTA (2019)
Tim Korssen, Victor S. Dolk, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Maurice Heemels
Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. IEEE Trans. Intell. Transp. Syst. 19 (2) (2018)
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. CCTA (2018)
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Supervisory control synthesis for a waterway lock. CCTA (2017)
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
Structuring multilevel discrete-event systems with dependency structure matrices. CDC (2017)
Avinash Visagan Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna M. van de Mortel-Fronczak, Jos Beijer
Development and Validation of Functional Model of a Cruise Control System. FESCA@ETAPS (2016)
Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers
Synthesis of discrete-event controllers from sequence-based specifications. CDC (2015)
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS (2014)
Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
Supervisor synthesis in model-based automotive systems engineering. ICCPS (2014)
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda
Application of supervisory control theory to theme park vehicles. Discret. Event Dyn. Syst. 22 (4) (2012)
Jasen Markovski, Joanna M. van de Mortel-Fronczak
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops (2012)
N. C. W. M. Braspenning, R. Boumen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Estimating and quantifying the impact of using models for integration and testing. Comput. Ind. 62 (1) (2011)
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda
Application of supervisory control theory to theme park vehicles. WODES (2010)
R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Integration and Test Sequencing for Complex Systems. IEEE Trans. Syst. Man Cybern. Part A 39 (1) (2009)
R. Boumen, Sui Ruan, Ivo S. M. de Jong, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Krishna R. Pattipati
Hierarchical Test Sequencing for Complex Systems. IEEE Trans. Syst. Man Cybern. Part A 39 (3) (2009)
N. C. W. M. Braspenning, Elena M. Bortnik, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Model-based system analysis using Chi and Uppaal: An industrial case study. Comput. Ind. 59 (1) (2008)
R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Test Sequencing in Complex Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 38 (1) (2008)
R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Risk-Based Stopping Criteria for Test Sequencing. IEEE Trans. Syst. Man Cybern. Part A 38 (6) (2008)
N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
A Model-based Integration and Testing Method to Reduce System Development Effort. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Verification of timed chi models using uppaal. ICINCO (2005)
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
model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65 (2) (2005)
N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Design of supervisory machine control. ECC (2003)
Joanna M. van de Mortel-Fronczak, R. J. A. Gorter, Jacobus E. Rooda
A case study in simulation based system specification and design. ESM (2000)
Joanna M. van de Mortel-Fronczak, J. P. M. Schmitz, Jacobus E. Rooda
Experimental comparison of control architectures. APMS (1999)