系统运动的稳定性.

5.1内部稳定性与外部稳定性5.2李雅普诺夫稳定性的定义5.3李雅普诺夫第二法的主要定理5.4构造李雅普诺夫函数的规则化方法5.5线性系统的稳定性分析5.6Matlab问题本章小结第五章系统运动的稳定性本章简介本章讨论李雅普诺夫稳定性分析。主要介绍内部稳定性和李雅普诺夫稳定性的定义以及分析系统状态稳定性的李雅普诺夫理论和方法;着重讨论李雅普诺夫第二法及其在非线性系统的应用、李雅普诺夫函数的构造。李雅普诺夫俄国数学家李雅普诺夫1892年博士论文《运动稳定性的一般问题》中创立的稳定性理论被引入到控制中。其人：1857年6月6日生于俄国；1876年，李雅普诺夫考入圣彼得堡大学数学系；1880年大学毕业后留校；1892年获博士学位并成为教授；1901年被选为科学院院士；主要贡献：创立了特征函数法；常微分方程运动稳定性理论5.1内部稳定性与外部稳定性（P213）一个自动控制系统要能正常工作，必须首先是一个稳定的系统。例如，电机自动调速系统中保持电机转速为一定的能力以及火箭飞行中保持航向为一定的能力等。具有稳定性的系统称为稳定系统。稳定性的定义为：当系统受到外界干扰后，显然它的平衡被破坏，但在外扰去掉以后，它仍有能力自动地在平衡态下继续工作。如果一个系统不具有上述特性，则称为不稳定系统实际上，控制系统的稳定性，通常有两种定义方式：外部稳定性：是指系统在零初始条件下通过其外部状态，即由系统的输入和输出两者关系所定义的外部稳定性。（书P213定义5.1）定义：称一个系统的外部稳定（BIBO）是指对任何一个有界输入u(t)，即满足条件：的任意输入u(t)，对应的输出y(t)均为有界，即有经典控制理论讨论的有界输入有界输出稳定(BIBO)即为外部稳定性。在经典控制理论中，许多稳定性判据如劳斯-赫尔维茨判据和奈奎斯特判据等，都给出了既实用又方便的判别系统稳定性的方法。10()[,)uttt),[)(02ttty内部稳定性：是关于动力学系统的内部状态变化所呈现稳定性，即系统的内部状态稳定性。（书P216定义5.2）设n维连续时间线性时变自治系统定义：称连续时间线性时变系统在时刻t0为内部稳定，是指由时刻t0任意非零初始状态引起的零输入响应xou(t)对t∈[t0,+∞)有界，并满足渐近属性，即：线性系统的输入输出稳定性取决于其特征方程的根，与初始条件和扰动都无关，而非线性系统则不然。lim()0outxt),[)()(000ttxtxxtAx结论5.4：设n维连续时间线性时变自治系统本节讨论的李雅普诺夫意义下的稳定性即为内部稳定性。),[)()(000ttxtxxtAx系统在t0时刻内部稳定的充分必要条件为：状态转移矩阵Ф(t,t0)对所有t∈[t0,+∞]为有界，并满足：0),(lim0ttt结论5.5：对n维连续时间线性时不变自治系统0)0(0txxAxx内部稳定的充分必要条件为或矩阵A所有特征值均具有负实部，即：Re{λi(A)}0。0limAtte外部稳定性只适用于线性系统，内部稳定性不但适用于线性系统，而且也适用于非线性系统。内部和外部稳定性的关系在经典控制理论中所定义的稳定性是指输入输出稳定性，即给定有界输入，产生的输出亦有界。而李雅普诺夫稳定性讨论的系统状态在平衡态邻域的稳定性问题。就一般系统而言，两种稳定性没有必然的联系，对于同一个线性系统，只有在满足一定的条件下两种定义才具有等价性。（P217结论5.7-5.9）结论：对连续时间线性时不变系统，内部稳定→BIBO稳定，反之不成立。若系统能控且能观测，则内部稳定←→BIBO稳定。若该线性定常系统是渐近稳定的，则一定是输入输出稳定的，反之，则不尽然。5.2李雅普诺夫稳定性的定义（P218)早在1892年，俄国学者李雅普诺夫（1857–1918)发表题为“运动稳定性一般问题”的著名文献，建立了关于运动稳定性研究的一般理论。李雅普诺夫把分析一阶常微分方程组稳定性的所有方法归纳为两类。第一类方法是将非线性系统在平衡态附近线性化，然后通过讨论线性化系统的特征值(或极点)分布及稳定性来讨论原非线性系统的稳定性问题。这是一种较简捷的方法，与经典控制理论中判别稳定性方法的思路是一致的。该方法称为间接法，亦称为李雅普诺夫第一法。第二类方法不是通过解方程或求系统特征值来判别稳定性，而是通过定义一个叫做李雅普诺夫函数的标量函数来分析判别稳定性。由于不用解方程就能直接判别系统稳定性，所以第二种方法称为直接法，亦称为李雅普诺夫第二法。自治系统、平衡状态和受扰运动自治系统（P219定义5.3）定义：没有输入作用的一类动态系统平衡状态（P220定义5.4）状态空间中满足受扰运动（P220定义5.5）),[)(),(000ttxtxtxfx),[0),(0tttxfxee1.平衡态设我们所研究的系统的状态方程为x’=f(x,t)其中x为n维状态变量;f(x,t)为n维的关于状态变量向量x和时间t的非线性向量函数。对该非线性系统，其平衡态的定义如下。定义5-1动态系统x’=f(x,t)的平衡态是使f(x,t)0的状态，并用xe来表示。从定义5-1可知，平衡态即指状态空间中状态变量的导数向量为零向量的点(状态)。由于导数表示的状态的运动变化方向，因此平衡态即指能够保持平衡、维持现状不运动的状态，如上图所示。平衡态平衡态平衡态显然，对于线性定常系统x’=Ax的平衡态xe是满足下述方程的解。Axe=0当矩阵A为非奇异时，线性系统只有一个孤立的平衡态xe=0;而当A为奇异时，则存在无限多个平衡态，且这些平衡态不为孤立平衡态，而构成状态空间中的一个子空间。对于非线性系统，通常可有一个或几个孤立平衡态，它们分别为对应于式f(x,t)0的常值解。对于孤立平衡态，总是可以通过坐标变换将其移到状态空间的原点。因此，不失一般性，为了便于分析，我们常把平衡态取为状态空间的原点。例如，对于非线性系统3221211xxxxxx其平衡态为下列代数方程组0032211xxxx的解，即下述状态空间中的三个状态为其孤立平衡态。1010003e2e1exxxx2x1x(0)x(0)图5-1定义5-2(李雅普诺夫稳定性)若状态方程x’=f(x,t)所描述的系统，对于任意的0和任意初始时刻t0，都对应存在一个实数(,t0)0，使得对于任意位于平衡态xe的球域S(xe,)的初始状态x0，2.李雅普诺夫意义下的稳定性(P221)当从此初始状态x0出发的状态方程的解x都位于球域S(xe,)内，则称系统的平衡态xe是李雅普诺夫意义下稳定的。定义：李亚普诺夫意义下的稳定称自治系统),[)(),(000ttxtxtxfx的孤立平衡状态Xe=0在时刻t0为李亚普诺夫意义下稳定，如果对任给一个实数ε0，都对应存在另一位赖于ε和t0的实数δ(ε,t0)0，使得满足不等式‖X0-Xe‖≤δ(ε,t0)的任一初始状态x0出发的受扰运动Φ(t;x0,t0)都满足不等式：‖Φ(t；x0,t0)-Xe‖≤ε0tt上述定义说明，对应于平衡态xe的每一个球域S(xe,),一定存在一个有限的球域S(xe,)，使得t0时刻从S(xe,)出发的系统状态轨线总不离开S(xe,),则系统在初始时刻t0的平衡态xe为在李雅普诺夫意义下稳定的。对于李雅普诺夫稳定性，还有如下说明：李雅普诺夫稳定性针对平衡状态而言，反映的是平衡状态邻域的局部稳定性，即小范围稳定性。系统做等幅振荡时，在平面上描出一条封闭曲线，只要不超过S(xe,)，就是李雅普诺夫稳定的，而经典控制理论则认为不稳定。对于定常系统来说，上述定义中的实数(,t0)与初始时刻t0必定无关，故其稳定性与一致稳定性两者等价。但对于时变系统来说，则这两者的意义很可能不同。定义5-3(李雅普诺夫渐近稳定性)若状态方程x’=f(x,t)所描述的系统在初始时刻t0的平衡态xe是李雅普诺夫意义下稳定的，且系统状态最终趋近于系统的平衡态xe，即Limtx(t)=xex2x1x(0)则称平衡态xe是李雅普诺夫意义下渐近稳定的。若(,t0)与初始时刻t0无关，则称平衡态xe是李雅普诺夫意义下一致渐近稳定的。图5-23.渐近稳定性（P222）定义：李亚普诺夫渐进稳定称自治系统),[)(),(000ttxtxtxfx的孤立平衡状态Xe=0在时刻t0为渐进稳定，如果：ⅰ)Xe=0在时刻t0为李亚普诺夫意义下稳定；ⅱ）对实数δ(ε,t0)0和任给实数μ0，都存在实数T(μ,δ,t0)0使得满足不等式‖X0-Xe‖≤δ(ε,t0)的任一初始状态x0出发的受扰运动Φ(t；x0,t0)满足不等式：‖Φ(t；x0,t0)-Xe‖≤μ),,(00tTtt对于线性定常系统来说，上述定义中的实数(,t0)可与初始时刻t0无关，故其渐近稳定性与一致渐近稳定性等价。但对于时变系统来说不同。对于李雅普诺夫渐近稳定性，还有如下说明：经典控制理论的BIBO稳定性，就是李雅普诺夫意义下的渐近稳定。稳定和渐近稳定，两者有很大的不同。对于稳定而言，只要求状态轨迹永远不会跑出球域S(xe,)，至于在球域内如何变化不作任何规定。而对渐近稳定，不仅要求状态的运动轨迹不能跑出球域，而且还要求最终收效或无限趋近平衡状态xe。大范围渐近稳定性（全局渐进稳定）对于n维状态空间中的所有状态，如果由这些状态出发的状态轨线都具有渐近稳定性，那么平衡态xe称为李雅普诺夫意义下大范围渐近稳定的。换句话说，若状态方程在任意初始状态下的解，当t无限增长时都趋于平衡态，则该平衡态为大范围渐近稳定的。显然，大范围渐近稳定性的必要条件是系统在整个状态空间中只有一个平衡态。对于线性系统，如果其平衡态是渐近稳定的，则一定是大范围渐近稳定的。但对于非线性系统则不然，渐近稳定性是一个局部性的概念，而非全局性的概念。4.不稳定性定义5-4若状态方程x’=f(x,t)描述的系统在初始时刻t0,对于某个给定实数0和任意一个实数0,x2x1x(0)总存在一个位于平衡态xe的邻域S(xe,)的初始状态x0，使得从x0出发的状态方程的解x(t)将脱离球域S(xe,)，则称系统的平衡态xe是李雅普诺夫意义下不稳定的。图5-3定义：不稳定称自治系统),[)(),(000ttxtxtxfx的孤立平衡状态Xe=0在时刻t0为不稳定，如果不管取实数ε0为多么大，都不存在对应一个实数δ(ε,t0)0，使得满足不等式‖X0-Xe‖≤δ(ε,t0)的任一初始状态x0出发的受扰运动Φ(t；x0,t0)满足不等式：‖Φ(t；x0,t0)-Xe‖≤ε0tt李雅普诺夫第二法它是在用能量观点分析稳定性的基础上建立起来的。若系统平衡态渐近稳定，则系统经激励后，其储存的能量将随着时间推移而衰减。当趋于平衡态时，其能量达到最小值。反之，若平衡态不稳定，则系统将不断地从外界吸收能量，其储存的能量将越来越大。基于这样的观点，只要能找出一个能合理描述动态系统的n维状态的某种形式的能量正性函数，通过考察该函数随时间推移是否衰减，就可判断系统平衡态的稳定性。5.3李雅普诺夫第二法（1）实函数的正定性实函数正定性问题亦称为函数定号性问题。它主要讨论该函数的值在什么条件下恒为正,什么条件下恒为负的。下面先给出n维向量x的标量实函数V(x)的正定性定义。定义5-5设xRn，是Rn中包含原点的一个区域，若实函数V(x)对任意n维非零向量x都有V(x)0；当且仅当x=0时，才有V(x)=0，则称函数V(x)为区域上的正定函数。1.数学预备知识定义5-6设xRn，是Rn中包含