Исследована задача верификации попадания на целевое множество на конечном отрезке времени состояния линейной управляемой системы дифференциальных уравнений, включающей неопределённость (помеху), на которую наложено геометрическое, поточечное выпуклое ограничение. В случае с двумерным фазовым пространством предложен способ построения множества разрешимости без операции овыпукления, необходимой для вычисления опорной функции геометрической разности множеств. Получено уравнение типа Гамильтона–Якоби–Беллмана, которому удовлетворяет функция расстояния до множества разрешимости.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации