演示文稿线性系统的可控性与可观测性

（优选）线性系统的可控性与可观测性现在是1页\一共有65页\编辑于星期三23.1可控性和可观测性的定义

3.2线性定常连续系统的可控性判据（※）3.3线性定常连续系统的可观测性判据（※）3.4对偶原理第三章线性系统的可控性与可观测性现在是2页\一共有65页\编辑于星期三33.1可控性和可观测性的定义一．可控性与可观测性的物理概念

系统的可控性和可观性，就是指系统内的所有状态是否可以由输入影响和是否可由输出反映。如果系统内部的所有状态的运动都可由输入来影响和控制而由任意的初始状态达到原点，则称系统是可控的，或者更确切的说是状态可控的，否则就称系统为不完全可控的，或简称为系统不可控。如果系统内部所有状态变量的任意形式的运动均可由输出完全反映，则称系统是状态可观测的，否则就称系统为不完全可观测的，或简称为系统不可观测。现在是3页\一共有65页\编辑于星期三4例3-1：给定系统的状态空间描述为结构图表明：通过控制量u可以控制状态x1和x2，所以系统完全能控；但输出y只能反映状态变量x2，不能反映状态变量x1，所以系统不完全能观测。图3-1系统结构图现在是4页\一共有65页\编辑于星期三5二．可控性定义1．状态可控考虑n维线性时变系统的状态方程如果对取定初始时刻

的一个非零初始状态x(t0)=x0，存在一个时刻和一个无约束的容许控制u(t)，，使状态由x(t0)=x0转移到t1时的x(t1)=0

，则称此x0是在时刻t0可控的.现在是5页\一共有65页\编辑于星期三62．系统可控如果状态空间中的所有非零状态都是在t0（）时刻可控的，则称系统在时刻t0是完全可控的，简称系统在时刻t0可控。若系统在所有时刻都是可控的，则称系统是一致可控的。考虑n维线性时变系统的状态方程现在是6页\一共有65页\编辑于星期三73．系统不完全可控

对于线性时变系统取定初始时刻，如果状态空间中存在一个或一些非零状态在时刻t0是不可控的，则称系统在时刻t0是不完全可控的，也称为系统是不可控的。现在是7页\一共有65页\编辑于星期三84．状态可达与系统可达

对于线性时变系统若存在能将状态x(t0)=0转移到x(tf)=xf的控制作用，则称状态xf是t0时刻可达的。若xf对所有时刻都是可达的，则称状态xf为完全可达到或一致可达。若系统对于状态空间中的每一个状态都是时刻t0可达的，则称该系统是t0时刻完全可达的，或简称系统是t0时刻可达的。现在是8页\一共有65页\编辑于星期三9三．可观测性定义1．系统完全可观测

对于线性时变系统如果取定初始时刻，存在一个有限时刻,对于所有，系统的输出y(t)能唯一确定状态向量的初值x(t0)，则称系统在[t0,t1]内是完全可观测的，简称可观测。如果对于一切t1>t0系统都是可观测的，则称系统在[t0,∞)内是完全可观测的。现在是9页\一共有65页\编辑于星期三102．系统不可观测

对于线性时变系统如果取定初始时刻，存在一个有限时刻,对于所有，系统的输出y(t)不能唯一确定所有状态的初值xi(t0)，i=0,1,…,n，即至少有一个状态的初值不能被y(t)确定，则称系统在[t0,t1]内是不完全可观测的，简称不可观测。

现在是10页\一共有65页\编辑于星期三113.2线性定常连续系统的可控性判据(※)一、线性定常连续系统的可控性判据（※）1．格拉姆矩阵判据线性定常系统

完全可控的充分必要条件是：存在一个有限时刻t1>0，使如下定义的格拉姆矩阵：为非奇异。注意：在应用该判据时需计算eAt，这在A的维数较高时并非易事，所以此判据主要用于理论分析中。现在是11页\一共有65页\编辑于星期三12证：充分性：已知W(0,t1)为非奇异，欲证系统为完全可控，采用构造法来证明。对任一非零初始状态x0可构造控制u(t)为：

则u(t)作用下系统状态x(t)在t1时刻的结果:这表明：对任一取定的初始状态x0≠0

，都存在有限时刻t1>0和控制u(t)，使状态由x0转移到t1时刻的状态x(t1)=0

，根据定义可知系统为完全可控。现在是12页\一共有65页\编辑于星期三13必要性：已知系统完全可控，欲证W(0,t1)非奇异。反设W(0,t1)为奇异，即存在某个非零向量，使其中||·||为范数，故其必为非负。欲使上式成立，必有现在是13页\一共有65页\编辑于星期三14因系统完全可控，根据定义对此非零向量应有0此结果与假设相矛盾，即W(0,t1)为奇异的反设不成立。因此，若系统完全可控，W(0,t1)必为非奇异。

