D. A. van Beek

MaRDI QIDQ1925135zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7314988 (Why is no real title available?)	2021-02-24	Paper
scientific article; zbMATH DE number 7314988 (Why is no real title available?) (available as arXiv preprint)	2021-02-24	Paper
Declaration of unknowns in DAE-based hybrid system specification ACM Transactions on Modeling and Computer Simulation	2018-06-12	Paper
Model-based engineering of embedded systems using the hybrid process algebra Chi Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Relating hybrid chi to other formalisms Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Syntax and semantics of the compositional interchange format for hybrid systems The Journal of Logic and Algebraic Programming	2013-01-18	Paper
Reconciling urgency and variable abstraction in a hybrid compositional setting Lecture Notes in Computer Science	2010-09-10	Paper
Foundations of a Compositional Interchange Format for Hybrid Systems Hybrid Systems: Computation and Control	2009-03-11	Paper
Syntax and consistent equation semantics of hybrid Chi The Journal of Logic and Algebraic Programming	2006-04-28	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
Index Reduction and Discontinuity Handling Using Substitute Equations Mathematical and Computer Modelling of Dynamical Systems	2001-01-01	Paper
A new mechanism for exception handling in concurrent control systems European Journal of Control	1997-03-25	Paper

Research outcomes over time

This page was built for person: D. A. van Beek