20 сентября 2024 года в 15:00 состоится научный семинар Института систем управления Министерства науки и образования Азербайджанской Республики. Заседание пройдет в актовом зале института.

Докладчик: сотрудник Института программных систем имени Макса Планка, Тогрул Керимов, PhD.

Тема: «К задаче достижимости в дискретных линейных динамических системах».

Резюме: Задача достижимости заключается в изучении того, достигнет ли точка заданного целевого множества, двигаясь по траектории, описываемой динамической системой, рассматриваемой из заданного начального состояния. Задачи такого типа возникают при тестировании систем, управляемых дифференциальными уравнениями.

Доклад посвящен задаче достижимости как для дискретных, так и для непрерывных линейных динамических систем. Известно, что при отсутствии управления задача достижимости приводит к известной открытой задаче Скулема для линейных рекуррентных последовательностей. В докладе будут обсуждены последние достижения, касающиеся связи между задачей достижимости и теорией чисел, включая диофантовы приближения.