Исследована задача верификации попадания на целевое множество на конечном отрезке времени состояния линейной управляемой системы дифференциальных уравнений, включающей неопределённость (помеху), на которую наложено геометрическое, поточечное выпуклое ограничение. В случае с двумерным фазовым пространством предложен способ построения множества разрешимости без операции овыпукления, необходимой для вычисления опорной функции геометрической разности множеств. Получено уравнение типа Гамильтона–Якоби–Беллмана, которому удовлетворяет функция расстояния до множества разрешимости.
Indexing
Scopus
Crossref
Higher Attestation Commission
At the Ministry of Education and Science of the Russian Federation