第六章 李雅普诺夫稳定性分析在反馈控制系统的分析设计中，系统的稳定性是首先需要考虑的问题之一。
因为它关系到系统是否能正常工作。
经典控制理论中已经建立了劳斯判据、Huiwitz 稳定判据、Nquist 判据、对数判据、根轨迹判据等来判断线性定常系统的稳定性，但不适用于非线性和时变系统。
分析非线性系统稳定性及自振的描述函数法，则要求系统的线性部分具有良好的滤除谐波的性能；而相平面法则只适合于一阶、二阶非线性系统。
1892年俄国学者李雅普诺夫（Lyapunov ）提出的稳定性理论是确定系统稳定性的更一般的理论，它采用状态向量来描述，不仅适用于单变量、线性、定常系统，还适用于多变量、非线性、时变系统。
§6-1 外部稳定性和内部稳定性系统的数学模型有输入输出描述（即外部描述）和状态空间描述（即内部描述），相应的稳定性便分为外部稳定性和内部稳定性。
一、外部稳定性1、定义（外部稳定性）：若系统对所有有界输入引起的零状态响应的输出是有界的，则称该系统是外部稳定的。
(外部稳定性也称为BIBO （Bounded Input Bounded Output ）稳定性) 说明：（1）所谓有界是指如果一个函数)(t h ，在时间区间],0[∞中，它的幅值不会增至无穷，即存在一个实常数k ，使得对于所有的[]∞∈0t ，恒有∞<≤k t h )(成立。
（2）所谓零状态响应，是指零初始状态时非零输入引起的响应。
2、系统外部稳定性判据线性定常连续系统∑),,(C B A 的传递函数矩阵为Cxy Bu Ax x=+=BUA sI X BU X A sI CX Y BU AX sX 1)()(--==-=+=B A sIC s G 1)()(--=当且仅当)(s G 极点都在s 的左半平面内时，系统才是外部稳定（或BIBO 稳定）的。
【例6.1.1】已知受控系统状态空间表达式为u x x ⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-=121160 ， []x y 10= 试分析系统的外部稳定性。
解：系统为SISO 系统，传递函数为B A sIC s G 1)()(--=[]⎥⎦⎤⎢⎣⎡-⎥⎦⎤⎢⎣⎡+--=-12116101s s )3)(2(2+--=s s s31+=s 由于传递函数的极点位于s 左平面，故系统是外部稳定的。
二、内部稳定性对于线性定常系统 Bu Ax x+= ， 00)(x t x =Cx y =如果外部输入0)(=t u ，初始条件0x 为任意，且由0x 引起的零输入响应为00),()(x t t t x φ=满足0),(lim 00=∞→x t t t φ则称系统是内部稳定的，或称为系统是渐近稳定的。
说 明：线性定常系统的渐近稳定与经典控制理论中的稳定性一致。
【例6.1.２】已知受控系统状态空间表达式为u x x ⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-=121160 ， []x y 10= 试分析系统的内部稳定性。
解：该系统为线性定常系统，其特征方程为：0)3)(2(6)1(=+-=-+=-λλλλλA I于是系统的特征值为21=λ，32-=λ，故系统不是内部稳定（渐近稳定）的。
三、内部稳定性与外部稳定性的关系１、若系统是内部稳定（渐近稳定）的，则一定是外部稳定（BIBO 稳定）的。
2、若系统是外部稳定（BIBO 稳定）的，且又是可控可观测的，则系统是内部稳定（渐近稳定）的。
此时内部稳定和外部稳定是等价的。
§6-2 李雅普诺夫稳定性的基本概念一、自治系统没有外界输入作用的系统叫自治系统。
自治系统可用如下的显含时间t 的状态方程来描述),(t x f x = ， 00)(x t x =，0t t ≥………………………… (6-1)其中x 为n 维状态向量。
),(t x f 为线性或非线性、定常或时变的n 维向量函数。
假定方程的解为),;(00t x t x ，式中0x 和0t 分别为初始状态向量和初始时刻，那么初始条件0x 必满足0000),;(x t x t x =。
如果系统为线性系统，则(6-1)方程中的),(t x f 为x 的线性向量函数，或按习惯表示为：x t A x)(= ， 00)(x t x =，0t t ≥………………………… (6-2)二、平衡状态设控制系统的齐次状态方程为：),(t x f x = ， 00)(x t x =，0t t ≥对于所有t ，如果存在某个状态e x ，满足：0),(==t x f xe e则称e x 为系统的一个平衡点或平衡状态。
平衡状态的各分量相对时间不再发生变化。
若已知系统状态方程，令0=x所求得的解x ，便是平衡状态。
在大多数情况下，0=e x （状态空间原点）为系统的一个平衡状态。
当然，系统也可以有非零平衡状态。
如果系统的平衡状态在状态空间中表现为彼此分隔的孤立点，则称其为孤立平衡状态。
对于孤立平衡状态，总是可以通过移动坐标系而将其转换为状态空间的原点，所以在下面的讨论中，假定原点即0=e x 为平衡状态。
所谓系统运动的稳定性，就是研究其平衡状态的稳定性，也即偏离平衡状态的受扰运动，能否只依靠系统内部的结构因素而返回到平衡状态，或者限制在平衡状态的附近。
线性定常系统Ax x= ，其平衡状态满足0=e Ax ，只要A 非奇异，系统只有唯一的零解，即存在一个位于状态空间原点的平衡状态；当A 为奇异矩阵时，0=e Ax 有无数解，也就是系统有无数个平衡状态。
对于非线性系统，0),(=t x f e 的解可能有多个，由系统状态方程决定。
三、李雅普诺夫意义下稳定设系统初始状态0x 位于以平衡状态e x 为球心、半径为δ的闭球域)(δS 内，即 ),(00t x x e εδ≤- 0t t =若能使系统方程的解),;(00t x t x 在∞→t 的过程中，都位于以e x 为球心、任意规定的半径为ε的闭球域)(εS 内，即ε≤-e x t x t x ),;(00 0t t ≥则称该e x 是稳定的，通常称e x 为李雅普诺夫意义下稳定的平衡状态。
以二维系统为例，上述定义的平面几何表示如图6-1所示。
式中∙称为向量的范数，其几何意义是空间距离的尺度。
如e x x -0表示状态空间中0x 至e x 点之间的距离的尺度，其数学表达式为2021100)()(ne n e e x x x x x x -++-=-在上述稳定性的定义中，如果δ只依赖于ε而和初始时刻0t 的选取无关，则称平衡状态e x 是一致稳定的。
对于定常系统，e x 的稳定等价于一致稳定。
但对于时变系统，e x 的稳定并不意味着其为一致稳定。
要注意到，按李雅普诺夫意义下的稳定性定义，当系统作不衰减的振荡运动时，将在平面描绘出一条封闭曲线，但只要不超过)(εS ，则认为稳定，这同经典控制理论中线性定常系统稳定性的定义是有差异的。
四、渐近稳定设e x 是系统),(t x f x= ， 00)(x t x =，0t t ≥的一个孤立平衡状态，如果 （1）e x 是李雅普诺夫意义下稳定的；0x - 初始状态e x - 平衡状态图6-1 二维空间李雅普诺夫意义下稳定性的几何解释示意图（2）0),;(lim00→-∞→e t x t x t x则称此平衡状态是渐近稳定的。
实际上，渐近稳定即为工程意义下的稳定，也就是经典控制理论中所讨论的稳定性。
当δ与0t 无关时，称平衡状态e x 是一致渐近稳定的。
五、大范围（全局）渐近稳定当初始条件扩展到整个状态空间，且具有渐近稳定性时，称此平衡状态e x 是大范围渐近稳定的。
对于严格线性系统，如果它是渐近稳定的，必具有大范围渐近稳定性，这是因为线性系统稳定性与初始条件的大小无关。
一般非线性系统的稳定性与初始条件的大小密切相关，其δ总是有限的，故通常只能在小范围内渐近稳定。
当δ与0t 无关时，称平衡状态e x 是大范围一致渐近稳定。
六、不稳定不管把域)(δS 取得多么小，也不管把域)(εS 取得如何的大，只要在)(δS 内存在一个非零初始状态0x ，使得有0x 出发的运动轨迹超出域)(εS 以外，则称平衡状态e x 是不稳定的。
线性系统的平衡状态不稳定，表征系统不稳定。
非线性系统的平衡状态不稳定，只说明存在局部发散的轨迹，至于是否趋于无穷远，要看)(εS 域外是否存在其它平衡状态，若存在，如有极限环，则系统仍是李雅普诺夫意义下稳定的。
下面介绍李雅普诺夫理论中判断系统稳定性的方法。
§6-3 李雅普诺夫稳定性判别方法一、李雅普诺夫第一法（间接法）这是利用状态方程解的特性来判别系统稳定性的方法，它适用于线性定常、线性时变以及非线性函数可线性化的情况。
由于本章主要研究线性定常系统，所以在此仅介绍线性定常系统的特征值判据。
0x - 初始状态e x - 平衡状态图6-2 二维空间渐近稳定性的几何解释示意图线性定常系统的特征值判据：对于线性定常系统Ax x= ，0)0(x x =，0≥t 有 （1）系统的平衡状态是在李雅普诺夫意义下稳定的充分必要条件是，A 的所有特征值均具有非正（负或零）实部，且具有零实部的特征值为A 的最小多项式的单根。
（2）系统的惟一平衡状态0=e x 是渐近稳定的充分必要条件是，A 的所有特征值均具有负实部。
二、李雅普诺夫第二法（直接法）根据古典力学中的振动现象，若系统能量（含动能与位能）随时间推移而衰减，系统迟早回到达平衡状态，但要找到实际系统的能量函数表达式并非易事。
李雅普诺夫提出，可虚构一个能量函数（后来被称为李雅普诺夫函数），一般它与n x x x ,,,21 及t 有关，记为),(t x V 。
若不显含t ，则记为)(x V 。
它是一个标量函数，考虑到能量函数总是大于零，故为正定函数。
能量衰减特性用),(t x V或)(x V 表示。
李雅普诺夫第二法利用V 及V的符号特征，直接对平衡状态稳定性作出判断，无需求出系统状态方程的解，故称直接法。
用此方法解决了一些用其它稳定性判据难以解决的非线性系统的稳定性问题，遗憾的是对一般非线性系统仍未形成构造李雅普诺夫函数的通用方法。
对于线性系统，通常用二次型函数Px x T 作为李雅普诺夫函数。
1、标量函数)(x V 符号性质的几个定义（1）正定性标量函数)(x V 在域s 中对所有非零状态（0≠x ）有0)(>x V 且0)0(=V ，则称)(x V 在域s 内正定。
如2221)(x x x V +=是正定的。
（2）负定性标量函数)(x V 在域s 中对所有非零状态（0≠x ）有0)(<x V 且0)0(=V ，则称)(x V 在域s 内负定。
如)()(2221x x x V +-=是正定的。
（3）正半定性0x - 初始状态图6-3 二维空间不稳定的几何解释示意图0)0(=V ，且标量函数)(x V 在域s 内某些非零状态处有0)(=x V ，而在其它非零状态处有0)(>x V 且，则称)(x V 在域s 内正半定。
