D. A. van Beek

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 4

Top Topics

Interchange Format

Top Venues

J. Log. Algebraic Methods Program.

Simul. Model. Pract. Theory

Publications

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
Martijn A. Goorden, L. 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)
Lennart Swartjes, D. A. van Beek, Wan J. Fokkink, J. A. W. M. van Eekelen
Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory 78 (2017)
Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES (2016)
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS (2014)
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) (2013)
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)
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)
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)
D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Relating Hybrid Chi to Other Formalisms. Electron. Notes Theor. Comput. Sci. 191 (2007)
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)
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) (2006)
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)
D. A. van Beek, Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
Convex equations and differential inclusions in hybrid systems. CDC (2004)
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) (2003)
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
Formal Semantics of Hybrid Chi. FORMATS (2003)
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)
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)
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) (1997)
D. A. van Beek, Jacobus E. Rooda, M. van den Muyzenberg
Specification of Combined Continuous Time/Discrete Event Models. ESM (1996)
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)