线性系统理论4能控性和能观性.ppt

第四章 线性系统的 能控性和能观性,4.1 能控性和能观性的定义,4.1.1 问题的提出 能控性问题 已知某系统的当前时刻及其状态，试问是否存在一个容许控制，使得系统在该控制的作用下于有限时间后到达某希望的待定状态？ 能观性问题 已知某系统及其在某时间段上的输入和输出，试问可否依据这一时间段上的输入和输出决定系统这一时间段上的状态？,而由始点达到原点，因而系统为完 全能控；但输出,都可通过选择输入,既无直接联系，也无间接联系，所以系统是不完全能观测的。,如若初始状态,则不论将输入,取为何种形式，对所有,总只能是,即不可能做到使,。这表明此电路不完全能控。,4.1.2 能控性的定义,定义4.1.1 对于线性时变系统,是系统在,定义 4.1.2 对于线性时变系统,上是完 全能控的。,说明 4.1.1 定义中要求在可找到的输入 的作用下，使,上的一段有限时间内转移到状态空间的坐标系原点。而对于状态转移的轨迹并不加以限制和规定。这就是说，能控性是表征系统状态运动的一个定性特性。,说明4.1.2 定义中提到的所谓无约束的容 许控制，无约束表示对输入的每个分量的 幅值不加以限制，即可取为任意大到所要 求的值，容许控制则表示输入的所有分量 均是在,来定义的，这对于 时变系统是完全必要的。如果所考虑的 为线性定常系统，则其能控与否和,说明4.1.4 上述定义中都规定为由非零状 态转移到零状态，如果将其变更为由零状 态达到非零状态，则称这种情况为状态能 达的。对于连续的线性定常系统，能控性 和能达性是等价的。对于离散系统和时变 系统，严格地说两者是不等价地的。可以 出现这样的情况，系统是不完全能控的， 但却是完全能达的。,说明4.1.5 系统为不完全能控的情况是 一种“奇异”的情况，系统中组成元件的 参数值的很小的变动（这在实际情况中 是完全可能的）都可使其成为完全能控。 所以对于一个实际的系统，系统为能控 的概率几乎等于1。换句话说，如果随机 地选取系统地系数矩阵 和 的元，那 么使系统为完全能控的概率几乎等于1。,4.1.3 能观测性定义,能观测性表征系统的状态是否可由系统的输入和输出完全反映。,定义4.1.4 对于线性时变系统,如果对取定初始时刻,的一个非零初,始状态,上的系统输出,可以唯一地决定系统的初始状态,为能观测的。,定义 4.1.5 对于线性时变系统,系统均是在,，如果状态空间,中存在一个或一些非零状态在时刻,是不能观测的。则称系统在时刻,4.2 线性时变系统的能控性判据,4.2.1 Gram矩阵判据,的状态转移矩阵。,4.2.2 基于状态转移矩阵的判据,定理 4.2.2 假设,和,都是,4.2.3 基于系统参数矩阵的判据,定理 4.2.3 假设系统,令,时刻能控。,4.3 线性定常系统的能控性判据,4.3.1 定常系统能控性的特殊性,引理4.3.1 设定常线性系统,在某,4.3.2 能控性矩阵判据,定理 4.3.1 定常线性系统,能控的充分必要条件是:,那么它能控的充分必要条件是:,4.3.3 PBH判据,推论 4.3.3 定常线性系统,能控的充分必要条件是它没有输入解耦零点。,能控的充分必要条件是，对于系统矩阵,的每个左特征向量,的特征值（或者说系统的极点）进行分类。,，并且满足,叫做该系统的一个不能控振型。,4.4 对偶原理与能观测性判据,4.4.1 Gram矩阵判据,定理4.4.1 已知线性系统,它在,时刻完全能观测的充分必要条件是，存在某个有限时刻,，使得矩阵,是正定的。,时刻完全能控。,4.4.2 对偶原理,引理4.4.1 线性系统,4.4.3 能观性判据,能观的充分必要条件是，存在某个有限时刻,上列线性独立，即对任意的非零向量,有,定理4.4.4 已知系统,，假设,和,分别是,并令,如果存在某个时刻,那么系统,定理4.4.6 定常线性系统,推论4.4.3 定常线性系统,完全能观测的充分必要条件是 它没有输出解耦零点。,4.5 系统的能控、能观性指数,4.5.1 线性系统的能控性指数,推论4.5.1 对于单输入系统，也即,时，系统的能控型指数为,。,推论4.5.2 线性定常系统,完全能控的充分必要条件时,的最小多项式的 次数，则能控性指数,引理4.5.2 令,可进而表为,4.5.2 线性系统的能观性指数,若把 表示为,从 开始搜索 个线性无关的行,考虑到 的秩为 ,将这 个线性无关的行 重新排列:,通常称 为系统 的能观测性指数集,显然有: 和,的最小多项式的次数，那么上式还可表示为,的能观测性指数和能观测性指数集，我们有 1若,2如果令,3当对该系统作线性非奇异变换时，,都保持不变。,推论4.5.3 若,4.6 单输入单数出先行系统的能控规范型和能观规范型,其中,其中,这里:,完全能控，则其传递函数为,其特征多项式如式（4.6.3）所示，则在 线性非奇异变换,4.6.2 单输入-单输出系统的 能观测规范型,定理4.6.3 对完全能控的单输入单输出 线性定常系统,下，可导出其第一能观规范型为:,定理4.6.4 对完全能观测的单输入单 输出线性定常系统,则，在线性非奇异变换,下，可导出其第二能观规范型为:,于是，又可定出能观测规范型中的状态 向量为,命题4.6.2 代数等价的单变量完全能观测系统具有相同的第一或第二能观规范型。,命题4.6.3 第一（二）能控规范型和 第一（二）能观规范型是互为对偶的。,4.7 多输入-多输出线性系统的能控规范型和能观规范型,4.7.1 两种搜索方案 给定系统的状态方程和输出方程为 其中, 为 常阵； 和 分别为 和 常阵。,其能控性判别阵 和能观测性判别阵 分别是 为了找出 中的 个线性无关的列（行），通常可使用格栅来进行，并可有两种搜索方案,方案1列搜索 对给定（,），按 图.所示构成格栅图。按列搜索 与前面线性无关列的线性相关性一直到 时，搜索结束。,方案2行搜索 对给定（,），按 图.2所示构成格栅图。按行搜索,如果 ，那么 中的 个列是 线性无关的，在第一行中从 起依次找到 个线性无关的向量，并搜索以下的行，直到找到 个线性无关的向量为止。用 表示第 列 中“ ”格的 长度，那么就可以得到一个指数集合 它即是系统的能控性指数集。,4.7.2 多输入-多输出系统的Wonham能控制规范型,算法4.7.1 Wonham能控制规范型的求取 第一步:判断多输入-多输出线性定常系统 是否为完全能控,如否，则不存在能控规范 型. 第二步:表,按前搜索方案找出能控性矩阵 的 个线性无关的向量为： 其中：,定理4.7.1 对完全能控的多输入多输出 线性定常系统,基于算法4.7.1求取的系统在线性非奇异变换,下的代数等价系统,第三步:取变换阵为,第四步:计算,具有Wonham第一能控规范型的形式,其中：,算法.2 Wonham第二能控制规范型的求取,第一步至第三步:同算法4.7.1,第四步:计算矩阵 ,并将其表为如下形式,第五步:取矩阵 的每个块中的末行 按下述方式构造变换矩阵:,第六步:计算,定理4.7.2 对完全能控的多输入多输出 线性定常系统,基于算法4.7.1求取的系统在线性非奇异变换,具有Wonham第二能控规范型的形式:,下的代数等价系统,其中:,4.7.3 Luenberger能控规范型,算法4.7.3 Luenberger能控规范型的求取 第一步:判断多输入-多输出线性定常系统是否为完全能控,如否，则不存在能控规范型。 第二步:按搜索方案II找出其能控性矩阵,为系统的能控性指数集。,定理4.7.3 对于完全能控的多输入多输出 线性定常系统,，,算法4.7.4 Luenberger第二能控规范型 的求取,第一步至第三步:同算法4.7.3,第六步:计算,定理4.7.4 对于完全能控的多输入多输出 线性定常系统,，,从中按方案选取线性独立列向量得矩阵,容易计算,做矩阵,不难计算,决定得系统就是所要求 得Luenberger第二能控标准型。,4.7.4 线性系统的能观规范型,定理4.7.5 考虑完全能控的多输入多输出 线性定常系统,则其Wonham第一能观测规范型在形式上对 偶于Wonham第二能控规范型，即,其中,定理4.7.6 考虑完全能控的多输入多输出 线性定常系统,则其Wonham第二能观测规范型在形式上对 偶于Wonham第一能控规范型，即,其中,，则其Luenberger第一 能观测规范型在形式上对偶于Luenberger 第二能控规范型，即,定理4.7.7 对于完全能观测的多输入多 输出线性定常系统,设其满足,其中,，则其Luenberger第二 能观测规范型在形式上对偶于Luenberger 第一能控规范型，即,定理4.7.8 对于完全能观测的多输入多 输出线性定常系统,设其满足,其中,4.8 线性系统的结构分解,4.8.1 能控性和能观测性在线性非奇异变换下的属性,为两者的能观测性矩阵。,命题4.8.2 设,的元是对,的绝对连续 函数，且,对一切,均不降秩，,记系统,和,Gram能控矩阵分别为,则有,4.8.2 线性定常系统按能控性的结构分解,算法4.8.1 能控性结构分解的求取,第一步:列写线性定常系统的能控性矩阵 并求出,第二步:在能控性判别矩阵中任意选取 个线性无关的列,记为 。此外，在 维实数空间中任意选取 个列向量，记为 ，使得 为线性无关。 第三步：按下述方式组成变换矩阵 第四步：计算,定理4.8.1 对不完全能控系统,利用算法4.8.1求得系统在线性非奇异变换,下代数等价系统,具有下述结构按能控性分解的规范表达式,维能控分状态向量，即,维不能控分状态向量，,于是可算得,这样就导出了系统按能控性分解的表达式为,4.8.3 线性定常系统按能观测性的结构分解,算法4.8.2 能观性结构分解的求取,第一步：列写系统的能观测性判别矩阵,并计算 第二步：在 中任意选取 个线性无关的行向量 ，此外再任意选取 个行向量 ，使得 线性无关。,第四步：计算,第三步：按下述方式构成变换阵：,定理4.8.2 对不完全能观测系统,基于算法4.8.2求得系统在线性非奇异变换,下代数等价系统,具有结构按能控性分解的规范表达式,其中，,维能控分状态向量，即,4.8.4 线性定常系统结构的分解,定理4.8.3 （规范分解定理） 对不完全能 控和不完全能观测的系统,通过线性非奇异变换可实现系统结构的 规范分解，起规范分解的表达式为,其中:,其输入输出描述即传递函数矩阵只能反 映系统中能控且能观的那一部分，即成立,推论4.8.1 对不完全能控和不完全能观测 的系统,4.9 线性系统的实现问题,