李雅普诺夫稳定性分析.doc

第六章 李雅普诺夫稳定性分析 在反馈控制系统的分析设计中，系统的稳定性是首先需要考虑的问题之一。因为它关系到系统是否能正常工作。经典控制理论中已经建立了劳斯判据、Huiwitz稳定判据、Nquist判据、对数判据、根轨迹判据等来判断线性定常系统的稳定性，但不适用于非线性和时变系统。分析非线性系统稳定性及自振的描述函数法，则要求系统的线性部分具有良好的滤除谐波的性能；而相平面法则只适合于一阶、二阶非线性系统。1892年俄国学者李雅普诺夫（Lyapunov）提出的稳定性理论是确定系统稳定性的更一般的理论，它采用状态向量来描述，不仅适用于单变量、线性、定常系统，还适用于多变量、非线性、时变系统。 6-1 外部稳定性和内部稳定性 系统的数学模型有输入输出描述（即外部描述）和状态空间描述（即内部描述），相应的稳定性便分为外部稳定性和内部稳定性。一、外部稳定性1、定义（外部稳定性）： 若系统对所有有界输入引起的零状态响应的输出是有界的，则称该系统是外部稳定的。(外部稳定性也称为BIBO（Bounded Input Bounded Output）稳定性)说明：（1） 所谓有界是指如果一个函数，在时间区间中，它的幅值不会增至无穷，即存在一个实常数，使得对于所有的，恒有成立。（2） 所谓零状态响应，是指零初始状态时非零输入引起的响应。2、系统外部稳定性判据线性定常连续系统的传递函数矩阵为 当且仅当极点都在s的左半平面内时，系统才是外部稳定（或BIBO稳定）的。【例6.1.1】已知受控系统状态空间表达式为 ， 试分析系统的外部稳定性。解：系统为SISO系统，传递函数为 由于传递函数的极点位于s左平面，故系统是外部稳定的。二、内部稳定性对于线性定常系统，如果外部输入，初始条件为任意，且由引起的零输入响应为满足则称系统是内部稳定的，或称为系统是渐近稳定的。说明：线性定常系统的渐近稳定与经典控制理论中的稳定性一致。【例6.1.】已知受控系统状态空间表达式为 ， 试分析系统的内部稳定性。解：该系统为线性定常系统，其特征方程为：于是系统的特征值为，故系统不是内部稳定（渐近稳定）的。三、内部稳定性与外部稳定性的关系、若系统是内部稳定（渐近稳定）的，则一定是外部稳定（BIBO稳定）的。2、若系统是外部稳定（BIBO稳定）的，且又是可控可观测的，则系统是内部稳定（渐近稳定）的。此时内部稳定和外部稳定是等价的。6-2 李雅普诺夫稳定性的基本概念一、自治系统没有外界输入作用的系统叫自治系统。自治系统可用如下的显含时间的状态方程来描述 ， ， (6-1)其中为维状态向量。为线性或非线性、定常或时变的维向量函数。假定方程的解为，式中和分别为初始状态向量和初始时刻，那么初始条件必满足。 如果系统为线性系统，则(6-1)方程中的为的线性向量函数，或按习惯表示为： ， ， (6-2)二、平衡状态设控制系统的齐次状态方程为： ， ，对于所有，如果存在某个状态，满足： 则称为系统的一个平衡点或平衡状态。 平衡状态的各分量相对时间不再发生变化。若已知系统状态方程，令所求得的解，便是平衡状态。在大多数情况下，（状态空间原点）为系统的一个平衡状态。当然，系统也可以有非零平衡状态。如果系统的平衡状态在状态空间中表现为彼此分隔的孤立点，则称其为孤立平衡状态。对于孤立平衡状态，总是可以通过移动坐标系而将其转换为状态空间的原点，所以在下面的讨论中，假定原点即为平衡状态。所谓系统运动的稳定性，就是研究其平衡状态的稳定性，也即偏离平衡状态的受扰运动，能否只依靠系统内部的结构因素而返回到平衡状态，或者限制在平衡状态的附近。线性定常系统，其平衡状态满足，只要A非奇异，系统只有唯一的零解，即存在一个位于状态空间原点的平衡状态；当A为奇异矩阵时，有无数解，也就是系统有无数个平衡状态。对于非线性系统，的解可能有多个，由系统状态方程决定。三、李雅普诺夫意义下稳定设系统初始状态位于以平衡状态为球心、半径为的闭球域内，即 若能使系统方程的解在的过程中，都位于以为球心、任意规定的半径为的闭球域内，即 则称该是稳定的，通常称为李雅普诺夫意义下稳定的平衡状态。以二维系统为例，上述定义的平面几何表示如图6-1所示。- 初始状态- 平衡状态图6-1 二维空间李雅普诺夫意义下稳定性的几何解释示意图 式中称为向量的范数，其几何意义是空间距离的尺度。如表示状态空间中至点之间的距离的尺度，其数学表达式为 在上述稳定性的定义中，如果只依赖于而和初始时刻的选取无关，则称平衡状态是一致稳定的。对于定常系统，的稳定等价于一致稳定。但对于时变系统，的稳定并不意味着其为一致稳定。 要注意到，按李雅普诺夫意义下的稳定性定义，当系统作不衰减的振荡运动时，将在平面描绘出一条封闭曲线，但只要不超过，则认为稳定，这同经典控制理论中线性定常系统稳定性的定义是有差异的。四、渐近稳定设是系统， ，的一个孤立平衡状态，如果（1）是李雅普诺夫意义下稳定的；- 初始状态- 平衡状态图6-2 二维空间渐近稳定性的几何解释示意图（2）则称此平衡状态是渐近稳定的。 实际上，渐近稳定即为工程意义下的稳定，也就是经典控制理论中所讨论的稳定性。当与无关时，称平衡状态是一致渐近稳定的。五、大范围（全局）渐近稳定当初始条件扩展到整个状态空间，且具有渐近稳定性时，称此平衡状态是大范围渐近稳定的。 对于严格线性系统，如果它是渐近稳定的，必具有大范围渐近稳定性，这是因为线性系统稳定性与初始条件的大小无关。一般非线性系统的稳定性与初始条件的大小密切相关，其总是有限的，故通常只能在小范围内渐近稳定。当与无关时，称平衡状态是大范围一致渐近稳定。六、不稳定 不管把域取得多么小，也不管把域取得如何的大，只要在内存在一个非零初始状态，使得有出发的运动轨迹超出域以外，则称平衡状态是不稳定的。 线性系统的平衡状态不稳定，表征系统不稳定。非线性系统的平衡状态不稳定，只说明存在局部发散的轨迹，至于是否趋于无穷远，要看域外是否存在其它平衡状态，若存在，如有极限环，则系统仍是李雅普诺夫意义下稳定的。 下面介绍李雅普诺夫理论中判断系统稳定性的方法。6-3 李雅普诺夫稳定性判别方法 一、李雅普诺夫第一法（间接法） 这是利用状态方程解的特性来判别系统稳定性的方法，它适用于线性定常、线性时变以及非线性函数可线性化的情况。由于本章主要研究线性定常系统，所以在此仅介绍线性定常系统的特征值判据。线性定常系统的特征值判据：对于线性定常系统，有 （1）系统的平衡状态是在李雅普诺夫意义下稳定的充分必要条件是，的所有特征值均具有非正（负或零）实部，且具有零实部的特征值为的最小多项式的单根。 （2）系统的惟一平衡状态是渐近稳定的充分必要条件是，的所有特征值均具有负实部。二、李雅普诺夫第二法（直接法） 根据古典力学中的振动现象，若系统能量（含动能与位能）随时间推移而衰减，系统迟早回到达平衡状态，但要找到实际系统的能量函数表达式并非易事。李雅普诺夫提出，可虚构一个能量函数（后来被称为李雅普诺夫函数），一般它与及有关，记为。若不显含，则记为。它是一个标量函数，考虑到能量函数总是大于零，故为正定函数。能量衰减特性用或表示。李雅普诺夫第二法利用及的符号特征，直接对平衡状态稳定性作出判断，无需求出系统状态方程的解，故称直接法。用此方法解决了一些用其它稳定性判据难以解决的非线性系统的稳定性问题，遗憾的是对一般非线性系统仍未形成构造李雅普诺夫函数的通用方法。对于线性系统，通常用二次型函数作为李雅普诺夫函数。1、标量函数符号性质的几个定义（1）正定性- 初始状态图6-3 二维空间不稳定的几何解释示意图 标量函数在域中对所有非零状态（）有且，则称在域内正定。如是正定的。（2）负定性 标量函数在域中对所有非零状态（）有且，则称在域内负定。如是正定的。（3）正半定性 ，且标量函数在域内某些非零状态处有，而在其它非零状态处有且，则称在域内正半定。如，当时有；当时有，故为正半定。（4）负半定性 ，且标量函数在域内某些状态处有，而在其它状态处有且，则称在域内负半定。如是负半定的。（5）不定性 标量函数在域内可正可负，则称不定。如是不定的。2、标量函数取二次型时的符号 式中为对称矩阵，有。显然满足。当阵的每一个元都为实数时，称作实二次型。 实二次型是正定的充要条件是矩阵的各顺序主子行列式均大于零（赛尔维斯特准则），即 ，则正定，且称为正定矩阵。 当矩阵的各顺序主子行列式负、正相间时，即 ，则负定，且称为负定矩阵。 若矩阵的各顺序主子行列式含有等于零的情况，则为正半定或负半定。不属于以上所有情况的，为不定。【例6.3.1】证明下列的二次型是正定的 证明：上式用矩阵形式表示为 由于 所以，是正定的。3、李雅普诺夫第二法定理1 设系统的状态方程为 如果存在一个标量函数，它有连续的一阶偏导数，而且满足：（1）是正定的；（2）是负定的，则系统在原点处的平衡状态是渐近稳定的。【例6.3.2】设系统的状态方程是 试分析系统在原点处的平衡状态是否为渐近稳定的。解：令及，解得，故原点为平衡状态，且只有一个平衡状态。 设，则显然，对于存在以及，故是负定的。又由于是正定的，所以该系统在原点处的平衡状态是渐进稳定的。因为只有一个平衡状态，故该系统是渐进稳定的。【例6.3.4】设系统的状态方程是 试分析系统在原点处的平衡状态是否为渐近稳定的。解：这个系统的平衡点是。（1）先猜想一个能代表系统能量的正定函数则：由原状态方程知：，代入上式得它是不定的，因而无法判断系统的稳定性。（2）重新构造正定函数：因此：它是负半定的。但是因为不恒为零，所以可知该系统是渐近稳定的。是李亚普诺夫函数。（3）再取函数因此：是负定的。且：，故是大范围渐近稳定。从上述例子可以看出，找到一个系统的李亚普诺夫函数证明系统是稳定时，则系统必定是稳定的；反之，如果用李亚普诺夫第二法不能判断系统是稳定时，并不能得出系统是不稳定的。4.3 线性定常系统的稳定性分析线性定常系统可以应用各种方法，诸如劳斯霍尔维茨，奈奎斯特法来判断系统的稳定性。李亚普诺夫直接法也提供了一种稳定性判据的方法。在上一节的例4-3中，我们用猜想和试探、验证的方法来找李亚普诺夫函数，这是很费时的，对于高阶的系统尤其费时，有时甚至是困难的。在本节中，采用二次型函数来判定系统稳定性，这种方法较为简捷，并且还可以利用这种方法作为基础来解参数最优问题以及某些控制系统的设计问题。设线性定常系统为 (4-18)式中x是n维状态向量。如果采用二次型函数作为李亚普诺夫函数，即 （4-19）式中 P是正定的实对称矩阵。那么对上式求导得 （4-20）将式（4-18）代入（4-20）式得 （4-21）令 （4-22）代入式（4-21）得 （4-23）从上式可以看出，为了判定是否负定，只需要判定Q是否正定。因此，判定线性定常系统的稳定性可如下进行：选定一个正定实对称矩阵P，按式（4-22）计算Q，如果Q是正定的，则式（4-19）所表达的李亚普诺夫函数证明系统是稳定的。实际应用这个方法时，常不是先假定P，而是先假设一个正定矩阵Q,例如取Q=I,再按式（4-22）计算P，应用赛尔维斯特法则检查P是否正定。如果P是正定的，则系统是渐进稳定的。这样做法，有时要方便得多。如果 ，沿任意一条轨迹不恒等于零，那么Q可取正半定的，例4-4 设系统的状态方程为求使系统稳定的K值。解 假设由式（4-23）得上式中不恒为零，所以这样选取Q是合适的。按（4-22）式计算P:解出上式得根据赛尔维斯法则，如果P是正定的，需使所以 作业：p82: 4-2课堂练习： 4-1判定下列二次型函数的正定性（1），