0LMI 工具箱介绍线性矩阵不等式(LMI)工具箱是求解一般线性矩阵不等式问题的一个高性能软件包。由于其面向结构的线性矩阵不等式表示方式,使得各种线性矩阵不等式能够以自然块矩阵的形式加以描述。一个线性矩阵不等式问题一旦确定,就可以通过调用适当的线性矩阵不等式求解器来对这个问题进行数值求解。LMI 工具箱提供了确定、处理和数值求解线性矩阵不等式的一些工具,它们主要用于:以自然块矩阵形式来直接描述线性矩阵不等式;获取关于现有的线性矩阵不等式系统的信息;修改现有的线性矩阵不等式系统;求解三个一般的线性矩阵不等式问题;验证结果。本附录将详细介绍 LMI 工具箱提供的用于解决以上各个问题的相关函数和命令。A.1线性矩阵不等式及相关术语一个线性矩阵不等式就是具有以下一般形式的一个矩阵不等式:L( x) L0 x1 L1 · xN LN 0(1)其中: L0 , L1 , ·, LN 是给定的对称常数矩阵, x1 ,·, xN 是未知变量,称为决策变量,x [x1 ,·, xN ]T R N 是由决策变量构成的向量,称为决策向量。尽管表达式(1)是线性矩阵不等式的一个一般表示式,但在大多数实际应用中,线性矩阵不等式常常不是以一般表示式(1)的形式出现,而是具有以下形式:L( X 1 ,·, X n ) R( X 1 ,·, X n )其中的 L() 和 R() 是矩阵变量 X 1 ,·, X n 的仿射函数,通过适当的代数运算,上式可以写成线性矩阵不等式的一般表示式(1)的形式。例如,在系统稳定性问题中经常遇到的 Lyapunov 矩阵不等式AT X XA 0(2)也是一个线性矩阵不等式, 其中的 X是一个矩阵变量。 我们以一个二阶矩阵 A 12 2 为例,将矩阵不等式(2)写成一般表示式(1)的形式。针对二阶矩阵不x1 001xBB等式(2),对应的矩阵变量 X 是一个二阶的对称矩阵, X x1 x2 ,不等式(2)中 23 的决策变量是矩阵 X 中的独立元 x1、x2、x3 。根据对策性,矩阵变量 X 可以写成X x 10 x02 11 x0 03 0将矩阵 A 和上式代入矩阵不等式(2),经整理,可得x 22 x 0 3 x 00 0(3)1 22 33 0 4这样就将矩阵不等式(2)写成了线性矩阵不等式的表示式(1)。显然,与 L...