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