Constraint nets: a semantic model for hybrid dynamic systems
From MaRDI portal
Publication:673883
DOI10.1016/0304-3975(94)00149-DzbMath0874.68205MaRDI QIDQ673883
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
A formal mathematical framework for modeling probabilistic hybrid systems ⋮ The independent choice logic for modelling multiple agents under uncertainty
Uses Software
Cites Work
- Current trends in concurrency. Overviews and tutorials
- A denotational theory of synchronous reactive systems
- General systems theory: mathematical foundations
- Hybrid dynamical systems theory and the Signal language
- Mathematical Theory of the Differential Analyzer
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item