Matlab问题能控能观.pptx

《Matlab问题能控能观.pptx》由会员分享，可在线阅读，更多相关《Matlab问题能控能观.pptx（64页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、Matlab问题(1/1)4.8 Matlab问题本章涉及的计算问题主要有状态能控性/能观性判定、系统能控能观分解、能控/能观规范形变换以及能控/能观规范形实现。下面分别介绍基于Matlab的上述问题的程序编制和计算方法。第1页/共64页状态能控性与能观性判定(1/2)4.8.1 状态能控性与能观性判定 状态能控性与能观性是线性系统的重要结构性质,描述了系统的本质特征,是系统分析和设计的主要考量因素。Matlab提供了用于状态能控性、能观性判定的能控性矩阵函数ctrb()、能观性矩阵函数obsv()和能控性/能观性格拉姆矩阵函数gram(),通过对这些函数计算所得的矩阵求秩就可以很方便地判定系

2、统的状态能控性、能观性。第2页/共64页状态能控性与能观性判定(2/2)用户也可以根据能控性、能观性的各种判据,自己编制程序和函数来判定这两个系统的结构性质。下面分别介绍状态能控性判定 状态能观性判定 第3页/共64页状态能控性判定(1/10)1.状态能控性判定 无论是连续还是离散的线性定常系统,采用代数判据判定状态能控性需要计算能控性矩阵。Matlab提供的函数ctrb()可根据给定的系统模型,计算能控性矩阵Qc=B AB An-1B能控性矩阵函数ctrb()的主要调用格式为:Qc=ctrb(A,B)Qc=ctrb(sys)其中，第1种输入格式为直接给定系统矩阵A和输入矩阵B,第2种格式为给

3、定状态空间模型sys。输出矩阵Qc为计算所得的能控性矩阵。第4页/共64页状态能控性判定(2/10)基于能控性矩阵函数ctrb()及能控性矩阵Qc的秩的计算,就可以进行连续线性定常系统的状态能控性的代数判据判定。Matlab问题4-1 试在Matlab中判定例4-2的如下系统的状态能控性。第5页/共64页状态能控性判定(3/10)Matlab程序m4-1如下。Matlab程序m4-1中的函数Judge_contr()通过调用能控性矩阵函数ctrb()和计算矩阵秩的函数rank()，完成能控性代数判据的判定。函数Judge_contr()的源程序为A=1 3 2;0 2 0;0 1 3;B=2

4、1;1 1;-1-1;sys=ss(A,B,);Judge_contr(sys);%建立状态空间模型%调用函数判定状态能控性 第6页/共64页状态能控性判定(4/10)Matlab程序m4-1执行结果如下。表明所判定的系统状态不能控。function Judge_contr(sys)Qc=ctrb(sys);n=size(sys.a);if rank(Qc)=n(1)disp(The system is controlled)else disp(The system is not controlled)end%定义函数Judge_contr()%计算系统的能控性矩阵%求系统矩阵的各维的大小%判

5、定能控性矩阵的秩是否等于状态变量的个数,即是否能控 The system is not controlled 第7页/共64页在上述程序和函数中,使用了2个Matlab基本矩阵函数rank()和size(),其定义和使用方法如下1)计算矩阵秩的函数rank()。求矩阵秩的函数rank()的调用格式为：k=rank(A)k=rank(A,tol)其中输入A为矩阵,输出k为矩阵A的秩。状态能控性判定(5/10)第8页/共64页虽然Matlab求矩阵秩采用了数值特性良好的计算奇异值的方法,但考虑到计算机浮点计算过程产生的数值计算误差可能使得判定秩有偏差,第2种调用格式可以给定判定矩阵奇异值的容许误差

