Geometric analysis of nondeterminacy in dynamical systems

DOI10.1007/s00236-006-0037-5zbMath1136.93014OpenAlexW1938049013MaRDI QIDQ868434

Rafael Wisniewski, Martin Raussen

Publication date: 5 March 2007

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-006-0037-5

zbMATH Keywords

concurrent systemsvector fieldssection cone

Mathematics Subject Classification ID

Geometric methods (93B27)

Related Items (1)

Verification of continuous dynamical systems by timed automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural stability on two-dimensional manifolds
• Bifurcations and stability of families of diffeomorphisms
• On the existence of generally convergent algorithms
• Theory of cones
• Generalized billiard paths and Morse theory for manifolds with corners
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Differential Topology
• Energy Functions for Morse Smale Systems
• Foundations of Software Science and Computational Structures

This page was built for publication: Geometric analysis of nondeterminacy in dynamical systems