发明名称 一种线性不确定性系统鲁棒故障检测滤波器设计方法
摘要 本发明属于控制领域,提供了一种线性不确定性系统鲁棒故障检测滤波器设计方法。将齐次多项式参数依赖的Lyapunov函数方法引入到存在凸多面体不确定性的线性时不变系统的鲁棒性故障检测中。首先说明了用于设计RFDF的HPPDL函数的存在性可以通过线性矩阵不等式的可行性进行验证;其次,最大故障灵敏度通过解广义特征值问题得到,并得出最优的RFDF。随着多项式次数的增加,线性矩阵不等式和自由变量的数量随之增加,从而大大降低验证的保守性。设计方法包括两个阶段:(1)作为具有一定的干扰衰减和最大故障灵敏度的残差发生器的最优RFDF设计问题;(2)为估计生成的残差而进行阈值设计。这种设计方法比之前类似的方法更具有一般性。
申请公布号 CN102436179A 申请公布日期 2012.05.02
申请号 CN201110379971.8 申请日期 2011.11.25
申请人 中国电力科学研究院 发明人 徐式蕴;汤涌;孙华东;安之;周子冠;张杏珍
分类号 G05B13/04(2006.01)I;G05B23/00(2006.01)I 主分类号 G05B13/04(2006.01)I
代理机构 北京安博达知识产权代理有限公司 11271 代理人 徐国文
主权项 1.一种线性不确定性系统鲁棒故障检测滤波器设计方法,其特征在于:将齐次多项式参数依赖的Lyapunov函数方法引入到存在凸多面体不确定性的线性时不变系统的鲁棒性故障检测中,首先验证了用于设计RFDF的HPPDL函数的存在性通过线性矩阵不等式验证的可行性;其次,故障检测滤波器的最大故障灵敏度通过解广义特征值问题得到,并能得出最优的RFDF,随着多项式次数的增加,线性矩阵不等式和自由变量的数量随之增加,从而降低验证的保守性;设计方法包括两个阶段:(1)作为具有一定的干扰衰减和最大故障灵敏度的残差发生器的最优RFDF设计问题;(2)为估计生成的残差而进行阈值设计;具体包括以下步骤:定义:<img file="FDA0000112306150000011.GIF" wi="87" he="37" />表示n×n实矩阵的集合,上标T表示实矩阵的转置,*表示复矩阵的共轭转置;对于n×n矩阵A,HeA=A+A<sup>*</sup>;如果A是实对称的负定矩阵,表示为A<0,而B≥0表示B是半正定矩阵;定义这样一个系统:<maths num="0001"><![CDATA[<math><mrow><mfenced open='' close=''><mtable><mtr><mtd><mover><mi>x</mi><mo>&CenterDot;</mo></mover><mo>=</mo><mi>Ax</mi><mo>+</mo><msub><mi>B</mi><mi>d</mi></msub><mi>d</mi><mo>+</mo><msub><mi>B</mi><mi>f</mi></msub><mi>f</mi><mo>,</mo></mtd></mtr><mtr><mtd><mi>y</mi><mo>=</mo><mi>Cx</mi><mo>+</mo><msub><mi>D</mi><mi>d</mi></msub><mi>d</mi><mo>+</mo><msub><mi>D</mi><mi>f</mi></msub><mi>f</mi><mo>,</mo></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></math>]]></maths>其中,<img file="FDA0000112306150000013.GIF" wi="148" he="38" /><img file="FDA0000112306150000014.GIF" wi="137" he="48" />分别代表状态向量和输出向量;<img file="FDA0000112306150000015.GIF" wi="137" he="48" />是需要进行检测的可检测故障信号的集合;<img file="FDA0000112306150000016.GIF" wi="135" he="37" />表示有限的传感器/驱动器干扰;依赖于考虑之中的特定情形,f和d采取不同的信号形式进行建模;模型矩阵是具有适当维数的定常矩阵,其中A,B<sub>d</sub>,B<sub>f</sub>,D<sub>d</sub>包含于下面的不确定性多面体:<maths num="0002"><![CDATA[<math><mrow><mi>&Omega;</mi><mo>=</mo><mo>{</mo><mrow><mo>(</mo><mi>A</mi><mo>,</mo><msub><mi>B</mi><mi>f</mi></msub><mo>,</mo><msub><mi>B</mi><mi>d</mi></msub><mo>,</mo><msub><mi>D</mi><mi>d</mi></msub><mo>)</mo></mrow><mo>|</mo><mrow><mo>(</mo><mi>A</mi><mo>,</mo><msub><mi>B</mi><mi>f</mi></msub><mo>,</mo><msub><mi>B</mi><mi>d</mi></msub><mo>,</mo><msub><mi>D</mi><mi>d</mi></msub><mo>)</mo></mrow><mo>=</mo><munderover><mi>&Sigma;</mi><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>N</mi></munderover><msub><mi>&alpha;</mi><mi>i</mi></msub><mrow><mo>(</mo><msup><mi>A</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></msup><mo>,</mo><msubsup><mi>B</mi><mi>f</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></msubsup><mo>,</mo><msubsup><mi>B</mi><mi>d</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></msubsup><mo>,</mo><msubsup><mi>D</mi><mi>d</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></msubsup><mo>)</mo></mrow><mo>,</mo><msub><mi>&alpha;</mi><mi>i</mi></msub><mo>&GreaterEqual;</mo><mn>0</mn><mo>,</mo><munderover><mi>&Sigma;</mi><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mi>N</mi></munderover><msub><mi>&alpha;</mi><mi>i</mi></msub><mo>=</mo><mn>1</mn><mo>}</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></mrow></math>]]></maths>这里,(A<sup>(i)</sup>,<img file="FDA0000112306150000018.GIF" wi="228" he="74" />)是多面体Ω的第i个顶点;故障检测依赖于对故障高灵敏度的残差信号生成,同时能够区分外部信号和干扰引起的故障,定义一个基于RFDF的残差发生器作为RFDF的核心,给出如下形式的全阶状态观测器:<maths num="0003"><![CDATA[<math><mrow><mfenced open='' close=''><mtable><mtr><mtd><mover><mover><mi>x</mi><mo>^</mo></mover><mo>&CenterDot;</mo></mover><mo>=</mo><mi>A</mi><mover><mi>x</mi><mo>^</mo></mover><mo>+</mo><mi>L</mi><mrow><mo>(</mo><mi>y</mi><mo>-</mo><mover><mi>y</mi><mo>^</mo></mover><mo>)</mo></mrow><mo>,</mo></mtd></mtr><mtr><mtd><mover><mi>y</mi><mo>^</mo></mover><mo>=</mo><mi>C</mi><mover><mi>x</mi><mo>^</mo></mover><mo>,</mo></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow></math>]]></maths>其中,<img file="FDA00001123061500000110.GIF" wi="125" he="38" />表示状态向量,<img file="FDA00001123061500000111.GIF" wi="136" he="50" />是滤波器的输出估计向量;L是待确定的定常矩阵,因此,RFDF的设计还原为观测器获取矩阵L;进一步讲,RFDF传递了一个其关于故障和位置干扰的动态特性,由下列残差方程进行描述:<maths num="0004"><![CDATA[<math><mrow><mi>r</mi><mo>=</mo><mi>y</mi><mo>-</mo><mover><mi>y</mi><mo>^</mo></mover><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math>]]></maths>为描述RFDF的动态特性,令<img file="FDA0000112306150000022.GIF" wi="194" he="43" />考虑如下残差动态特性:<maths num="0005"><![CDATA[<math><mrow><mfenced open='{' close=''><mtable><mtr><mtd><mover><mi>e</mi><mo>&CenterDot;</mo></mover><mo>=</mo><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>e</mi><mo>+</mo><mrow><mo>(</mo><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub><mo>)</mo></mrow><mi>d</mi><mo>+</mo><mrow><mo>(</mo><msub><mi>B</mi><mi>f</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>f</mi></msub><mo>)</mo></mrow><mi>f</mi><mo>,</mo></mtd></mtr><mtr><mtd><mi>r</mi><mo>=</mo><mi>Ce</mi><mo>+</mo><msub><mi>D</mi><mi>d</mi></msub><mi>d</mi><mo>+</mo><msub><mi>D</mi><mi>f</mi></msub><mi>f</mi><mo>.</mo></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>5</mn><mo>)</mo></mrow></mrow></math>]]></maths>接下来,引进以下定义来描述系统(5)中d和f对残差r的影响;定义1如果误差动态特性(5)的传递函数<img file="FDA0000112306150000024.GIF" wi="143" he="93" />由下式给出G<sub>rd</sub>(s)=C(sI-A+LC)<sup>-1</sup>(B<sub>d</sub>-LD<sub>d</sub>)+D<sub>d</sub>.那么它的H<sub>∞</sub>范数定义由下式定义<maths num="0006"><![CDATA[<math><mrow><msub><mrow><mo>|</mo><mo>|</mo><msub><mi>G</mi><mi>rd</mi></msub><mo>|</mo><mo>|</mo></mrow><mo>&infin;</mo></msub><mo>=</mo><msub><mi>sup</mi><mrow><mi>d</mi><mo>&Element;</mo><msub><mi>L</mi><mn>2</mn></msub></mrow></msub><mfrac><msub><mrow><mo>|</mo><mo>|</mo><mi>r</mi><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msub><msub><mrow><mo>|</mo><mo>|</mo><mi>d</mi><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msub></mfrac><mo>=</mo><msub><mi>sup</mi><mrow><mi>d</mi><mo>&Element;</mo><msub><mi>L</mi><mn>2</mn></msub></mrow></msub><mfrac><msub><mrow><mo>|</mo><mo>|</mo><msub><mi>G</mi><mi>rd</mi></msub><mi>d</mi><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msub><msub><mrow><mo>|</mo><mo>|</mo><mi>d</mi><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msub></mfrac><mo>.</mo></mrow></math>]]></maths>定义2考虑如下从输入f到输出r的传递函数G<sub>rf</sub>(s)=C(sI-A+LC)<sup>-1</sup>(B<sub>f</sub>-LD<sub>f</sub>)+D<sub>f</sub>.传递函数矩阵G<sub>rf</sub>(s)的H_指数定义为<maths num="0007"><![CDATA[<math><mrow><msubsup><mrow><mo>|</mo><mo>|</mo><msub><mi>G</mi><mi>rf</mi></msub><mrow><mo>(</mo><mi>s</mi><mo>)</mo></mrow><mo>|</mo><mo>|</mo></mrow><mo>-</mo><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mover><mi>&omega;</mi><mo>&OverBar;</mo></mover><mo>]</mo></mrow></msubsup><mo>=</mo><munder><mi>inf</mi><mrow><mi>&omega;</mi><mo>&Element;</mo><mo>[</mo><mn>0</mn><mo>,</mo><mover><mi>&omega;</mi><mo>&OverBar;</mo></mover><mo>]</mo></mrow></munder><munder><mi>&sigma;</mi><mo>&OverBar;</mo></munder><mo>[</mo><msub><mi>G</mi><mi>rf</mi></msub><mrow><mo>(</mo><mi>j&omega;</mi><mo>)</mo></mrow><mo>]</mo><mo>,</mo></mrow></math>]]></maths>其中<u>σ</u>代表最小奇异值,<img file="FDA0000112306150000027.GIF" wi="37" he="38" />表示频带<img file="FDA0000112306150000028.GIF" wi="139" he="61" />此外,这个频域性能判据可以由<maths num="0008"><![CDATA[<math><mrow><msub><mrow><mo>|</mo><mo>|</mo><msub><mi>G</mi><mi>rf</mi></msub><mo>|</mo><mo>|</mo></mrow><mo>-</mo></msub><mo>=</mo><msub><mi>inf</mi><mrow><mi>f</mi><mo>&Element;</mo><msub><mi>L</mi><mn>2</mn></msub></mrow></msub><mfrac><msub><mrow><mo>|</mo><mo>|</mo><msub><mi>G</mi><mi>rf</mi></msub><mi>f</mi><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msub><msub><mrow><mo>|</mo><mo>|</mo><mi>f</mi><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msub></mfrac></mrow></math>]]></maths>基于信号理论得到;便用H_/H<sub>∞</sub>权衡设计策略;H_/H<sub>∞</sub>性能测定标准,为简单起见,采用最大化故障灵敏度||G<sub>rf</sub>(s)||_,且干扰衰减||G<sub>rd</sub>(s)||<sub>∞</sub>是一个固定常数的情形;以确定系数矩阵L为目标,因此1°A-LC是常数2°||G<sub>rd</sub>(s)||<sub>∞</sub><γ(6)3°||G<sub>rf</sub>(s)||_>β,β→max,其中,γ是规定的正常数,β是待最优化的常量;在此情形下,得出的RFDF(3)-(4)是保证H_/H<sub>∞</sub>性能下最优的;(6)式中鲁棒残差生产方法的目标之间是有冲突的;由于故障检测问题本质上是一个多目标权衡问题,因此在故障检测系统设计中应用线性矩阵不等式技术;然而式(6)的传递函数G<sub>rd</sub>(s)和G<sub>rf</sub>(s)中存在不确定矩阵,因此不能简单的凭借鲁棒性控制的标准知识加以解决;引入参数依赖李雅普诺夫函数方法,从而在解决凸多面体不确定性问题时可以利用齐次多项式参数依赖的李雅普诺夫技术;考虑包含多面体不确定性(2)的系统(1)和式(3)-(4)给出的RFDF;设γ>0,β>0是规定的常标量,对于给定的矩阵L,当如下任一条件满足时:1°存在一个正定矩阵P=PT>0和一个对称矩阵<img file="FDA0000112306150000031.GIF" wi="174" he="62" />使得<maths num="0009"><![CDATA[<math><mrow><mfenced open='[' close=']'><mtable><mtr><mtd><mi>P</mi><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>T</mi></msup><mi>P</mi></mtd><mtd><mi>P</mi><mrow><mo>(</mo><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub><mo>)</mo></mrow></mtd><mtd><msup><mi>C</mi><mi>T</mi></msup></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>-</mo><msup><mi>&gamma;</mi><mn>2</mn></msup><mi>I</mi></mtd><mtd><msubsup><mi>D</mi><mi>d</mi><mi>T</mi></msubsup></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>-</mo><mi>I</mi></mtd></mtr></mtable></mfenced><mo>&lt;</mo><mn>0</mn><mo>,</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow></math>]]></maths><maths num="0010"><![CDATA[<math><mrow><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>P</mi><mi>f</mi></msub><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>T</mi></msup><msub><mi>P</mi><mi>f</mi></msub><mo>+</mo><msup><mi>C</mi><mi>T</mi></msup><mi>C</mi></mtd><mtd><msub><mi>P</mi><mi>f</mi></msub><mrow><mo>(</mo><msub><mi>B</mi><mi>f</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>f</mi></msub><mo>)</mo></mrow><mo>+</mo><msup><mi>C</mi><mi>T</mi></msup><msub><mi>D</mi><mi>f</mi></msub></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><msubsup><mi>D</mi><mi>f</mi><mi>T</mi></msubsup><msub><mi>D</mi><mi>f</mi></msub><mo>-</mo><msup><mi>&beta;</mi><mn>2</mn></msup><mi>I</mi></mtd></mtr></mtable></mfenced><mo>></mo><mn>0</mn><mo>.</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>8</mn><mo>)</mo></mrow></mrow></math>]]></maths>2°存在矩阵P=P<sup>T</sup>>0,<img file="FDA0000112306150000034.GIF" wi="179" he="62" />G,G<sub>f</sub>,F,F<sub>f</sub>,使得<maths num="0011"><![CDATA[<math><mrow><mi>&Pi;</mi><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><mo>-</mo><mi>G</mi><mo>-</mo><msup><mi>G</mi><mi>T</mi></msup></mtd><mtd><mi>G</mi><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><mi>P</mi><mo>-</mo><msup><mi>F</mi><mi>T</mi></msup></mtd><mtd><mi>G</mi><mrow><mo>(</mo><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub><mo>)</mo></mrow></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mi>F</mi><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>T</mi></msup><msup><mi>F</mi><mi>T</mi></msup></mtd><mtd><mi>F</mi><mrow><mo>(</mo><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub><mo>)</mo></mrow></mtd><mtd><msup><mi>C</mi><mi>T</mi></msup></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>-</mo><mi>&gamma;I</mi></mtd><mtd><msubsup><mi>D</mi><mi>d</mi><mi>T</mi></msubsup></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>-</mo><mi>&gamma;I</mi></mtd></mtr></mtable></mfenced><mo>&lt;</mo><mn>0</mn><mo>,</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>9</mn><mo>)</mo></mrow></mrow></math>]]></maths><maths num="0012"><![CDATA[<math><mrow><mi>&Lambda;</mi><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><mo>-</mo><msub><mi>G</mi><mi>f</mi></msub><mo>-</mo><msubsup><mi>G</mi><mi>f</mi><mi>T</mi></msubsup></mtd><mtd><msub><mi>G</mi><mi>f</mi></msub><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><msub><mi>P</mi><mi>f</mi></msub><mo>-</mo><msubsup><mi>F</mi><mi>f</mi><mi>T</mi></msubsup></mtd><mtd><msub><mi>G</mi><mi>f</mi></msub><mrow><mo>(</mo><msub><mi>B</mi><mi>f</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>f</mi></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><msub><mi>F</mi><mi>f</mi></msub><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>T</mi></msup><msubsup><mi>F</mi><mi>f</mi><mi>T</mi></msubsup><mo>+</mo><msup><mi>C</mi><mi>T</mi></msup><mi>C</mi></mtd><mtd><msub><mi>F</mi><mi>f</mi></msub><mrow><mo>(</mo><msub><mi>B</mi><mi>f</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>f</mi></msub><mo>)</mo></mrow><mo>+</mo><msup><mi>C</mi><mi>T</mi></msup><msub><mi>D</mi><mi>f</mi></msub></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><msubsup><mi>D</mi><mi>f</mi><mi>T</mi></msubsup><msub><mi>D</mi><mi>f</mi></msub><mo>-</mo><msup><mi>&beta;</mi><mn>2</mn></msup><mi>I</mi></mtd></mtr></mtable></mfenced><mo>></mo><mn>0</mn><mo>,</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>10</mn><mo>)</mo></mrow></mrow></math>]]></maths>残差动态特性(5)将满足鲁棒性要求γ和故障灵敏度性能β,即||G<sub>rd</sub>(s)||<sub>∞</sub>=||C(sI-A+LC)<sup>-1</sup>(B<sub>d</sub>-LD)+D<sub>d</sub>||<sub>∞</sub><γ,||G<sub>rf</sub>(s)||_=||C(sI-A+LC)<sup>-1</sup>(B<sub>f</sub>-LD)+D<sub>f</sub>||_>β.在H<sub>∞</sub>框架中,由界实引理将H<sub>∞</sub>范数计算同一个扮演关键角色的线性矩阵不等式条件联系在一起;类似的,计算H_指数也相当于一个线性矩阵不等式;因此,条件1°是直接的线性矩阵不等式方程,因此残差动态特性(4)拥有干扰衰减γ和故障灵敏度性能β,其在鲁棒性控制理论中有标准结果;进一步讲,注意到条件(9)可以写成如下形式:∏=V+He(∑GΓ)<0(11)其中<maths num="0013"><![CDATA[<math><mrow><mi>V</mi><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><mn>0</mn></mtd><mtd><mi>P</mi><mo>-</mo><msup><mi>F</mi><mi>T</mi></msup></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mi>F</mi><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>T</mi></msup><msup><mi>F</mi><mi>T</mi></msup></mtd><mtd><mi>F</mi><mrow><mo>(</mo><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub><mo>)</mo></mrow></mtd><mtd><msup><mi>C</mi><mi>T</mi></msup></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>-</mo><mi>&gamma;I</mi></mtd><mtd><msubsup><mi>D</mi><mi>d</mi><mi>T</mi></msubsup></mtd></mtr><mtr><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>*</mo></mtd><mtd><mo>-</mo><mi>&gamma;I</mi></mtd></mtr></mtable></mfenced><mo>,</mo></mrow></math>]]></maths><maths num="0014"><![CDATA[<math><mrow><mi>&Sigma;</mi><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><mi>I</mi></mtd></mtr><mtr><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd></mtr></mtable></mfenced><mo>,</mo><mi>&Gamma;</mi><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><mo>-</mo><mi>I</mi></mtd><mtd><mi>A</mi><mo>-</mo><mi>LC</mi></mtd><mtd><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub></mtd><mtd><mn>0</mn></mtd></mtr></mtable></mfenced><mo>.</mo></mrow></math>]]></maths>∑和Γ<sup>T</sup>的零空间的显式基可以按下述计算<maths num="0015"><![CDATA[<math><mrow><msup><mi>&Sigma;</mi><mo>&perp;</mo></msup><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><mn>0</mn></mtd><mtd><mi>I</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi>I</mi></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi>I</mi></mtd></mtr></mtable></mfenced><mo>,</mo></mrow></math>]]></maths><maths num="0016"><![CDATA[<math><mrow><msup><mi>&Gamma;</mi><mrow><mi>T</mi><mo>&perp;</mo></mrow></msup><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><msup><mrow><mo>(</mo><mi>A</mi><mo>-</mo><mi>LC</mi><mo>)</mo></mrow><mi>T</mi></msup></mtd><mtd><mi>I</mi></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><msup><mrow><mo>(</mo><msub><mi>B</mi><mi>d</mi></msub><mo>-</mo><msub><mi>LD</mi><mi>d</mi></msub><mo>)</mo></mrow><mi>T</mi></msup></mtd><mtd><mn>0</mn></mtd><mtd><mi>I</mi></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mn>0</mn></mtd><mtd><mi>I</mi></mtd></mtr></mtable></mfenced><mo>.</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>12</mn><mo>)</mo></mrow></mrow></math>]]></maths>因此,∑和Γ的列空间线性无关;根据参数G的投影引理,不等式(11)当且仅当满足下列条件时有解:∑<sup>⊥</sup>G∑<sup>⊥T</sup><0,Γ<sup>T⊥</sup>GΓ<sup>T⊥T</sup><0.将式(12)代入上述不等式将得到(7);因此,存在G使得(9)保持不变当且仅当存在P使得(7)保持不变;使用类似参数,(10)因G<sub>f</sub>保持不变当且仅当线性矩阵不等式(8)满足矩阵P<sub>f</sub>存在。
地址 100192 北京市海淀区清河小营东路15号