Please use this identifier to cite or link to this item: https://rep.vsu.by/handle/123456789/33247
Title: Bounds on sizes of finite bisimulations of pfaffian dynamical systems
Authors: Korovina, M.
Vorobjov, N.
Issue Date: 2008
Publisher: Springer-Verlag New York
Citation: Korovina, M. Bounds on sizes of finite bisimulations of pfaffian dynamical systems / M. Korovina, N. Vorobjov // Theory of Computing Systems. – 2008. – Vol. 43, № 3/4. – P. 498–515.
Series/Report no.: Theory of Computing Systems;Vol. 43, № 3/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.
URI: https://rep.vsu.by/handle/123456789/33247
ISSN: 1432-4350
Appears in Collections:Научные публикации (2008)

Files in This Item:
File Description SizeFormat 
Theory Comput Syst_2008_43.pdf412.67 kBAdobe PDFThumbnail
View/Open



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Ранжирование:
OpenAIRE
Индексирование:
OpenAIRE OpenDOAR base search roar worldcat core road road
Ресурсы наших партнёров:
Репозиторий Белорусского национального технического университета
Электронная библиотека Белорусского государственного университета
Электронная библиотека Гомельского государственного технического университета имени П.О.Сухого
Электронный архив библиотеки МГУ имени А.А. Кулешова
Репозиторий Полесского государственного университета
Электронная библиотека Полоцкого государственного университета
Научный репозиторий Могилевского института МВД Республики Беларусь