Jacobus E. Rooda

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 28

Top Venues

CASE

CCTA

Discret. Event Dyn. Syst.

CoRR

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)
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)
Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda
Design and analysis of an automated order-picking workstation. J. Simulation 8 (2) (2014)
Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
D. E. Nadales Agut, D. A. van Beek, Jacobus E. Rooda
Syntax and semantics of the compositional interchange format for hybrid systems. J. Log. Algebraic Methods Program. 82 (1) (2013)
Dirk van Zwieten, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda
Control of Supply Networks by Robust Optimal Control and Using Observers. MIM (2013)
F. J. A. Jansen, L. F. P. Etman, Jacobus E. Rooda, Ivo J. B. F. Adan
Aggregate simulation modeling of an MRI department using effective process times. WSC (2012)
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)
Varvara Feoktistova, Alexey S. Matveev, Erjen Lefeber, Jacobus E. Rooda
Designs of optimal switching feedback decentralized control policies for fluid queueing networks. Math. Control. Signals Syst. 24 (4) (2012)
Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
Improving evolvability of a patient communication control system using state-based supervisory control synthesis. Adv. Eng. Informatics 26 (3) (2012)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces. IEEE Trans. Autom. Control. 57 (1) (2012)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Autom. 48 (7) (2012)
Ricky Andriansyah, W. W. H. de Koning, R. M. E. Jordan, L. F. P. Etman, Jacobus E. Rooda
A process algebra based simulation model of a miniload-workstation order picking system. Comput. Ind. 62 (3) (2011)
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)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. CDC/ECC (2011)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
Using heaps-of-pieces in synthesis of time optimal supervisors. CCA (2011)
Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
A process-theoretic approach to supervisory control theory. ACC (2011)
L. F. P. Etman, C. P. L. Veeger, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda
Aggregate modeling of semiconductor equipment using effective process times. WSC (2011)
Lennart Swartjes, Rong Su, Jacobus E. Rooda
A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis. ICCA (2011)
Erjen Lefeber, Stefan Lämmer, Jacobus E. Rooda
Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously. Syst. Control. Lett. 60 (7) (2011)
Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda
Automated Order-picking Workstation Handling Out-of-sequence Product Arrivals. SIMULTECH (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)
Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda
Coordination of resources using generalized state-based requirements. WODES (2010)
Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan
Single-server aggregation of a re-entrant flow line. WSC (2010)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction. IEEE Trans. Autom. Control. 55 (7) (2010)
Casper Veeger, L. F. P. Etman, Joost van Herk, Jacobus E. Rooda
Generating CT-TH-PM surfaces using EPT-based aggregate modelling. J. Simulation 4 (4) (2010)
Ricky Andriansyah, Pascal Etman, Jacobus E. Rooda
Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking. WSC (2010)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence. Autom. 46 (6) (2010)
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda
A state-based framework for supervisory control synthesis and verification. CDC (2010)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis. IEEE Trans. Autom. Control. 55 (11) (2010)
Johan S. H. van Leeuwaarden, Erjen Lefeber, Yoni Nazarathy, Jacobus E. Rooda
Model predictive control for the acquisition queue and related queueing networks. QTNA (2010)
Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS (2010)
Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
Model-Based Engineering of Supervisory Controllers using CIF. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda
Scheduling with dynamic constraints in application to Magnetic Resonance Imaging scans processing. CCA/ISIC (2009)
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)
Mihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
Sampled-data control of hybrid systems with discrete inputs and outputs. ADHS (2009)
Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda
Supervisory control synthesis for a patient support system. ECC (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)
Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda
Hybrid modeling and simulation of plant/controller combinations. CCA/ISIC (2009)
Mihály Petreczky, Rolf J. M. Theunissen, Rong Su, D. A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
Control of input/output discrete-event systems. ECC (2009)
Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers
New Concepts in the Abstract Format of the Compositional Interchange Format. ADHS (2009)
E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda
Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing. CCA/ISIC (2009)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp
Efficient nonconflict check by using automaton abstractions. ECC (2009)
A. G. N. Kommer, Alexander Yu. Pogromsky, Boris R. Andrievsky, Jacobus E. Rooda
Discrete-event implementation of observer-based feedback control of manufacturing system. CCA/ISIC (2009)
Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk
Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling. WSC (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)
A. A. A. Kock, F. J. J. Wullems, L. F. P. Etman, Ivo J. B. F. Adan, F. Nijsse, Jacobus E. Rooda
Performance measurement and lumped parameter modeling of single server flow lines subject to blocking: An effective process time approach. Comput. Ind. Eng. 54 (4) (2008)
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
Synthesizing nonblocking distributed supervisors based on automaton abstraction. CDC (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)
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electron. Notes Theor. Comput. Sci. 209 (2008)
D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Relating Hybrid Chi to Other Formalisms. Electron. Notes Theor. Comput. Sci. 191 (2007)
Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
A Negative Bendixson-Like Criterion for a Class of Hybrid Systems. IEEE Trans. Autom. Control. 52 (4) (2007)
Alexander Yu. Pogromsky, Roel A. van den Berg, Jacobus E. Rooda
Performance analysis of harmonically forced nonlinear systems. PSYCO (2007)
J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
State feedback control of switching server flowline with setups. ACC (2007)
D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda
Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC (2007)
Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
A criterion for nonexistence of limit cycles for differential inclusions. PSYCO (2007)
J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
Coupling event domain and time domain models of manufacturing systems. CDC (2006)
Roel A. van den Berg, Alexander Yu. Pogromsky, Jacobus E. Rooda
Convergent Design of switched linear Systems. ADHS (2006)
Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers
Simulation and Verification of Hybrid Systems using Chi. ADHS (2006)
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)
J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
Feedback control of 2-product server with setups and bounded buffers. ACC (2006)
D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers
Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebraic Methods Program. 68 (1-2) (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)
J. A. W. M. van Eekelen, Erjen Lefeber, B. J. P. Roset, Henk Nijmeijer, Jacobus E. Rooda
Control of manufacturing systems using state feedback and linear programming. CDC/ECC (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)
B. J. P. Roset, Henk Nijmeijer, J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
Event driven manufacturing systems as time domain control systems. CDC/ECC (2005)
D. A. van Beek, Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
Convex equations and differential inclusions in hybrid systems. CDC (2004)
Erjen Lefeber, Roel A. van den Berg, Jacobus E. Rooda
Modeling, validation and control of manufacturing systems. ACC (2004)
J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda
Analysis of an Industrial System. Formal Methods Syst. Des. 22 (3) (2003)
D. A. van Beek, Victor Bos, Jacobus E. Rooda
Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul. 13 (1) (2003)
N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Design of supervisory machine control. ECC (2003)
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
Formal Semantics of Hybrid Chi. FORMATS (2003)
D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Hybrid dynamic systems: relating Chi to hybrid automata. WSC (2003)

Jacobus E. Rooda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jacobus E. Rooda