现代控制理论-4

1、1,4.1 关于稳定性的几个定义 4.2 李亚普诺夫第一方法 4.3 李亚普诺夫第二方法 4.4 非线性系统的Lyapunov稳定性分析 4.5 线性定常系统的Lyapunov稳定性分析 4.6 Lyapunov第二方法在线性系统设计中 的应用,4 控制系统的稳定性Lyapunov第二方法,现代控制理论基础,2,引 言,1892年，俄国数学家李亚普诺夫（Lyapunov）在其发表的论文运动稳定性的一般问题(The general problem of motion stability)中提出了两种用于分析由常微分方程描述的系统稳定性的方法：线性化方法和直接法。(linearization me

2、thod and direct method) 线性化方法又称第一方法或间接法，它的基本思路是通过系统状态方程的解来判别系统的稳定性。对于线性定常系统，只需解出特征方程的根即可作出稳定性判别。对于一般非线性系统，则可通过线性化处理，然后再根据线性化方程的特征根来判断系统的稳定性。(The linearization method draws conclusions about a nonlinear systems local stability around an equilibrium point from the stability properties of its linear ap

3、proximation.,现代控制理论基础,3,引 言,直接法又称第二方法，它通过构造一个称之为Lyapunov函数的纯量函数来判别系统的稳定性。它是分析线性和非线性、时变和定常动力学系统稳定性的一种普遍方法，而且还可以有效地应用于系统的分析和综合。 The direct method is not restricted to local motion, and determines the stability properties of a nonlinear system by constructing a scalar “energy-like” function for the sys

4、tems and examining the functions time variation. Lyapunovs direct method has become the most important tool for nonlinear system analysis and design,现代控制理论基础,4,4.1 关于稳定性的几个定义,4.1.1 平衡状态(Equilibrium states) 定义 动力学系统 的平衡状态是满足 的那一类状态，用 表示。即 对于线性定常系统 如果矩阵A是非奇异的，则系统只存在唯一的一个平衡状态 =0，而当A为奇异时，则存在无穷多个平衡状态。 对于

5、非线性系统，通常有一个或多个平衡状态,现代控制理论基础,5,4.1.2 Lyapunov意义下的稳定性(stability in the sense of Lyapunov or Lyapunov stability) 系统受扰动作用后将偏离其平衡状态，随后系统可能出现下列情况：（1）系统的自由响应有界；（2）系统的自由响应不但有界，而且最终回到平衡状态；（3）系统的自由响应无界。Lyapunov把上述三种情况分别定义为稳定、渐近稳定和不稳定。下面分别给出其定义,1) Lyapunov意义下的稳定性 用下式表示以平衡状态 为圆心、半径为k的球域： 式中， 称为欧几里德范数，在n维状态空间中，有

6、,4.1 关于稳定性的几个定义,现代控制理论基础,6,定义4-1 对于任意给定的每个实数 ，都对应存在 另一实数 ，使得一切满足不等式 的 任意初始状态 x0 出发的系统响应 x，在所有时间内都满足 ,则称平衡状态 在Lyapunov意义下是稳定的。 几何含义：给定以任意正数 为半径的球域，当t无限增大时， 从球域内 出发的轨迹总不越 出球域 ，那么平衡状态 是 Lyapunov 意义下稳定的。 以二维空间为例，上述定义几 何解释如右图所示,4.1 关于稳定性的几个定义,二维空间中稳定平衡状态示意图,现代控制理论基础,7,2)渐近稳定(asymptotic stability) 定义4-2 若

