Лаборатория LMI предлагает две функции для анализа и проверки результатов оптимизации 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