Constraint nets: a semantic model for hybrid dynamic systems

DOI10.1016/0304-3975(94)00149-DMaRDI QIDQ673883zbMATH OpenFDO

Authors Ying Zhang, Alan K. Mackworth

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

hybrid dynamic systemsrobotic system

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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

• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3247164 (Why is no real title available?)
• scientific article; zbMATH DE number 3400017 (Why is no real title available?)
• A denotational theory of synchronous reactive systems
• Current trends in concurrency. Overviews and tutorials
• General systems theory: mathematical foundations
• Hybrid dynamical systems theory and the Signal language
• Mathematical Theory of the Differential Analyzer

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
• scientific article; zbMATH DE number 1507214 (Why is no real title available?)
• A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
• Modeling, analyzing and controlling hybrid systems by guarded flexible nets
• scientific article; zbMATH DE number 1759494 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lucid
• LUSTRE

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)