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

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

Доклад вызвал интерес участников семинара, по теме состоялось обсуждение.