Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://rep.vsu.by/handle/123456789/33247
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Korovina, M. | - |
dc.contributor.author | Vorobjov, N. | - |
dc.date.accessioned | 2022-06-20T11:38:25Z | - |
dc.date.available | 2022-06-20T11:38:25Z | - |
dc.date.issued | 2008 | - |
dc.identifier.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. | ru_RU |
dc.identifier.issn | 1432-4350 | - |
dc.identifier.uri | https://rep.vsu.by/handle/123456789/33247 | - |
dc.description.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. | ru_RU |
dc.description.sponsorship | The first author was partly supported by Grant Scientific School-4413.2006.1, DFG-RFBR 436 RUS 06/01/04. The second author was supported in part by the European RTN Network RAAG (contract HPRN-CT-2001-00271). | ru_RU |
dc.language.iso | en | ru_RU |
dc.publisher | Springer-Verlag New York | ru_RU |
dc.relation.ispartofseries | Theory of Computing Systems;Vol. 43, № 3/4 | - |
dc.title | Bounds on sizes of finite bisimulations of pfaffian dynamical systems | ru_RU |
dc.type | Article | ru_RU |
Располагается в коллекциях: | Научные публикации (2008) |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Theory Comput Syst_2008_43.pdf | 412.67 kB | Adobe PDF | ![]() Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
Ресурсы наших партнёров:
Репозиторий Белорусского национального технического университета
Электронная библиотека Белорусского государственного университета
Электронная библиотека Гомельского государственного технического университета имени П.О.Сухого
Электронный архив библиотеки МГУ имени А.А. Кулешова
Репозиторий Полесского государственного университета
Электронная библиотека Полоцкого государственного университета
Научный репозиторий Могилевского института МВД Республики Беларусь