6、，而对第1种格式系统将自动设定一个容许误差tol。2)计算数组各维大小的函数size()。函数size()在Matlab编程中非常有用,它可以在各个调用函数中随时求取所处理的数组的各维数的大小,而没有必要将数组的维数大小作为变量(参量)参与函数调用,所设计的程序简洁、易读易懂。状态能控性判定(6/10)第9页/共64页函数size()的主要调用格式为：d=size(X)m=size(X,dim)d1,d2,d3,.,dn=size(X)其中，输出d为数组X的各维的大小组成的1维数组；m为数组X的第dim维的大小；d1,d2,d3,.,dn为数组X的各维的大小。如,d=size(1 2 3;4

7、5 6)的输出为数组d=2 3,而m,n=size(1 2 3;4 5 6)的输出则是m和n分别为2和3。状态能控性判定(7/10)第10页/共64页由4.3.1节的定理4-12可知,线性定常离散系统(G,H)状态能控的充分必要条件为rank Qc=rank Qc Gn因此判定线性定常离散系统状态能控性的代数判据也需计算能控性矩阵Qc=H GH Gn-1H与连续系统类似,基于能控性矩阵函数ctrb()可以判定线性定常离散系统状态能控性。状态能控性判定(8/10)第11页/共64页状态能控性判定(9/10)Matlab问题4-2 试在Matlab中判定例4-12的如下系统的状态能控性。Matla

8、b程序m4-2如下。G=1 0 0;0 2-2;-1 1 0;H=1;2;1;n=size(G,1);Qc=ctrb(G,H);if rank(Qc)=rank(Qc Gn)disp(The system is controlled)else disp(The system is not controlled)end%求系统矩阵的行数%计算系统的能控性矩阵%判定能控性矩阵Qc的秩是否等于Qc Gn的秩,即离散系统是否能控 第12页/共64页状态能控性判定(10/10)Matlab程序m4-2执行结果如下。The system is not controlled 第13页/共64页状态能观性判定

9、(1/5)2.状态能观性判定 无论对连续还是离散的线性定常系统,采用代数判据判定状态能观性需要计算定义的能观性矩阵并要求能观性矩阵Qo的秩等于状态空间维数。Matlab提供的函数obsv()可根据给定的系统模型计算能观性矩阵。第14页/共64页状态能观性判定(2/5)能观性矩阵函数obsv()的主要调用格式为Qo=obsv(A,C)Qo=obsv(sys)其中第1种调用格式为直接输入系统矩阵A和输出矩阵C,第2种格式为输入状态空间模型sys；输出矩阵Qo为计算所得的能观性矩阵。基于能观性矩阵函数obsv()及能观性矩阵Qo秩的计算,就可以进行连续和离散线性定常系统的状态能观性的代数判据判定。第

10、15页/共64页状态能观性判定(3/5)Matlab问题4-3 试在Matlab中判定例4-13的如下系统的状态能观性。Matlab程序m4-3如下。A=2 0 3;-1-2 0;0 1 2;C=1 0 0;0 1 0;sys=ss(A,C,);Judge_obsv(sys);%建立状态空间模型%调用函数Judge_obsv()判定状态能观性 第16页/共64页状态能观性判定(4/5)其中函数Judge_obsv()的源程序为Matlab程序m4-3执行结果如下。The system is observability function Judge_obsv(sys)Qo=obsv(sys);n

11、=size(sys.a);if rank(Qo)=n(1)disp(The system is observability)else disp(The system is not observability)end%函数Judge_obsv()定义%计算系统的能观性矩阵%求系统矩阵的各维的大小%判定能观性矩阵的秩是否等于状态变量的个数,即是否能观 第17页/共64页状态能观性判定(5/5)其中函数Judge_obsv()的源程序为Matlab程序m4-3执行结果如下。表明所判定的系统状态能观。The system is observability function Judge_obsv(sys

12、)Qo=obsv(sys);n=size(sys.a);if rank(Qo)=n(1)disp(The system is observability)else disp(The system is not observability)end%函数Judge_obsv()定义%计算系统的能观性矩阵%求系统矩阵的各维的大小%判定能观性矩阵的秩是否等于状态变量的个数,即是否能观 第18页/共64页线性系统的能控能观分解(1/2)4.8.2 线性系统的能控能观分解4.5节介绍的线性定常系统的能控能观分解,让我们清楚地了解动态系统哪些哪些子空间(子系统)状态完全能控,哪些完全不能控；哪些子空间状态完

