J. E. Rooda

D. E. Nadales Agut, D. A. van Beek, J. E. Rooda: Syntax and semantics of the compositional interchange format for hybrid systems. J. Log. Algebr. Program. 82(1): 1-52 (2013)

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. Advanced Engineering Informatics 26(3): 502-515 (2012)

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda: Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Automatica 48(7): 1237-1247 (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. Discrete Event Dynamic Systems 22(4): 511-540 (2012)

V. Feoktistova, A. Matveev, Erjen Lefeber, J. E. Rooda: Designs of optimal switching feedback decentralized control policies for fluid queueing networks. MCSS 24(4): 477-503 (2012)

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda: The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces. IEEE Trans. Automat. Contr. 57(1): 105-118 (2012)

F. J. A. Jansen, L. F. P. Etman, J. E. Rooda, Ivo J. B. F. Adan: Aggregate simulation modeling of an MRI department using effective process times. Winter Simulation Conference 2012: 82

N. C. W. M. Braspenning, R. Boumen, J. M. van de Mortel-Fronczak, J. E. Rooda: Estimating and quantifying the impact of using models for integration and testing. Computers in Industry 62(1): 65-77 (2011)

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. Computers in Industry 62(3): 292-300 (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. Systems & Control Letters 60(7): 524-529 (2011)

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda: Using heaps-of-pieces in synthesis of time optimal supervisors. CCA 2011: 736-741

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda: Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. CDC-ECE 2011: 1155-1160

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: 1189-1194

Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, J. E. Rooda: Automated Order-picking Workstation Handling Out-of-sequence Product Arrivals. SIMULTECH 2011: 283-292

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. Winter Simulation Conference 2011: 1795-1807

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp: Nonconflict check by using sequential automaton abstractions based on weak observation equivalence. Automatica 46(6): 968-978 (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): 242-254 (2010)

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda: Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction. IEEE Trans. Automat. Contr. 55(7): 1627-1640 (2010)

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda: Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis. IEEE Trans. Automat. Contr. 55(11): 2527-2541 (2010)

Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, J. E. Rooda: A state-based framework for supervisory control synthesis and verification. CDC 2010: 3481-3486

Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda: Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS 2010: 47-61

Ricky Andriansyah, Pascal Etman, Jacobus E. Rooda: Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking. Winter Simulation Conference 2010: 2070-2081

Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan: Single-server aggregation of a re-entrant flow line. Winter Simulation Conference 2010: 2541-2552

Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda: Model-Based Engineering of Supervisory Controllers using CIF. ECEASST 21 (2009)

R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda: Integration and Test Sequencing for Complex Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(1): 177-187 (2009)

R. Boumen, Sui Ruan, I. de Jong, J. M. van de Mortel-Fronczak, J. E. Rooda, Krishna R. Pattipati: Hierarchical Test Sequencing for Complex Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(3): 640-649 (2009)

A. G. N. Kommer, Alexander Yu. Pogromsky, Boris Andrievsky, Jacobus E. Rooda: Discrete-event implementation of observer-based feedback control of manufacturing system. CCA/ISIC 2009: 262-267

E. N. Ivanov, Alexander Yu. Pogromsky, J. E. Rooda: Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing. CCA/ISIC 2009: 867-872

E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda: Scheduling with dynamic constraints in application to Magnetic Resonance Imaging scans processing. CCA/ISIC 2009: 873-877

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: 1384-1390

Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk: Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling. Winter Simulation Conference 2009: 1610-1621

N. C. W. M. Braspenning, Elena M. Bortnik, J. M. van de Mortel-Fronczak, J. E. Rooda: Model-based system analysis using Chi and Uppaal: An industrial case study. Computers in Industry 59(1): 41-54 (2008)

Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electr. Notes Theor. Comput. Sci. 209: 21-53 (2008)

R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda: Test Sequencing in Complex Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 25-37 (2008)

R. Boumen, I. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda: Risk-Based Stopping Criteria for Test Sequencing. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(6): 1 (2008)

Rong Su, Jan H. van Schuppen, J. E. Rooda: Synthesizing nonblocking distributed supervisors based on automaton abstraction. CDC 2008: 883-888

D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Relating Hybrid Chi to Other Formalisms. Electr. Notes Theor. Comput. Sci. 191: 85-113 (2007)

Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda: A Negative Bendixson-Like Criterion for a Class of Hybrid Systems. IEEE Trans. Automat. Contr. 52(4): 586-595 (2007)

D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda: Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC 2007: 587-600

N. C. W. M. Braspenning, J. M. van de Mortel-Fronczak, J. E. Rooda: A Model-based Integration and Testing Method to Reduce System Development Effort. Electr. Notes Theor. Comput. Sci. 164(4): 13-28 (2006)

D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers: Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebr. Program. 68(1-2): 129-210 (2006)

Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)

Elena M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda: Verification of timed chi models using uppaal. ICINCO 2005: 486-492

J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda: Analysis of an Industrial System. Formal Methods in System Design 22(3): 249-282 (2003)

D. A. van Beek, Victor Bos, J. E. Rooda: Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul. 13(1): 39-61 (2003)

Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda: Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165

D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Hybrid dynamic systems: relating Chi to hybrid automata. Winter Simulation Conference 2003: 632-640

J. M. van de Mortel-Fronczak, R. J. A. Gorter, J. E. Rooda: A case study in simulation based system specification and design. ESM 2000: 232-238

S. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. Rooda: Simulation optimization of stochastic systems with integer variables by sequential linearization. Winter Simulation Conference 2000: 715-723

J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda: Experimental comparison of control architectures. APMS 1999: 530-537

Gina Fábián, D. A. van Beek, J. E. Rooda: Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. ESM 1998: 252-256

J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99

D. A. van Beek, S. H. F. Gordijn, J. E. Rooda: Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. Simul. Pr. Theory 5(7-8): 653-669 (1997)

D. A. van Beek, J. E. Rooda, S. H. F. Gordijn: A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. EUROSIM 1995: 1029-1034