Upper and lower bounds on sizes of finite bisimulations of pfaffian hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3988 LNCS, Issue , 2006, Pages 267-276

  Korovina, Margarita ^a,b   Vorobjov, Nicolai ^c  

^a UNIVERSITY OF SIEGEN   (Germany)

^b ENERGY SYSTEMS INSTITUTE   (Russian Federation)

^c University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; MOTION PLANNING; PARAMETER ESTIMATION; PROBLEM SOLVING;

FINITE BISIMULATIONS; HYBRID SYSTEMS; MOTION PLANNING PROBLEMS; PFAFFIAN MAPS;

HYBRID COMPUTERS;

EID: 33746067915     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11780342_28     Document Type: Conference Paper

References (17)

1. R.Alur, D.L.Dill. A Theory of Timed Automata. Theoretical Computer Science, 126:183-235, 1994.
2. S. Basu, R. Pollack, and M.-F. Roy. Algorithms in Real Algebraic Geometry. Springer, Berlin-Heidelberg, 2003.
3. T. Brihaye, C. Michaux. On expressiveness and decidability of o-minimal hybrid systems. J. Complexity, 21; 447-478, 2005.
4. J. M. Davoren. Topologies, continuity and bisimulations. ITA, 33(4/5):357-382, 1999.
5. A. Gabrielov and N. Vorobjov. Complexity of stratifications of semi-Pfaffian sets. Discrete Comput. Geom., 14:71-91, 1995.
6. A. Gabrielov and N. Vorobjov. Complexity of computations with Pfaffian and Noetherian functions. In Yu. Ilyashenko et al., editors, Normal Forms, Bifurcations and Finiteness Problems in Differential Equations, volume 137 of NATO Science Series II, pages 211-250. Kluwer, 2004.
7. A. Gabrielov, N. Vorobjov, and T. Zell. Betti numbers of semialgebraic and subPfaffian sets. J. London Math. Soc., 69(1):27-43, 2004.
8. M. Hirsch. Differential Topology. Springer-Verlag, New York, 1976.
9. A. Khovanskii. Fewnomials. Number 88 in Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1991.
10. M. Korovina and N. Vorobjov. Pfaffian hybrid systems. In Springer Lecture Notes in Comp. Sci., volume 3210 of Computer Science Logic'04, pages 430-441, 2004.
11. M. Korovina and N. Vorobjov. Upper and lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems. In Technical Report Nr 05-01, Universitat Siegen, pages 1-16, 2005, www.brics.dk/korovina/upperbounds.pdf.
12. K. Kurdyka, P. Orro, and S. Symon. Semialgebraic sard theorem for generalized critical values. J. Differential Geometry, 56:67-92, 2000.
13. G. Lafferriere, G. Pappas, and S. Sastry. O-minimal hybrid systems. Math. Control Signals Systems, 13:1-21, 2000.
14. W. S. Massey. A Basic Course in Algebraic Topology. Springer-Verlag, New York, 1991.
15. L. van den Dries. Tame Topology and O-minimal Structures. Number 248 in London Mathematical Society Lecture Notes Series. Cambridge University Press, Cambridge, 1998.
16. A.J. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Amer. Math. Soc., 9,(4):1051-1094, 1996.
17. T. Zell. Betti numbers of semi-Pfaffian sets. J. Pure Appl. Algebra, 139:323-338, 1999.