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 (EUROSIM, 1995)

Specification of Combined Continuous Time/Discrete Event Models. - D. A. van Beek; Jacobus E. Rooda; M. van den Muyzenberg (ESM, 1996)

A New Mechanism for Exception Handling in Concurrent Control Systems. - Dirk A. van Beek; Jacobus E. Rooda (Eur. J. Control, 1996)

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)

Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. - Gina Fábián; D. A. van Beek; Jacobus E. Rooda (ESM, 1998)

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 (ADHS, 2003)

Formal Semantics of Hybrid Chi. - Ramon R. H. Schiffelers; D. A. van Beek; Ka L. Man; Michel A. Reniers; Jacobus E. Rooda (FORMATS, 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 (WSC, 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)

Convex equations and differential inclusions in hybrid systems. - D. A. van Beek; Alexander Yu. Pogromsky; Henk Nijmeijer; Jacobus E. Rooda (CDC, 2004)

Challenges and solution techniques for hybrid simulation. - Pieter Mostennan; Michael Clune; Bert van Beek; Bruce H. Krogh; Alberto L. Sangiovanni-Vincentelli (CDC, 2004)

Verification of timed chi models using uppaal. - Elena M. Bortnik; D. A. van Beek; Joanna M. van de Mortel-Fronczak; Jacobus E. Rooda (ICINCO, 2005)

Relating Hybrid Chi to Other Formalisms. - D. A. van Beek; Jacobus E. Rooda; Ramon R. H. Schiffelers; Ka L. Man; Michel A. Reniers (IFM Doctoral Symposium, 2005)

Simulation and Verification of Hybrid Systems using Chi. - Dirk A. van Beek; Jacobus E. Rooda; Ramon R. H. Schiffelers (ADHS, 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 (LIX, 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)

Foundations of a Compositional Interchange Format for Hybrid Systems. - D. A. van Beek; Michel A. Reniers; Ramon R. H. Schiffelers; Jacobus E. Rooda (HSCC, 2007)

Process Algebra. - Jacobus E. Rooda; D. A. van Beek; Jos C. M. Baeten (Handbook of Dynamic System Modeling, 2007)

Hybrid modeling and simulation of plant/controller combinations. - Ramon R. H. Schiffelers; Alexander Yu. Pogromsky; Dirk A. van Beek; Jacobus E. Rooda (CCA/ISIC, 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 (ADHS, 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 (ADHS, 2009)

Control of input/output discrete-event systems. - Mihály Petreczky; Rolf J. M. Theunissen; Rong Su 001; D. A. van Beek; Jan H. van Schuppen; Jacobus E. Rooda (ECC, 2009)

Supervisory control synthesis for a patient support system. - Rolf J. M. Theunissen; Ramon R. H. Schiffelers; D. A. van Beek; Jacobus E. Rooda (ECC, 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)

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 (CDC, 2010)

The Hierarchical Compositional Interchange Format. - Damian Nadales Agut; Bert van Beek; Harsh Beohar; Pieter J. L. Cuijpers; Jasper Fonteijn (FMCO, 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 (FORMATS, 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 (WODES, 2010)

Hierarchical states in the Compositional Interchange Format - Harsh Beohar; D. E. Nadales Agut; Dirk A. van Beek; Pieter J. L. Cuijpers (SOS, 2010)

A process-theoretic approach to supervisory control theory. - Jos C. M. Baeten; D. A. van Beek; Bas Luttik; Jasen Markovski; Jacobus E. Rooda (ACC, 2011)

A Process Algebra for Supervisory Coordination - Jos C. M. Baeten; Bert van Beek; Allan van Hulst; Jasen Markovski (PACO, 2011)

Partially-Supervised Plants: Embedding Control Requirements in Plant Components. - Jasen Markovski; Dirk A. van Beek; Jos C. M. Baeten (IFM, 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)

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)

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 (TACAS, 2014)

Towards the Removal of Synchronous Behavior of Events in Automata. - Lennart Swartjes; Dirk A. van Beek; Michel A. Reniers (WODES, 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)

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 (WODES, 2016)

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)

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 (SETTA, 2020)

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)

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; et al. (TACAS (2), 2023)