Jacobus E. Rooda

According to our database, Jacobus E. Rooda authored at least 114 papers between 1995 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

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

2014

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner.

Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda

IEEE Trans Autom. Sci. Eng., 2014

Design and analysis of an automated order-picking workstation.

Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda

J. Simulation, 2014

2013

Syntax and semantics of the compositional interchange format for hybrid systems.

D. E. Nadales Agut, D. A. van Beek, Jacobus E. Rooda

J. Log. Algebraic Methods Program., 2013

Control of Supply Networks by Robust Optimal Control and Using Observers.

Dirk van Zwieten, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

2012

The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

IEEE Trans. Autom. Control., 2012

Designs of optimal switching feedback decentralized control policies for fluid queueing networks.

Varvara Feoktistova, Alexey S. Matveev, Erjen Lefeber, Jacobus E. Rooda

Math. Control. Signals Syst., 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

Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

Autom., 2012

Improving evolvability of a patient communication control system using state-based supervisory control synthesis.

Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda

Adv. Eng. Informatics, 2012

Aggregate simulation modeling of an MRI department using effective process times.

F. J. A. Jansen, L. F. P. Etman, Jacobus E. Rooda, Ivo J. B. F. Adan

Proceedings of the Winter Simulation Conference, 2012

2011

Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously.

Erjen Lefeber, Stefan Lämmer, Jacobus E. Rooda

Syst. Control. Lett., 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

A process algebra based simulation model of a miniload-workstation order picking system.

Ricky Andriansyah, W. W. H. de Koning, R. M. E. Jordan, L. F. P. Etman, Jacobus E. Rooda

Comput. Ind., 2011

Aggregate modeling of semiconductor equipment using effective process times.

L. F. P. Etman, C. P. L. Veeger, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda

Proceedings of the Winter Simulation Conference 2011, 2011

Automated Order-picking Workstation Handling Out-of-sequence Product Arrivals.

Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda

Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis.

Lennart Swartjes, Rong Su, Jacobus E. Rooda

Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

Maximally permissive distributed supervisory control of nondeterministic discrete-event systems.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A process-theoretic approach to supervisory control theory.

Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda

Proceedings of the American Control Conference, 2011

Using heaps-of-pieces in synthesis of time optimal supervisors.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the IEEE International Conference on Control Applications, 2011

2010

Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

IEEE Trans. Autom. Control., 2010

Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

IEEE Trans. Autom. Control., 2010

Generating CT-TH-PM surfaces using EPT-based aggregate modelling.

Casper Veeger, L. F. P. Etman, Joost van Herk, Jacobus E. Rooda

J. Simulation, 2010

Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp

Autom., 2010

Single-server aggregation of a re-entrant flow line.

Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan

Proceedings of the 2010 Winter Simulation Conference, 2010

Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking.

Ricky Andriansyah, Pascal Etman, Jacobus E. Rooda

Proceedings of the 2010 Winter Simulation Conference, 2010

Coordination of resources using generalized state-based requirements.

Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Model predictive control for the acquisition queue and related queueing networks.

Johan S. H. van Leeuwaarden, Erjen Lefeber, Yoni Nazarathy, Jacobus E. Rooda

Proceedings of the 5th International Conference on Queueing Theory and Network Applications, 2010

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.

Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

A state-based framework for supervisory control synthesis and verification.

Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

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

Model-Based Engineering of Supervisory Controllers using CIF.

Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling.

Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk

Proceedings of the 2009 Winter Simulation Conference, 2009

Supervisory control synthesis for a patient support system.

Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda

Proceedings of the 10th European Control Conference, 2009

Efficient nonconflict check by using automaton abstractions.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp

Proceedings of the 10th European Control Conference, 2009

Control of input/output discrete-event systems.

Mihály Petreczky, Rolf J. M. Theunissen, Rong Su, D. A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the 10th European Control Conference, 2009

Sampled-data control of hybrid systems with discrete inputs and outputs.

Mihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

New Concepts in the Abstract Format of the Compositional Interchange Format.

Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Hybrid modeling and simulation of plant/controller combinations.

Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda

Proceedings of the IEEE International Conference on Control Applications, 2009

Discrete-event implementation of observer-based feedback control of manufacturing system.

A. G. N. Kommer, Alexander Yu. Pogromsky, Boris R. Andrievsky, Jacobus E. Rooda

Proceedings of the IEEE International Conference on Control Applications, 2009

Scheduling with dynamic constraints in application to Magnetic Resonance Imaging scans processing.

E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda

Proceedings of the IEEE International Conference on Control Applications, 2009

Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processing.

E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda

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

Modeling and Control of a Manufacturing Flow Line Using Partial Differential Equations.

Roel A. van den Berg, Erjen Lefeber, Koos Rooda

IEEE Trans. Control. Syst. Technol., 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