现在是14页\一共有65页\编辑于星期三152．秩判据（※）1）凯莱-哈密尔顿定理：设n阶矩阵A的特征多项式为则矩阵A满足其特征方程，即2）推论1：矩阵A的k(k≥n)次幂可表示为A的(n-1)阶多项式注：此推论可用以简化矩阵幂的计算。现在是15页\一共有65页\编辑于星期三163）推论2：矩阵指数函数可表示为A的(n-1)阶多项式例3-4：已知，计算A100=?解：A的特征多项式为：由凯莱-哈密顿定理，得到现在是16页\一共有65页\编辑于星期三17故根据数学归纳法有所以：

现在是17页\一共有65页\编辑于星期三184）秩判据（※）线性定常系统

完全可控的充分必要条件是

其中:n为矩阵A的维数，称为系统的可控性判别阵。注：秩判据是一种比较方便的判别方法。现在是18页\一共有65页\编辑于星期三19证明：充分性：已知rankS=n，欲证系统完全可控，采用反证法。反设系统为不完全可控，则有：

为奇异，这意味着存在某个非零n维常向量α使将上式求导直到(n-1)次，再在所得结果中令t=0，则可得到:现在是19页\一共有65页\编辑于星期三20由于α≠0，所以上式意味着S为行线性相关的，即rankS<n。这显然与已知rankS=n相矛盾。因而反设不成立，系统应为完全可控，充分性得证。必要性：已知系统完全可控，欲证rankS=n，采用反证法。反设rankS<n，这意味着S为行线性相关，因此必存在一个非零n维常向量α

使成立。现在是20页\一共有65页\编辑于星期三21（由凯莱—哈密尔顿定理）现在是21页\一共有65页\编辑于星期三22因为已知α≠0

，若上式成立，则格拉姆矩阵W(0,t1)为奇异，即系统为不完全可控，和已知条件相矛盾，所以反设不成立。于是有rankS=n，必要性得证。现在是22页\一共有65页\编辑于星期三23例3-6：已知判断其能控性。解：系统阶次，确定出可控判别阵，所以系统为完全可控。

现在是23页\一共有65页\编辑于星期三24例3-7：判断下列系统的可控性解：矩阵S的第二行与第三行线性相关，故rankS=2＜3，系统不可控。现在是24页\一共有65页\编辑于星期三25补充：可控性判别矩阵（※）：线性定常连续系统的状态方程其中：x为n维状态向量；u为p维输入向量；A和B分别为(n×n)和(n×p)常阵。该线性定常连续系统完全可控的充要条件是：其中：注：该方法是秩判据的改进，特别适用于多输入系统，可减少不必要的计算。现在是25页\一共有65页\编辑于星期三26例3-8：用可控性判别矩阵判别例3-7所示系统的可控性。

解：n=3,

系统输入向量是2维的列向量，即p=2。显见矩阵S3-2的第二行与第三行线性相关，故，系统不可控。现在是26页\一共有65页\编辑于星期三273．PBH秩判据（※）线性定常系统

完全可控的充分必要条件是：对矩阵A的所有特征值，

均成立，或等价地表示为注：当系统矩阵A的维数较高时，应用秩判据可能不太方便，此时可考虑用PBH判据试一下。现在是27页\一共有65页\编辑于星期三28证明：，为多项式矩阵，且对复数域上除λi以外的所有s都有det(sI-A)≠0，即rank[sI-A]=n，进而有rank[sI-AB]=n，所以只要证明即可。必要性：系统完全可控，欲证上式成立，采用反证法。反设对某个λi

有rank[λiI–AB]<n，则意味着

[λiI–AB]为行线性相关。由此，必存在一个非零常向量α，使成立。考虑到问题的一般性，由上式可得到：现在是28页\一共有65页\编辑于星期三29进而可得:于是有因已知α≠0，所以欲使上式成立，必有这意味着系统不完全可控，显然与已知条件相矛盾。因此，反设不成立，即rank[λiI–AB]=n成立。充分性：已知式rank[λiI–AB]=n成立，欲证系统完全可控。采用反证法：利用和上述相反的思路，即可证得充分性。现在是29页\一共有65页\编辑于星期三30例3-9：已知线性定常系统状态方程为判断系统的可控性。解：根据状态方程可写出现在是30页\一共有65页\编辑于星期三31特征方程：

解得A的特征值为：

1）当时，有现在是31页\一共有65页\编辑于星期三322）当时，有3）当时，有所以系统是完全可控的。现在是32页\一共有65页\编辑于星期三334．PBH特征向量判据线性定常系统

完全可控的充分必要条件是：A不能有与B的所有列相正交的非零左特征向量。即对A的任一特征值λi，使同时满足的特征向量。注：一般的说，PHB特征向量判据主要用于理论分析中，特别是线性系统的复频域分析中。现在是33页\一共有65页\编辑于星期三34证明：必要性：已知系统完全可控，反设存在一个向量α≠0，使式成立，则有由于α≠0

，所以上式意味着S为行线性相关的，即rankS<n，即系统为不完全可控。与已知条件相矛盾，因而反设不成立，必要性得证。充分性：对充分性的证明也用反证法，可按与以上相反的思路来进行，具体推证过程略去。现在是34页\一共有65页\编辑于星期三355．约当规范型判据1）对角规范型系统(无重特征值)可控性判别（※）

