47实现问题.pptx

Ch.4Ch.4 线性系统的能控性和线性系统的能控性和能观性能观性目录目录(1/1)(1/1)目目 录录概述概述4.1 线性连续系统的能控性线性连续系统的能控性4.2 线性连续系统的能观性线性连续系统的能观性4.3 线性定常离散系统的能控性和能观性线性定常离散系统的能控性和能观性4.4 对偶性原理对偶性原理4.5 线性系统的结构性分解和零极点相消线性系统的结构性分解和零极点相消4.6 能控规范形和能观规范形能控规范形和能观规范形4.7 实现问题实现问题4.8 Matlab问题问题本章小结本章小结实现问题(1/2)(1/2)4.7 实现问题实现问题q由于状态空间分析方法是现代控制理论的基础,因此,如何建立状态空间模型这一现代控制理论中的主要数学模型是进行系统分析和综合时首先要解决的问题。在第2章中已讨论了如何将传统的控制领域所应用的数学模型,如高阶微分方程和传递函数等,变换成状态空间模型。由系统的传递函数建立状态空间模型这类问题称为系统系统实现问题实现问题,而求得的状态空间模型称为相应的传递函数的一个实现。实现问题(2/2)(2/2)q下面,我们将首先介绍实现问题的定义和基本特性定义和基本特性,然后再介绍两种系统实现方法-能控能控/能观规范形实现能观规范形实现,最后讨论最小实现问题最小实现问题,给出最小实现的定义和最小实现的判据。由于高阶线性定常微分方程与传递函数具有一定的等价性,所以系统实现方法也同样可应用于由高阶线性定常微分方程建立状态空间模型。q本节讨论的主要问题:1.基本定义:实现、最小实现2.基本方法:SISO系统能控/能观规范形的实现、MIMO系统的最小实现定义和基本特性(1/3)(1/3)实现的定义实现的定义4.7.1 定义和基本特性q下面先讨论系统实现的定义。q定义4-8 对给定的真有理实矩阵函数G(s),如果能找到相应的线性定常连续系统的如下状态空间模型:并满足G(s)=C(sI-A)-1B+D则称该状态空间模型为G(s)的一个实现。定义和基本特性(2/3)(2/3)q上述系统实现定义中,要求传递函数阵G(s)为真有理实矩阵函数是指,G(s)的每一个元素的分子分母都为实系数多项式且分子的阶次小于或等于分母的阶次。q下面讨论系统实现的基本特性:1.对任意给定的有理实矩阵函数G(s),只要满足物理上可实现的条件,即G(s)为真有理实矩阵函数(每个元素的分子多项式的阶次小于或等于分母多项式的阶次),则一定可以找到其实现,这就是实现的存在性问题。定义和基本特性(3/3)(3/3)2.实现的实质是寻找一个其传递函数为所给定传递函数阵G(s)的状态空间模型。从系统传递函数阵出发,由于状态变量选择的非唯一性,一般可以构造出无数个状态空间实现。因此,实现具有非唯一性。3.在G(s)的实现(A,B,C,D)中,直联矩阵D为D=Lims G(s)因此,当G G(s s)为严格真有理实矩阵函数为严格真有理实矩阵函数,即其每个元素的分子多项式的阶次比分母多项式的低时,则则D D=0=0,而相应的实现为(A,B,C)。能控规范形实现和能观规范形实现(1/1)(1/1)4.7.2 能控规范形实现和能观规范形实现q能控规范形实现和能观规范形实现是指由传递函数阵G(s)建立的状态空间实现分别为能控规范形和能观规范形。以下先讨论SISO系统的能控规范形系统的能控规范形和能观规范形实现能观规范形实现,然后再讨论MIMO系统相应的实现问题系统相应的实现问题。SISO系统的能控规范形实现(1/6)其中ai和bi(i=1,2,n)为实系数,则其能控规范I形实现的各矩阵分别为1.SISO系统的能控规范形实现q若系统的传递函数G(s)为SISO系统的能控规范形实现(2/6)能控规范II形实现的各矩阵分别为q上述结论的证明为:由i的计算式(2-17),能控规范I形的传递函数为 SISO系统的能控规范形实现(3/6)3/6)这证明了上述能控规范I形是G(s)的一个实现,即能控规范形实现。SISO系统的能控规范形实现(4/6)4/6)同样可以证明，上述能控规范II形是传递函数G(s)的一个实现。q例4-23 求如下SISO系统的能控规范I/II形实现:SISO系统的能控规范形实现(5(5/6)/6)q解 对非严格真的传递函数 进行长除法运算有上式的常数部分的实现为直联矩阵D,严格真传递函数部分的实现为(A,B,C)。因此,由式(2-17)有SISO系统的能控规范形实现(6/6)6/6)则其能控规范I形实现为其能控规范II形实现为SISO系统的能观规范形实现(1/4)2.SISO系统的能观规范形实现q若系统的传递函数G(s)为严格真有理实矩阵函数,则其能观规范I形实现的各矩阵分别为式中i如式(2-17)所示。SISO系统的能观规范形实现(2/4)能观规范II形实现的各矩阵分别为 q上述结论的证明:能观规范II形的传递函数为2.SISO系统的能观规范形实现(3/4)3/4)这证明了上述能观规范II形是G(s)的一个实现同样可以证明上述能观规范I形也是G(s)的一个实现。SISO系统的能观规范形实现(4/4)4/4)q例例4-23中的G(s)的能观规范I形实现为能观规范II形实现为MIMOMIMO系统的能控规范形和能观规范形实现(1/4)(1/4)3.MIMO系统的能控规范形和能观规范形实现q对于MIMO系统的传递函数阵,亦有类似于SISO系统传递函数的能控规范形实现和能观规范形实现。q设给定的MIMO系统的传递函数阵为如下mr维的严格真的有理实矩阵函数其中B(s)为mr维的s的实多项式矩阵;A(s)为n阶标量多项式。MIMOMIMO系统的能控规范形和能观规范形实现(2/4)(2/4)q上述传递函数阵的能控规范II形实现的各矩阵分别为其中矩阵A,B,C和D的维数分别为(nr)(nr),(nr)r,m(nr)和mr。MIMOMIMO系统的能控规范形和能观规范形实现(3/4)(3/4)而能观规范II形实现的各矩阵分别为其中矩阵A,B,C和D的维数分别为(nm)(nm),(nm)r,m(nm)和mr。q上述MIMO系统的能控规范II形和能观规范II形的实现可仿照SISO系统的相应的结论的证明给出。这里不再赘述。MIMOMIMO系统的能控规范形和能观规范形实现(4/4)(4/4)q由上述结论可知,对同一传递函数阵的实现的维数(状态变量个数)还可以不同,能控规范形实现为nr维的,而能观规范形实现为nm维的。对同一传递函数阵存在不同维数的状态空间实现,这里就存在一个所实现的状态空间模型的维数是否为最小的问题?结构是否最简单的问题?最小实现(1(1/15)/15)4.7.3 最小实现q由MIMO系统的能控规范形实现和能观规范形实现可知,由于状态变量的选择不同,对应于一个传递函数阵G(s)的实现不仅具有非唯一性,而且状态空间模型实现的维数还可能不同。对于实现问题,一般情况下,总是希望实现的的维数越少越好。这是因为,一般情况下,维数越小将使系统分析、设计和综合趋简单,控制系统易于实现,实现的成本也较低。在同一传递函数阵的所有实现中,总会存在一个状态变量的个数最小的实现,即系统的维数最小的实现。我们将维数最小的实现称为系统的最小实现。最小实现(2(2/15)/15)最小实现定理最小实现定理讨论最小实现是非常具有现实意义的。从工程角度看,最小实现反映了在保持系统性能的前提下,系统具有最简单的结构,工程应用简单,成本低。下面给出并证明最小实现的判别准则。q定理4-21 系统(A,B,C)是给定传递函数阵G(s)的最小实现的充要条件为系统状态能控又能观。q证明证明 1:先证充分性。先证充分性。采用反证法。即证明采用反证法。即证明:设n维的(A,B,C)非系统G(s)的最小实现,但(A,B,C)是状态完全能控且完全能观。最小实现(3(3/15)/15)最小实现定理最小实现定理证明过程思路为：证明过程思路为：n维的(A,B,C)非G(s)的最小实现存在G(s)的另一低于n维的实现两个实现具有同样的输入输出关系,且各阶矩相等两个实现的能控性/能观性的秩小于n证明过程为证明过程为设系统(A,B,C)是给定传递函数阵G(s)的一个维数为n的实现而非最小实现,但系统是状态完全能控且完全能观的。此时,G(s)必存在另一个实现(A,B,C),其维数nm时,采用能观规范形实现为宜;反之,当输出变量比输入变量多,即rm时,采用能控规范形实现。最小实现(9(9/15)/15)最小实现(10(10/15)/15)2.对所得的系统实现进行能控能观结构分解,所得的能控又能观的子系统则是G(s)的最小实现。若对能控规范形进行能观分解,对能观规范形进行能控分解,则可求得系统的最小实现。不管采用何种确定最小实现的方法,最后求得的最小实现应具有相同维数。最小实现(1(11/15)1/15)q例例4-24 试求如下传递函数阵的最小实现。q解解 是严格真的有理分式,直接将它写成按s降幂排列的标准格式系统各参数为最小实现(1(12/15)2/15)(1)采用能控规范II形实现 由于能控规范II形(Ac,Bc,Cc)实现的是不能观的,即其为能控但不能观,不为最小实现,需进行能观性分解求取最小实现。最小实现(1(13/15)3/15)按照4.5节能观性分解方法,对能控规范II形实现进行能观分解后得到的能观子系统,即最小实现为最小实现(1(14/15)4/15)(2)采用能观规范II形实现 由于能观规范II形(Ao,Bo,Co)的实现是能控的,即其为能控能观实现,为最小实现。最小实现(1(15/15)5/15)可以验证上述求得的两个实现均为所给定的(s)的最小实现，并两者等价。