Bounds on sizes of finite bisimulations of Pfaffian dynamical systems

DOI10.1007/s00224-007-9019-4zbMath1166.68031OpenAlexW2082973414MaRDI QIDQ1015374

Margarita Korovina, Nikolaj N. jun. Vorob'ev

Publication date: 8 May 2009

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: http://eprints.maths.manchester.ac.uk/1380/1/jtcs_08_korvor.pdf

zbMATH Keywords

dynamical systembisimulationhybrid systemsemialgebraic geometry

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Symbolic dynamics (37B10) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Unnamed Item
• Betti numbers of semi-Pfaffian sets
• Semialgebraic Sard theorem for generalized critical values.
• Complexity of stratifications of semi-Pfaffian sets
• O-minimal hybrid systems.
• Differential Topology
• BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS
• Topologies, Continuity and Bisimulations
• Hybrid Systems: Computation and Control
• Computer Science Logic
• Logical Approaches to Computational Barriers
• Algorithms in real algebraic geometry

This page was built for publication: Bounds on sizes of finite bisimulations of Pfaffian dynamical systems