default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoanna M. van de Mortel-Fronczak
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j16]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): 1591-1606 (2023)- [c29]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: 1-7 - [c28]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: 207-215 - [c27]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:
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 2023: 44-52 - 2022
- [j15]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): 48-54 (2022) - [j14]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): 115-141 (2022) - 2021
- [j13]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: 103473 (2021) - [j12]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): 317-348 (2021) - [c26]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: 784-791 - [c25]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. CASE 2021: 1268-1275 - [c24]Lars Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers. CCTA 2021: 1024-1030 - [i3]Reinier H. J. Schouten, Lars Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. CoRR abs/2102.09821 (2021) - [i2]J. van Hegelsom, Joanna M. van de Mortel-Fronczak, Lars Moormann, Dirk A. van Beek, Jacobus E. Rooda:
Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project. CoRR abs/2107.12108 (2021) - 2020
- [j11]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): 499-532 (2020) - [j10]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): 1625-1639 (2020) - [c23]Lars 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: 659-666 - [c22]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: 1300-1306 - [c21]Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Data Logging and Reconstruction of Discrete-event System Behavior. ICARCV 2020: 1020-1026 - [c20]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:
The Road Ahead for Supervisor Synthesis. SETTA 2020: 1-16 - [i1]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 abs/2007.05795 (2020)
2010 – 2019
- 2019
- [c19]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: 509-516 - [c18]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: 843-850 - [c17]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: 3204-3211 - [c16]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: 3-24 - [c15]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: 76-92 - 2018
- [j9]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): 533-544 (2018) - [c14]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: 458-464 - 2017
- [c13]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: 1562-1563 - [c12]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: 558-564 - 2016
- [c11]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: 45-58 - 2015
- [c10]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: 3534-3541 - 2014
- [c9]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: 187-198 - [c8]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: 575-580 - 2012
- [j8]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): 511-540 (2012) - [c7]Jasen Markovski, Joanna M. van de Mortel-Fronczak:
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops 2012: 36-49 - 2011
- [j7]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): 65-77 (2011) - 2010
- [c6]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: 293-299
2000 – 2009
- 2009
- [j6]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): 177-187 (2009) - [j5]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): 640-649 (2009) - 2008
- [j4]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): 41-54 (2008) - [j3]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): 25-37 (2008) - [j2]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): 1 (2008) - 2006
- [c5]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. MBT 2006: 13-28 - 2005
- [j1]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:
Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65(2): 51-104 (2005) - [c4]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: 486-492 - 2003
- [c3]N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Design of supervisory machine control. ECC 2003: 2782-2787 - 2000
- [c2]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: 232-238
1990 – 1999
- 1999
- [c1]Joanna M. van de Mortel-Fronczak, J. P. M. Schmitz, Jacobus E. Rooda:
Experimental comparison of control architectures. APMS 1999: 530-537
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
