能控规范形和能观规范形

单击此处编辑母版标题样式,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,目录(1/1),目 录,概述,4.1,线性连续系统的能控性,4.2,线性连续系统的能观性,4.3,线性定常离散系统的能控性和能观性,4.4,对偶性原理,4.5,线性系统的结构性分解和零极点相消,4.6,能控规范形和能观规范形,4.7,实现问题,4.8,Matlab,问题,本章小结,能控规范形和能观规范形(1/,3),4.6,能控规范形和能观规范形,由于状态变量选择的非唯一性,系统的状态空间模型具有非唯一性。,若在状态空间的一组特定基底下,系统的状态空间模型具有某种特定形式,则称这种形式的状态空间模型为规范形。,约旦规范形,(,对角线规范形,),就是以系统的特征向量为其状态空间基底所导出的规范形。,从前面讨论中可以看出,一旦把状态空间模型通过线性变换化成约旦规范形,对于状态转移矩阵,(,t,)求解,以及状态能控性和能观性分析都是十分方便的。,能控规范形和能观规范形(,2/3),下面我们将讨论,通过线性变换将,SISO,系统的状态空间模型变换成,对于系统的状态反馈设计十分方便的能控规范形和,能简化系统的状态观测器设计的能观规范形。,讨论的主要问题:,基本定义: 能控规范,I/II,形、,能观规范,I/II,形,旺纳姆能控规范,II,形,龙伯格能控规范,II,形,基本方法: 能控规范形和能观规范形的变换方法,能控规范形和能观规范形(,3/3),讲授顺序为:,能控规范形,能观规范形,MIMO,系统的能控能观规范形,。,则称该状态空间模型为,能控规范,I,形,。,能控规范形(1,/16),能控规范形定义,4.6.1,能控规范形,定义,若,SISO,系统的状态空间模型为,且系统矩阵,A,和输入矩阵,B,分别为,能控规范形(,2/16),能控规范形定义,若系统矩阵,A,和输入矩阵,B,分别为,则称该状态空间模型为,能控规范,II,形,。,能控规范形(,3/16),上述能控规范,I,形和,II,型的系统矩阵,A,分别为前面讨论过的友矩阵的转置和友矩阵。,下面讨论如下两个问题:,能控规范形一定是状态完全能控,和,一定存在线性变换将状态能控的状态空间模型变换成能控规范形,。,即能控性矩阵的秩都为,n,。,故能控规范,I,形与,II,型必定是状态完全能控的。,能控规范形(,4/16),能控规范形一定是状态完全能控?,由状态能控的代数判据,对能控规范,I,形和,II,型,有如下能控性矩阵:,能控规范形(,5/16),由于线性变换不改变状态能控性,而能控规范形一定状态完全能控,因此,只有状态完全能控的系统才能变换成能控规范形,。,下面讨论将完全能控的状态空间模型变换成能控规范形,以及该线性变换的变换矩阵的构造问题。,对此,有如下对能控状态空间模型变换成能控规范,I,形和,II,型的定理。,定理,4-24,对状态完全能控的线性定常连续系统,(,A,B,),引入变换矩阵,T,c,1,如下,T,c,1,=,Q,c,=,B AB,A,n,-1,B,是非奇异的。,那么必存在一线性变换,能将上述状态方程变换成能控规范,I,形:,能控规范形(,6/16)-,能控规范,I,形定理,其中系统矩阵 和输入矩阵 如能控规范,I,形所定义的。,证明,若取变换矩阵,T,c,1,=,Q,c,则由,能控规范形(,7/16)-,能控规范,I,形定理,有,因此,由系统线性变换和凯莱,-,哈密顿定理有,能控规范形(,8/16)-,能控规范,I,形定理,即证明了,变换矩阵,T,c,1,=,Q,c,可将能控状态空间模型变换成能控规范,I,形。,定理,4-25,对状态完全能控的线性定常连续系统,(,A,B,),引入变换矩阵,T,c,2,如下,式中，,T,1,=0 0 1,B AB,A,n,-1,B,-1,那么必存在一线性变换,能将上述状态方程变换成如下能控规范,II,形:,能控规范形(,9/16)-,能控规范,II,形定理,其中系统矩阵 和输入矩阵 如能控规范,II,形所定义的。,能控规范形(,10/16),证明,证明的思路为:,先构造变换矩阵,P,的逆为行向量组成,利用变换关系,A,=,P,-1,AP,确定,P,-1,的行之间的关系,利用变换关系,B,=,P,-1,B,最后确定确定,P,-1,证明过程为:,设变换矩阵,T,c,2,的逆阵为,能控规范形(,11/16),则由,，可得,代入友矩阵,则有,即,能控规范形(,12/16),因此,有,T,i,=,T,1,A,i,-1,i,=2,3,n,即,能控性变换矩阵,T,c,2,为,能控规范形(,13/16),下面讨论,T,1,的计算。,由,求转置,并代入向量,考虑到对,SISO,系统,T,1,A,i,B,为标量,则有,即,T,1,=0 0 1,B AB,A,n,-1,B,-1,是非奇异矩阵,即该系统为状态完全能控,因此可以将其变换成能控规范形。,能控规范形(1,4/16),例,4-19,由上述计算过程,可很便利地将能控的状态空间模型转换为能控规范形。,例,4-19,试求如下系统的能控规范,I,和,II,形:,解,系统的能控性矩阵,能控规范形(1,5/16),(2),求能控规范,I,形。,根据定理,4-24,系统变换矩阵可取为,因此,经变换,后所得的能控规范,I,形的状态方程为,能控规范形(1,6/16),(2),求能控规范,II,形。 计算变换矩阵,先求变换矩阵。根据定理,4-25,有,T,1,=,0 1,B AB,-1,=1/2 1/2,则变换矩阵,T,c2,可取为,因此,经变换,后所得的能控规范形的状态方程为,能观规范形(1,/9),能观规范形定义,4.6.2,能观规范形,对应于能控规范形,若,SISO,线性定常连续系统,(,A,B,C,),的系统矩阵,A,和输出矩阵,C,分别为,则称该状态空间模型为,能观规范,I,形,；,能观规范形(,2/9),能观规范形定义,对应于能控规范形,若,SISO,线性定常连续系统,(,A,B,C,),的系统矩阵,A,和输出矩阵,C,分别为,则称该状态空间模型为,能观规范,II,形,。,能观规范形(,3/9),由上述定义可知:,能观规范形与能控规范形是互为对偶的,即,能观规范,I,形与能控规范,I,形互为对偶,而能观规范,II,形与能控规范,II,形互为对偶。,由对偶性原理可知,能控规范形是状态完全能控的,则其对偶系统能观规范形是状态完全能观的。,由于线性变换不改变能观性,而能观规范形一定状态完全能观,因此,只有状态完全能观的系统才能变换成能观规范形。,下面讨论将完全能观的状态空间模型变换成能观规范,I/II,形,以及该线性变换的变换矩阵的构造问题，对此,有如下定理。,定理,4-26,对状态完全能观的线性定常连续系统,(,A,B,C,),引入变换矩阵,T,o,1,满足,那么线性变换,必能将状态空间模型,(,A,B,C,),变换成能观规范,I,形:,能观规范形(,4/9)-,能观规范,I,形定理,其中系统矩阵 和输入矩阵 如能观规范,I,形所定义的。,定理,4-27,对状态完全能观的线性定常连续系统,(,A,B,C,),引入变换矩阵,co,2,如下,T,o,2,=,R,1,AR,1,A,n,-1,R,1,式中，,那么必存在一线性变换,能将状态空间模型,(,A,B, C,),变换成如下能观规范,II,形:,能观规范形(,5/9)-,能观规范,II,形定理,其中系统矩阵 和输入矩阵 如能观规范,II,形所定义的。,能观规范形(,6/9),例,4-20,由于能观规范形与能控规范形互为对偶,因此,能观规范形变换定理,4-26,与定理,4-27,的证明可由能控规范形变换定理,4-24,与定理,4-25,的证明直接给出,这里不再赘述。,例,4-20,试求如下系统状态方程的能观规范,I,形与,II,型,能观规范形(,7/9),例,4-20,是非奇异矩阵,即该系统为状态完全能观,因此可以将其变换成能观规范形。,解,由于系统的能观性矩阵,能观规范形(,8/9),(1),求能观规范,I,形。,根据定理,4-26,系统变换矩阵可取为,因此,经变换后所得的能观规范形的状态方程为,能观规范形(,9/9),(2),求能观规范,II,形。,根据定理,4-27,先求变换矩阵，有,则变换矩阵,T,o2,可取为,因此,经变换后所得的能观规范,II,形的状态方程为,MIMO,系统的能控能观规范形,(1/1),4.6.3 MIMO,系统的能控能观规范形,MIMO,线性定常连续系统的能控规范形和能观规范形,相比于,SISO,系统,无论是规范形形式还是构造方法都要复杂一些。,本节从基本性和实用性出发,仅讨论应用较广的,旺纳姆,(,Wonham,),能控规范,II,形,和,龙伯格,(,Luenberger,),能控规范,II,形,。,旺纳姆能控规范,II,形,(1/1),1.,旺纳姆能控规范,II,形,下面分别介绍,旺纳姆能控规范,II,形定义,变换阵,T,w,的确定,旺纳姆能控规范,II,形定义,(1/3),(1),旺纳姆能控规范,II,形定义,对完全能控的,MIMO,线性定常连续系统,式中，,A,为维系统矩阵,B,为维输入矩阵,C,为维输出矩阵。,基于线性非奇异变换,可导出系统的旺纳姆能控规范,II,形为,式中，,旺纳姆能控规范,II,形定义,(2/3),旺纳姆能控规范,II,形定义,(3/3),类似于,SISO,能控规范形，可以证明,旺纳姆能控规范,II,形肯定能控，,而且任何状态完全能控的,MIMO,状态空间模型肯定可以变换成旺纳姆能控规范,II,形。,变换阵,T,w,的确定,(1/6),(2),变换阵,T,w,的确定,类似于,SISO,的能控规范,II,形,旺纳姆能控规范,II,形的变换矩阵也可从能控性矩阵构造,方法如下：,首先,通过,列向搜索,找出系统能控性矩阵,中,n,个线性无关列向量。,为此,表,将的所有,nr,个列向量排列成如下形式,变换阵,T,w,的确定,(2/6),类似于,SISO,的能控规范,II,形,旺纳姆能控规范,II,形的变换矩阵从左到右搜索每一个列向量,检验该向量与其左边所有保留下来的线性无关列向量是否线性相关。,若相关则将该向量从队列中剔出,否则保留。,如此,一直搜索到找到,n,个线性无关列向量为止。,最后将源自的,n,个线性无关列向量构成矩阵,式中，,变换阵,T,w,的确定,(3/6),因此,有,式中，,e,i,j,为行向量。,基于此,变换矩阵,T,w,可取为,变换阵,T,w,的确定,(4/6)-,例,4-21,则可将完全能控的状态空间模型变换成旺纳姆能控规范,II,形。,具体推证过程与,SISO,能控规范,II,形的推证过程类似,故略去。,考虑到能控性和能观性之间的对偶关系,利用对偶性原理,可由旺纳姆能控规范形的结论直接导出旺纳姆能观规范形的对应结论。具体过程略。,例,4-21,试求如下线性定常连续系统的旺纳姆能控规范,II,形。,变换阵,T,w,的确定,(5/6),解,由能控性判别矩阵,的秩等于,3,知,该系统状态完全能控,因此该系统可以变换成旺纳姆能控规范,II,形。,首先,按列向探索方法,找到,3,个线性无关列,b,1,Ab,1,和,A,2,b,1,。,因此,非奇异矩阵,S,及其逆矩阵为,变换阵,T,w,的确定,(6/6),故变换矩阵为,即可求得旺纳姆能控规范,II,形的系统矩阵和输入矩阵,龙伯格能控规范,II,形,(1/1),2.,龙伯格能控规范,II,形,下面分别介绍,龙伯格能控规范,II,形定义,变换阵,T,L,的确定,龙伯格能控规范,II,形定义,(1/3),(1),龙伯格能控规范,II,形定义,对完全能控的,MIMO,线性定常连续系统,式中，,A,为维系统矩阵,B,为维输入矩阵,C,为维输出矩阵。,基于线性非奇异变换,可导出系统的龙伯格能控规范,II,形为,式中，,龙伯格能控规范,II,形定义,(2/3),龙伯格能控规范,II,形定义,(3/3),类似于,SISO,能控规范形，可以证明,龙伯格能控规范,II,形肯定能控，,而且任何状态完全能控的,MIMO,状态空间模型肯定可以变换成龙伯格能控规范,II,形。,变换阵,T,L,的确定,(1/6),(2),变换阵,T,L,的确定,类似于,SISO,的能控规范,II,形,龙伯格能控规范,II,形的变换矩阵也可从能控性矩阵构造,方法如下：,首先,通过,行向搜索,找出系统能控性矩阵,中,n,个线性无关列向量。,为此,表,将的所有,nr,个列向量排列成如下形式,变换阵,T,L,的确定,(2/6),类似于,SISO,的能控规范,II,形,龙伯格能控规范,II,形的变换矩阵从左到右搜索每一个列向量,检验该向量与其左边所有保留下来的线性无关列向量是否线性相关。,若相关则将该向量从队列中剔出,否则保留。,如此,一直搜索到找到,n,个线性无关列向量为止。,最后将源自的,n,个线性无关列向量构成矩阵,式中，,变换阵,T,L,的确定,(3/6),因此,有,式中，,e,i,j,为行向量。,基于此,变换矩阵,T,L,可取为,变换阵,T,L,的确定,(4/6)-,例,4-22,则可将完全能控的状态空间模型变换成龙伯格能控规范,II,形。,具体推证过程与,SISO,能控规范,II,形的推证过程类似,故略去。,考虑到能控性和能观性之间的对偶关系,利用对偶性原理,可由龙伯格能控规范形的结论直接导出龙伯格能观规范形的对应结论。具体过程略。,例,4-22,试求例,4-21,的线性定常连续系统的龙伯格能控规范,II,形。,变换阵,T,L,的确定,(5/6),解,由能控性判别矩阵,的秩等于,3,知,该系统状态完全能控,因此该系统可以变换成龙伯格能控规范,II,形。,首先,按行向探索方法,找到,3,个线性无关列,b,1,Ab,1,和,b,2,。,故能控指数,1,=2,， ,2,=1,。,因此,非奇异矩阵,S,及其逆矩阵为,变换阵,T,L,的确定,(6/6),故变换矩阵为,即可求得龙伯格能控规范,II,形的系统矩阵和输入矩阵,