Performance measurement and lumped parameter modeling of single server flow lines subject to blocking: An effective process time approach.

A. A. A. Kock, F. J. J. Wullems, L. F. P. Etman, Ivo J. B. F. Adan, F. Nijsse, Jacobus E. Rooda

Comput. Ind. Eng., 2008

Synthesizing nonblocking distributed supervisors based on automaton abstraction.

Rong Su, Jan H. van Schuppen, Jacobus E. Rooda

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Modeling and Analysis of Manufacturing Systems.

Jacobus E. Rooda, Erjen Lefeber

Proceedings of the Handbook of Dynamic System Modeling., 2007

Process Algebra.

Jacobus E. Rooda, D. A. van Beek, Jos C. M. Baeten

Proceedings of the Handbook of Dynamic System Modeling., 2007

A Negative Bendixson-Like Criterion for a Class of Hybrid Systems.

Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda

IEEE Trans. Autom. Control., 2007

A criterion for nonexistence of limit cycles for differential inclusions.

Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda

Proceedings of the 3rd IFAC Workshop on Periodic Control Systems, 2007

Performance analysis of harmonically forced nonlinear systems.

Alexander Yu. Pogromsky, Roel A. van den Berg, Jacobus E. Rooda

Proceedings of the 3rd IFAC Workshop on Periodic Control Systems, 2007

Foundations of a Compositional Interchange Format for Hybrid Systems.

D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Well-posedness and accuracy of harmonic linearization for Lur'e systems.

Roel A. van den Berg, Alexander Yu. Pogromsky, Koos Rooda

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State feedback control of switching server flowline with setups.

J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda

Proceedings of the American Control Conference, 2007

2006

Syntax and consistent equation semantics of hybrid Chi.

D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers

J. Log. Algebraic Methods Program., 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

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.

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

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Coupling event domain and time domain models of manufacturing systems.

J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Convergent Systems Design: Anti-Windup for Marginally Stable Plants.

Roel A. van den Berg, Alexander Yu. Pogromsky, Koos Rooda

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Feedback control of 2-product server with setups and bounded buffers.

J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda

Proceedings of the American Control Conference, 2006

Convergent Design of switched linear Systems.

Roel A. van den Berg, Alexander Yu. Pogromsky, Jacobus E. Rooda

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

Simulation and Verification of Hybrid Systems using Chi.

Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 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

Relating Hybrid Chi to Other Formalisms.

D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 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

Event driven manufacturing systems as time domain control systems.

B. J. P. Roset, Henk Nijmeijer, J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Convergent piecewise affine systems: analysis and design Part II: discontinuous case.

Alexey Pavlov, Alexander Yu. Pogromsky, Nathan van de Wouw, Henk Nijmeijer, Koos Rooda

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Control of manufacturing systems using state feedback and linear programming.

J. A. W. M. van Eekelen, Erjen Lefeber, B. J. P. Roset, Henk Nijmeijer, Jacobus E. Rooda

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Convex equations and differential inclusions in hybrid systems.

D. A. van Beek, Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Modeling, validation and control of manufacturing systems.

Erjen Lefeber, Roel A. van den Berg, Jacobus E. Rooda

Proceedings of the 2004 American Control Conference, 2004

2003

Declaration of unknowns in DAE-based hybrid system specification.

D. A. van Beek, Victor Bos, Jacobus E. Rooda

ACM Trans. Model. Comput. Simul., 2003

Analysis of an Industrial System.

J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda

Formal Methods Syst. Des., 2003

Hybrid dynamic systems: relating Chi to hybrid automata.

D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Semantics of Hybrid Chi.

Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 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

A Hybrid Language for Modeling, Simulation and Verification.

Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2000

Simulation optimization of stochastic systems with integer variables by sequential linearization.

S. J. Abspoel, L. F. P. Etman, J. Vervoort, Jacobus E. Rooda

Proceedings of the 32nd conference on Winter simulation, 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

1998

A Process Algebra Based Verification of a Production System.

J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator.

Gina Fábián, D. A. van Beek, Jacobus E. Rooda

Proceedings of the 12^th European Simulation Multiconference - Simulation, 1998

1997

Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines.

D. A. van Beek, S. H. F. Gordijn, Jacobus E. Rooda

Simul. Pract. Theory, 1997

1996

A New Mechanism for Exception Handling in Concurrent Control Systems.

Dirk A. van Beek, Jacobus E. Rooda

Eur. J. Control, 1996

Specification of Combined Continuous Time/Discrete Event Models.

D. A. van Beek, Jacobus E. Rooda, M. van den Muyzenberg

Proceedings of the Modelling and Simulation, 1996

1995

A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines.

D. A. van Beek, Jacobus E. Rooda, S. H. F. Gordijn

Proceedings of the EUROSIM'96, 1995