Dirk A. van Beek

According to our database, Dirk A. van Beek authored at least 42 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

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

2017

Model-based design of supervisory controllers for baggage handling systems.

Lennart Swartjes, D. A. van Beek, Wan J. Fokkink, J. A. W. M. van Eekelen

Simul. Model. Pract. Theory, 2017

2016

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors.

Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

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

Towards the Removal of Synchronous Behavior of Events in Automata.

Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

CIF 3: Model-Based Engineering of Supervisory Controllers.

D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

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

Partially-Supervised Plants: Embedding Control Requirements in Plant Components.

Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

A Process Algebra for Supervisory Coordination

Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 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

2010

Hierarchical states in the Compositional Interchange Format

Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 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

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

The Hierarchical Compositional Interchange Format.

Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 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

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

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

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

2007

Process Algebra.

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

Proceedings of the Handbook of Dynamic System Modeling., 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

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

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

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

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

2004

Challenges and solution techniques for hybrid simulation.

Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 43rd IEEE Conference on Decision and Control, 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

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

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

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

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