Профессор Томас Хейзигер выступил с докладом: "Реактивные системы: мощная парадигма для моделирования и анализа от инженерных до биологических систем"

На заседании семинара "Математические модели информационных технологий" выступил профессор Thomas A. Henzinger (IST Austria)

Реактивная система - это динамическая система, которая развивается путем реагирования на внешние события. Компьютерная наука разработала мощные модели, теории, алгоритмы и инструменты для анализа и предсказания поведения реактивных систем. Эти приемы основаны на математической логике, теории вычислений, языках программирования и теории игр. Изначально они были разработаны для того, чтобы позволить строить более настраиваемую компьютерную инфраструктуру. Однако, применение результатов перешагнуло область компьютерных наук. Например, и самолет и живые организмы можно рассматривать в качестве реактивных систем.