Constraint nets: a semantic model for hybrid dynamic systems

DOI10.1016/0304-3975(94)00149-DzbMath0874.68205MaRDI QIDQ673883

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)

Related Items

A formal mathematical framework for modeling probabilistic hybrid systems ⋮ The independent choice logic for modelling multiple agents under uncertainty

Uses Software

• LUSTRE
• Lucid

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