Joanna M. van de Mortel-Fronczak

According to our database, Joanna M. van de Mortel-Fronczak authored at least 46 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., July, 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, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Validating communication of a dynamic traffic management system.

J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

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

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

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

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

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

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

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

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

Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers.

Lars Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the IEEE Conference on Control Technology and Applications, 2021

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

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

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

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

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

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

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Data Logging and Reconstruction of Discrete-event System Behavior.

Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the 16th International Conference on Control, 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

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

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

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

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

Proceedings of the Formal Methods for Industrial Critical Systems, 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

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 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

Proceedings of the 17th European Control Conference, 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

Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

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

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

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

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

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

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

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Supervisory control synthesis for a waterway lock.

Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016

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

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

2015

Synthesis of discrete-event controllers from sequence-based specifications.

Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

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

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2012

Application of supervisory control theory to theme park vehicles.

Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda

Discret. Event Dyn. Syst., 2012

Modeling for Safety in a Synthesis-Centric Systems Engineering Framework.

Jasen Markovski, Joanna M. van de Mortel-Fronczak

Proceedings of the Computer Safety, Reliability, and Security, 2012

2011

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

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

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

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

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

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

2006

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

Proceedings of the Second Workshop on Model Based Testing, 2006

2005

Analyzing a <i>chi</i> 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

Verification of timed chi models using uppaal.

Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the ICINCO 2005, 2005

2003

Design of supervisory machine control.

N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the 7th European Control Conference, 2003

2000

A case study in simulation based system specification and design.

Joanna M. van de Mortel-Fronczak, R. J. A. Gorter, Jacobus E. Rooda

Proceedings of the 14^th European Simulation Multiconference, 2000

1999

Experimental comparison of control architectures.

Joanna M. van de Mortel-Fronczak, J. P. M. Schmitz, Jacobus E. Rooda

Proceedings of the Global Production Management, 1999