Abstract
We study finite bisimulations of dynamical systems in ℝn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was shown in Brihaye et al. (Lecture Notes in Comput. Sci. 2993, 219–233, 2004), Davoren (Theor. Inf. Appl. 33(4/5), 357–382, 1999), Lafferriere et al. (Math. Control Signals Syst. 13, 1–21, 2000). In Lecture Notes in Comput. Sci. 3210, 2004, the authors proved a double exponential upper bound on the size of a bisimulation in terms of the size of description of the dynamical system. In the present paper we improve it to a single exponential upper bound, and show that this bound is tight, by exhibiting a parameterized class of systems on which it is attained.
Similar content being viewed by others
References
Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Berlin (2003)
Brihaye, T., Michaux, C., Riviere, C., Troestler, C.: On o-minimal hybrid systems. In: Alur, R., Pappas, G.J. (eds.) Proceedings of HSCC 2004. Lecture Notes in Comput. Sci., vol. 2993, pp. 219–233 (2004)
Davoren, J.M.: Topologies, continuity and bisimulations. Theor. Inf. Appl. 33(4/5), 357–382 (1999)
Gabrielov, A., Vorobjov, N.: Complexity of stratifications of semi-Pfaffian sets. Discret. Comput. Geom. 14, 71–91 (1995)
Gabrielov, A., Vorobjov, N.: Complexity of computations with Pfaffian and Noetherian functions. In: Ilyashenko, Y. et al. (eds.) Normal Forms, Bifurcations and Finiteness Problems in Differential Equations. NATO Science Series II, vol. 137, pp. 211–250. Kluwer, Dordrecht (2004)
Gabrielov, A., Vorobjov, N., Zell, T.: Betti numbers of semialgebraic and sub-Pfaffian sets. J. Lond. Math. Soc. 69(1), 27–43 (2004)
Hirsch, M.: Differential Topology. Springer, New York (1976)
Korovina, M., Vorobjov, N.: Pfaffian hybrid systems. In: Computer Science Logic’04. Lecture Notes in Comput. Sci., vol. 3210, pp. 430–441 (2004)
Korovina, M., Vorobjov, N.: Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems. In: Logical Approaches to Computational Barriers. Lecture Notes in Comput. Sci., vol. 3988, pp. 267–276
Kurdyka, K., Orro, P., Symon, S.: Semialgebraic Sard theorem for generalized critical values. J. Differ. Geom. 56, 67–92 (2000)
Lafferriere, G., Pappas, G., Sastry, S.: O-minimal hybrid systems. Math. Control Signals Syst. 13, 1–21 (2000)
Massey, W.S.: A Basic Course in Algebraic Topology. Springer, New York (1991)
Zell, T.: Betti numbers of semi-Pfaffian sets. J. Pure Appl. Algebra 139, 323–338 (1999)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Korovina, M., Vorobjov, N. Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory Comput Syst 43, 498–515 (2008). https://doi.org/10.1007/s00224-007-9019-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-007-9019-4