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