2010.4: Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
2010.4: Margarita Korovina and Vorobjov Nicolai (2008) Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory of Computing Systems, 43 (3-4). pp. 498-515. ISSN 1432-4350
Full text available as:
 | PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 413 Kb |
DOI: 10.1007/s00224-007-9019-4
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.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | CICADA, Dynamical system, Hybrid system, Bisimulation,Semialgebraic geometry |
| Subjects: | MSC 2000 > 03 Mathematical logic and foundations MSC 2000 > 68 Computer science |
| MIMS number: | 2010.4 |
| Deposited By: | Dr Margarita Korovina |
| Deposited On: | 08 January 2010 |
Download Statistics: last 4 weeks
Repository Staff Only: edit this item