Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems
暂无分享,去创建一个
[1] Nicolai Vorobjov,et al. Complexity of stratification of semi-Pfaffian sets , 1995, Discret. Comput. Geom..
[2] Nicolai Vorobjov,et al. Pfaffian Hybrid Systems , 2004, CSL.
[3] S. Basu,et al. Algorithms in real algebraic geometry , 2003 .
[4] Charles Steinhorn,et al. Tame Topology and O-Minimal Structures , 2008 .
[5] W. Massey. A basic course in algebraic topology , 1991 .
[6] Thomas Brihaye,et al. On the expressiveness and decidability of o-minimal hybrid systems , 2005, J. Complex..
[7] Gert Sabidussi,et al. Normal Forms, Bifurcations and Finiteness Problems in Differential Equations , 2004 .
[8] A. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function , 1996 .
[9] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[10] B. Dundas,et al. DIFFERENTIAL TOPOLOGY , 2002 .
[11] T. Zell. Betti numbers of semi-Pfaffian sets , 1999 .
[12] A. Gabrielov,et al. Complexity of computations with Pfaffian and Noetherian functions , 2004 .
[13] K. Kurdyka,et al. SEMIALGEBRAIC SARD THEOREM FOR GENERALIZED CRITICAL VALUES , 2000 .
[14] Thomas Brihaye,et al. On O-Minimal Hybrid Systems , 2004, HSCC.
[15] A. Wilkie. TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). , 2000 .
[16] Alex K. Simpson,et al. Computational Adequacy in an Elementary Topos , 1998, CSL.
[17] Nicolai Vorobjov,et al. Betti Numbers of Semialgebraic and Sub‐Pfaffian Sets , 2004 .
[18] Jennifer M. Davoren,et al. Topologies, continuity and bisimulations , 1999, RAIRO Theor. Informatics Appl..