Constraint nets: a semantic model for hybrid dynamic systems
From MaRDI portal
Publication:673883
DOI10.1016/0304-3975(94)00149-DzbMATH Open0874.68205MaRDI QIDQ673883FDOQ673883
Authors: Ying Zhang, Alan K. Mackworth 
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 2084768
- Constraint-Based Approach for Analysis of Hybrid Systems
- Modeling, analyzing and controlling hybrid systems by guarded flexible nets
- scientific article; zbMATH DE number 2208644
- Hybrid constraints in automated model synthesis and model processing
- Constrained properties, semilinear systems, and Petri nets
- On-line symbolic constraint embedding for simulation of hybrid dynamical systems
- A hybrid linear logic for constrained transition systems
- scientific article; zbMATH DE number 1670789
- Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematical Theory of the Differential Analyzer
- General systems theory: mathematical foundations
- Title not available (Why is that?)
- Current trends in concurrency. Overviews and tutorials
- A denotational theory of synchronous reactive systems
- Hybrid dynamical systems theory and the Signal language
- Title not available (Why is that?)
Cited In (8)
- A formal mathematical framework for modeling probabilistic hybrid systems
- A clock-based framework for construction of hybrid systems
- \(\Sigma _{K }\)-constraints for hybrid systems
- The independent choice logic for modelling multiple agents under uncertainty
- Title not available (Why is that?)
- A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
- Modeling, analyzing and controlling hybrid systems by guarded flexible nets
- Title not available (Why is that?)
Uses Software
This page was built for publication: Constraint nets: a semantic model for hybrid dynamic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673883)
