Geometric analysis of nondeterminacy in dynamical systems

DOI10.1007/S00236-006-0037-5MaRDI QIDQ868434zbMATHOpenAlexFDO

Authors Rafał 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

vector fieldsconcurrent systemssection cone

Mathematics Subject Classification ID

Geometric methods (93B27)

Recommendations

• Geometry and concurrency: a user's guide
• Some geometric perspectives in concurrency theory
• scientific article; zbMATH DE number 3995041
• Infinitely running concurrent processes with loops from a geometric viewpoint
• Modeling the dynamics of concurrent computing systems

Cites work

• scientific article; zbMATH DE number 3772598 (Why is no real title available?)
• scientific article; zbMATH DE number 19122 (Why is no real title available?)
• scientific article; zbMATH DE number 3484411 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 2200453 (Why is no real title available?)
• scientific article; zbMATH DE number 3341031 (Why is no real title available?)
• Algebraic topology and concurrency
• Bifurcations and stability of families of diffeomorphisms
• Differential Topology
• Energy Functions for Morse Smale Systems
• Foundations of Software Science and Computational Structures
• Generalized billiard paths and Morse theory for manifolds with corners
• Introduction to the theory of differential inclusions
• On the existence of generally convergent algorithms
• On the expressiveness of higher dimensional automata
• Structural stability on two-dimensional manifolds
• Theory of cones

Cited in

(7)

• Verification of continuous dynamical systems by timed automata
• Geometric mappings under the perturbed extension operators in complex systems analysis
• Dynamics beyond uniform hyperbolicity. A global geometric and probabilistic perspective
• Geometric Steady States of Nonlinear Systems
• Local analysis of determinism for CSP
• Infinitely running concurrent processes with loops from a geometric viewpoint
• scientific article; zbMATH DE number 7038786 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q868434)