13、全能观,哪些完全不能观。在控制系统设计与综合时,能更好地有针对性地进行设计与综合。第19页/共64页线性系统的能控能观分解(2/2)Matlab提供了用于状态能控性分解的函数ctrbf()和状态能观性分解的函数obsvf()。基于这2个函数,用户可以通过逐步分解,求得系统的能控能观分解。为此，编著者设计了用于能控能观分解的Matlab函数ctrb_obsvf()。第20页/共64页能控性分解函数ctrbf()(1/5)1.能控性分解函数ctrbf()能控性分解函数ctrbf()的主要调用格式为A_c,B_c,C_c,Tc=ctrbf(A,B,C)A_c,B_c,C_c,Tc=ctrbf(A,B

14、,C,tol)其中，输入格式A,B和C为需按能控性分解的状态空间模型的各矩阵,tol为计算容许误差；输出的A_c,B_c和C_c为能控性分解之后的状态空间模型的各矩阵；Tc为变换矩阵,系统进行的状态变换为第21页/共64页能控性分解函数ctrbf()(2/5)经函数ctrbf()能控性分解后,系统的状态空间模型为qMatlab问题4-4 试在Matlab中对例4-15的系统进行能控性分解。第22页/共64页能控性分解函数ctrbf()(3/5)Matlab程序m4-4如下。Matlab程序m4-4执行结果如下。A=1 2-1;0 1 0;1-4 3;B=0;0;1;C=1-1 1;Ac,Bc,

15、Cc,Tc=ctrbf(A,B,C)Ac=1 0 0 -2 1 -1 4 1 3Bc=0 0 -1Cc=-1 -1 -1Tc=0 1 0 -1 0 0 0 0 -1 例4-15计算结果(能控部分)结果完全等价第23页/共64页能控性分解函数ctrbf()(4/5)由于变换矩阵不唯一且状态变量向量中变量排列的次序不同,所得到的能控性分解模型也不唯一。函数ctrbf()的能控性分解变换矩阵和状态变量的排列与4.5.1节的能控性分解定理4-20的有所不同,因此得到的能控性分解后的状态空间模型也有所不同,但本质是一致的。第24页/共64页能控性分解函数ctrbf()(5/5)与4.5.1节内容相对应,

16、编著者开发了一个能控性分解函数ctrbf2()，可用于求取定理4-20的能控分解，其主要调用格式为A_c,B_c,C_c,Tc,nc=ctrbf2(A,B,C)A_c,B_c,C_c,Tc,nc=ctrbf2(A,B,C,tol)其中，输出nc为能控子系统的维数,其他输入输出格式与Matlab函数ctrbf()一致。读者可以使用该函数方便地将系统按能控性进行结构分解,这里不再赘述。第25页/共64页能观性分解函数obsvf()(1/5)2.能观性分解函数obsvf()能观性分解函数obsvf()的主要调用格式为A_o,B_o,C_o,To=obsvf(A,B,C)A_o,B_o,C_o,To=

17、obsvf(A,B,C,tol)其中输入格式与能控性分解函数ctrbf()一致；输出的A_o,B_o和C_o为能观性分解之后的状态空间模型的各矩阵；To为变换矩阵,系统进行的状态变换为 第26页/共64页能观性分解函数obsvf()(2/5)经函数obsvf()能观性分解后,系统的状态空间模型为q与能控性分解函数ctrbf()的使用方法完全一致,读者可非常方便地使用该函数进行系统的能观性分解(这里不再赘述)。同样地,由于变换矩阵不唯一以及状态变量向量中变量排列的次序不同,所得到的能观性分解模型也不唯一。函数obsv()得到的能观性分解状态空间模型与4.5.2节的能观性分解定理4-21的有所不同

