D. A. van Beek

From MaRDI portal
Person:1925135



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!

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


Research outcomes over time


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