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