Dirk A. van Beek

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 1

Top Topics

Magnetic Resonance Imaging

Supervisory Control

Behavior Patterns

Dissolved Oxygen

Top Venues

IEEE Trans Autom. Sci. Eng.

Adv. Eng. Informatics

Publications

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)
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)
Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers
Towards the Removal of Synchronous Behavior of Events in Automata. WODES (2014)
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)
Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten
Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM (2012)
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)
Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers
Hierarchical states in the Compositional Interchange Format SOS (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)
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)
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)
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)
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)
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)
Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers
Simulation and Verification of Hybrid Systems using Chi. ADHS (2006)
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)
Dirk A. van Beek, Jacobus E. Rooda
A New Mechanism for Exception Handling in Concurrent Control Systems. Eur. J. Control 2 (2) (1996)