现代控制理论第3章控制系统的状态空间分析3.1线性系统能控性和能观测性的概述3.2线性连续系统的能控性3.3线性连续系统的能观测性3.4线性离散系统的能控性和能观测性3.5对偶性原理3.6系统的能控性和能观测性与传递函数阵的关系3.7系统的能控标准形和能观测标准形3.8实现问题33.1线性系统能控性和能观测性的概述系统的能控性和能观测性是现代控制理论中两个很重要的基础性概念,是由卡尔曼(Kalman)在六十年代初提出的。现代控制理论是建立在用状态空间描述的基础上,状态方程描述了输入u(t)引起状态x(t)的变化过程;输出方程则描述了由状态x(t)变化引起的输出y(t)的变化。能控性,指的是控制作用对被控系统状态进行控制的可能性;能观测性,则反映由系统输出的量测值确定系统状态的可能性。对状态的控制能力和测辨能力两个方面,揭示了控制系统构成中的两个基本问题。43.2线性连续系统的能控性3.2.1状态能控性定义:若系统(A(t),B(t))对初始时刻t0,存在另一时刻tf(tft0),对t0时刻的初始状态x(t0)=x0,可以找到一个允许控制u(t),能在有限时间tf−t0内把系统从初态x(t0)转移至任意指定的终态x(tf),那么就称系统在t0时刻的状态x(t0)是能控的。若系统在状态空间中的每一个状态都能控,那么就称系统在(t0,tf)时间间隔内是状态完全能控的,简称状态能控的或能控系统。若系统存在某一个状态x(t0)不满足上述条件,则此系统称为不能控系统。5说明:(1)根据定义,如果系统在(t0,t1)时间间隔内完全能控,那么对于t2t1,该系统在(t0,t2)时间间隔内也一定完全能控。(2)如果在系统的状态方程右边迭加一项不依赖于控制u(t)的扰动f(t),那么,只要f(t)是绝对可积函数,就不会影响系统的能控性。63.2.2线性定常系统的状态能控性定理3-1线性定常连续系统(A,B)其状态完全能控的充要条件是其能控性矩阵Qc=[BABA2B…An1B]的秩为n,即rankQc=n证明已知状态方程的解为ffftttttfdetet00)()()()(0)(BuxxAA在以下讨论中,不失一般性,可设初始时刻为零,即t0=0以及终端状态为状态空间的原点,即x(tf)=0。则有7ftde0)()0(BuxA10)(nkkkA因tf是固定的,所以每一个积分都代表一个确定的量,令ftknkkd010)()()0(uBAxftkkd0)()(u利用凯莱-哈密尔顿(Cayley-Hamilton)定理eA=0()I+1()A+…+n1()An181101210)0(nnknkkBABAABBBAx若系统是能控的,那么对于任意给定的初始状态x(0)都应从上述方程中解出0,1,…,n1来。这就要求系统能控性矩阵的秩为n,即rank[BABA2B…An1B]=n9例3-1设系统的状态方程为判断其状态能控性。解:系统的能控性矩阵为Qc=[BABA2B]=)(111112)(310020231)(tttuxxrankQc=2n所以系统状态不完全能控。21111132222254444410首先证明系统经线性非奇异变换后状态能控性不变。由前章可知,系统(A,B)和(,)之间做线性非奇异变换时有:A~B~定理3-2:设线性定常连续系统(A,B)具有两两相异的特征值,则其状态完全能控的充要条件,是系统经线性变换后的对角线矩阵中,不包含元素全为零的行。)(~)(~)(~21tttnuBxxB~11P是非奇异阵∴BPBAPPAxPx11~~~cnncQPBABAABBPBAPPAPPPBAPPPBPBABABABQ112111111112~~~~~~~~ccrankrankQQ~其次证明不包含元素为零的行是系统(A,B)状态完全能控的充要条件。12将对角标准形的每一行写成如下展开形式)~~~(~~2211ririiiiiubububxx显见,上述方程组中,没有变量间的耦合。因此,(i=1,2,…,n)能控的充要条件是下列元素不同时为零。ix~iriibbb~,,~,~21例3-3考察下列系统的状态能控性。)(752)(157)(tuttxx(1)13)(902)(157)(tuttxx(2))(570410)(157)(tttuxx(3)14定理3-3若线性连续系统(A,B)有相重的特征值时,即A为约当形时,则系统能控的充要条件是:(1)输入矩阵B中对应于互异的特征值的各行,没有一行的元素全为零;(2)输入矩阵B中与每个约当块最后一行相对应的各行,没有一行的元素全为零。上述结论的证明与具有两两相异特征值的证明类同,故省略。15例3-4考察下列各系统的状态能控性。(1))(340)(200040014)(tuttxx(2))(030024)(200040014)(tttuxx最后指出一点,当系统矩阵A为对角标准形,但在含有相同的对角元素情况下,定理3-2不成立;或系统矩阵A为约当标准形,但有两个或两个以上的约当块的特征值相同时,定理3-3不成立。16定理3-3(B)若线性连续系统(A,B)有相重的特征值时,即A为约当形时,则系统能控的充要条件是:(1)输入矩阵B中对应于互异的特征值的各行,没有一行的元素全为零;(2)输入矩阵B中与每个约当块最后一行相对应的各行,没有一行的元素全为零。上述结论的证明与具有两两相异特征值的证明类同,故省略。则中对应于相同特征值各约当块的最后一行行线性无关。B~例考察下列系统的状态能控性。17)(140011000700040001000)(~331322212)(~tuttxx3700040001rank2140011rank注意:行线性无关183.2.3线性定常系统的输出能控性在分析和设计控制系统的许多情况下,系统的被控制量往往不是系统的状态,而是系统的输出,因此有必要研究系统的输出是否能控的问题。定义对于系统(A,B,C,D),如果存在一个无约束的控制矢量u(t),在有限时间间隔[t0,tf]内,能将任一给定的初始输出y(t0)转移到任一指定的最终输出y(tf),那么就称(A,B,C,D)是输出完全能控的,或简称输出是能控的。定理3-4线性定常系统(A,B,C,D),其输出完全能控的充要条件是输出能控性矩阵满秩,即rankQ=rank[CBCAB…CAn-1BD]=m19例3-6设某一系统,其方块图如下图所示,试分析系统输出能控性和状态能控性。∫∫++u(t)x1(t)x2(t)y(t)x1(t)x2(t)解:描述系统的状态空间表达式为)(11)()(11)(0000)(ttytuttxxx20rankQc=rank[BAB]=1100∴状态是不完全能控的。rankc=rank[CBCABD]=[200]∴输出是完全能控的。系统的状态能控性与输出能控性是不等价的,也就是两者之间没有必然的联系。213.3线性系统的能观测性3.3.1状态能观测性定义对任意给定的输入信号u(t),在有限时间tft0,能够根据输出量y(t)在[t0,tf]内的测量值,唯一地确定系统在时刻t0的初始状态x(t0),则称此系统的状态是完全能观测的,或简称系统能观测的。值得注意的是,在讨论系统的能观测性时,只需考虑系统的自由运动即可。3.3.2线性定常连续系统的能观测性定理3-5线性定常系统(A,C)状态完全能观测的充要条件是能观测性矩阵22Qo=CCACA2…CAn1满秩,即rankQo=n证明不失一般性,假设t0=0,则齐次状态方程的解为x(t)=eAtx(0)y(t)=CeAtx(0)10)(nkkktteAA23)0()()(10xACynkkktt)0()()()(1110xCACACIIImmmnnttt因为一般mn,此时,方程无唯一解。要使方程有唯一解,可以在不同时刻进行观测,得到y(t1),y(t2),…,y(tf),此时把方程个数扩展到n个,即24)0()()()()()()()()()()(()(111021212011111021xCACACIIIIIIIIImmmmmmmmmnfnffnnfttttttttttytyty)上式表明,根据在(0,tf)时间间隔的量测值y(t1),y(t2),…,y(tf),能将初始状态x(0)唯一地确定下来的充要条件是能观测性矩阵Qo满秩。252121Qo==CCA1010例3-7考察系统的能观测性。)(0101)()(11)(3112)(tttttxyuxxrankQo=2=n所以系统是能观测的。26定理3-6设线性定常连续系统(A,C)具有互不相同的特征值,则其状态完全能观测的充要条件,是系统经线性非奇异变换后的对角标准形)(ˆˆ)()(ˆ)(ˆ21ttttnxCyxx中,Ĉ不包含全为零的列。27定理3-7设线性定常连续系统(A,C)具有重特征值,则其状态完全能观测的充要条件,是系统经线性非奇异变换后的约当标准形)(ˆˆ)()(ˆ)(ˆ21ttttkxCyxJJJx中,和每个约当块Ji(i=1,2,…,k)首行相对应的Ĉ的所有那些列,其元素不全为零。28例3-8分析下列系统的状态能观测性)(540)()(157)(ttyttxxx(1)(2))(130023)()(157)(ttttxyxx29)(0011001111)()(2012300130013)(ttttxyxx)(0011001111)()(2012300130013)(ttttxyxx(3))(11100110)()(30332012)(ttttxyxx(4)30定理3-7(B)设线性定常连续系统(A,C)具有重特征值,则其状态完全能观测的充要条件,是系统经线性非奇异变换后的约当标准形)(ˆˆ)()(ˆ)(ˆ21ttttkxCyxJJJx中,和每个约当块Ji(i=1,2,…,k)首行相对应的Ĉ的所有那些列,其元素不全为零。Ĉ中对应于相同特征值各约当块的第一列列线性无关例考察下列系统的状态能控性。)(ˆ003500010103000020004)()(ˆ331322212)(ˆtxtytxtx注意:列线性无关323.4线性离散系统的能控性和能观测性3.4.1线性离散系统的能