《现代控制理论 第4章 稳定性理论ppt课件.ppt》由会员分享,可在线阅读,更多相关《现代控制理论 第4章 稳定性理论ppt课件.ppt(66页珍藏版)》请在三一办公上搜索。
1、第四章 稳定性理论,在控制系统的分析和设计中,首先要解决系统的稳定性问题。动力学系统的稳定机制与其本身的结构密切相关,如何根据动力学系统的构成分析其稳定性受到普遍的重视。,导弹稳定控制,倒立摆稳定控制,本章首先介绍外部温度性和内部稳定性的概念,然后讨论李亚普诺夫稳定性的定义,定理,李亚普诺夫方法在线性系统中的应用。,在控制系统稳定性研究中,李亚普诺夫(A.M.Lyapunov)方法得到了广泛的应用。李亚普诺夫方法包括第一方法(也称为间接法)和第二方法(通常称为直接法)。,第一节 外部稳定性和内部稳定性,一 外部稳定性,定义4.1 (有界输入,有界输出稳定性),对于零初始条件的因果系统,如果存在
2、一个固定的有限常数 及一个标量 ,使得对于任意的 ,当系统的输入 满足 时,所产生的输出 满足 则称该因果系统是外部稳定的,也就是有界输入-有界输出稳定的,简记为BIBO稳定。,这里必须指出,在讨论外部稳定性时,是以系统的初始条件为零作为基本假设的,在这种假设下,系统的输入-输出描述是唯一的。线性系统的BIBO稳定性可由输入-输出描述中的脉冲响应阵或传递函数矩阵进行判别。,从而根据定义4.1知系统是BIBO稳定的。,定义如下的有界输入函数,在上述输入激励下,系统的输出为,这表明系统输出是无界的,同系统是BIBO稳定的已知条件矛盾。因此,式(4-3)的假设不成立,即必定有,现在将上述结论推广到多
3、输入-多输出的情况。考察系统输出y(t)的任一分量,由于有限个有界函数之和仍为有界函数,利用单输入-单位输出系统的结果,即可证明定理4.1的结论。证毕。,定理4.2 定常情况 对于零初始条件的定常系统,设初始时刻 ,单位脉冲响应矩阵为 ,传递函数矩阵为 ,则系统为BIBO稳定的充分必要条件为,存在一个有限常k,使 的每一个元 满足,或者 为真有理分式函数矩阵,且其每一个元传递函数 的所有极点处在左半复平面。,证明 定理4.2第一部分结论可直接由定理4.1得到,下面只要证明定理的第二部分。由假设条件, 为真有理分式,则利用部分分式法将其展开为有限项之和的形式,其中每一项均具有形式为,(4-4),
4、这里 为 极点, 和 为常数,也可为零且 式(4-4)对应的拉普拉斯反变换为:,(4-5),当 时,式(4-5)为 函数。这说明,由 取拉普拉斯反变换导出 是由有限个形为(4-5)式之和构成的,和式中也可能包含 函数。容易看出,当且仅当 处在在半复平面时, 才是绝对可积的,即 为绝对可积,从而系统是BIBO稳定的。证毕。,二 内部稳定性,这里 为时变系统的状态转移矩阵。如果由系统的初始 引起的状态响应(4-6)满足:,(4-7),假定系统矩阵 具有两两相异的特征值,则,进一步可得,其中,显然,当矩阵 的一切特征值满足,则式(4-7)成立。内部稳定性描述了系统状态的自由运动的稳定性。,这里顺便说
5、说有界输入,有界状态稳定性(简记为BIBS)问题。在内部稳定性的定义中,要求系统的输入 。如果对于任意有界输入 以及任意有界初始状态 ,存在一个 标量使得系统状态解满足 ,则该系统称之为有界输入-有界状态稳定的。对于线性定常系统而言,满足渐近定常系统而言,满足渐近稳定性时,一定是BIBS稳定的,详细讨论见参考文献9。,三、内部稳定性和外部稳定性的关系,内部稳定关心的是系统内部状态的自由运动,这种运动必须满足渐近稳定条件,而外部稳定性是对系统输入量和输出量的约束,这两个稳定性之间的联系必然通过系统的内部状态表现出来,这里仅就线性定常系统加以讨论。,点击观看,定理4.3 线性定常系统如果是内部稳定
6、的,则系统一定是BIBO稳定的,证明 对于线性定常系统,其脉冲响应矩阵为:,定理4.4 线性定常系统如果是BIBO稳定的,则系统未必是内部稳定的。,证明 根据线性系统的结构分解定理知道,任一线性定常系统通过线性变换,总可以分解为四个子系统,这就是能控能观测子系统,能控、不能观测子系统,不能控、能观测子系统和不能控不能观测子系统。系统的输入-输出特性仅能反映系统的能控能观测部分,系统的其余三个部分的运动状态并不能反映出来,BIBO稳定性仅意味着能控能观测子系统是渐近稳定的,而其余子系统,如不能控不能观测子系统如果是发散的,在BIBO稳定性中并不能表现出来。因此定理的结论成立。,定理4.5 线性定
7、常系统如果是完全能控,完全能观测的,则内部稳定性与外部稳定性是等价的,证明 利用定理4.3和定理4.4易于推出该结论。定理4.3给出:内部稳定性可推出外部稳定性。定理4.4给出:外部稳定性在定理4.5的条件下即意味着内部稳定性,证毕。,第二节 李雅普诺夫对稳定性的有关定义,假定方程的解为 式中 、 分别为初始状态向量及初始时刻,那么,初始条件 必满足,平衡状态 对于所有 ,满足,(4-8),的状态 称平衡状态。平衡状态的各分量相对时间不再发生变化。已知状态方程,令 所求得的解 便是平衡状态。,线性定常系统 ,其平衡状态满足 ,只要 非奇异,系统只有唯一的零解,即存在一个位于原点的平衡状态。至于
8、非线性系统, 的解可能有多个,取决于系统方程。,李雅普诺夫的稳定性定义均针对平衡状态而言。它反映了平衡状态邻域的局部(小范围)稳定性。鉴于线性系统只唯有一个平衡状态,平衡状态的稳定性便表征了系统的稳定性。对于具有多个平衡状态的非线性系统来说,因为各平衡状态的稳定性一般并不相同,故需逐个加以考虑:至于全局(大范围)稳定性,需结合具体初始条件下的运动轨迹来考虑。,若能使系统方程的解 在 的过程中都位于以平衡状态 为球心、任意规定的半径为 的闭球域以内,即,则称该平衡状态是稳定的,通常称为李雅普诺夫意义下的稳定性。其平面表示见图4-1(a)。,(4-10),式中 称为向量的范数, 为平衡状态向量端点
9、至初始向量端点和“初始状态偏差向量”的范数,其几何意义为“初始状态偏差向量”的空间距离的尺度,其定义式为:,(4-11),同理, 为“状态偏差向量”的空间距离的尺度。,要注意到,按李雅普诺夫意义下的稳定性定义,当系统作不衰减振荡运动时,将在平面描出一条封闭曲线,但只要不超出 则认为稳定,同经典理论中线性定常系统稳定性的定义相比是存在差异的。,通常时变系统的 与 有关,定常系统的 与 无关。只要 与 无关,这种平衡状态称一致稳定的。,渐近稳定性 不仅具有李雅普诺夫意义下的稳定性,且存在,(4-12),则称平衡状态是渐近稳定的。这时,从 出发的轨迹不仅不会超出 ,且当 时收敛于平衡状态或其附近,其
10、平面表示见图4-1(b)。显见经典理论中稳定性定义与渐近稳定性对应。当 与 无关时,且称一致渐近稳定。,大范围(全局)渐近稳定性 当初始扰动 扩展到整个状态空间,但具有渐近稳定性时,称此平衡状态为大范围渐近稳定的,此时, 或 ,由状态空间中任一点出发的轨迹都收敛至平衡状态。若系统是线性的,可将初始扰动扩展至整个状态空间,故线性系统如果是渐近稳定的,必具有大范围渐近稳定性,一般非线性系统的特性与初始扰动条件密切相关,其 总是有限的,故通常只能在小范围内渐近稳定。当 与 无关时,则为大范围一致渐近稳定。,不稳定性 不管任意给定的 、 有多么小,只要在域 内出发的轨迹超出 以外,则称此平衡状态为不稳
11、定的,其平面表示见图4-1(c)。线性系统的平衡状态不稳定,表征系统不稳定;非线性系统的平衡状态不稳定,只说明存在局部发散的轨迹,至于是否趋于无穷远,要看 域外是否存在其它平衡状态,若存在,如有极限环,则系统仍然是李雅普诺夫意义下稳定的。,第三节 线性系统稳定性判据,这里提出的是基于李雅普诺夫对有关稳定性的定义、用状态空间描述的线性系统的稳定性判据。,变换后状态方程的解:,由于 ,故原状态方程的解可表为: 利用 ,故,展开该式, 的每一元素 都的线性组合,进而析出 写成矩阵多项,对应矩阵记以 ,故 一定可记成 的线性组合:,该式以显式表出了 与 的关系。显然,只要式(4-13)成立,式(4-1
12、4)中所有指数项随 而趋于零,且对任意 都成立。如果对某些 有 ,只要 ,式(4-8)中的相应项将无限增长,此时系统不稳定。如果 ,表示有零或虚特征值时,式(4-8)中含有常数项或sin 、cos 的项,将使 不衰减至零,此时系统具有李雅普诺夫意义下的稳定性。至于A有重根的情况,结论同上。,(4-14),时变系统的稳定性判据 系统 ,由于 阵不是常数矩阵,不能采用特征值判据,需用状态转移矩阵的范数 (定义为各元素平方和再开方),且有如下充要条件成立,它们均自李雅普诺夫稳定性定义导出。,若存在某正常数 ,对于任意 有:,若存在某正常数 及 ,对于任意 有:,则系统一致渐近稳定。因为 ,故一致稳定
13、; 因 ,故 ,系统又是渐近稳定的。,第四节 李雅普诺夫第二法稳定性定理,下面我们不打算对第二法诸稳定性定理在数学上作严格证明,而着重于物理概念的阐述和应用。先简明回顾标量函数正定性概念。,负定性 标量函数 在域 中对所有非零 有 ,且 则称 在域 内负定。 则正定的。如 是负定的。,不定性 在域 中可正可负,则称 不定。如 是不定的。若 正定,则对于 及所有非零状态有 ,且 。其余定义类同。,对应主子行列式且含有等于零的情况时,则 为负半定或正半定的。不属于以上所有情况者为不定的。,下面来介绍李雅普诺夫第二法诸稳定性定理。,设系统状态方程为 ,其平衡状态满足 ,即不失一般性地把原点作为平衡状
14、态;在原点邻域存在向量 的标量函数 ,具有连续一阶偏导数。,定理一 若满足下列条件:1 正定;2 负定; 则原点是渐近稳定的。浅释: 负定表示能量随时间连续单调地衰减,与渐近稳定性定义叙述一致。,定理二 若满足下列条件:1 正定;2 负半定;3. 负半定表示在非零状态存在 = 0 。在从任意初态出发的轨迹 上若存在 系统将维持某等能量水平运行而不再衰减,但条件3说明不存在这种情况,状态轨迹只是经历能量不变的状态而不会停留在该状态,系统会继续运行至原点。经校验确知满足条件3, 负半定即可渐近稳定;已知负半定,必须校验条件3, 才能确定稳定性质。,定理三 若满足以下条件:1 正定;2 负半定;3
15、在非零状态存在恒为零;则原点是李雅普诺夫意义下稳定的。,当 正半定,且 在非零状态不恒为零,则原点不稳定;若 在非零状态存在恒为零,则原点仍是李雅普诺夫意义下稳定的。满足定理一、二、三可确定渐近稳定或稳定的 ,习惯上能称李雅普诺夫函数。 的选取不唯一,但只要有一个 满足了定理所述条件,便可对原点稳定性用出判断,不因 选取不同而有所影响。至今尚无构造李雅普诺夫函数的一般方法,这是应用李雅普诺夫稳定性理论的主要障碍,如 选取不当,便导致 不定,便不能作出确定判断。以上定理按照 连续单调衰减的要求来确定稳定性,并未考虑实际稳定系统存在衰减振荡的情况,显见所述条件是偏于保守的,故借稳定性定理判稳定者必
16、稳定,李雅普诺夫稳定性定理所述条件是充分条件。,例4-1 设线性系统状态方程为:,试判断平衡状态稳定性。,解 令 ,知原点为平衡。设 ,则 ,显见存在非状 ( 如 ) 使 , 对于其它任意状态 存在 ,故 负半定。非零状态时,是否存在 恒为零?令 , 知 ,状态方程中 ,故 ,其状态解只有全零解,表明非零状态 不恒为零,原点是渐近稳定的,且大范围一致渐近稳定。,点击观看,若设 ,则 ,当 时, 故 不定, 应予重选。,例 4-2 判断下列线性系统的平衡状态稳定性:,解 原点是平衡状态。,设 , ,显见 负半定,且在任意非零状态 恒为零,故系统具有李雅普诺夫意义下的稳定性。,例 4-3 判断下列
17、线性系统的平衡状态稳定性:,解 原点是平衡状态。设 , ,由于 与 无关,显见非零状态 有 ,故 正半定。,令 ,知 , ,由状态方程知 ,得全零解,表明非零状态不恒为零,故原点不稳定,即线性系统不稳定。,第五节 线性系统的李雅普诺夫分析,一 定常连续系统,(4-15),据渐近稳定定理一,只要 正定(即 负定),则大范围一致渐近稳定。于是渐近稳定的充分条件表示为:给定一正定 ,存在一满足式(4-17)的正定 。 就是该系统的一个李雅普诺夫函数。,当 或 选取不当时,往往导致 不定,但根据该特定李雅普诺夫函数并不能断定系统稳定性,需另选一个 或 再行校验。以上先选 、后验 的步骤可能要进行多次,
18、在实用上是缺陷的,于是有如下定理进行渐近稳定性的判断。,定理 系统 的渐近稳定的充要条件为:给定一正定实对称矩阵 ,有唯一正定实对称矩 使 (4-19)成立。 就是的系统的一个李雅普诺夫函数。,证明 充分性。由于 正定, 是正定二次型函数,其导数为:由于 正定, 必负定二次型函数,故 的平衡状态具有渐近稳定性。,又显见 ,故该 满足对称性;,该式只有当 时等号才成立,故该 正定。,最后来证明唯一性。设 和 都是式(4-19)的解,则,(4-21),上式左乘 ,右乘 ,并利用矩阵指数求导公式,于是有:,(4-22),有,该式说明, 是常数矩阵,与t无关。显见 又由于渐近稳定性质, 故 ,证毕。,
19、经以上证明可以确信:先进任意正定对称矩阵 (通常取一单位矩阵最为方便),后按式(4-19)验P阵是否正定对称,只需进行一次计算,便可确定系统是否渐近稳定了。,以上定理给出了判断线性系统是否渐近稳定及构造线性渐近稳定系统李雅普诺夫函数的一般方法。当解得 阵非正定时,系统非渐近稳定。至于具体稳定性质尚不能由本定理作出判定,可用特征值判据加以判定。 阵负定时,系统不稳定(对例4-4可验证); 阵不定时,可能不稳定(可参见例4-5),也可能有李雅普诺夫意义下的稳定性(对例4-3)可验证。,据渐近稳定性定理二,若系统任意状态轨迹在非零状态不存在 恒为零,则Q阵可给定为正定的,这时只需令单位阵中主对角线上
20、部分元素为零,而由式(4-19)解得的 阵应是正定的。至于正半定矩阵 的取法,则是不唯一的,所取具体形式既应简单、又应能导出确定的平衡状态的解。,例4-4 试用李雅普诺夫方程判断下列线性系统的稳定性:,解 利用线性定常系统特征值判据,显见,特征值为-2、1,故系统不稳定。,令,于是有,解得,例 4-5试用李雅普诺夫方程确定下列图4-3所示系统k值的稳定范围。,解 取如图所示的一组状态变量,系统状态方程为:,研究稳定性时,可令 。显然 ,故原点为平衡状态。假设取正半定矩 阵为:,由于 ,令 ;由状态方程 确定;由状态方程 ,确定 。表明只有原点满足 恒为零,故可以采用正半定矩阵 来简化分析稳定性
21、。,令,为使 成为正定矩阵,其充要条件为: 和 因此,当 时,系统稳定。由于是线性系统,必大范围一致渐近稳定。,二 时变连续系统,设系统状态方程 ,原点是唯一平衡状态。设取如下正定二次型函数作为可能的李雅普诺夫函数:,式中 是 维实对称正定、元素为时间的连续函数的矩阵。其 且考虑状态方程有:,(4-24),系统的 渐近稳定的充要条件为:给这一正定实对称矩阵 ,有一正定实对称矩阵 使式(4-25)成立。 就是时变系统的一个李雅普诺夫函数。由于是线性系统,渐近稳定必为大范围的;由于是时变系统,状态转移矩阵与 有关,故不是一致的。也可选取 。式(4-25)是黎卡提矩阵微分方程的特例。其解 与状态转移矩阵 有关,解得 后再来分析其正定性以判断稳定性。,可综合成如下定理:,三、定常离散系统,式中 为 维对称正定常数矩阵。可用差分 代替,令,该式称离散的李雅普诺夫代数方程。于是有:,考虑状态方程有:,同样可综合成如下定理:,