18、,但本质是一致的。第27页/共64页能观性分解函数obsvf()(3/5)与4.5.2节内容相对应,编著者开发了一个能观性分解函数obsvf2()可用于求取定理4-21的能观性分解，其主要调用格式为A_o,B_o,C_o,To,no=obsvf2(A,B,C)A_o,B_o,C_o,To,no=obsvf2(A,B,C,tol)其中输出no为能观子系统的维数,其他输入输出与Matlab函数obsvf()一致。第28页/共64页能观性分解函数obsvf()(4/5)Matlab问题4-5 试在Matlab中对例4-16的系统进行能观性分解。Matlab程序m4-5如下。A=0 0-1;1 0-3

19、;0 1-3;B=1;1;0;C=0 1-2;Ao,Bo,Co,To=obsvf2(A,B,C)第29页/共64页能观性分解函数obsvf()(5/5)Matlab程序m4-5执行结果如下。Ao=0 1.0000 0 -1.0000 -2.0000 0.0000 10.0000 5.0000 -1.0000Bo=1 -1 5Co=1 0 0To=0 1 -2 1 -2 3 5 0 0 例4-16计算结果(能观部分)结果完全一致第30页/共64页能控能观分解函数ctrb_obsvf()(1/4)3.能控能观分解函数ctrb_obsvf()Matlab没有提供直接进行系统能控能观分解的函数,编著者

20、根据4.5.3介绍的能控能观分解方法,开发了直接进行能控能观分解的函数ctrb_obsvf()。能控能观分解函数ctrb_obsvf()的主要调用格式为Aco,Bco,Cco,Tco,nco=ctrb_obsvf(A,B,C)Aco,Bco,Cco,Tco,nco=ctrb_obsvf(A,B,C,tol)其中输入格式与能控性分解函数ctrbf()和能观性分解函数obsvf()一致；输出的Aco,Bco和Cco为能控能观分解之后的状态空间模型的各矩阵；第31页/共64页能控能观分解函数ctrb_obsvf()(2/4)Tco为变换矩阵,系统进行的状态变换为nco为分解后4个子系统的维数组成的数

21、组。在这里,变换后状态变量的排列与4.5.3节定理4-22一致,为能控但不能观、能控又能观、不能控也不能观以及不能控但能观,nco中各元素即为按照状态变量排列顺序的4个子系统的维数。第32页/共64页能控能观分解函数ctrb_obsvf()(3/4)Matlab问题4-6 试在Matlab中对例4-17的如下系统进行能控能观分解。Matlab程序m4-6如下。A=0 0-1;1 0-3;0 1-3;B=1;1;0;C=0 1-2;Aco,Bco,Cco,Tco=ctrb_obsvf(A,B,C)第33页/共64页能控能观分解函数ctrb_obsvf()(4/4)Matlab程序m4-6执行结果

22、如下。该系统经能控能观分解后,得到3个1维子系统,分别为能控但不能观、能控又能观、不能控但能观。Aco=-1 1 -2 0 -1 1 0 0 -1Bco=0 1 0Cco=0 1 -2 例4-17计算结果变量排列顺序不同,结果完全一致第34页/共64页能控规范形和能观规范形(1/2)4.8.3 能控规范形和能观规范形 4.6节介绍的线性定常系统的能控规范形和能观规范形,使得系统分析、设计与综合问题得以简化,更加有助于理解和问题求解。建立系统的能控规范形和能观规范形是系统分析、设计与综合问题中的重要问题。Matlab中提供的建立系统规范形的函数canon()只能用于建立对角线规范形和SISO系统

23、的能控规范I形,没有提供建立其他规范形的可直接调用的函数。编著者根据建立规范形的方法,开发了相应的建立能控规范形的函数ctr_canon()和建立能观规范形的函数obsv_canon()。第35页/共64页能控规范形和能观规范形(2/2)下面就分别介绍建立能控规范形能观规范形的编著者设计的Matlab函数。第36页/共64页能控规范形(1/4)1.能控规范形能控规范形的函数ctr_canon()可以处理SISO和MIMO系统的能控规范形的建立问题,包括4.5.1和4.5.3节介绍的能控规范I和II形、旺纳姆能控规范II形和龙伯格能控规范II形等4种常用的能控规范形。函数ctr_canon的主要

24、调用格式为：sys_ctr,Tc=ctr_canon(sys,type)其中，sys为需变换的系统的状态空间模型；sys_ctr为变换所得的状态空间模型；Tc为对系统sys所作的变换的变换矩阵；type为所求的能控规范形的类型。第37页/共64页能控规范形(2/4)对应于能控规范I和II形、旺纳姆能控规范II形和龙伯格能控规范II形4种模型,符号串type分别为1st、2nd、Wonham和Luenb。第38页/共64页能控规范形(3/4)Matlab问题4-7 试在Matlab中求解如下SISO系统的能控规范I形和II形。Matlab程序m4-7如下。A=1 0;-1 2;B=-1;1;C=

25、0 1;D=0;sys=ss(A,B,C,D);sys_ctr=ctr_canon(sys,1st)sys_ctr=ctr_canon(sys,2nd)第39页/共64页能控规范形(4/4)Matlab程序m4-7执行结果如下。能控规范I形a=x1 x2 x1 0 -2 x2 1 3 b=u1 x1 1 x2 0 c=x1 x2 y1 1 3 d=u1 y1 0能控规范II形a=x1 x2 x1 0 1 x2 -2 3 b=u1 x1 0 x2 1 c=x1 x2 y1 0 1 d=u1 y1 0 例4-19计算结果结果完全一致第40页/共64页能控规范形(5/4)Matlab问题4-8 试在

26、Matlab中求解例4-21的如下MIMO系统的旺纳姆能控规范II形。Matlab程序m4-8如下。A=-1-4-2;0 6-1;1 7-1;B=2 0;0 0;1 1;C=;D=;sys=ss(A,B,C,D);sys_ctr=ctr_canon(sys,Wonham)第41页/共64页能控规范形(6/4)Matlab程序m4-8执行结果如下。a=x1 x2 x3 x1 0 1 0 x2 0 0 1 x3 15 2 4b=u1 u2 x1 0 -0.0278 x2 0 0.0833 x3 1 0.75 例4-21计算结果结果完全一致第42页/共64页能观规范形(1/4)2.能观规范形能观规范

27、形的函数obsv_canon()可以处理SISO和MIMO系统的能观规范形的建立问题,包括4.5.2节介绍的能观规范I形和能观规范II形2种常用的能观规范形。函数obsv_canon()的主要调用格式为：sys_obsv,To=obsv_canon(sys,type)其中sys为需变换的系统的状态空间模型;sys_obsv为变换所得的状态空间模型;To为对系统sys所作的变换的变换矩阵,type为所求的能观规范形的类型。第43页/共64页能观规范形(2/4)对应于能观规范I形和能观规范II形2种模型,符号串type分别为1st和2nd。第44页/共64页能观规范形(3/4)Matlab问题4-

28、9 试在Matlab中求解如下SISO系统的能观规范I形和II形。Matlab程序m4-9如下。A=1-1;0 2;B=;C=-1-1/2;D=;sys=ss(A,B,C,D);sys_obsv=obsv_canon(sys,1st)sys_obsv=obsv_canon(sys,2nd)第45页/共64页能观规范形(4/4)Matlab程序m4-9执行结果如下。能观规范I形a=x1 x2 x1 0 1 x2 -2 3 b=c=x1 x2 y1 1 0d=能观规范II形a=x1 x2 x1 0 -2 x2 1 3 b=c=x1 x2 y1 0 1d=例4-20计算结果结果完全一致第46页/共6

29、4页系统实现(1/2)4.8.4 系统实现4.6节介绍的系统实现问题，讨论的是由传递函数阵如何求系统的状态空间模型实现以及最小实现问题,所实现的状态空间模型主要包括能控规范I/II形、能观规范I/II形。Matlab中提供的建立状态空间模型的系统实现函数ss()和canon()只能用于建立对角线规范形和SISO系统的能控规范I形,没有提供建立其他规范形的可直接调用的函数。编著者根据系统实现的方法,开发了相应的建立SISO与MIMO系统的能控规范形的函数ctr_canon和建立能观规范形的函数obsv_canon。第47页/共64页系统实现(2/2)下面就分别介绍建立能控规范形能观规范形的编著者

30、设计的Matlab函数。第48页/共64页能控规范形(1/3)1.能控规范形由传递函数阵求能控规范形实现的函数ctr_canon与4.8.3节介绍的能控规范形的函数ctr_canon()为一个函数,但输入的格式不同。通过该函数,用户可以方便地求解SISO和MIMO系统的传递函数矩阵的能控规范I/II形2种实现。应用于系统实现问题时,函数ctr_canon的主要调用格式为sys_ctr=ctr_canon(sys,type)其中sys为系统传递函数阵模型；sys_ctr为所求得的能控规范形实现,type为所求的能控规范形的类型。对应于能控规范I/II形2种模型,符号串type分别为1st和2nd

31、。第49页/共64页能控规范形(2/3)Matlab问题4-10 试在Matlab中求解例4-23的如下系统的能控规范I形实现。Matlab程序m4-10如下。num=2 14 26 17;den=1 6 11 6;sys=tf(num,den);sys_ctr=ctr_canon(sys,1st)第50页/共64页能控规范形(3/3)Matlab程序m4-10执行结果如下。a=x1 x2 x3 x1 0 0 -6 x2 1 0 -11x3 0 1 -6 b=u1 x1 1 x2 0 x3 0 c=x1 x2 x3 y1 2 -8 31d=u1 y1 2 例4-23计算结果结果完全一致第51页

32、/共64页能观规范形(1/3)2.能观规范形由传递函数阵求系统能观规范形实现的函数obsv_canon与4.8.3节介绍的建立能观规范形的函数obsv_canon()为一个函数,但输入的格式不同。通过该函数,用户可以方便地求解SISO和MIMO系统的传递函数矩阵的能观规范I/II形2种实现。应用于系统实现问题时,函数obsv_canon的主要调用格式为sys_obsv=obsv_canon(sys,type)其中，sys为系统传递函数阵模型,sys_obsv为所求得的能观规范形实现,type为所求的能观规范形的类型。第52页/共64页能观规范形(2/3)对应于能观规范I/II形2种模型,符号串

33、type分别为1st和2nd。Matlab问题4-11 试在Matlab中求解Matlab问题4-10的系统的能观规范II形。Matlab程序m4-11如下。num=2 14 26 17;den=1 6 11 6;sys=tf(num,den);sys_obsv=obsv_canon(sys,2nd)第53页/共64页能观规范形(3/3)Matlab程序m4-11执行结果如下。a=x1 x2 x3 x1 0 0 -6 x2 1 0 -11x3 0 1 -6 b=u1 x1 5 x2 4 x3 2 c=x1 x2 x3 y1 0 0 1d=u1 y1 2 4.7.2节计算结果结果完全一致第54页

34、/共64页最小实现(1/1)3.最小实现系统的状态空间最小实现是指传递函数阵实现中维数最小的实现,其最小实现的充分必要条件为状态能控且能观。最小实现代表了系统最简单、最经济的结构,它给系统分析与综合带来低成本、高效率。系统实现主要有求状态空间模型的最小实现和传递函数阵的最小实现。下面分别介绍如何运用Matlab求解这2个问题。第55页/共64页状态空间模型的最小实现(1/5)(1)状态空间模型的最小实现求状态空间模型的最小实现的方法是对其进行能控能观分解,所求得的能控能观子系统即为其最小实现。Matlab提供了可以直接对系统的状态空间模型求最小实现的函数minreal()。函数minreal(

35、)的主要调用格式为min_sys,T=minreal(sys)其中输入sys为给定的状态空间模型；min_sys为求得的最小实现状态空间模型；T为求最小实现进行的模型变换的变换矩阵。第56页/共64页MIMO传递函数阵的最小实现(2/5)函数min_tf2ss()的源程序如下：function min_sys=min_tf2ss(sys_tf)r=size(sys_tf.num,2);m=size(sys_tf.num,1);if r=m sys=ctr_canon(sys_tf,2nd);A,B,C,T,n=obsvf2(sys.a,sys.b,sys.c);else sys=obsv_ca

36、non(sys_tf,2nd);A,B,C,T,n=ctrbf2(sys.a,sys.b,sys.c);endmin_sys=ss(A(1:n,1:n),B(1:n,:),C(:,1:n),sys.d)end%定义函数min_tf2ss()%求系统输入变量个数%求系统输出变量个数%若输入变量数少于输出变量数,则求能控规范II型实现,进行能观分解%否则,则求能观规范II型实现,进行能控分解%分解所得的能控能观子系统即为最小实现 第57页/共64页MIMO传递函数阵的最小实现(3/5)函数min_tf2ss()的调用格式为：min_sys=min_tf2ss(sys_tf)其中输入sys_tf为给

37、定的传递函数模型；min_sys为求得的最小实现状态空间模型。第58页/共64页MIMO传递函数阵的最小实现(4/5)Matlab问题4-12 试在Matlab中例4-24的如下系统的最小实现。Matlab程序m4-12如下。num=1 1;den=1 3 2 1 5 6;sys=tf(num,den);sys_obsv=min_tf2ss(sys)%建立传递函数阵的分子矩阵%建立传递函数阵的分母矩阵%建立传递函数阵%求传递函数阵的最小实现第59页/共64页MIMO传递函数阵的最小实现(5/5)Matlab程序m4-12执行结果如下。a=x1 x2 x3 x1 0 0 -6 x2 1 0 -1

38、1x3 0 1 -6 b=u1 u2 x1 3 1 x2 1 1 x3 0 0c=x1 x2 x3 y1 0 0 1d=u1 y1 0 例4-24计算结果结果完全一致第60页/共64页本章小结(1/3)本章小结本章讨论线性系统的两个重要的结构性质状态能控性与能观性的分析问题。能控性与能观性描述了系统的本质特征，是系统分析中主要考量的性质、控制系统设计综合时主要的依据。本章中,4.1至4.3节定义了线性连续系统与线性离散系统的状态能控性与能观性，并作了直观意义的解释，证明了能控性与能观性的代数判据和模态判据。这为进行系统的结构分析、状态反馈系统与状态观测器的设计打下基础。第61页/共64页本章小

39、结(2/3)4.4节介绍了线性定常系统的对偶性定义与对偶性原理。能控性与能观性的对偶性深刻揭示了系统的结构本质，并为大大简化系统分析与设计综合过程提供了依据。4.5节讨论了系统的能控能观分解，揭示了系统结构和状态空间上的可分解性，使得在系统分析与设计综合时能抓住问题的本质，做到有的放矢。本节还讨论了传递函数零极点相消与状态能控能观性的关系，为传递函数与状态空间模型之间架起了一座桥。4.6节引入了多个能控与能观规范形。规范形的引入，使得我们能够更好地抓住系统的本质特征，更便捷地进行系统分析以及在状态反馈控制、观测器等方面的设计综合。第62页/共64页本章小结(3/3)4.7节讨论系统实现问题，即由传递函数阵建立状态空间模型问题，是状态空间分析的基础。本节的最小实现定义及判据，深刻地揭示了线性系统的最简单、最经济结构。最后,4.8节介绍了状态能控性/能观性判定、系统能控能观分解、能控/能观规范形变换以及能控/能观规范形实现等问题基于Matlab语言的程序编制和计算方法。第63页/共64页谢谢您的观看！第64页/共64页