LMI Lab предлагает две функции, чтобы анализировать и подтвердить результаты оптимизации LMI. Функциональный evallmi
оценивает все переменные условия в системе LMI для данного значения вектора переменных решения, например, выполнимый или оптимальный вектор, возвращенный решателями LMI. Если эта оценка выполняется, левые и правые стороны конкретной LMI возвращены showlmi
.
В проблеме LMI, рассмотренной в, Минимизируют Линейные Цели при Ограничениях LMI, можно проверить, что минимизатор xopt
, возвращенный mincx
, удовлетворяет ограничение LMI (уравнение 2) можно следующим образом:
evlmi = evallmi(LMIs,xopt) [lhs,rhs] = showlmi(evlmi,1)
Первая команда оценивает систему для значения xopt
переменных решения, и вторая команда возвращает левые и правые стороны первого (и только) LMI. Отрицательная определенность этого LMI проверяется
eig(lhs-rhs) ans = -2.0387e-04 -3.9333e-05 -1.8917e-07 -4.6680e+01