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