Dirk A. van Beek

17 papers B 1Journal 5Unranked 11

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project. CoRR J. van Hegelsom, Joanna M. van de Mortel-Fronczak, Lars Moormann, Dirk A. van Beek, Jacobus E. Rooda
2014	J	`jnl`	Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. IEEE Trans Autom. Sci. Eng. Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda
2014	—	`conf`	Towards the Removal of Synchronous Behavior of Events in Automata. WODES Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers
2012	J	`jnl`	Improving evolvability of a patient communication control system using state-based supervisory control synthesis. Adv. Eng. Informatics Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
2012	B	`conf`	Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten
2010	—	`conf`	A state-based framework for supervisory control synthesis and verification. CDC Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda
2010	—	`conf`	Coordination of resources using generalized state-based requirements. WODES Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda
2010	—	`conf`	Hierarchical states in the Compositional Interchange Format SOS Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers
2010	—	`conf`	Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda
2009	—	`conf`	Hybrid modeling and simulation of plant/controller combinations. CCA/ISIC Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda
2009	J	`jnl`	Model-Based Engineering of Supervisory Controllers using CIF. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
2009	—	`conf`	New Concepts in the Abstract Format of the Compositional Interchange Format. ADHS Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers
2009	—	`conf`	Sampled-data control of hybrid systems with discrete inputs and outputs. ADHS Mihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
2006	—	`conf`	Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. LIX 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
2006	—	`conf`	Simulation and Verification of Hybrid Systems using Chi. ADHS Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers
2003	—	`conf`	A Hybrid Language for Modeling, Simulation and Verification. ADHS Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda
1996	J	`jnl`	A New Mechanism for Exception Handling in Concurrent Control Systems. Eur. J. Control Dirk A. van Beek, Jacobus E. Rooda