default search action
Jacobus E. Rooda
Person information
- affiliation: Eindhoven University of Technology, Department of Mechanical Engineering, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j37]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) - [c74]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 - [c73]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 - [c72]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
- [j36]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) - [j35]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
- [j34]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) - [j33]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) - [c71]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 - [c70]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 - [c69]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
- [j32]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) - [j31]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) - [c68]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 - [c67]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 - [c66]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 - [c65]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
- [c64]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 - [c63]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 - [c62]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 - [c61]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 - [c60]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
- [c59]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
- [c58]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 - [c57]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 - 2014
- [j30]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): 151-163 (2014) - [j29]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): 20-32 (2014) - 2013
- [j28]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): 1-52 (2013) - [c56]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: 1584-1589 - 2012
- [j27]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): 502-515 (2012) - [j26]Rong Su, Jan H. van Schuppen, Jacobus E. Rooda:
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Autom. 48(7): 1237-1247 (2012) - [j25]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) - [j24]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): 477-503 (2012) - [j23]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): 105-118 (2012) - [c55]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: 82:1-82:12 - 2011
- [j22]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) - [j21]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): 292-300 (2011) - [j20]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): 524-529 (2011) - [c54]Rong Su, Jan H. van Schuppen, Jacobus E. Rooda:
Using heaps-of-pieces in synthesis of time optimal supervisors. CCA 2011: 736-741 - [c53]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: 4496-4501 - [c52]Rong Su, Jan H. van Schuppen, Jacobus E. Rooda:
Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. CDC/ECC 2011: 1155-1160 - [c51]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 - [c50]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: 283-292 - [c49]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: 1795-1807 - 2010
- [j19]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): 968-978 (2010) - [j18]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) - [j17]Rong Su, Jan H. van Schuppen, Jacobus E. Rooda:
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction. IEEE Trans. Autom. Control. 55(7): 1627-1640 (2010) - [j16]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): 2527-2541 (2010) - [c48]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: 3481-3486 - [c47]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: 47-61 - [c46]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: 193-200 - [c45]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: 287-292 - [c44]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 - [c43]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: 2070-2081 - [c42]Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan:
Single-server aggregation of a re-entrant flow line. WSC 2010: 2541-2552
2000 – 2009
- 2009
- [j15]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) - [j14]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) - [j13]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) - [c41]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: 262-267 - [c40]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: 867-872 - [c39]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 - [c38]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 - [c37]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: 250-255 - [c36]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: 334-339 - [c35]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: 1967-1972 - [c34]Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp:
Efficient nonconflict check by using automaton abstractions. ECC 2009: 1997-2002 - [c33]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: 4647-4652 - [c32]Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk:
Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling. WSC 2009: 1610-1621 - 2008
- [j12]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): 866-878 (2008) - [j11]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) - [j10]Roel A. van den Berg, Erjen Lefeber, Koos Rooda:
Modeling and Control of a Manufacturing Flow Line Using Partial Differential Equations. IEEE Trans. Control. Syst. Technol. 16(1): 130-136 (2008) - [j9]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) - [j8]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) - [c31]Rong Su, Jan H. van Schuppen, Jacobus E. Rooda:
Synthesizing nonblocking distributed supervisors based on automaton abstraction. CDC 2008: 883-888 - 2007
- [j7]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): 586-595 (2007) - [c30]J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda:
State feedback control of switching server flowline with setups. ACC 2007: 3618-3623 - [c29]Roel A. van den Berg, Alexander Yu. Pogromsky, Koos Rooda:
Well-posedness and accuracy of harmonic linearization for Lur'e systems. CDC 2007: 3841-3846 - [c28]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: 587-600 - [c27]Alexander Yu. Pogromsky, Roel A. van den Berg, Jacobus E. Rooda:
Performance analysis of harmonically forced nonlinear systems. PSYCO 2007: 59-64 - [c26]Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda:
A criterion for nonexistence of limit cycles for differential inclusions. PSYCO 2007: 65-70 - [r2]Jacobus E. Rooda, D. A. van Beek, Jos C. M. Baeten:
Process Algebra. Handbook of Dynamic System Modeling 2007 - [r1]Jacobus E. Rooda, Erjen Lefeber:
Modeling and Analysis of Manufacturing Systems. Handbook of Dynamic System Modeling 2007 - 2006
- [j6]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): 129-210 (2006) - [c25]Roel A. van den Berg, Alexander Yu. Pogromsky, Jacobus E. Rooda:
Convergent Design of switched linear Systems. ADHS 2006: 6-11 - [c24]Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers:
Simulation and Verification of Hybrid Systems using Chi. ADHS 2006: 265-266 - [c23]J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda:
Feedback control of 2-product server with setups and bounded buffers. ACC 2006 - [c22]Roel A. van den Berg, Alexander Yu. Pogromsky, Koos Rooda:
Convergent Systems Design: Anti-Windup for Marginally Stable Plants. CDC 2006: 5441-5446 - [c21]J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda:
Coupling event domain and time domain models of manufacturing systems. CDC 2006: 6068-6073 - [c20]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 - [c19]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. LIX 2006: 21-53 - 2005
- [j5]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) - [c18]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: 446-451 - [c17]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: 4652-4657 - [c16]Alexey Pavlov, Alexander Yu. Pogromsky, Nathan van de Wouw, Henk Nijmeijer, Koos Rooda:
Convergent piecewise affine systems: analysis and design Part II: discontinuous case. CDC/ECC 2005: 5397-5402 - [c15]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 - [c14]D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers:
Relating Hybrid Chi to Other Formalisms. IFM Doctoral Symposium 2005: 85-113 - 2004
- [c13]Erjen Lefeber, Roel A. van den Berg, Jacobus E. Rooda:
Modeling, validation and control of manufacturing systems. ACC 2004: 4583-4588 - [c12]D. A. van Beek, Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda:
Convex equations and differential inclusions in hybrid systems. CDC 2004: 1424-1429 - 2003
- [j4]J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda:
Analysis of an Industrial System. Formal Methods Syst. Des. 22(3): 249-282 (2003) - [j3]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): 39-61 (2003) - [c11]Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda:
A Hybrid Language for Modeling, Simulation and Verification. ADHS 2003: 199-204 - [c10]N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Design of supervisory machine control. ECC 2003: 2782-2787 - [c9]Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda:
Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165 - [c8]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: 632-640 - 2000
- [c7]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 - [c6]S. J. Abspoel, L. F. P. Etman, J. Vervoort, Jacobus E. Rooda:
Simulation optimization of stochastic systems with integer variables by sequential linearization. WSC 2000: 715-723
1990 – 1999
- 1999
- [c5]Joanna M. van de Mortel-Fronczak, J. P. M. Schmitz, Jacobus E. Rooda:
Experimental comparison of control architectures. APMS 1999: 530-537 - 1998
- [c4]Gina Fábián, D. A. van Beek, Jacobus E. Rooda:
Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. ESM 1998: 252-256 - [c3]J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers:
A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99 - 1997
- [j2]D. A. van Beek, S. H. F. Gordijn, Jacobus E. Rooda:
Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. Simul. Pract. Theory 5(7-8): 653-669 (1997) - 1996
- [j1]Dirk A. van Beek, Jacobus E. Rooda:
A New Mechanism for Exception Handling in Concurrent Control Systems. Eur. J. Control 2(2): 88-100 (1996) - [c2]D. A. van Beek, Jacobus E. Rooda, M. van den Muyzenberg:
Specification of Combined Continuous Time/Discrete Event Models. ESM 1996: 219-224 - 1995
- [c1]D. A. van Beek, Jacobus E. Rooda, S. H. F. Gordijn:
A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. EUROSIM 1995: 1029-1034
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 2024-10-07 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint