x(x)=自4x0+12c求)一Ba()dr e-ABBe-4dtW=[0,t, c14xzWE0,HW41E和,”买、圈 YxpG. ge 310 这表明,对任一x≠0,存在有限时刻h>0和控制()使状态由x转移到h1时刻 x(4)=0.于是,按定义可知系统为完全能控。充分性得证 必要性:已知系统为完全能控欲证W0,n非奇鼎。:,嘛 采用反证法反设为奇异也即设衣在非罨耐∈使成立 9一0 (311) 由此,进而有 0君W,]如BB2-4d [BTc-Ao]LB2 -o d ll dt 其中为范数故其必为正值。这样欲上式成立,应当有 Bre-4-03W∈[0yl 13)
另一方面因系统为完全能控所以对此非零又应成立 0-x(n)一c角+{c4h“Ba(t)d (314) 从而,由此又可导出 蜀m-[e4B()d .(3.1 ‖xo2=对知 u(eAro dr(x)Bre线n (316) 再利用(313)则由(316)可得到 ‖xl2〓0即动=0 (317 这表明,刘≠0的假设是和已知系统完全能控相矛盾。因此反设不成立,即W[6,h] 为非奇异。必要性得证。至此,证明完成
结论2[秩判据]线性定常系统(3)为完全能挫的充分必要条件是 rnk[B!"ABi!!B一n (318) 其中,n为矩阵A的维数,Q△[BiAB…+B1称为系统的能控性判别阵。 证充分性:已知rankΩn,欲证系统为完全能控。 采用反证法。反设系统为不完全能控则据*拉姆矩阵判据知,如下的格拉姆矩阵 W[0,] bbTe4d'dt. Vh>>0 (319 为奇异,而这又意味着存在某个非零n维常向量a使成立 0一aw[0,]a eeBBTe-4fads 0 [arc-“B][ae4B] 320 显然,由此可以导出 B=0,v∈[0,n1] (321) 现将上式求导直至(n-1)次再在所得结果中令=0,那么又可得到 B〓0,qAB=0,a42B=0 AnIB-0 (322) 进而,表上式为 [B!AB!B|…!ABl·aQ=0 (323) 由于a≠0,所以上式意味着9为行线性相关,也即有 rank o<n但这显然和已知 rank g一n相矛盾。所以,反设不成立,系绕为完全態控。充分性得证
必要性:已知系绕完全能控欲证rank她!小,E 采用反证法。反设ank≤,这前味善Q,为行线性相,因此必存在一个非零n 维常向量使成立|n}-}: aQ→aIB}AB}∴A-B]=0 (3.24) 考虑到问题的一般性,由上式成立又可导出 HB=0,i=0,1 (325) 再据凯莱哈密顿定理知,A",A+…均可表为l,A,·小的线性组合,由此 可将上式进一步写成为 aB-,i-01,3y… 326 从而,可得到对任意4>:有 土 B0,va∈[0,h],让-0,1,2÷ (327) 或 1 B B,V∈[0,h] 328) 利用(328),即有 o=ar/dia-arWto,m,Ja (329) 表明格拉姆矩阵W[0,n]为奇异即系统为不完全能控。这是和已知条件相矛盾的,所 以反设不能成立。于是,有rank9·m,必要性得证。至此,证明完成
结论3[PBH秩判据]线性定常系统(37)为完全能控的充分必要条件是,对矩阵 A的所有特征值λi:1,2xn),均成立 k [ii I-d, B] (330 或等价地表为 rank[-A,B一nV∈的 (331) 也即(1-A)和B是左互质的。 证必要性:系统完全能控欲证(330)成立。 采用反证法。反设对某个1;有rank[λ1-A,B]<n,则意味着[x2l-A,B] 为行线性相关。,由此,必存在一个非零常向量a,使成立 a[aiI-A, Bl=0 (332) 考虑到问题的一般性,由上式可导出 a2A=λar,aB=0 (333) 利用(333),进而有 0, a4B m2; aB=0 AnB a0 (334) 于是,进一步得到 [B!AB}…}Ⅺ-B]-aQ-0 (335) 但已知≠Q,所以上式成立必有、 ank. @,<n 336)