Dirk A. van Beek

D. A. van Beek

	2013
j8		D. E. Nadales Agut, D. A. van Beek, J. E. Rooda: Syntax and semantics of the compositional interchange format for hybrid systems. J. Log. Algebr. Program. 82(1): 1-52 (2013)
	2012
j7		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. Advanced Engineering Informatics 26(3): 502-515 (2012)
c11		Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten: Partially-Supervised Plants: Embedding Control Requirements in Plant Components. IFM 2012: 253-267
	2010
c10		Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, J. E. Rooda: A state-based framework for supervisory control synthesis and verification. CDC 2010: 3481-3486
c9		Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda: Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting. FORMATS 2010: 47-61
c8		Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers: Hierarchical states in the Compositional Interchange Format. SOS 2010: 42-56
	2009
j6		Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda: Model-Based Engineering of Supervisory Controllers using CIF. ECEASST 21 (2009)
c7		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: 1384-1390
	2008
j5		Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electr. Notes Theor. Comput. Sci. 209: 21-53 (2008)
	2007
j4		D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Relating Hybrid Chi to Other Formalisms. Electr. Notes Theor. Comput. Sci. 191: 85-113 (2007)
c6		D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda: Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC 2007: 587-600
	2006
j3		D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers: Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebr. Program. 68(1-2): 129-210 (2006)
	2005
c5		Elena M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda: Verification of timed chi models using uppaal. ICINCO 2005: 486-492
	2003
j2		D. A. van Beek, Victor Bos, J. E. Rooda: Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul. 13(1): 39-61 (2003)
c4		Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda: Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165
c3		D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Hybrid dynamic systems: relating Chi to hybrid automata. Winter Simulation Conference 2003: 632-640
	1998
c2		Gina Fábián, D. A. van Beek, J. E. Rooda: Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. ESM 1998: 252-256
	1997
j1		D. A. van Beek, S. H. F. Gordijn, J. E. Rooda: Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. Simul. Pr. Theory 5(7-8): 653-669 (1997)
	1995
c1		D. A. van Beek, J. E. Rooda, S. H. F. Gordijn: A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. EUROSIM 1995: 1029-1034

Coauthor Index

Last update Fri May 24 17:28:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page