现代控制理论 - 万水书苑-出版资源网
20
0
0
全文
(2) 现代控制理论. (t0 ; x0 , t0 ) x0 在(4.1)的系统中,若存在 f ( xe , t ) 0 , t. (4.2). 则称 xe 为系统的平衡状态或平衡点。 如果系统是线性定常的,也就是说 f ( x, t ) Ax ,则当 A 为非奇异矩阵时,系统存在一个 唯一的平衡状态;当 A 为奇异矩阵时,系统将存在无穷多个平衡状态。对于非线性系统,可 有一个或多个平衡状态,这些状态对应于系统的常值解(对所有 t,总存在 x xe )。平衡状态 的确定不包括(4.1)的系统微分方程的解,只涉及(4.2)的解。 任意一个孤立的平衡状态(即彼此孤立的平衡状态)或给定运动 x g (t ) 都可通过坐标变 换,统一化为扰动方程 x f ( x , t ) 的坐标原点,即 f (0, t ) 0 或 x 0 。在本章中,不失一般性, e. 将仅讨论扰动方程关于原点 xe 0 处之平衡状态的稳定性问题。这种“原点稳定性问题”由于 使问题得到极大简化,而不会丧失一般性,从而为稳定性理论的建立奠定了坚实的基础,这也 是 Lyapunov 的一个重要贡献。 4.2.2. Lyapunov 意义下的稳定性定义. 下面首先给出 Lyapunov 意义下的稳定性定义,然后回顾某些必要的数学基础,以便在 4.3 节具体给出 Lyapunov 稳定性定理。 定义 4.1 (Lyapunov 意义下的稳定)设系统 x f ( x, t ) , f ( xe , t ) 0 的平衡状态 xe 0 的 H 邻域为 x xe ≤ H. 其中 H 0 , 为向量的 2 范数或欧几里德范数,即 x xe [( x1 x1e ) 2 ( x2 x2 e ) 2 ( xn xne ) 2 ]1/ 2. 类似地,也可以相应定义球域 S()和 S ( ) 。 在 H 邻域内,若对于任意给定的 0 H ,均有: (1)如果对应于每一个 S( ),存在一个 S ( ) ,使得当 t 趋于无穷时,始于 S ( ) 的轨迹 不脱离 S( ),则系统(4.1)的平衡状态 xe 0 称为在 Lyapunov 意义下是稳定的。一般地, 实数与有关,通常也与 t0 有关。如果与 t0 无关,则此时平衡状态 xe 0 称为一致稳定的平 衡状态。 以上定义意味着:首先选择一个域 S(),对应于每一个 S(),必存在一个域 S ( ) ,使得 当 t 趋于无穷时,始于 S ( ) 的轨迹总不脱离域 S()。 (2)如果平衡状态 xe 0 ,在 Lyapunov 意义下是稳定的,并且始于域 S ( ) 的任一条轨 迹,当时间 t 趋于无穷时,都不脱离 S(),且收敛于 xe 0 ,则称系统(4.1)的平衡状态 xe 0 为渐近稳定的,其中球域 S ( ) 被称为平衡状态 xe 0 的吸引域。 实际上,渐近稳定性比纯稳定性更重要。考虑到非线性系统的渐近稳定性是一个局部概 念,所以简单地确定渐近稳定性并不意味着系统能正常工作。通常有必要确定渐近稳定性的最 大范围或吸引域。它是发生渐近稳定轨迹的那部分状态空间。换句话说,发生于吸引域内的每. 80.
(3) 第4章. 李 亚 普 诺夫 稳 定性. 一个轨迹都是渐近稳定的。 (3)对所有的状态(状态空间中的所有点),如果由这些状态出发的轨迹都保持渐近稳 定性,则平衡状态 xe 0 称为大范围渐近稳定。或者说,如果系统(4.1)的平衡状态 xe 0 渐 近稳定的吸引域为整个状态空间,则称此时系统的平衡状态 xe 0 为大范围渐近稳定的。显然, 大范围渐近稳定的必要条件是在整个状态空间中只有一个平衡状态。 在控制工程问题中,总希望系统具有大范围渐近稳定的特性。如果平衡状态不是大范围渐近 稳定的,那么问题就转化为确定渐近稳定的最大范围或吸引域,这通常非常困难。然而,对所有 的实际问题,如能确定一个足够大的渐近稳定的吸引域,以致扰动不会超过它就可以了。 (4)如果平衡状态 xe 0 既不是渐近稳定的,也不是稳定的,当时间 t 趋于无穷时,从 x0 出发的运动轨迹最终超越 S(),则称平衡状态 xe 是不稳定的。 李亚普诺夫稳定性的含义可以在二维平面中直观表示出来,如图 4.1 所示,图 4.1(a)、 (b) 和(c)分别表示平衡状态及对应于稳定性、渐近稳定性和不稳定性的典型轨迹。在图 4.1(a) 、 (b)和(c)中可以看到,域 S()制约着初始状态 x0 ,而域 S()是起始于 x0 的轨迹的边界。. Xe. X0. (a)稳定. Xe. X0. (b)渐进稳定. Xe. X0. (c)不稳定. 图 4.1 李亚普诺夫稳定性示意图. 参数 、 的物理意义: 是一个给定的稳定性指标,最终偏差小于它,则稳定;而 则 描述了稳定域的大小,即系统稳定的范围,或能忍受的最大干扰。当初始状态与平衡状态的偏 差小于它时,则稳定。对于渐近稳定,实际上就是将稳定性指标取为 0 ,即要求系统最终 状态完全回到平衡状态。 注意,由于上述定义不能详细地说明可容许初始条件的精确吸引域,因而除非 S()对应于 整个状态平面,否则这些定义只能应用于平衡状态的邻域。 此外,在图 4.1(c)中,轨迹离开了 S(),这说明平衡状态是不稳定的。然而却不能说明 轨迹将趋于无穷远处,这是因为轨迹还可能趋于在 S()外的某个极限环(如果线性定常系统是 不稳定的,则在不稳定平衡状态附近出发的轨迹将趋于无穷远。但在非线性系统中,这一结论 并不一定正确)。 上述各定义的内容,对于理解本章介绍的线性和非线性系统的稳定性分析,是最低限度 的要求。注意,这些定义不是确定平衡状态稳定性概念的唯一方法。实际上,在其他文献中还 有另外的定义。 对于线性系统,渐近稳定等价于大范围渐近稳定。但对于非线性系统,是否大范围渐近 稳定需具体分析。. 81.
(4) 现代控制理论. 最后指出,在经典控制理论中已经学过的稳定性概念与 Lyapunov 意义下的稳定性概念是 有一定的区别的。两者的区别在于经典控制理论中只有渐近稳定的系统才称为稳定的系统。在 Lyapunov 意义下是稳定的,但却不是渐近稳定的系统,则叫做不稳定系统。 4.2.3 预备知识 (1)纯量函数的正定性。 如果对所有在域中的非零状态 x 0 ,有 V ( x) 0 ,且在 x=0 处有 V (0) =0,则在域(域 包含状态空间的原点)内的纯量函数 V ( x) 称为正定函数。 如果时变函数 V ( x, t ) 由一个定常的正定函数作为下限,即存在一个正定函数 V ( x) ,使得. V ( x, t ) V ( x ) , 对所有 t ≥ t0 V (0, t ) 0 , 对所有 t ≥ t0 则称时变函数 V ( x, t ) 在域(包含状态空间原点)内是正定的。 (2)纯量函数的负定性。 如果 V ( x) 是正定函数,则纯量函数 V ( x) 称为负定函数。 (3)纯量函数的正半定性。 如果纯量函数 V ( x) 除了在原点以及某些状态下等于零外,在域内其他的所有状态都是 正定的,则 V ( x) 称为正半定纯量函数。 (4)纯量函数的负半定性。 如果 V ( x) 是正半定函数,则纯量函数 V ( x) 称为负半定函数。 (5)纯量函数的不定性。 如果在域内,不论域多么小, V ( x) 既可为正值,也可为负值,则纯量函数 V ( x) 称为 不定的纯量函数。 例 4.1 本例给出按照以上分类的几种纯量函数。假设 x 为二维向量。 ① V ( x) x12 2 x22 ② V ( x) ( x1 x2 ). 正定的 2. ③ V ( x) . x12. ④ V(x) . x1 x2 x22 2 x22 x12 1 x22. ⑤ V(x). (3x1 2 x2 ). 正半定的 2. 负定的 不定的 正定的. (6)二次型。 建立在 Lyapunov 第二法基础上的稳定性分析中,有一类纯量函数起着很重要的作用,即 二次型函数。例如 p11 p12 p1n x1 p p22 p2 n x2 21 V(x) x T Px [ x1 x2 xn ] pn1 pn 2 pnn xn 这里 x 为实向量,P 为实对称矩阵。 82.
(5) 李 亚 普 诺夫 稳 定性. 第4章. (7)复二次型或赫米特(Hermite)型。 如果 x 是 n 维复向量,P 为 Hermite 矩阵,则该复二次型函数称为 Hermite 型函数。例如 p11 p12 p1n x1 p p22 p2 n x2 21 V(x) x H Px [ x1 x2 xn ] pn1 pn 2 pnn xn 在状态空间的稳定性分析中,经常使用 Hermite 型,而不使用二次型,这是因为 Hermite 型比二次型更具一般性(对于实向量 x 和实对称矩阵 P,Hermite 型 x H Px 等于二次型 xT Px )。 二次型或者 Hermite 型 V ( x) 的正定性可用赛尔维斯特准则判断。该准则指出,二次型或 Hermite 型 V ( x) 为正定的充要条件是矩阵 P 的各阶主子行列式均为正值,即. p11 0,. p11. p12. p12. p22. 0, ,. p11 p21. p12 p22 . p1n p2 n. pn1. pn 2 . pnn. 0. 注意, pij 是 pij 的复共轭。对于二次型, pij pij 。 如果 P 是奇异矩阵,且它的所有主子行列式均非负,则 V ( x) x H Px 是正半定的。 如果 V ( x) 是正定的,则 V ( x) 是负定的。同样,如果 V ( x) 是正半定的,则 V ( x) 是负半 定的。 例 4.2 试证明下列二次型是正定的。 V ( x) 10 x12 4 x22 x32 2 x1 x2 2 x2 x3 4 x1 x3. 解. 二次型 V ( x) 可写为 T. V ( x) x Px [ x1. x2. 10 1 2 x1 x3 ] 1 4 1 x2 2 1 1 x3 . 利用赛尔维斯特准则,可得 10 0,. 10 1 1. 4. 10 0, 1. 1 4. 2 1. 2 1 0 1. 因为矩阵 P 的所有主子行列式均为正值,所以 V ( x) 是正定的。. 4.3. Lyapunov 稳定性理论. 1892 年,Lyapunov 提出了两种方法(称为第一法和第二法),用于确定由常微分方程描 述的动力学系统的稳定性。 第一法包括了利用微分方程显式解进行系统分析的所有步骤。基本思路是:求解系统的 微分方程式,根据解的性质或特征方程的根的情况来判据稳定性。系统特征方程为负实数根或 负实部的虚根,则系统稳定。. 83.
(6) 现代控制理论. 对于非线性系统,只能根据在平衡点近似线性化的方程来研究。首先将非线性系统线性 化,然后计算线性化方程的特征值,判定原非线性系统的稳定性。 第二法不需求出微分方程的解,也就是说,采用 Lyapunov 第二法,可以在不求出状态方 程解的条件下,确定系统的稳定性。对于非线性系统和线性时变系统,求解状态方程通常十分 困难,所以这种方法显示出极大的优越性。 尽管采用 Lyapunov 第二法分析非线性系统的稳定性时,需要相当的经验和技巧,然而当 其他方法无效时,这种方法却能解决非线性系统的稳定性分析问题。 4.3.1. Lyapunov 第二法. 由力学经典理论可知,对于一个振动系统,当系统总能量(正定函数)连续减小(这意 味着总能量对时间的导数必然是负定的) ,直到平衡状态时为止,则振动系统是稳定的。 Lyapunov 第二法是建立在更为普遍的情况之上的,其物理意义为:如果系统有一个渐近 稳定的平衡状态,则当其运动到平衡状态的吸引域内时,系统存储的能量随着时间的增长而衰 减,直到在平稳状态达到极小值为止。 然而对于一些纯数学系统,毕竟还没有一个准确定义“能量函数”的简便方法。为了克 服这个困难,Lyapunov 引入了一个虚构的能量函数,称为 Lyapunov 函数。当然,这个函数无 疑比能量更为一般,并且其应用也更广泛。实际上,任一纯量函数只要满足 Lyapunov 稳定性 定理(见本节后文)的假设条件,都可作为 Lyapunov 函数。 Lyapunov 函数与 x1,x2,,xn 和 t 有关,一般用 V ( x1 , x2 ,, xn , t ) 或者 V ( x, t ) 来表示。如 果在 Lyapunov 函数中不含时间 t,则用 V ( x1 , x2 ,, xn ) 或 V ( x) 表示。在 Lyapunov 第二法中, 直接根据 V ( x, t ) 和其对时间的导数 V ( x, t ) dV ( x, t ) / dt 的定号性,判断平衡状态处的稳定性、 渐近稳定性或不稳定性,而不必直接求出方程的解。因此既适用于线性系统,也适用于非线性 系统。 一、关于渐近稳定性 可以证明:如果 x 为 n 维向量,且其纯量函数 V ( x) 正定,则满足. V ( x) C 的状态 x 处于 n 维状态空间的封闭超曲面上,且至少处于原点附近,其中 C 是正常数。随着 x ,上述封闭曲面可扩展为整个状态空间。如果 C1 C2 ,则超曲面 V ( x) C1 完全处于 超曲面 V ( x) C2 的内部。 对于给定的系统,若可求得正定的纯量函数 V ( x) ,并使其沿轨迹对时间的导数总为负值, 则随着时间的增加, V ( x) 将取越来越小的 C 值。随着时间的进一步增长,最终 V ( x) 变为零, 而 x 也趋于零。这意味着,状态空间的原点是渐近稳定的。Lyapunov 主稳定性定理就是这一 原理的普遍化,它给出了渐近稳定的充要条件。该定理阐述如下: 定理 4.1 考虑如下非线性系统 x(t ) f ( x(t ), t ) 其中. f (0, t ) 0 ,对所有 t ≥ t0 如果存在一个具有连续一阶偏导数的纯量函数 V ( x, t ) ,且满足以下条件: 84.
(7) 李 亚 普 诺夫 稳 定性. 第4章. (1) V ( x, t ) 正定; (2) V ( x, t ) 负定。 则在原点处的平衡状态是(一致)渐近稳定的。 进一步地,若当 x 时,有 V ( x, t ) ,则在原点处的平衡状态是大范围一致渐近稳 定的。 例 4.3 考虑如下非线性系统 x1 x2 x1 ( x12 x22 ) x2 x1 x2 ( x12 x22 ) 显然原点( x1 0 , x2 0 )是唯一的平衡状态。试确定其稳定性。. 解. 选择存在一阶连续偏导数的 Lyapunov 函数为 V ( x, t ) x12 x22. 显然正定。且 V ( x) 2 x1 x1 2 x2 x2 2( x12 x22 )2. 显然是负定的。 又因为 x 时,显然 V ( x, t ) 。 因此根据定理 4.1,该系统在原点处的平衡状态是大范围渐近稳定的。 若使 V ( x) 取一系列的常值 0,C1,C2, ( 0 C1 C2 ),则 V ( x) =0 对应于状态平面 的原点,而 V ( x) C1 , V ( x) C2 描述了包围状态平面原点的互不相交的一簇圆,如图 4.2 所示。还应注意,由于 V ( x) 在径向是无界的,即随着 x , V ( x) ,所以这一簇圆可 扩展到整个状态平面。. 图 4.2 常数 V 圆和典型轨迹. 由于圆 V ( x) Ck 完全处在 V ( x) Ck 1 的内部,所以典型轨迹从外向里通过 V 圆的边界。 因此 Lyapunov 函数的几何意义可阐述为: V ( x) 表示状态 x 到状态空间原点距离的一种度量。 如果原点与瞬时状态 x(t)之间的距离随 t 的增加而连续地减小(即 V ( x(t )) 0 ),则 x(t ) 0 。 定理 4.1 是 Lyapunov 第二法的基本定理,下面对这一重要定理作几点说明。 (1)定理 4.1 仅给出了充分条件,也就是说,如果构造得到了合适的 Lyapunov 函数 V ( x, t ) ,那么系统是渐近稳定的。但如果未找到这样的 Lyapunov 函数,并不能给出任何结论,. 85.
(8) 现代控制理论. 例如不能据此说该系统是不稳定的。 (2)对于渐近稳定的平衡状态,则 Lyapunov 函数必然存在。 (3)对于非线性系统,通过构造某个具体的 Lyapunov 函数,可以证明系统在某个稳定 域内是渐近稳定的,但这并不意味着稳定域外的运动是不稳定的。 (4)对于线性系统,如果存在渐近稳定的平衡状态,则它必定是大范围渐近稳定的。 (5)稳定性定理 4.1 既适合于线性系统、非线性系统,也适合于定常系统、时变系统, 具有极其一般的普遍意义。 显然,定理 4.1 仍有一些限制条件,比如 V ( x, t ) 必须是负定函数。如果在 V ( x, t ) 上附加一 个限制条件,即除了原点以外,沿任一轨迹 V ( x, t ) 均不恒等于零,则要求 V ( x, t ) 负定的条件可 用 V ( x, t ) 取负半定的条件来代替。 定理 4.2 考虑如下非线性系统. x(t ) f ( x(t ), t ) 其中. f (0, t ) 0 ,对所有 t ≥ t0 若存在具有连续一阶偏导数的纯量函数 V ( x, t ) ,且满足以下条件: (1) V ( x, t ) 是正定的; (2) V ( x, t ) 是负半定的; (3)V [ (t ; x0 , t0 ), t ] 对于任意 t0 和任意 x0 0 ,在 t ≥ t0 时,不恒等于零,其中的 (t; x0 , t0 ) 表示在 t0 时从 x0 出发的轨迹或解。 则在系统原点处的平衡状态是渐近稳定的。进一步地,若当 x 时,有 V ( x, t ) , 则在原点处的平衡状态是大范围渐近稳定的。 注意,若 V ( x, t ) 不是负定的,而只是负半定的,则典型点的轨迹可能与某个特定曲面 V ( x, t ) C 相切,然而由于 V [ (t ; x , t ), t ] 对任意 t0 和任意 x0 0 ,在 t ≥ t0 时不恒等于零,所 0. 0. 以典型点就不可能保持在切点处(在这点上, V ( x, t ) 0 ),因而必然要运动到原点。 二、关于稳定性 如果存在一个正定的纯量函数 V ( x, t ) ,使得 V ( x, t ) 始终为零,则系统可以保持在一个极限 环上。在这种情况下,原点处的平衡状态称为在 Lyapunov 意义下是稳定的。 定理 4.3 考虑如下非线性系统 x(t ) f ( x(t ), t ) 其中. f (0, t ) 0 ,对所有 t ≥ t0 若存在具有连续一阶偏导数的纯量函数 V ( x, t ) ,且满足以下条件: (1) V ( x, t ) 是正定的; (2) V ( x, t ) 是负半定的; (3)V [ (t ; x0 , t0 ), t ] 对于任意 t0 和任意 x0 0 ,在 t ≥ t0 时,均恒等于零,其中的 (t; x0 , t0 ) 表示在 t0 时从 x0 出发的轨迹或解。 则在系统原点处的平衡状态是 Lyapunov 意义下的稳定的,但不是渐近稳定。这时系统可 86.
(9) 李 亚 普 诺夫 稳 定性. 第4章. 保持在一个稳定的等幅振荡状态下。 三、关于不稳定性 如果系统平衡状态 x =0 是不稳定的,则存在纯量函数 V ( x, t ) ,可用其确定平衡状态的不 稳定性。下面介绍不稳定性定理。 定理 4.4 考虑如下非线性系统. x(t ) f ( x(t ), t ) 其中. f (0, t ) 0 ,对所有 t ≥ t0 若存在具有连续一阶偏导数的纯量函数 V ( x, t ) ,且满足以下条件: (1) V ( x, t ) 在原点附近的某一邻域内是正定的; (2) V ( x, t ) 在同样的邻域内是正定的。 则原点处的平衡状态是不稳定的。 4.3.2 非线性系统的稳定性 在线性定常系统中,若平衡状态是局部渐近稳定的,则它是大范围渐近稳定的,然而在 非线性系统中,不是大范围渐近稳定的平衡状态可能是局部渐近稳定的。因此,线性定常系统 平衡状态的渐近稳定性的含义和非线性系统的含义完全不同。 如果要检验非线性系统平衡状态的渐近稳定性,则非线性系统的线性化模型稳定性分析 远远不够。必须研究没有线性化的非线性系统。有几种基于 Lyapunov 第二法的方法可达到这 一目的,包括用于判断非线性系统渐近稳定性充分条件的克拉索夫斯基(Krasovski)方法、 用于构成非线性系统 Lyapunov 函数的舒茨-基布逊(Schultz-Gibson)变量梯度法、用于某些 非线性控制系统稳定性分析的鲁里叶(Lurie)法,以及用于构成吸引域的波波夫方法等。下 面仅讨论克拉索夫斯基方法。 在非线性系统中,可能存在多个平衡状态。可通过适当的坐标变换,将所要研究的平衡 状态变换到状态空间的原点。所以,可把要研究的平衡状态取为原点。克拉索夫斯基方法给出 了非线性系统平衡状态渐近稳定的充分条件。现介绍克拉索夫斯基定理。 定理 4.5 (克拉索夫斯基定理)考虑如下非线性系统 x f ( x) 其中 x 为 n 维状态向量, f ( x) 为 x1,x2,,xn 的非线性 n 维向量函数,假定 f (0) 0 , 且 f ( x) 对 xi 可微(i=1,2, ,n)。 该系统的雅可比矩阵定义为 f1 x 1 f2 ( f1 ,, f n ) F ( x) x1 ( x1 ,, xn ) fn x 1. f1 x2 f2 x2 fn x2. f1 xn f2 xn fn xn . 87.
(10) 现代控制理论. 又定义 Fˆ ( x ) F H ( x ) F ( x). 其中 F ( x) 是雅可比矩阵, F H ( x) 是 F ( x) 的共轭转置矩阵(如果 f ( x) 为实向量,则 F ( x) 是实 矩阵,且可将 F H ( x) 写为 F T ( x ) ),此时 Fˆ ( x) 显然为 Hermite 矩阵(如果 F ( x) 为实矩阵,则 Fˆ ( x) 为实对称矩阵)。如果 Hermite 矩阵 Fˆ ( x) 是负定的,则平衡状态 x=0 是渐近稳定的。该系统的 Lyapunov 函数为 V ( x) f H ( x) f ( x ). 此外,若随着 x , f H ( x) f ( x ) ,则平衡状态是大范围渐近稳定的。 由于 Fˆ ( x) 是负定的,所以除 x 0 外, Fˆ ( x) 的行列式处处不为零。因而,在整个状. 证明. 态空间中,除 x 0 这一点外,没有其他平衡状态,即在 x 0 时, f ( x ) 0 。因为 f (0) 0 , 在 x 0 时, f ( x ) 0 ,且 V ( x) f H ( x) f ( x ) ,所以 V ( x) 是正定的。 注意到 f ( x) F ( x) x F ( x) f ( x ). 因此 V ( x) f H ( x) f ( x) f H ( x ) f ( x) [ F ( x ) f ( x )]H f ( x ) f H ( x) F ( x ) f ( x ) f H ( x)[ F H ( x) F ( x )] f ( x) f H ( x) Fˆ ( x ) f ( x). 因为 Fˆ ( x) 是负定的,所以 V ( x) 也是负定的。则根据定理 4.1 可知,原点是渐近稳定的。 如果随着 x , V ( x) f H ( x ) f ( x) ,平衡状态是大范围渐近稳定的。 注意,克拉索夫斯基定理与通常的线性方法不同,它不局限于稍稍偏离平衡状态。V ( x) 和 V ( x) 以 f ( x) 或 x 的形式而不是以 x 的形式表示。 定理对于非线性系统给出了大范围渐近稳定性的充分条件。但非线性系统的平衡状态即 使不满足上述定理所要求的条件,也可能是稳定的。因此,在应用克拉索夫斯基定理时,必须 十分小心,以防止对给定的非线性系统平衡状态的稳定性分析做出错误的结论。 例 4.4 考虑具有两个非线性因素的二阶系统: x1 f1 ( x1 ) f 2 ( x2 ) x2 x1 ax2 假 设 f1 (0) f 2 (0) 0 , f1 ( x1 ) 和 f 2 ( x2 ) 是 实 函 数 且 可 微 。 又 假 定 当 x 时 , [ f1 ( x1 ) f 2 ( x2 )]2 ( x1 ax2 )2 。试确定使平衡状态 x 0 渐近稳定的条件。. 解. 在该系统中, F ( x) 为 f ( x ) F ( x) 1 1 1. f 2( x2 ) a . 其中 f1( x1 ) . 88. f1 , x1. f 2( x2 ) . f2 x2.
(11) 李 亚 普 诺夫 稳 定性. 第4章. 于是 Fˆ ( x) 为. Fˆ ( x) F H ( x) F ( x) 2 f1( x1 ) 1 f 2( x2 ) ' 2a 1 f 2 ( x2 ) 由克拉索夫斯基定理可知,如果 Fˆ ( x) 是负定的,则所考虑系统的平衡状态 x 0 是大范围 渐近稳定的。因此,若 f1' ( x1 ) 0 ,对所有 x1 0 4af1( x1 ) [1 f 2( x2 )]2 0 ,对所有 x1 0 , x2 0. 则平衡状态 xe 0 是大范围渐近稳定的。 这两个条件是渐近稳定性的充分条件。显然,由于稳定性条件完全与非线性函数 f1 ( x) 和 f 2 ( x) 的实际形式无关。. 4.4. 线性系统的 Lyapunov 稳定性分析. 前已指出,Lyapunov 第二法不仅对非线性系统,而且对线性定常系统、线性时变系统, 以及线性离散系统等均完全适用。 利用 Lyapunov 第二法对线性系统进行分析,有如下几个特点: (1)都是充要条件,而非仅充分条件; (2)渐近稳定性等价于 Lyapunov 方程的存在性; (3)渐近稳定时,必存在二次型 Lyapunov 函数 V ( x) x H Px 及 V ( x) x H Qx ; (4)对于线性自治系统,当系统矩阵 A 非奇异时,仅有唯一平衡点,即原点 xe 0 ; (5)渐近稳定就是大范围渐近稳定,两者完全等价。 众所周知,对于线性定常系统,其渐近稳定性的判别方法很多。例如,对于连续时间定 常系统 x Ax ,渐近稳定的充要条件是:A 的所有特征值均有负实部,或者相应的特征方程 sI A s n a1s n 1 an 1s an 0 的根具有负实部。但为了避开困难的特征值计算,. Routh-Hurwitz 稳定性判据通过判断特征多项式的系数来直接判定稳定性,Nyquist 稳定性判据 根据开环频率特性来判断闭环系统的稳定性。本节将介绍的线性系统的 Lyapunov 稳定性方法, 也是一种代数方法,也不要求把特征多项式进行因式分解,而且可进一步应用于求解某些最优 控制问题。 4.4.1 线性定常系统的 Lyapunov 稳定性分析 考虑如下线性定常自治系统: x Ax. 其中 x R ,A R n. n n. (4.3). 。假设 A 为非奇异矩阵,则有唯一的平衡状态 xe 0 ,其平衡状态的稳. 定性很容易通过 Lyapunov 第二法进行研究。 对于(4.3)的系统,选取如下二次型 Lyapunov 函数,即. 89.
(12) 现代控制理论. V ( x) x H Px. 其中 P 为正定 Hermite 矩阵(如果 x 是实向量,且 A 是实矩阵,则 P 可取为正定的实对称 矩阵)。 V ( x) 沿任一轨迹的时间导数为 V ( x) x H Px x H Px ( Ax) H Px x H PAx x H AH Px x H PAx x H ( AH P PA) x 由于 V ( x) 取为正定,对于渐近稳定性,要求 V ( x) 为负定的,因此必须有. V ( x) x H Qx. 其中 Q ( AH P PA). 为正定矩阵。因此,对于(4.3)的系统,其渐近稳定的充分条件是 Q 正定。 为了判断 nn 维矩阵的正定性,可采用赛尔维斯特准则,即矩阵为正定的充要条件是矩 阵的所有主子行列式均为正值。 在判别 V ( x) 时,通常的方法不是先指定一个正定矩阵 P,然后检查 Q 是否也是正定的, 而是先指定一个正定的矩阵 Q,然后检查由矩阵方程 AH P PA Q 确定的 P 是否也是正定的。 这可归纳为如下定理。 定理 4.6 线性定常系统 x Ax 在平衡点 xe 0 处渐近稳定的充要条件是:对于 Q 0 , P 0 ,满足如下 Lyapunov 方程: AH P PA Q. 其中 P、Q 均为 Hermite 矩阵或实对称矩阵。此时,Lyapunov 函数为 V ( x) x H Px , V ( x) x H Qx 特别地,当 V ( x) x H Qx 0 时,可取 Q ≥ 0 (正半定) 。 对该定理作以下几点说明: (1)如果系统只包含实状态向量 x 和实系统矩阵 A,则 Lyapunov 函数 x H Px 为 xT Px ,且 Lyapunov 方程为 AT P PA Q. (2)如果 V ( x) x H Qx 沿任一条轨迹不恒等于零,则 Q 可取正半定矩阵。 (3)如果取任意的正定矩阵 Q,或者如果 V ( x) 沿任一轨迹不恒等于零时取任意的正半定 矩阵 Q,并求解矩阵方程 AH P PA Q. 以确定 P,则对于在平衡点 xe 0 处的渐近稳定性,P 为正定是充要条件。 注意,如果正半定矩阵 Q 满足下列秩的条件:. 90.
(13) 李 亚 普 诺夫 稳 定性. 第4章. Q1/ 2 1/ 2 Q A rank n Q1/ 2 An 1 . 则 V (t ) 沿任意轨迹不恒等于零。 (4)只要选择的矩阵 Q 为正定的(或根据情况选为正半定的),则最终的判定结果将与 矩阵 Q 的不同选择无关。 (5)为了确定矩阵 P 的各元素,可使矩阵 AH P PA 和矩阵-Q 的各元素对应相等。为了 确定矩阵 P 的各元素 pij p ji ,将导致 n(n+1)/2 个线性方程。如果用 1,2,,n 表示矩阵 A 的特征值,则每个特征值的重数与特征方程根的重数是一致的,并且如果每两个根的和 j k 0 则 P 的元素将唯一地被确定。注意,如果矩阵 A 表示一个稳定系统,那么 j k 的和总 不等于零。 (6)在确定是否存在一个正定的 Hermite 或实对称矩阵 P 时,为方便起见,通常取 Q I (I 为单位矩阵)。从而,P 的各元素可按下式确定:. AH P PA I 然后再检验 P 是否正定。 例 4.5 设二阶线性定常系统的状态方程为 x1 0 1 x1 x 1 1 x 2 2 显然,平衡状态是原点。试确定该系统的稳定性。 解. 不妨取 Lyapunov 函数为 V ( x) x T Px. 此时实对称矩阵 P 可由下式确定. AT P PA I 上式可写为 0 1 p11 1 1 p 12. p12 p11 p22 p12. p12 0 1 1 0 p22 1 1 0 1. 将矩阵方程展开,可得联立方程组为 2 p12 1 p11 p12 p22 0 2 p12 2 p22 1. 从方程组中解出 p11 、 p12 、 p22 ,可得 p11 p 12. 3 p12 2 p22 1 2. 1 2 1 . 91.
(14) 现代控制理论. 为了检验 P 的正定性,来校核各主子行列式: 3 1 3 2 2 0 0, 1 2 1 2 显然,P 是正定的。因此,在原点处的平衡状态是大范围渐近稳定的,且 Lyapunov 函数 为 V ( x) x T Px . 1 (3x12 2 x1 x2 2 x22 ) 2. 且 V ( x) ( x12 x22 ). 例 4.6 试确定如图 5.3 所示系统的增益 K 的稳定范围。 y. u 1 1 s s 2. K s1. 图 4.3 控制系统. 解. 容易推得闭环系统的状态方程为 1 0 x1 0 x1 0 x 0 2 1 x 0 u 2 2 x3 K 0 1 x3 K . 在确定 K 的稳定范围时,假设输入 u 为零。于是上式可写为 x1 x2 x2 2 x2 x3 x Kx x 3 1 3. (4.4). 显然 K 不等于零时,原点为唯一的平衡点。假设取正半定的实对称矩阵 Q 为 0 0 0 Q 0 0 0 0 0 1 由于除原点外 V ( x) x T Qx 不恒等于零,因此可选上式的 Q。为了证实这一点,注意 V ( x) xT Qx x 2 3. 取 V ( x) 恒等于零,意味着 x3 也恒等于零。如果 x3 恒等于零,由式(4.4)可得 0 Kx1 0 , 即 x1 也必恒等于零。 如果 x1 恒等于零,由式(4.4)可得 0 x2 ,即 x2 也恒等于零。 于是 V ( x) 只在原点处才恒等于零。因此,为了分析稳定性,先检验矩阵 Q 是否满秩。可 检验下列矩阵的秩:. 92.
(15) 李 亚 普 诺夫 稳 定性. 0 0 0 Q1/ 2 0 1/ 2 Q A 0 1/ 2 2 K Q A 0 0 K. 0. 第4章. 0 0 1 0 0 1 0 0 1. 0 0 0 0 0 0 0 K. 显然,对于 K 0 ,其秩为 3。因此可选择这样的 Q 用于 Lyapunov 方程。 现在求解如下 Lyapunov 方程 AT P PA Q. 它可重写为 0 0 K p11 1 2 0 p 12 0 1 1 p13. p12 p22 p23. p13 p11 p23 p12 p33 p13. p12 p22 p23. p13 0 p23 0 p33 K. 1 2 0. 0 0 0 0 1 0 0 0 1 0 0 1. 对 P 的各元素求解,可得 K 2 12 K 12 2 K 6K P 12 2 K 0 . 6K 12 2 K 3K 12 2 K K 12 2 K. K 12 2 K 6K 12 2 K 0. 为使 P 成为正定矩阵,其充要条件为 12 2 K 0 和 K 0. 或 0 K 6 因此,当 0 K 6 时,系统在 Lyapunov 意义下是稳定的,也就是说,原点是大范围渐近. 稳定的。 对于线性定常系统,还可以用下面的定理来分析稳定裕度。 定理 4.7 若对任意给定的正定对称矩阵 Q,存在正定对称矩阵 P,满足矩阵方程 AT P PA 2 P Q. 则系统特征值均满足 Re(i ) , i 1, 2. 其中 为给定负实数,反之亦然。 证明. 若有 AT P PA 2 P Q. 则 93.
(16) 现代控制理论. ( A I )T P P( A I ) Q. 即系统平移变换 ( A I ) 之后,还是大范围渐近稳定的,因此 Re(i ) , i 1, 2 。 4.4.2 线性定常离散系统稳定性分析 定理 4.8 线性定常离散系统的状态方程为 X ( k 1) GX (k ) Xe 0 系统在平衡点 X e 0 是大范围内渐近稳定的充分必要条件是:对于任意给定的对称正定 矩阵 Q 都存在对称正定矩阵 P,使得 G T PG P Q. 当取 Q I 时有 G T PG P I. 系统的李亚普诺夫函数即为 V ( X ( k )) X T (k ) PX ( k ). 例 4.7 设离散时间系统的状态方程为 X ( k 1) 1 0. 0 X (k ) 2 . 试确定系统在平衡点处是大范围内渐近稳定的条件。 解 根据定理,条件为( Q I ), G T PG P I 1 0 p11 p12 1 0 p11 p12 1 0 0 p p22 0 2 p12 p22 0 1 2 12 p11 (1 12 ) p12 (1 12 ) 1 0 2 p12 (1 12 ) p22 (1 2 ) 0 1 . 解得 p11 (1 12 ) 1 p12 (1 12 ) 0 2 p22 (1 2 ) 1. 根据塞尔维斯特准则,P 为正定则要求 P11 0,P11 P22 P12 2 0. 即 1 1 1, 1 2 1. 即只有传递函数的极点位于单位圆内,离散系统在平衡点处才是大范围内渐近稳定的。 4.4.3 线性时变系统的稳定性分析 定理 4.9 若系统 X A(t ) X (t ) 的矩阵 A 是 t 的函数(即时变函数), 则系统在平衡点 X e 0. 94.
(17) 李 亚 普 诺夫 稳 定性. 第4章. 处是大范围渐近稳定的充要条件为: 对于任意给定的连续对称正定矩阵 Q(t),存在一个连续对称正定矩阵 P(t),满足 P (t ) AT (t ) P(t ) P(t ) A(t ) Q(t ) 系统的李亚普诺夫函数即为 V ( X , t ) X T (t ) P(t ) X (t ). 证明. 取系统的李亚普诺夫函数为 V ( X , t ) X T (t ) P(t ) X (t ). P(t)为对称正定矩阵,因此 V (t ) X T (t ) P(t ) X (t ) X T (t ) P (t ) X (t ) X T (t ) P(t ) X (t ) X T (t ) AT (t ) P(t ) X (t ) X T (t ) P (t ) X (t ) X T (t ) P(t ) A(t ) X (t ) X T (t )[ AT (t ) P(t ) P (t ) P(t ) A(t )] X (t ) X T (t )Q (t ) X (t ). 其中 Q (t ) AT (t ) P(t ) P (t ) P(t ) A(t ). (4.5) 根据定理 4.1,因为 P 是正定对称矩阵(V 正定),所以若 Q 也是正定对称矩阵,则 V ( X , t ) 是负定的,系统是渐近稳定的。 证毕。 由式(4.5)可求解 P 为 t. P (t ) T (t0 , t ) P (t0 ) (t0 , t ) T ( , t )Q ( ) ( , t )d t0. 其中 ( , t ) 是系统 X (t ) A(t ) X (t ) 的状态转移矩阵, P(t0 ) 是式(4.5)的初始条件。 因此一般取 Q(t ) Q I ,由上式根据状态转移矩阵求解 P(t),再根据 P(t)是否具有连续、 对称和正定性来分析线性时变系统的稳定性。. 4.5. 基于 Lyapunov 稳定性理论的模型参考控制系统设计. Lyapunov 稳定性理论除了用于分析系统稳定性,在其他方面的应用也越来越广泛。比如 确定系统的校正方案、计算响应误差面积的平方值、估计系统动态响应的快速性等。基于 Lyapunov 稳定性理论进行控制系统的设计也是重要的一种,本节讨论一下基于 Lyapunov 稳定 性理论的模型参考控制系统设计。 一种确定系统性能的有效方法是设定一个参考模型,对于给定的输入参考模型能产生所 希望的输出。参考模型不必是实际的硬件设备,可以是在计算机上模拟的数学模型。在模型参 考控制系统中,将参考模型的输出和对象的输出进行比较,差值用来产生控制信号。其结构如 图 4.4 所示。 假设对象的状态方程为 x f H ( x, u , t ). (4.6). 其中 x R n , u R r ,且 f ( ) 为 n 维向量函数。 95.
(18) 现代控制理论. xd. v. u. x. 图 4.4 模型参考控制系统. 希望控制系统紧随某一模型系统。设计的关键是综合出一个控制器,使得控制器总是产 生一个信号,迫使对象的状态接近于模型的状态,系统结构如图 4.4 所示。 假设模型参考系统是线性的,并由下式确定: xd Axd Bv n. r. 其中 xd R ,v R ,A R. n n. ,B R. n r. (4.7). 。. 又假设 A 的所有特征值都有负实部,则该模型参考系统具有一个渐近稳定的平衡状态。 令误差向量为 e xd x. (4.8). 在该问题中,希望通过一个合适的控制向量 u,使得误差向量减小到零。由式(4.6)和 (4.8)可得 e xd x Axd Bv f ( x, u, t ) Ae Ax f ( x, u, t ) Bv. (4.9). 式(4.9)就是误差向量的微分方程。 现在设计一个控制器,使得在稳态时, x xd 和 x xd 或 e e 0 。因此,原点 e 0 是一 个平衡状态。 在综合控制向量 u 时,一个方便的出发点就是对式(4.9)给出的系统构造一个 Lyapunov 函数。假设 Lyapunov 函数的形式为 V (e) e H Pe. 其中的 P 是正定的 Hermite 或实对称矩阵。求 V (e) 对时间的导数,可得 V (e) e H Pe e H Pe [e H AH x H AH f H ( x, u , t ) v H B H ]Pe. (4.10). eH ( AH P PA)e 2M. 其中 M eH P [ Ax f ( x, u, t ) Bv ] 为纯量。 如果 (1) AH P PA 是一个负定矩阵; (2)控制向量 u 可以使纯量 M 为非正值。 注意到当 e ,有 V (e) ,平衡状态 e=0 是大范围渐近稳定的。条件(1)总可通 过选择适当的 P 而得到满足,因为 A 的所有特征值均假设具有负实部。因此,问题就归结为 选择一个合适的控制向量 u,使得 M 等于零或为负值。 下面通过一个例子来说明如何使用这种方法来设计非线性控制器。 例 4.8 考虑由下式描述的非线性时变系统:. 96.
(19) 李 亚 普 诺夫 稳 定性. 第4章. 1 x1 0 x1 0 x b a(t ) x x 1 u 2 2 2 其中 a(t ) 是时变参数,b 为正常数。设参考模型的方程为 xd 1 0 2 xd 2 n. 1. xd 1 0 v 2n xd 2 n2 . (4.11). 试设计一个非线性控制器,使得系统能够稳定地工作。 解. 定义误差问量为 e xd x. Lyapunov 函数为 V (e) e H Pe 其中 P 是正定实对称矩阵。参照式(4.10)可得 V (e) 为 V (e) e H ( AH P PA)e 2M. 其中 M eH P [ Ax f ( x, u, t ) Bv ]. 由式(4.11)确定矩阵 A 和 B,并选择矩阵 Q 为 0 q Q 11 0 0 q22 可得 e) ( q e 2 q e 2 ) 2M V( 11 1 22 2. 其中 p11 M [e1 e2 ] p12. p12 0 p22 n2. 1 x1 0 1 x1 0 0 2n x2 b a(t ) x2 x2 u n2 v . (e1 p12 e2 p22 )[ (n2 b) x1 2n x2 a(t ) x22 n2v u ]. 如果选取 u 使得 u (n2 b) x1 2n x2 n2 v am x22 sign(e1 p12 e2 p22 ). (4.12). 其中 am max a(t ). 则 M (e1 p12 e2 p22 )[ a(t ) am sign(e1 p12 e2 p22 )] x22 ≤ 0. 采用由方程(4.12)给出的控制函数 u 时,平衡状态 e 0 就是大范围渐近稳定的。因此, 方程(4.12)确定了一个非线性控制律,它将保证系统渐近稳定地工作。 请注意,瞬态响应收敛的速度取决于矩阵 P,而矩阵 P 则取决于设计开始阶段所取的矩阵 Q。. 习题 4.1. 试确定下列二次型是否为正定的。. 97.
(20) 现代控制理论. Q x12 4 x22 x32 2 x1 x2 6 x2 x3 2 x1 x3. 4.2. 试确定下列二次型是否为负定的。 Q x12 3x22 11x32 2 x1 x2 4 x2 x3 2 x1 x3. 4.3. 试确定下列非线性系统的原点稳定性并考虑二次型函数 V x12 x22 是否可以作为一. 个可能的 Lyapunov 函数。 x1 x1 x2 x1 ( x12 x22 ) x2 x1 x2 x2 ( x12 x22 ). 4.4. 试写出下列系统的几个 Lyapunov 函数并确定该系统原点的稳定性。 x1 1 1 x1 x 2 3 x 2 2 . 4.5. 试确定下列线性系统平衡状态的稳定性 x1 x1 2 x2 2 x2 x1 4 x2 1. 4.6. 线性离散系统为. X (k 1) GX (k ) 1 0 0 G 0 0 1 , 0 K / 2 0 . K 0. 试求系统在原点渐近稳定时 K 值的范围。 4.7. 设系统运动方程式为 y (1 y ) y y 0. 试确定其渐近稳定的条件。 4.8. 设系统的状态方程为 2 2 x1 x2 ax1 ( x1 x2 ) 2 2 x2 x1 ax2 ( x1 x2 ). 试作其 V 函数,并在 a>0,a<0 和 a=0 时,分析平衡点处的系统稳定性。 4.9. 已知系统的状态方程为 x1 x1 3 x2 x1 x2 x2. 试用克拉索夫斯基方法分析其稳定性。. 98.
(21)
相關文件
,在需求分析过程中应该建立起软件系统的 行为模型。状态转换图 ( 简称为状态图 ) 通
笛卡儿企图通过坐标系给几何引进新方 法, 他的成就远远超出他的期望. 坐标系是数 学中的双刃剑, 使得几何的目的可以通过代 数达到, 反过来,
一般说来, 对于一个区间上单调的函数的 图形都存在一个需要判别弧段位于相应的弦线
4、任给空间中某一点,及某一方向,过该定点且垂
为此, 我们需要建立函 数的差商与函数的导数间的基本关系式, 这些关系式称为“微分学中值定理”...
这一类系统无论是 在电路理论还是在自动控制理论的研究中 , 都占
本章我们又一次经历了用函数研究变化规律的过程 ,用反比例函数刻画具 有反比例关系的两个变量之间的对应关系 :在变量y 随变量x 的变化而变化的
非线性物理: 分形物理 分形物理 小结:. •