当矩阵A的特征值为两两相异时，线性定常连续系统完全可控的充分必要条件是：其对角线规范型中，不包含元素全为零的行。现在是35页\一共有65页\编辑于星期三36例3-12：已知线性定常系统的对角线规范型为判断系统的可控性。解：由于此规范型中不包含元素全为零的行，故系统完全可控。现在是36页\一共有65页\编辑于星期三372）约当规范型系统（有重特征值）可控性判别

当系统矩阵A有重特征值时，线性定常连续系统完全可控的充分必要条件是：由其导出的约当规范型中，中与同一特征值的各约当块对应的各子块的最后一行组成的矩阵是行线性无关的。现在是37页\一共有65页\编辑于星期三38例3-13：已知约当规范型系统如下：试判断其可控性。解：，，均行线性无关，所以：系统完全可控。现在是38页\一共有65页\编辑于星期三39例3-14：证明如下系统总是完全可控的。证明：，故完全可控。

该题说明：可控标准型系统完全可控。现在是39页\一共有65页\编辑于星期三40二、输出可控性1．输出可控性定义

若在有限时间间隔[t0,t1]内，存在无约束分段连续控制函数u(t)，，能使任意初始输出y(t0)转移到任意最终输出y(t1)

，则称此系统是输出完全可控，简称输出可控。

现在是40页\一共有65页\编辑于星期三412．输出可控性判据设线性定常连续系统的状态空间描述为：则输出可控的充要条件是：输出可控性矩阵的秩等于输出变量的维数q，即注意：状态可控性与输出可控性是两个不同的概念，二者没有什么必然联系。现在是41页\一共有65页\编辑于星期三42判断系统的状态可控性和输出可控性。例3-15：已知系统的状态空间描述为解：1）系统的状态可控性矩阵为，状态不完全可控

2）系统的输出可控性矩阵为,系统输出可控。现在是42页\一共有65页\编辑于星期三43三线性时变系统的能控性判据1格拉姆矩阵判据线性时变系统在时刻为完全能控的充要条件是，存在一个有限时刻，使如下定义的格拉姆矩阵非奇异。现在是43页\一共有65页\编辑于星期三442秩判据线性时变系统在时刻为完全能控的充分条件是，存在一个有限时刻，使下式成立现在是44页\一共有65页\编辑于星期三453.3线性定常连续系统的可观测性判据(※)一．线性定常连续系统的可观测性判据1.格拉姆矩阵判据

线性定常系统完全可观测的充分必要条件是，存在有限时刻t1＞0，使如下定义的格拉姆矩阵为非奇异。注意：在应用该判据时需计算eAt，这在A的维数较高时并非易事，所以此判据主要用于理论分析中。现在是45页\一共有65页\编辑于星期三462.秩判据（※）

线性定常系统完全可观测的充分必要条件是:或其中：n是系统的维数，称为系统的可观测性判别阵，简称可观测性阵。现在是46页\一共有65页\编辑于星期三47例3-16：判断下列系统的可观性：(1)

解：(1)

系统不完全可观测(2)

(2)系统完全可观测现在是47页\一共有65页\编辑于星期三48例3-17：证明如下系统总是完全可观测的。证明：系统是完全可观测的。

该题说明：可观测标准型系统是完全可观测的。现在是48页\一共有65页\编辑于星期三49补充：可观测性判别矩阵（※）线性定常连续系统的状态方程其中：x为n维状态向量；y为q维输出向量；A和C分别为(n×n)和(q×n)常阵。该线性定常连续系统完全可观测的充要条件是：其中：适用于多输出系统现在是49页\一共有65页\编辑于星期三50例3-18：判断例3-16所示系统2）的可观性。解：系统输出向量是2维的列向量，即q=2。故，系统完全可观测。现在是50页\一共有65页\编辑于星期三513.PBH秩判据（※）

线性定常系统完全可观测的充分必要条件是：对矩阵A的所有特征值，均有成立。或等价地表示为现在是51页\一共有65页\编辑于星期三524.PBH特征向量判据

线性定常系统完全可观测的充分必要条件是：A没有与C的所有行相正交的非零右特征向量。即对A的任一特征值，使同时满足的特征向量。注：PHB特征向量判据主要用于理论分析中。现在是52页\一共有65页\编辑于星期三535.约当规范型判据1）对角规范型系统(无重特征值)可观测性判别（※）

当矩阵A的特征值为两两相异时，线性定常连续系统完全可观测的充分必要条件是：其对角线规范型中，不包含元素全为零的列。现在是53页\一共有65页\编辑于星期三54例3-19：已知线性定常系统的对角线规范型为判断系统的可观测性。解：由于此规范型中不包含元素全为零的列，故系统完全可观测。现在是54页\一共有65页\编辑于星期三552）约当规范型系统(有重特征值)可观测性判别

当系统矩阵A有重特征值时，线性定常连续系统完全可观测的充分必要条件是：由其导出的约当规范型中，中与同一特征值的各约当块对应的各子块的第一列组成的矩阵是列线性无关的。现在是55页\一共有65页\编辑于星期三56例3-20：约当标准型系统如下：试判断其可观测性。解：

所以：系统完全可观测。是列线性无关的；是列线性无关的；现在是56页\