7、平衡状态 是Lyapunov意义下稳定的，并且当 t 趋近于无穷大时，x(t)趋近于 ， 即 ，则称平衡 状态 渐近稳定。 以二维空间为例，上述定义 几何解释右图所示。 （3）大范围渐近稳定 定义4-3 如果平衡状态 是渐近稳定的，且其渐近稳定的最大范围是整个状态空间，那么平衡状态 就称为大范围渐近稳定。 (asymptotic stability in the large,4.1 关于稳定性的几个定义,二维空间中渐近稳定平衡状态示意图,现代控制理论基础,8,很明显，大范围渐近稳定的必要条件是整个状态空间中只 存在一个平衡状态。 对于线性系统，如果其平衡状态是渐近稳定的，那么它一 定是大范围渐

8、近稳定的。如果系统不是大范围渐近稳定的， 那么就要遇到一个确定渐近稳定的最大范围的问题，这通常 非常困难。 （4）不稳定(instability) 定义4-4 如果对于某一实数 ，不 论 取得多么小，在 内总存在一个 初始状态x0 ，由此出发的轨迹最终越出 ，即 ，则称平衡状态 不稳定。 以二维空间为例，上述定义 几何解释右图所示,4.1 关于稳定性的几个定义,二维空间中不稳定平衡状态示意图,现代控制理论基础,9,4.2 李亚普诺夫第一方法,Lyapunov第一方法又叫间接法。它的基本思路是解系统 方程，然后根据方程的解判别系统的稳定性。 (1)对于线性定常系统只需求出特征值就可判别其稳定性。

9、 (2)对于非线性系统，则必须首先将系统的状态方程线性化， 然后用线性化方程（即一次近似式）的特征值来判别系统的 稳定性,1）线性系统稳定性的判别 定理4-1 线性连续定常系统 渐近稳定的充分必要条件是矩阵A的所有特征值均具有负实部。 例4-1 试分析如下系统的稳定性。 解 矩阵A的特征方程为 矩阵A的特征值为 ，故系统不是渐近稳定的,现代控制理论基础,10,以上研究的是系统平衡状态的稳定性，也称系统内部的稳定性。但从工程意义上看，往往更重视系统的输入输出稳定性，下面给出输入输出稳定性的定义。 定义4-5 若所有的有界输入引起的零状态响应的输出是有界的，则称系统为有界输入有界输出稳定。(BIB

10、O) 有界是指如果一个函数h(t)，在时间区间 内，它的幅值不会增至无穷大，即存在一个实常数K，使得对于 内所有，恒有 ，则称h(t)有界。 定理4-2 线性连续定常系统 是输入输出稳定的充要条件是其传递函数 的极点都位于S的左半平面内,4.2 李亚普诺夫第一方法,现代控制理论基础,11,例4-2：试分析系统 的输入输出稳定性。 解 系统的传递函数为 由于系统传递函数的极点位于S的左半平面，故系统是输入输出稳定的。这是因为具有正实部的极点 被系统的零点对消了，而在系统的输入输出特性中没有表现出来。 结论：若系统 是渐近稳定的，则它也是输入输出稳定的；若系统是输入输出稳定的，且又是能控能观测的，

11、则系统渐近稳定,4.2 李亚普诺夫第一方法,现代控制理论基础,12,2）非线性系统的稳定性分析 设系统在零输入下的状态方程为 f(x)是与x同维数的向量函数，它对于状态向量x是连续可微的。将非线性向量函数f(x)在平衡状态 附近展开成泰勒级数，即,4.2 李亚普诺夫第一方法,雅可比（Jacobian）矩阵。 引入偏差向量 ，即 可导出系统的线性化方程， 或称一次近似式为 式中,现代控制理论基础,13,假如矩阵A的所有特征值都具有负实部，则原非线性系统的平衡状态 是渐近稳定的，且系统的稳定性与高阶项无关。 如果一次近似式中矩阵A的特征值中至少有一个实部为正的特征值，那么原非线性系统的平衡状态 是

12、不稳定的。 如果一次近似式中矩阵A的特征值中虽然没有实部为正的特征值，但有实部为零的特征值，那么原非线性系统的平衡状态 的稳定性要由高阶项决定,4.2 李亚普诺夫第一方法,现代控制理论基础,14,If the linearized system is strictly stable(i.e, if all eigenvalues of A are strictly in the left-half complex plane), then the equilibrium point is asymptotically stable(for the actual nonlinear system

13、). If the linearized system is unstable(i.e, if at least one eigenvalue of A is strictly in the right-half complex plane), then the equilibrium point is unstable(for the nonlinear system). If the linearized system is marginally stable(i.e, if all eigenvalues of A are in the left-half complex plane,

14、but at least one of them is on the jw axis), then one cannot conclude anything from the linear approximation (the equilibrium point may be stable, asymptotically stable, or unstable for the nonlinear system,4.2 李亚普诺夫第一方法,Lyapunovs linearization method,现代控制理论基础,15,例4-3 描述振荡器电压产生的Vanderpol方程为 试确定系统渐近稳

15、定Q的取值范围。( ) 解 令 ， ，上式可化为 显然，这是一个非线性方程，其平衡状态xe为,4.2 李亚普诺夫第一方法,将状态方程线性化，有 且A的特征方程为 根据Lyapunov第一方法，若原非线性系统平衡状态 xe 是渐 近稳定的，则要求 和 。由于 ，则欲 使 ，必须有 即,现代控制理论基础,16,4.3 李亚普诺夫第二方法,Lyapunov第二方法又称直接法。它不必通过对运动方程 的求解而直接确定系统平衡状态的稳定性，它是建立在用能 量观点分析稳定性的基础上。若系统的平衡状态是渐近稳定 的，则系统受激励后其贮存的能量将随着时间推移而衰减， 当趋于平衡状态时，其能量达到最小值。反之，如

16、果系统的 平衡状态是不稳定的，则系统将不断地从外界吸收能量，其 贮存的能量将越来越大。 Lyapunov第二方法就是用V(x)和 的正负来判别系统的 稳定性。 对于一个给定系统，只要能找到一个正定的标量函数V(x)， 而 是半负定的，那么系统就是稳定的，称V(x)为系统的一 个Lyapunov函数。 本节介绍Lyapunov关于稳定、渐近稳定以及不稳定的几个 定理。在介绍这些定理前先介绍一下有关标量函数V(x)的符号 性质,现代控制理论基础,17,4.3.1预备知识 (1) 标量函数V(x)的符号性质(Scalar function) 设V(x)为由n维矢量x所定义的标量函数， 且在 x=0

17、处，恒有V(x)=0。对所有在域 中的任何非零矢量 x， ，则称V(x)是正定的。(positive definiteness) ，则称V(x)是半正定的。 (positive semidefiniteness) ，则称V(x)是负定的。 (negative definiteness) ，则称V(x)是半负定的。 (negative semidefiniteness) 或 ，则称V(x)是不定的。 (indefiniteness,4.3 李亚普诺夫第二方法,现代控制理论基础,18,2) 二次型标量函数(Quadratic forms) （3）P的各阶主子行列式为(successive prin

18、cipal minors) ，,4.3 李亚普诺夫第二方法,现代控制理论基础,19,二次型函数V(x)的符号性质可用赛尔维斯特准则来判断。 (Sylvesters criterion) 二次型V(x)为正定的充分必要条件为矩阵P的所有主子行列式为正。 二次型V(x)为负定的充分必要条件为P的各阶主子式行列式满足 二次型V(x)为半正定的充分必要条件为P的各阶主子式行列式满足 二次型V(x)为半负定的充分必要条件为P的各阶主子式行列式满足,4.3 李亚普诺夫第二方法,现代控制理论基础,20,Example. Determine whether or not the following quadr

19、atic form is negative definite. Solution. The given quadratic form Q can be written Applying Sylvesters criterion The quadratic form is negative definite,4.3 李亚普诺夫第二方法,现代控制理论基础,21,Lyapunov函数 设系统的状态方程为 （4.1） x是系统的状态变量，若标量函数V(x)可微，则它对 时间t的导数为 定义：如果在一个球域内，函数V(x)正定且具有连续 的偏导数，它沿着系统 ( 4.1 ) 的解对时间的导数是半 负定的

20、，即 则称V(x)是系统 ( 4.1 ) 的一个Lyapunov函数,4.3 李亚普诺夫第二方法,现代控制理论基础,22,Lyapunov function If, in a ball BR0, the function V(x) is positive definite and has continuous partial derivatives, and if its time derivative along any state trajectory of system (4.1) is negative semi-definite, i.e, Then V(x) is said to

21、be a Lyapunov funtion for the system (4.1,4.3 李亚普诺夫第二方法,现代控制理论基础,23,4.3.2 Lyapunov第二方法的几个定理 定理4-3 设系统的状态方程为 xe0是系统唯一的平衡状态。如果存在一个具有连 续一阶偏导数的标量函数V(x)，并且满足下列条件： ； ， 则平衡状态xe渐近稳定。 如果随着 ，有 ，则平衡状态 xe 大范围渐近稳定。(径向无界 radially unbounded,4.3 李亚普诺夫第二方法,现代控制理论基础,24,例4-4 非线性系统的状态方程为 xe=0是其唯一的平衡状态，试判别平衡状态xe的稳定性。 解

22、取标量函数为 显然 V(x) 是正定的。V(x) 对时间的导数为 将状态方程代入上式，得 ，显然 是负定 的，函数V(x)满足定理4-3的条件和，则系统的平衡状态是 渐近稳定的，V(x)是系统的一个Lyapunov函数。 由于当 ，有 ，满足定理4-3的条件，所以 系统的平衡状态是大范围渐近稳定的,4.3 李亚普诺夫第二方法,现代控制理论基础,25,4.3 李亚普诺夫第二方法,例4-5 设系统的状态方程为 试确定系统平衡状态的稳定性。 解 令 ， ，求得原点(0,0) 为给定系统的唯一 平衡状态。若仍取标量函数为 则 当 时， ，因此 不是负定的，而是 半负定的，因此所选V(x)不满足定理4-

23、3的条件。 现另选取 显然V(x)是正定的。可得 ，它是负定的，所 以该 V(x) 是系统的一个Lyapunov函数。系统在原点处的平衡 状态是渐近稳定的。又因为 ，有 ，故系统 的平衡状态是大范围渐近稳定的,现代控制理论基础,26,定理应用需要注意两点： 1. Lyapunov稳定性定理只是判断系统平衡状态稳定性的充分条件，而不是充要条件。即如果所选取的正定函数的导数不是负定的，并不能断言该系统不稳定，因为很可能还没有找到合适的函数。 2. 寻找 Lyapunov函数的困难在于它的导数必须是负定的，而这个条件是相当苛刻的。能否把为负定的这个条件用半负定来代替呢,4.3 李亚普诺夫第二方法,现

24、代控制理论基础,27,定理4-4 设系统的状态方程为 xe =0是系统唯一的平衡状态。若存在 V(x) 满足下列条件 ； ， 则称系统在原点处的平衡状态是稳定的。 对于任意初始状态 ，除当 x=0 时， 外 对 ， 不恒等于零。则系统的平衡状态渐近稳定。 若当 ，有 ，则平衡状态大范围渐近稳定。 定理4-5 设系统的状态方程为 xe =0是系统平衡状态。如果存在一个标量函数V(x)，它具有连续的一阶偏导数且满足下列条件： 在原点的某一邻域内是正定的； 在同样的邻域内也是正定的。 那么系统的平衡状态是不稳定的,4.3 李亚普诺夫第二方法,现代控制理论基础,28,4.3 李亚普诺夫第二方法,例4-

25、6 设系统的状态方程为 试确定系统平衡状态的稳定性。 解 原点 为给定系统的唯一平衡状态。若选取二次型标量函数为Lyapunov函数，即 则 当 时， ；当 时 ，因此 为半负定的，故系统的平衡状态是Lyapunov意义下稳定的。那么 能否是渐近稳定的呢？为此，还需要进一步分析当 时， 是否恒为零。 如果假设 恒等于零，必然要求 在 时恒等于 零 ；而 恒等于零又要求 恒等于零。但从状态方程 可知，在 时，若要求 和 ，必须满足 的条件。 这就表明在 时 ， 不恒等于零，所以系统的平衡状态渐近稳定。 又因为 ，有 ，故系统的平衡状态大范围渐近稳定,现代控制理论基础,29,例4-7 设系统的状态

26、方程为 试确定系统平衡状态的稳定性。 解 显然 ，即原点为平衡状态。选取正定的标量函数 ，则 V(x)为正定的，又 也为正定的，故定理4-5的条件均满足，因此系统的平衡状态是不稳定的,4.3 李亚普诺夫第二方法,现代控制理论基础,30,4.3.3 几点说明 应用Lyapunov第二方法分析系统稳定性的关键在于如何找到Lyapunov函数V(x)，然而Lyapunov稳定性理论本身并没有提供构造Lyapunov函数的一般方法。下面简略概括一下Lyapunov函数的属性。 Lyapunov函数是一个标量函数。 对于给定系统，如果存在Lyapunov函数，它不是唯一的。 Lyapunov函数最简单的

27、形式是二次型函数，即 。其中P为实对称正定阵。 对于一般情况而言，Lyapunov函数不一定都是简单的二次型函数。但对线性系统而言，其Lyapunov函数一定可以用二次型函数来构造,4.3 李亚普诺夫第二方法,现代控制理论基础,31,在线性系统中，如果平衡状态是局部渐近稳定的，那么该平衡状态一定也是大范围渐近稳定的。然而在非线性系统中，稳定性却可能只具有局部性质。例如，不是大范围渐近稳定的平衡状态，却可能是局部渐近稳定的。因此，线性系统的渐近稳定性和非线性系统的渐近稳定性含义是不同的。 两种构造非线性系统Lyapunov函数的方法： (1)克拉索夫斯基（Krasovskii）方法; (2)变量

28、梯度法（Variable-gradient method）。 4.4.1 Krasovskii方法（ 雅克比(Jacobian)矩阵法） 非线性系统的状态方程为 假设xe =0。Krasovskii用状态向量x的导数来构造Lyapunov函数。即令 其中P为对称正定矩阵,4.4 非线性系统的Lyapunov稳定性分析,现代控制理论基础,32,4.4 非线性系统的Lyapunov稳定性分析,为验证 是否为负定， V(x)对时间t求导数，有 考虑到 式中 称为系统的Jacobian矩阵。 整理得 式中 可以证明，若Q是负定的，则 也是负定的,现代控制理论基础,33,4.4 非线性系统的Lyapun

29、ov稳定性分析,结论： 对于非线性系统 若选取正定对称矩阵P，且使 为负定的，则 系统在xe=0处是渐近稳定的。 如果 ， 有 ，则系统在xe=0处 是大范围渐近稳定的。 例4-7 试用Krasovskii方法判别下列系统 在原点处是大范围渐近稳定的。 解 按照Krasovskii方法选取P=I，故有 由于,现代控制理论基础,34,4.4 非线性系统的Lyapunov稳定性分析,从而有 , 故有 且 由 Sylvester 判据知 Q 是负定的。则系统的Lyapunov函数为 显然，当 ， 。所以该系统在原点处是大范 围渐近稳定的。 当非线性特性能用解析式表达时，且系统的阶次又不太高 时，用K

30、rasovskii方法分析这类非线性系统的渐近稳定性还是 比较方便的。它是充分条件，而非必要条件,现代控制理论基础,35,4.4 非线性系统的Lyapunov稳定性分析,4.4.2 变量梯度法 D.G.Shultz和J.E Gibson在1962年提出来的。主要思路是先假设一个旋度为零的梯度gradV，然后根据它再确定V(x)。 假设非线性系统 的平衡状态xe =0是渐近稳定的，则其Lyapunov函数V(x)存在，且函数V(x)一定具有唯一的梯度gradV 若Lyapunov函数V(x)是x的显函数,而不是时间t的显函数，则V(x)对时间的导数为,现代控制理论基础,36,4.4 非线性系统的

31、Lyapunov稳定性分析,写成矩阵的形式为 因此D.G.Shultz和J.E Gibson提出，先假设gradV为某一形式， 譬如为 并根据 为负定的要求确定gradV，进而确定上式中的未定 系数，然后由这个gradV 按下式导出V(x,现代控制理论基础,37,4.4 非线性系统的Lyapunov稳定性分析,如果求出的V(x)是正定的，这就是给定系统所要构造的 Lyapunov函数。 如果V(x)的梯度向量gradV的线积分与路径无关的话，那 就必须要求gradV的旋度为零。即要求gradV满足如下方程 其中 对于一个n阶系统，应有 n(n-1)/2 个旋度方程。如 n=3，则有 下列三个旋

32、度方程,现代控制理论基础,38,4.4 非线性系统的Lyapunov稳定性分析,综上所述，如果非线性系统的平衡状态xe=0是渐近稳定， 则可按如下步骤求得系统的Lyapunov函数V(x)： 按某一形式给出gradV； 从gradV求出 ，并限定它为负定或至少是半负定的； 用式旋度方程确定gradV中的未定系数； 再核对一下 ，因为上一步计算可能使它改变； 求出V(x)。 例4-8 试用变量梯度法判定非线性系统 在原点处是渐近稳定的,现代控制理论基础,39,4.4 非线性系统的Lyapunov稳定性分析,解 设所求Lyapunov函数V(x)的梯度为如下形式 于是V(x)的导数为 试探地选取

33、则 如果 ， 则 是负定的，将 代入梯度公式有,现代控制理论基础,40,4.4 非线性系统的Lyapunov稳定性分析,注意到 满足旋度方程，所以 由这个Lyapunov函数，我们可以说在 范围内系统 是渐近稳定的。 为了说明由上式所确定的Lyapunov函数不是唯一的，我们 重新选择梯度表达式中未定系数为,现代控制理论基础,41,4.4 非线性系统的Lyapunov稳定性分析,于是 ，在整个状态平面上是负定的。 此时 ，由于 满足旋度方程，所以V(x)为 显然当 时Lyapunov函数正定，系统的原点在 范围内是渐近稳定的。系统渐近稳定的范围比前面的大，因 此这次构造的Lyapunov函数优

34、于前者,现代控制理论基础,42,4.5 线性定常系统的Lyapunov稳定性分析,主要内容：用Lyapunov第二方法来分析线性连续定常系统以及线性定常离散系统的稳定性。 4.5.1 线性连续定常系统的稳定性分析 线性连续定常系统的状态方程为 式中x为n维状态向量，A是nn阶常数矩阵。假设A是非奇异的，那么唯一的平衡状态在原点。 所选的Lyapunov函数为二次型函数 其中P为nn维实对称正定矩阵。 V(x)对时间的导数为 则有 欲使系统在原点处是渐近稳定的，则要求 是负定的， 因此必须有 式中 为正定对称矩阵,现代控制理论基础,43,4.5 线性定常系统的Lyapunov稳定性分析,据上所述

35、，为判断线性定常系统在平衡状态的稳定性，应先选一个矩阵P，以使V(x)为正定，然后根据式子求出Q，检验Q是否为正定的，若是，则该平衡状态是渐近稳定的。但是，在实际中通常的做法是首先指定一个正定的矩阵Q ，然后检验由式 所确定的P是否也是正定的。之所以要这样做，是因为这比首先指定一个正定矩阵P，然后检验Q是否也是正定的做法要方便得多。但是要注意，P为正定是一个充分必要的条件。 归纳上述情况可得如下的定理,现代控制理论基础,44,定理4-6 线性连续定常系统 其中x是n维状态向量， A是nn阶常数非奇异矩阵。 系统在平衡状态xe =0处大范围渐近稳定的充分必要条件是 给定一个正定对称矩阵Q，存在一

36、个正定对称矩阵 P 满足方程 上式又称为Lyapunov方程。 标量函数 是系统的 一 个Lyapunov 函数,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,45,Theorem 4-6 Consider the system described by where x is a state vector (n-dimensional vector) and A is an nn constant nonsingular matrix. A necessary and sufficient condition that the equilibrium state xe =

37、0 be asymptotically stable in the large is that, given any positive-definite real symmetric matrix Q，there exists a positive-definite real symmetric matrix P such that The scalar function is a Lyapunov function for this system,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,46,在应用这个定理时，应注意以下几点： （1）如果任取一个正定矩阵Q，则满足

38、矩阵方程 的实对称矩阵P是唯一的，若P是正定的，则平衡状态 xe =0是渐近稳定的。P的正定性是一个充要条件。 （2）如果 沿任意一条轨迹不恒等于零，则Q 可取为半正定的对称矩阵。 （3）只要矩阵Q选成正定的(或在许可时选为半正定的)，那么 对系统渐近稳定性判定的最终结果与Q点具体选取无关， 为计算方便，在选用正定实对称矩阵Q时，常取 Q=I ， 矩阵P可由 确定，然后检验P是不是正定的,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,47,判断的一般步骤： 定理给出了构造线性定常系统渐近稳定的李氏函数的通用方法 （1）确定系统的平衡状态。 （2）取正定矩阵Q=I，且设实对

39、称矩阵P为 （3）解矩阵方程 ，求出P （4）利用赛尔维斯特判据，判断 P 的正定性。若P0，正定， 则系统渐近稳定，且,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,48,例4-9 设二阶线性定常系统的状态方程为 显然，原点是系统的平衡状态。试确定该系统平衡 状态的稳定性。 解 设Lyapunov函数为 矩阵P由下式确定 上式可写为,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,49,将矩阵方程展开，可得联立方程组 解方程组可得 下面检验矩阵P的正定性，P的各阶主子行列式 P是正定的。因此，系统的平衡状态大范围渐近稳定，而系统 的一个Lyapuno

40、v函数为,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,50,例4-10 设系统的状态方程为 试确定系统增益K的稳定范围。 解 因 ，故原点是系统的唯一的平衡状态。 假设选取半正定的实对称矩阵Q为 为了说明这样选取Q半正定是正确的，尚需证明 沿任意轨迹应不恒等于零,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,51,由于 显然， 的条件是 ，但是由状态方程可推知，此时 ，这表明只有在原点，即在平衡状态 处才使 ，而沿任一轨迹 均不会恒等于零。因此，允许选 取Q为半正定的。 根据 ，有 可解出矩阵 为使P为正定矩阵，其充要条件是 和 即 ，这表明当 时

41、，系统的原点是大范围渐近 稳定的。 P是正定的。因此，系统的平衡状态大范围渐近稳定，而系统 的一个Lyapunov函数为,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,52,4.5.2 线性定常离散系统的稳定性分析 设线性定常离散系统状态方程为 式中，G为非奇异矩阵，系统的平衡状态是原点。 假设取如下正定二次型函数,4.5 线性定常系统的Lyapunov稳定性分析,计算 有 令 上式称为离散系统的Lyapunov方程。于是有,现代控制理论基础,53,定理4-7 线性定常离散系统 其中x是n维状态向量， G是nn阶常数非奇异矩阵。 系统平衡状态渐近稳定的充分必要条件是给定任

42、一实正定 对称矩阵Q，存在一个实正定对称矩阵P，使得 成立。 是系统的一个Lyapunov函数。 在实际应用中，通常取Q=I。 如果 不恒为零，矩阵Q也可以取为半正定,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,54,Theorem 4-7 Consider the system described by where x is a state vector (n-dimensional vector) and G is an nn constant nonsingular matrix. A necessary and sufficient condition that

43、 the equilibrium state xe =0 be asymptotically stable in the large is that, given any positive-definite real symmetric matrix Q，there exists a positive-definite real symmetric matrix P such that The scalar function is a Lyapunov function for this system. If does not vanish identically along any solu

44、tion series, then Q may be chosen to be positive semidefinite,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,55,判断的一般步骤： （1）确定系统的平衡状态。 （2）选正定矩阵Q，一般选 Q=I，由矩阵方程 解出P。 （3）判断 P 的正定性，若P0，系统渐近稳定，且 为系统的李氏函数,4.5 线性定常系统的Lyapunov稳定性分析,现代控制理论基础,56,4-10 设线性定常离散系统为 试确定系统在平衡点处渐近稳定的条件。 解：选 代入矩阵方程 即,4.5 线性定常系统的Lyapunov稳定性分析,现代控制

45、理论基础,57,4.5 线性定常系统的Lyapunov稳定性分析,展开化简整理后得 可解出 要使P为正定的实对称矩阵，必须满足 和 可见只有当系统的极点落在单位圆内时，系统在平衡点处才是大范围渐近稳定的。显然，这个结论与经典理论中采样控制系统稳定判据分析的结论是一致的。 由定理可知，系统渐近稳定的充分必要条件是P必须正定， 即 ，亦即,现代控制理论基础,58,4.6.1 线性定常系统的校正 例4-11设待校正系统的状态方程为 试用Lyapunov第二方法考虑其校正方案，使系统的平衡状态 成为渐近稳定的。 解 设选取Lyapunov函数为 将 对时间求导数，得,4.6 Lyapunov第二方法在线性系统设计中的应用,现代控制理论基础,59,由于除当 时， 外， 不恒等于零，因此要 使 成为该系统的一个Lyapunov函数只需 为半负定，因此要求 式中K为正常数。 上述