控制论4.3 线性定常离散系统的能控性和能观性教学课件.ppt

Ch.4线性系统的能控性和能观性,目录(1/1),目录概述4.1线性连续系统的能控性4.2线性连续系统的能观性4.3线性定常离散系统的能控性和能观性4.4对偶性原理4.5线性系统的结构性分解和零极点相消4.6能控规范形和能观规范形4.7实现问题4.8Matlab问题本章小结,线性定常离散系统的能控性和能观性(1/2),4.3线性定常离散系统的能控性和能观性本节主要讲述线性离散系统的状态能控性/能观性的定义和判据。由于线性连续系统只是线性离散系统当采样周期趋于无穷小时的无限近似,所以离散系统的状态能控性/能观性的定义与线性连续系统的极其相似,能控性/能观性判据则在形式上基本一致。,线性定常离散系统的能控性和能观性(2/2),本节的关键问题为:基本概念:线性离散系统的状态能控性/能观性基本方法:线性离散系统状态能控性/能观性的判别方法离散化系统的能控性/能观性本节的主要内容为:线性定常离散系统的状态能控性与能达性线性定常离散系统的能观性离散化线性定常系统的状态能控性和能观性,重点喔!,线性定常离散系统的状态能控性(1/2),4.3.1线性定常离散系统的状态能控性与能达性状态能控性讨论的是系统输入对状态空间中任意初始状态控制到坐标原点(平衡态)的能力,而状态能达性讨论的是系统输入对坐标原点(平衡态)的初始状态控制到状态空间中任意状态的能力。对线性定常连续系统来说,状态能控性与能达性虽然定义不同,两者的判据却是等价的,但对于线性定常离散系统来说,这两者无论定义还是判据有所不同。,线性定常离散系统的状态能控性(2/2),与线性连续系统的状态能控性问题一样,对线性离散系统的能控性与能达性问题也可只考虑系统状态方程,与输出方程和输出变量y(k)无关。对线性定常离散系统,我们有如下状态能控性与能达性定义线性定常离散系统的状态能控性判据线性定常离散系统的状态能控性判据,线性定常离散系统的能控性与能达性定义(1/4)能控性定义,1.线性定常离散系统的能控性与能达性定义定义4-1对线性定常离散系统x(k+1)=Gx(k)+Hu(k)若对某个初始状态x(0),存在控制作用序列u(0),u(1),u(n-1),使系统在第n步上达到到原点,即x(n)=0,则称状态x(0)能控;若状态空间中的所有状态都能控,则称系统状态完全能控;即,若逻辑关系式x(0)u(k)(k0,n-1)(x(n)=0)为真,则称系统状态完全能控。,线性定常离散系统的能控性与能达性定义(2/4)能控性定义,若存在某个状态x(0)不满足上述条件,称此系统是状态不完全能控的,简称系统为状态不能控。即,若逻辑关系式x(0)u(k)(k0,n-1)(x(n)0)为真,则称系统状态不完全能控。在上述状态能控性定义中,只要求在n步之内寻找控制作用,使得系统状态在第n步上到达原点。这是因为,可以证明,若离散系统在n步之内不存在控制作用使得对任意初始状态控制到原点,则在n步以后也不存在控制作用使状态在有限步之内控制到原点。故在上述定义中,只要求系统在n步之内寻找控制作用。,线性定常离散系统的能控性与能达性定义(3/4)能达性定义,定义4-5(线性定常离散系统状态能达性定义)对线性定常离散系统(G,H)，若对某个最终状态x1,存在控制作用序列u(0),u(1),u(n-1),使得系统状态从零状态在第n步上到达最终状态x1,即x(n)=x1,则称此系统的状态x1是能达的。若系统对状态空间中所有状态都能达,则称系统状态完全能达,简称为系统能达。即,若数学逻辑关系式x1u(k)(k0,n-1x(0)=0x(n)=x1为真,则称系统状态完全能达。若系统存在某个状态x1不满足上述条件,则称此系统是状态不完全能达的,简称系统为状态不能达。,线性定常离散系统的能控性与能达性定义(4/4)能达性定义,从能控性与能达性两者的定义可知,在系统控制问题中,系统镇定问题多与能控性有关,而跟踪、伺服问题多与能达性有关。,线性定常离散系统的状态能控性判据(1/9),2.线性定常离散系统的状态能控性判据与线性定常连续系统不同,线性定常离散系统的状态能控性与能达性的判据两者不等价。线性定常离散系统的状态能达性与连续系统的能控性/能达性判据形式上完全一致,而状态能控性的判据则有所区别。下面给出并叙述线性定常离散系统状态能控性的秩判据定理。,线性定常离散系统的状态能控性判据(2/9)-定理4-12,定理4-12(线性定常离散系统能控性秩判据)对线性定常离散系统(G,H),有如下状态能控性结论:1)若系统矩阵G为非奇异矩阵，则状态完全能控的充要条件为如下定义的能控性矩阵:Qc=HGHGn-1H满秩，即rankQc=n2)若系统矩阵G为非奇异矩阵，则为系统状态完全能控的充要条件为rankQc=rankQcGn,线性定常离散系统的状态能控性判据(3/9)-定理4-12,证明由第3章的线性定常离散系统的解理论,可得状态方程的解如下:,设在第n步上能使初始状态x(0)转移到零状态,于是上式可记为,即,线性定常离散系统的状态能控性判据(4/9)-定理4-12,上式写成矩阵形式即为,这是一个非齐次线性代数方程,由线性方程解的存在性理论可知,上式存在控制序列u(0),u(1),u(n-1)的充要条件为rankHGHGn-1H=rankHGHGn-1HGnx(0),线性定常离散系统的状态能控性判据(5/9)-定理4-12,考虑到系统的初始状态x(0)是属于n维状态空间中任意一个状态,因此上式等价于rankHGHGn-1H=rankHGHGn-1HGn即证明了系统状态完全能控的充要条件为能控性矩阵满足rankQc=rankQcGn即定理的结论2)得以证明。,线性定常离散系统的状态能控性判据(6/9)-定理4-12,当系统矩阵G满秩时,显然有rankGn=n因此rankHGHGn-1HGn=n所以由结论1可知,在系统矩阵G满秩时,系统状态完全能控的充要条件为rankQc=rankHGHGn-1H=n,线性定常离散系统的状态能控性判据(7/9)例4-11,解由线性定常离散系统的能控性矩阵的定义有,但,因此rankQc=rankQcG2由定理4-12的结论2可知,该系统状态完全能控。,例4-11试判断如下系统的状态能控性,线性定常离散系统的状态能控性判据(8/9)例4-12,解判断一：由系统状态能控性的代数判据有,但,例4-12试判断如下系统的状态能控性,线性定常离散系统的状态能控性判据(9/9),因此rankQcrankQcG3由定理4-12的结论2可知,该系统状态不完全能控。判断二：由于G为可逆矩阵rankQc=13=n,因此由定理4-12的结论1可判别出系统状态不完全能控。,线性定常离散系统的状态能达性判据(1/4),2.线性定常离散系统的状态能达性判据由上述线性定常离散系统的状态能控性代数判据可知,离散系统的能控性与连续系统的能控性存在一定的差别。由系统矩阵和输入矩阵组成的能控性矩阵的秩等于状态变量的个数,对于线性定常连续系统，这是状态完全能控的充分必要条件,而对于线性定常离散系统的状态能控性则仅是一个充分条件。,线性定常离散系统的状态能达性判据(2/4),造成线性连续系统和线性离散系统的状态能控性判据形式上有差别的原因在于：线性连续系统的状态能控性和状态能达性是两个等价的概念,而线性离散系统的状态能控性和状态能达性则是两个不等价的概念。定理4-13(线性定常离散系统能达性秩判据)对线性定常离散系统(G,H)状态完全能达的充分必要条件为能控性矩阵Qc=HGHGn-1H满秩，即rankQc=n,线性定常离散系统的状态能达性判据(3/4),定理4-14(线性定常离散系统能达性模态判据)对约旦规范形的线性定常离散系统(G,H),有1若系统矩阵G为每个特征值都只有一个约旦块的约旦矩阵,则系统能达的充分必要条件为对应G的每个约旦块的H的分块的最后一行都不全为零。若G为某个特征值有多于一个约旦块的约旦矩阵,则系统能达的充分必要条件为对应于G的每个特征值的所有约旦块的H的分块的最后一行线性无关。,线性定常离散系统的状态能达性判据(4/4),定理4-15(线性定常离散系统能达性PHB秩判据)线性离散连续系统(G,H)状态完全能控的充分必要条件为：对于所有的复数,下式成立rankI-GH=nC1,线性定常离散系统的能观性(1/9),4.3.2线性定常离散系统的能观性与线性连续系统一样,线性离散系统的状态能观性只与系统输出y(t)以及系统矩阵G和输出矩阵C有关,即只需考虑齐次状态方程和输出方程即可。下面我们先引入线性定常离散系统状态能观性的定义。,对初始状态x(0),根据在n个采样周期内采样到的输出向量y(k)的序列y(0),y(1),y(n-1)能唯一地确定系统的初始状态x(0),则称状态x(0)能观;若对状态空间中的所有状态都能观,则称系统状态完全能观,简称为系统能观。即,若数学逻辑关系式,线性定常离散系统的能观性(2/9)能观性定义,定义4-3若线性定常离散系统,为真,则称系统状态完全能观。,线性定常离散系统的能观性(3/9),若存在某个状态x(0)不满足上述条件,称此系统是状态不完全能观的,简称系统为状态不能观。在线性定常离散系统的状态能观性定义中,只要求以在n个采样周期内采样到的输出来确定系统的状态。这是因为,可以证明:如果由n个采样周期内的输出向量序列不能唯一确定系统的初始状态,则由多于n个采样周期的输出向量序列也不能唯一确定系统初始状态。对线性定常离散系统,存在与线性定常连续系统在形式上完全一致的状态能观性的代数判据和模态判据。下面我们先介绍代数判据。,线性定常离散系统的能观性(4/9)能观性判据代数,满秩,即rankQo=n,定理4-16线性定常连续系统(G,C)状态完全能观的充分必要条件为如下定义的能观性矩阵:,线性定常离散系统的能观性(5/9)能观性判据证明,证明本定理的证明可直接由线性代数方程组的解唯一性理论给出。由第3章中线性定常离散系统的状态空间模型的求解公式,可得y(0)=Cx(0)y(1)=Cx(1)=CGx(0)y(n-1)=Cx(n-1)=CGn-1x(0)将上述n个方程写成矩阵的形式,有,线性定常离散系统的能观性(6/9)例20,因此,由线性方程的解存在性理论可知,无论输出向量的维数是否大于1,上述方程有x(0)的唯一解的充分必要条件为rankQo=n由能观性的定义可知,上式亦为线性定常离散系统(G,C)状态完全能观的充要条件。于是定理得证。,线性定常离散系统的能观性(7/9)例4-13,例4-13试判断如下系统的状态能观性,解由状态能观性的代数判据有,对线性定常离散系统的状态能观性,还有如下模态判据。,线性定常离散系统的能观性(8/9)能观性模态判据,对线性定常离散系统的状态能观性,还有如下模态判据。定理4-17对为约旦规范形(对角线规范形为其特例)的线性定常连续系统(G,C),有:1)若G为每个特征值都只有一个约旦块的约旦矩阵,则系统能观的充要条件为对应G的每个约旦块的C的分块的第一列都不全为零;2)若G为某特征值有多于一个约旦块的约旦矩阵,则系统能观的充要条件为对应G的每个特征值的所有约旦块的C的分块的第一列线性无关。,线性定常离散系统的能观性(9/9)能观性模态判据,定理4-18线性定常离散系统(G,C)状态完全能观的充要必条件为:对于所有的复数,下式成立:,离散化线性定常系统的状态能控性和能观性(1/11),4.3.3离散化线性定常系统的状态能控性和能观性这里所要讨论的离散化线性定常系统的状态能控性/能观性问题,是指:1.线性定常连续系统经离散化后是否仍能保持其状态能控性/能观性?2.离散化系统能控性和能观性与原连续系统的能控性/能观性之间的关系?该问题是计算机控制中一个十分重要的问题。在具体讨论之前,先看一个例子。,离散化线性定常系统的状态能控性和能观性(2/11)例21,解1.求原连续系统的能控性和能观性。因为,故原连续系统是状态完全能控且完全能观的。,例4-14判断如下线性定常连续系统离散化后的状态能控性和能观性。,离散化线性定常系统的状态能控性和能观性(3/11),2.求连续系统的离散化系统.由第3章中的离散化步骤,有,即系统特征值为s1=j,s2=-j,由求矩阵指数函数的有限项矩阵法有,因此,有,离散化线性定常系统的状态能控性和能观性(4/11),即经离散化后的系统状态空间模型为,离散化线性定常系统的状态能控性和能观性(5/11),3.求离散化后的系统的状态能控性和能观性。由上述离散化后系统的状态方程,有如下状态能控性矩阵和能观性矩阵:,由于系统矩阵G=eAT为可逆矩阵,故由定理4-12和定理4-13可知,离散化系统的状态完全能控和完全能观的充分必要条件为能控性矩阵Qc和能观性矩阵Qo均满秩。,离散化线性定常系统的状态能控性和能观性(6/11),因此,此时离散化系统是既不能控又不能观的。若取Tk(k=1,2,),即sinT0,cosT1,则有|Qc|=sinT(-sin2T-cos2T+2cosT-1)=2sinT(cosT-1)0|Qo|=sinT0即Qc和Qo均为满秩矩阵,则此时离散化系统状态完全能控又完全能观。,若取T=k(k=1,2,),即sinT=0,cosT=1,则有,离散化线性定常系统的状态能控性和能观性(7/11),从上述例题中可以清楚地看出,若连续系统是状态完全能控/能观的,经离散化后能否保持系统的状态完全能控/能观,这完全取决于系统采样周期的选择。,离散化线性定常系统的状态能控性和能观性(8/11),经精确离散化的状态空间模型为,其中,对离散化系统的状态能控性/能观性与原连续系统的状态能控性/能观性以及采样周期T的选择的关系有如下结论:设线性定常连续系统的状态空间模