Оценка множества достижимости линейной системы с помощью линейного матричного неравенства

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