New English version of
Eugene ASARIN's
Home Page		  

Vyberite kodirovku:

 KOI8 - Unix
ili
CP1251 - MS Windows

 

 

Домашняя страница Евгения Асарина - устаревшая версия

(здесь новая страница, но пока только по-английски)

Несколько слов о себе:

Родился в 1962 г. в Москве, в 1984 году окончил кафедру математической логики мех-мата МГУ, в 1988 году защитил под руководством А.Н.Колмогорова кандидатскую диссертацию "Индивидуальные случайные сигналы: сложностной подход". С 1984 по 1990 г. работал в лаборатории М.А.Красносельского в Институте проблем управления. В 1990 году перешел в Институт проблем передачи информации РАН, где и работаю по настоящее время. В последние годы тесно сотрудничаю с лабораторией VERIMAG (Гренобль, Франция).

Научные интересы (в хронологическом порядке):

Публикации о гибридных системах:

  1. E. Asarin, O. Maler, On some Relations between Dynamical Systems and Transition Systems, in S. Abiteboul and E. Shamir (Eds.), Proc. of ICALP'94, 59-72, LNCS 820, Springer, 1994. [Реферат], [Abstract], [Postscript]
  2. E. Asarin, O. Maler, A. Pnueli, On the Analysis of Dynamical Systems having Piecewise-Constant Derivatives, Theoretical Computer Science 138, 35-65, 1995. [Реферат], [Abstract], [Postscript]
  3. E. Asarin, O. Maler and A.Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (Eds.), Hybrid Systems II, LNCS 999, Springer, 1995. [Реферат], [Abstract], [Postscript]
  4. Е.А. Асарин, О. Малер. Дискретно-непрерывные системы: алгоритмический аспект, Автоматика и телемеханика, 1995, № 5, с. 124-137. [Реферат], [Abstract], [Postscript]
  5. E. Asarin, O. Maler, Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy, in P.S. Thiagarajan (Ed.), Proc. FST/TCS'95, 471-483, LNCS 1026, Springer 1995. [Реферат], [Abstract], [Postscript]
  6. E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, A. Rasse, Data-Structures for the Verification of Timed Automata, in O. Maler (Ed.), Proc. HART'97, 346-360, LNCS 1201, Springer, 1997. [Реферат], [Abstract], [Postscript]
  7. E. Asarin, O. Maler, P. Caspi, A Kleene Theorem for Timed Automata, in G. Winskel (Ed.) Proc. LICS'97, 1997. [Реферат], [Abstract], [Postscript]
  8. E. Asarin, Equations on Timed Languages, in T.Henzinger and S. Sastry (Eds.), Hybrid Systems : Computation and Control, 1-12, LNCS 1386, Springer, 1998. [Реферат], [Abstract], [Postscript]
  9. E. Asarin, O. Maler, A.Pnueli, J. Sifakis, Controller Synthesis for Timed Automata, in Proc. IFAC Symposium on System Structure and Control, 469-474, Elsevier, 1998. [Реферат],[Abstract], [Postscript]

Рукописи:

1. Chaos and Undecidability (Based on Invited talk at the workshop on Hybrid Systems at Grenoble, 1995) [Реферат], [Abstract], [Postscript]

Пишите мне по адресу asarin@aha.ru
Или оставьте запись в
Книге для посетителей
она теперь должна работать

 

Вы посетитель на этой странице