第十一章李雅普诺夫稳定性
合集下载
11.1 李雅普诺夫关于稳定性的定义
等复杂系统的稳定性,这正是其优势所在。
11.1 Lyapunov 关于稳定性的定义
系统稳定性是动态系统一个重要的、可以用定量方法研究和 表示的定性指标。
它反映的是系统的一种本质特征。这种特征不随系 统变换而改变, 但可通过系统反馈和综合加以控制。 这也是控制理论和控制工程的精髓。 在经典控制理论中,讨论的是在有界输入下,是否产生 有界输出的输入输出稳定性问题。 从经典控制理论知道,线性系统的输入输出稳定性
要掌握好Lyapunov稳定性理论,重要的是深刻掌握和理 解Lyapunov稳定性定义的实质和意义。
在这里,空间想象力对理解Lyapunov稳定性的实质和意 义非常有帮助。
11.1.1 平衡态 equilibrium state
设我们所研究的系统的状态方程为 x’=f(x,t) 其中x为n维状态变量;
ቤተ መጻሕፍቲ ባይዱ
但这些经典控制理论中的稳定性判别方法仅限于讨论 SISO线性定常系统输入输出间动态关系,即
线性定常系统的有界输入有界输出(BIBO)稳定性
未研究系统的内部状态变化的稳定性,也不能推广到时变 系统和非线性系统等复杂系统。 再则,对于非线性系统或时变系统,虽然通过一些系统 转化方法,上述稳定判据尚能在某些特定系统和范围内
此外,庞加莱还在1895年证明了“庞加莱 回归定理” ,并开创了动力系统理论。
在Routh和Poincare等工作的影响下,1892年,俄国数学力 学家A.M. Lyapunov(李亚普诺夫,1857–1918) 发表了博士 论文“The General Problem of the Stability of Motion 论运动 稳定性的一般问题”,建立了关于运动稳定性研究的一般性 理论,总结和发展了系统的经典时域分析法。
李雅普诺夫稳定性分析
⑥ V(x)函数只表示了平衡状态附近的某领域内的局部 运动稳定状况。不能提供域外的运动信息。 ⑦ V(x)的构造需要较多技巧,可通过计算机来完成, 人力难以估测。因此,此方法常用于难以判定的复 杂问题。例如高阶时变非线性系统。
李雅普诺夫稳定性在线性系统中的应用
线性系统中的应用
线性连续定常系统稳定性分析 线性离散定常系统稳定性分析 线性连续时变系统稳定性分析 线性离散时变系统稳定性分析
V ( x) 0,V ( x) 0,V ( x) 0
李雅普诺夫函数讨论
⑤ V ( x) 0 V ( x) 0 V ( x) 0
能量的趋近速度是负的,所以能量最 终为0,趋向于原点,系统是渐进稳 定的。 能量最终为可能0,趋向于原点,也 有可能停止在ε内的某处。 能量是递增的,因此是不稳定的。
李雅普诺夫稳定性
上述定理的标量函数V(X,t)称为李亚普诺夫函数. 李亚普诺夫稳定性定理是判定系统稳定的充分条件, 但非必要条件。 一般李亚普诺夫函数对某个系统来说不止一个,即不 唯一。
状态 系统 能量函数
寻找的
?
系统 稳定
李雅普诺夫稳定性
示例有一个非线性状态方程,Xe=0为一个平衡状态
是否就一定不稳定呢?是否标量函数不合适呢?需要另外判断。 从李雅普诺夫第一方 法来看,解特征方程
s 1 1 2 sI A 1 s 1 s 2s 2 0
李雅普诺夫函数讨论
李雅普诺夫第二方法关键在于寻找一个满足条件的李 雅普诺夫函数。 ① V(x)是满足稳定性盘踞条件的一个正定标量函数,具 有连续一阶偏导。 ② 对于一个给定系统,如果V(x)能找到,那么通常是非 唯一的,但是不影响结论一致性。 ③ V(x)最简形式是二次型,但未必都是。 ④ 如果V(x)是标准二次型,V(x)可表示为从原点到x的 距离。V (x) 表征了系统相对原点运动的速度。
李雅普诺夫Lyapunov稳定性理论李雅普诺夫
表示向量 x 到x e的距离 n2 x xe ( x1 x1e ) 2 ( x2 x2e ) 2 c
表示状态空间中,以 x e为圆心,半径为c的圆
n3
x xe ( x1 x1e ) 2 ( x2 x2e ) 2 ( x3 x3e ) 2 c
0
方程的解(运动或状态轨线)为: x(t; x 初始状态向量
, t0 )
初始时刻
x(t0 ; x 0 , t0 ) x 0
f (x, t ) x
平衡状态:各分量相对于时间不再发生变化
e f (x e , t ) 0 x
所有状态的变化速度为零,即是静止状态 线性定常系统:
x2
S ( )
xe
S ( )
x1
近,直至到达平衡状态后
停止运动。
3、大范围渐近稳定 当初始条件扩展到整个状态空间,且平衡状态均具 有渐近稳定性时,称此平衡状态是大范围渐近稳定的。 几何意义:
系统不管在什么样的初始状态下,经过足够长的时间总
能回到平衡状态附近并且向平衡状态靠拢。 大范围渐近稳定的必要条件是状态空间中只能有一个平 衡状态。
1
1
极点位于s左半平面,s=2的极点被对消掉了。系统是有 界输入有界输出稳定的。
(2)求系统的特征方程:
6 det(I A) ( 2)( 3) 0 1 1
求得:1 2,2 3
系统不是渐近稳定的。
例 : 用间接法判断下列系统的稳定性 x1 x2 x1 x1 x2 x1 x1 x2 1 ) , 2) , 3) x2 x1 x2 x1 x2 x2 x1 x2
李雅普洛夫稳定性分析精品PPT课件
4、孤立平衡状态:如果多个平衡状态彼此是孤立的,则称这样 的状态为孤立平衡状态。单个平衡状态也是孤立平衡状态。
2.2 状态向量范数
符号 称为向量的范数,
为状态向量端点至
平衡状态向量端点的范数,其几何意义为“状态偏差
向量”的空间距离的尺度,其定义式为:
①范数 X 0 X e 表示初始偏差都在以Xe 为中心,δ为半径的 闭球域S(δ)内.
(2) 求系统的特征方程:
det(I
A)
1
求得:1 2,2 3
系统不是渐近稳定的。
6
1
(
2)(
3)
0
3.2 非线性系统的李亚普洛夫第一法
对非线性系统 X f (X ,t)
当f (X,t)为与X 同维的矢量函数,且对X 具有连续偏导数,则可将
向于无穷大时,有:
lim x
t
xe
0
即收敛于平衡状态xe,则称平衡状态xe为渐近稳定的。
如果 与初始时刻 t0无关,则称平衡状态xe为一致渐近稳定。
渐近稳定几何表示法:
Hale Waihona Puke 3、大范围渐近稳定如果对状态空间的任意点,不管初始偏差有多大,都有渐
近稳定特性,即:lim x t
xe
0
对所有点都成立,称平衡状态xe为大范围渐近稳定的。其
渐近稳定的最大范围是整个状态空间。
必要性:整个状态空间中,只有一个平衡状态。 (假设有2个平衡状态,则每个都有自己的稳定范 围,其稳定范围不可能是整个状态空间。)
结论:如果线性定常系统是渐近稳定的,则它一定是大范 围渐近稳定的。
4、不稳定 如果对于某一实数 0 ,不论 取得多么小,由 S( )内
域 S( ) ,当初始状态 x0 满足 x0 xe ( , t0 ) 时,对由此出发
2.2 状态向量范数
符号 称为向量的范数,
为状态向量端点至
平衡状态向量端点的范数,其几何意义为“状态偏差
向量”的空间距离的尺度,其定义式为:
①范数 X 0 X e 表示初始偏差都在以Xe 为中心,δ为半径的 闭球域S(δ)内.
(2) 求系统的特征方程:
det(I
A)
1
求得:1 2,2 3
系统不是渐近稳定的。
6
1
(
2)(
3)
0
3.2 非线性系统的李亚普洛夫第一法
对非线性系统 X f (X ,t)
当f (X,t)为与X 同维的矢量函数,且对X 具有连续偏导数,则可将
向于无穷大时,有:
lim x
t
xe
0
即收敛于平衡状态xe,则称平衡状态xe为渐近稳定的。
如果 与初始时刻 t0无关,则称平衡状态xe为一致渐近稳定。
渐近稳定几何表示法:
Hale Waihona Puke 3、大范围渐近稳定如果对状态空间的任意点,不管初始偏差有多大,都有渐
近稳定特性,即:lim x t
xe
0
对所有点都成立,称平衡状态xe为大范围渐近稳定的。其
渐近稳定的最大范围是整个状态空间。
必要性:整个状态空间中,只有一个平衡状态。 (假设有2个平衡状态,则每个都有自己的稳定范 围,其稳定范围不可能是整个状态空间。)
结论:如果线性定常系统是渐近稳定的,则它一定是大范 围渐近稳定的。
4、不稳定 如果对于某一实数 0 ,不论 取得多么小,由 S( )内
域 S( ) ,当初始状态 x0 满足 x0 xe ( , t0 ) 时,对由此出发
第十一章 李雅普诺夫稳定性分析
原 理 中 所 讲 的 也 有 所 不同 。
一 , 李 雅 普 诺 夫 意 义 下的 稳 定 性 的 含 义
当
f(X e ,t) 0 时
则Xe被 称 为 系 统 的 平 衡 状 态。
应
用
范
数
表
示
以
平
衡
状态X
为
e
圆
心,
半
径
为R的 球 域 时,可 写 成 X Xe R 其 中 X Xe
被 称 为 欧 几 里 德 范 数 。它 等 于 :
自 动 调 速 系 统 中 保 持 电机 转 速 为 一 定 的 能
力,以 及 火 箭 飞 行 中 保 持 航行 为 一 定 的 能 力 等 都 是 。 具 有 稳 定 性 的系 统 被 称 为 稳 定 的
系 统;反 之 不 具 有 稳 定 性 的 系统 被 称 为 不 稳 定系统。
由 上 面 所 讲 的 含 义 可 见,所 谓 系 统 的 稳 定 性 就 是 系 统 受 到 小 的外 界 干 扰 后,系 统 的 偏 差 量 的 过 渡 过 程 的 收敛 性, 假 如 系 统 在 受 到 外 界 干 扰 后,其 偏 差 量 越 来 越 大,显 然 它 不 可 能 是 一 个 稳 定 的 系 统。 可 见 稳 定 性 乃 是
第十一章李雅普诺夫稳定性分析
$1
概述
一 个 自 动 控 制 系 统 要 能正 常 的 工 作 , 它 必 须 首 先 是 一 个 稳 定 的 系 统 。也 就 是 说 , 当 系 统 受 到外 界 干 扰 后,虽 然 它 的 原 有 平 衡 状 态(相 对 稳 定 状 态)被 破 坏, 但 在 外 部 干 扰 去 掉 后,仍 有 能 力 自 动 地 在 另 一新 的 平 衡 状 态(相 对 稳 定 状 态)下 继 续 工 作 下 去,系 统 的 这 一 种 本 能 通 常 叫 做 系统 的 稳 定 性 。 例 如,常 见 的 电 压 自 动 调 节 系 统 中 保 持电 机 电 压 为 恒 定 的 能 力,电 机
11.4 线性定常系统的李雅普诺夫稳定性分析
11.4.1 线性定常连续系统的稳定性分析
设线性定常连续系统的状态方程为 x’=Ax 这样的线性系统具有如下特点: 1) 当系统矩阵A为非奇异时, 系统有且仅有一个平衡态xe=0,
即为状态空间原点;
2) 若该系统在平衡态xe=0的某个邻域上是渐近稳定的,则 一定是大范围渐近稳定的; 3) 对于该线性系统,其Lyapunov函数一定可以选取为二 次型函数的形式。
结论正定0该平衡态渐近稳定正定0对任意非零的初始状态的解该平衡态渐近稳定正定0对某一非零的初始状态的解该平衡态稳定但非渐近稳定正定0正定0该平衡态不稳定正定0半正定0且不恒为0对任意非零的初始状态的解该平衡态不稳定类似于线性定常连续系统对于线性定常离散系统有如下简单实用的渐近稳定判据
11.4 线性定常系统的 Lyapunov稳定性分析
证明 (1) 先证充分性。Sufficiency. 即证明,若对任意的正定矩阵Q,存在正定矩阵P满足 方程 PA+ATP=-Q, 则平衡态xe=0是渐近稳定的。 证明思路: 由于P正定, 选择正定函数 V(x)=xTPx为 Lyapunov函数 计算 Lyapunov函 数V(x)对时间t 的全导数V’(x) 通过判定V’(x) 的定号性来判 定平衡态xe的 稳定性
展开后得
2 p12 p p p 22 11 12
p11 p12 p22 1 0 2 p12 2 p22 0 1
因此,得如下联立方程组:
2 p12 1 p11 p12 p22 0 2 p 2 p 1 12 22
方程的唯一解的推论。
推论11-1 如果线性定常系统 x’=Ax 在平衡态 xe=0是渐近稳 定的, 那么Lyapunov代数方程
李雅普诺夫稳定性理论PPT学习教案
xe 0
的解
Axe 是系统唯一存在的平衡状态,当A为非奇异时,则
0
xe
会有无穷多个。
5) 由于任意一个已知的平衡状态,都可以通过坐标变换将其变
0
换到坐标原点 xe 处。所以今后将只讨论系统在坐标原点处的
稳定性就可以了。
6) 稳定性问题都是相对于某个平衡状态而言的。(这一点从
线性定常系统中的描述中可以得到理解)
种平衡状态xe不稳定。
第26页/共66页
1.2 李雅普诺夫稳定性及判别方法
球域s()限制着初始状态x0的取值,球域s()规定了系统自由 响
(t ; x0 , t0 )
应 x(t ) 的边界。
如果x(t)为有界,则称xe稳定。
如果x(t)不仅有界而且有: lim x(t ) 0 则称 xe 渐近稳定
如果与t0无关,则称这种平衡状态是一致稳定的
第22页/共66页
。
1.2 李雅普诺夫稳定性及判别方法
若对应于每一个s(),都存在一个s(),使当t无限增长使,从
s()出发的状态轨线(系统的响应)总不离开s(),即系统响应的
幅值是有界的,则称平衡状态xe为李雅普诺夫意义下的稳定,
简称为稳定。
第23页/共66页
第28页/共66页
1.2 李雅普诺夫稳定性及判别方法
如果系统 对于有 界输入 u所引 起的输 出y是有 界的, 则称系 统为输 出稳定 。
线性定常 系统 ∑=(A ,b,c )输出 稳定的 充要条 件是其 传递函 数
W s c sI A b
1
的极点全 部位于s 的左半 平面。
线性系统的稳定判据
线性定常 系统 ∑=(A ,b,c )
李雅普诺夫关于稳定性的定义
✓
线性定常系统的有界输入有
界输出(BIBO)稳定性
未研究系统的内部状态变化的稳定性,也不能推广 到时变
系统和非线性系统等复杂系统。
➢ 再则,对于非线性系统或时变系统,虽然通过一些 系统转化方法,上述稳定判据尚能在某些特定系统和范 围内应用,但是难以适用于一般系统。
现代控制系统的结构比较复杂,大都存在非线性或时变因 素,即使是系统结构本身,往往也需要根据性能指标的要 求而加以改变,才能适应新的情况,保证系统的正常或最 佳运行状态。
Lyapunov的博士论文被译成法文并于1907年发表,1949年 普林斯顿大学出版社重印了法文版。1992年在Lyapunov的 博士论文发表100周年之际,International Journal of Control (国际控制杂志)以专辑形式发表了Lyapunov论文的英译 版,以纪念他在控制理论领域所作的卓越贡献。
➢ 该方法不仅可用于线性系 统而且可用于非线性时变 系统的分析与设计,已成 为当今控制理论课程的主 要内容之一。
➢ 百余年来Lyapunov理论 得到极大发展, 在数学、 力学、自动控制、机械工 程等领域得到广泛应用。
A.M. Lyapunov是一位天才的数学家。曾从师于大数学家 P.L. Chebyshev(切比雪夫),和A.A. Markov(马尔可夫 )是同校同学(李比马低两级),并同他们始终保持着良好 的关系。他们共同在概率论方面做出了杰出的贡献。在概率 论中可以看到关于矩的马尔可夫不等式、切比雪夫不等式和 李亚普诺夫不等式等。Lyapunov还在相当一般的条件下证 明了中心极限定理。
✓
经典控制理论讨论的有界输入
有界输出(BIBO)稳定即为外部稳定性 。
Outer stability
李雅普诺夫稳定性理论
定义三 对所有的状态(状态空间的所有点),如 果由这些状态出发的轨迹都具有渐近稳定性,则 称平衡状态xe为大范围渐近稳定。
定义四 :如果从球域 S( )出发的轨迹,无论球
域选得多么小,只要其中有一条轨迹脱离球域, 则称平衡状态xe为不稳定。
❖线性系统:如果它是渐近稳定的,必是有大 范围渐近稳定性(线性系统稳定性与初始条件的 大小无关)。
❖非线性系统:稳定性与初始条件大小密切 相关,系统渐近稳定不一定是大范围渐近稳定。
三. 李雅普诺夫第一法(间接法)
利用状态方程解的特性来判断系统稳定性。
1. 线性定常系统稳定性的特征值判据:
xAx x(0)x0 t 0
李氏稳定的充要条件:
Re(i ) 0 i1,2,n
即系统矩阵A的全部特征值位于复平面左半部。
2) 选取不当,会导V致( x , t ) 不定的结果。
2) 这仅仅是充分条件。
3)
例4:试判断下列线性系统平衡状态的稳定性。
x 1 x 2 x 2 x 1 x 2
解: x 1x 2 0 x1x2 0 即 xe 0
.
设 V(x)x12x2 2 则 V(x) 2x22
.
可见V
( x )与 x1 .
结论:
1) 若 Re(i) 0 i1,2,,n ,则非线
性系统在 x e 处是渐近稳定的,与 g ( x)
2) 无关。
2) 若 Re(i) 0 Re(j ) 0 ij1,,n
3) 则不稳定。
3) 若 Re(i ) 0,稳定性与 g (x)有关,
4)
g(x)50) 则是李雅普诺夫意义下的稳定性。
4.4 线性系统的李雅普诺夫稳定性分析
1.线性定常系统的李雅普诺夫稳定性分析
李雅普诺夫稳定性的定义
➢ 对于任意的>0和任意初始时刻t0,
x(0) x(0)
x1
➢ 都对应存在一个实数(,t0)>0,
➢ 使得对于任意位于平衡态xe的球域 S(xe,)的初始状态x0,
➢ 当从此初始状态x0出发的状态方程的解x都位于球域 S(xe,)内,
则称系统的平衡态xe是李雅普诺夫意义下稳定的,
✓ 即逻辑关系式
>0 t0 >0 x0S(xe,) t t0 x(t)S(xe,)
❖ 李雅普诺夫稳定性研究的平衡
态附近(邻域)的运动变化问题。
xe
若平衡态附近某充分小邻
域内所有状态的运动最后
都趋于该平衡态,则称该 平衡态是渐近稳定的;
不稳定
若发散掉则称为不稳定的, 平衡态
xe
若能维持在平衡态附近某
个邻域内运动变化则称为
稳定的,如上图所示。
xe
x1 渐近稳定
平衡态 稳定 平衡态
对于线性定常系统来说,上述定义中的实 数(,t0)可与初始时刻t0无关,故其渐近稳 定性与一致渐近稳定性等价。
➢ 但对于时变系统来说,则这两者的意 义很可能不同。
渐近稳定性在二维空间中的几何解释如 图所示。
➢ 该图表示状态x(t)的轨迹随时间变化 的收敛过程。
➢ 和稳定性定义的图相比较,能清楚地 说明渐近稳定和稳定的意义。
值得指出的是,由于非线性系统的李雅普诺夫稳定性具有局 部性特点,因此在讨论稳定性时,通常还要确定平衡态的稳定邻 域(区域)。
李雅普诺夫稳定性定义
基于上述数学定义和符号,我们有如下 李雅普诺夫意义下稳定性的定义。
x2
x(0) x(0)
x1
定义 (李雅普诺夫稳定性) 若状态方程
x(0) x(0)
x1
➢ 都对应存在一个实数(,t0)>0,
➢ 使得对于任意位于平衡态xe的球域 S(xe,)的初始状态x0,
➢ 当从此初始状态x0出发的状态方程的解x都位于球域 S(xe,)内,
则称系统的平衡态xe是李雅普诺夫意义下稳定的,
✓ 即逻辑关系式
>0 t0 >0 x0S(xe,) t t0 x(t)S(xe,)
❖ 李雅普诺夫稳定性研究的平衡
态附近(邻域)的运动变化问题。
xe
若平衡态附近某充分小邻
域内所有状态的运动最后
都趋于该平衡态,则称该 平衡态是渐近稳定的;
不稳定
若发散掉则称为不稳定的, 平衡态
xe
若能维持在平衡态附近某
个邻域内运动变化则称为
稳定的,如上图所示。
xe
x1 渐近稳定
平衡态 稳定 平衡态
对于线性定常系统来说,上述定义中的实 数(,t0)可与初始时刻t0无关,故其渐近稳 定性与一致渐近稳定性等价。
➢ 但对于时变系统来说,则这两者的意 义很可能不同。
渐近稳定性在二维空间中的几何解释如 图所示。
➢ 该图表示状态x(t)的轨迹随时间变化 的收敛过程。
➢ 和稳定性定义的图相比较,能清楚地 说明渐近稳定和稳定的意义。
值得指出的是,由于非线性系统的李雅普诺夫稳定性具有局 部性特点,因此在讨论稳定性时,通常还要确定平衡态的稳定邻 域(区域)。
李雅普诺夫稳定性定义
基于上述数学定义和符号,我们有如下 李雅普诺夫意义下稳定性的定义。
x2
x(0) x(0)
x1
定义 (李雅普诺夫稳定性) 若状态方程
李雅普诺夫稳定性分析方法
1)平衡状态
为李雅普诺夫意义下的稳定,
2)存在可任给的实数μ>0,能使任一初始时刻 出 发的受扰运动满足
• 注意,该定义只能应用于平衡状态不随时间变化的 平衡状态.
4.大范围内的渐近稳定.
• 如果由系统状态的所有初始状态出发,其扰
动运动都是渐近稳定的,则这时的平衡状态
称为大范围内渐近稳定的.或说
的
(1)Lyapunov第一方法: • 也称间接法,属于小范围稳定性分析方法。 • 基本思路是:将非线性自治系统运动方程在
足够小的邻域内进行泰勒展开导出一次近似 线性系统.再根据线性系统特征值在复平面 上分布,推断非线性系统在邻域内的稳定性. • 在Lyapunov第一法中,有一个基础性的问题, 即将非线性方程线性化的问题.
设是平衡点即满足2siny??aybyxx?????00xy200000siny??aybyxx??????由于均为常数则从而有?令则方程左边是00xy000y??y???2000sinbyxx??00xxxyyy??????0y??aybyby????????将方程右边在次项忽略高次项故有点处用泰勒展开并取到一?从而有0x220000sin2sincosxxxxxxxx????????200000sin2cosy??aybyby???xxxxx??????????显然代入后得到?两边进行拉氏变换得初始状态则2000sinbyxx??002cosy??aybyxxx?????????00y??200ys2cosxssasbxx???????则有?故线性模型gs描述了非线性方程在处和的运动特性而laypunov第一方法则是根据gs的特征值来分析其在小扰动范围内运动稳定性
(3)用李氏方法分析的必要性 • 以一个例子说明:用特征值来判断线性时变
《现代控制理论》李雅普诺夫稳定性分析
向量和矩阵的范数
1、向量空间上的欧几里德范数(即向量长度)
其欧几里德范数定义为:
一般
一、向量和矩阵的范数
预备知识
矩阵范数
矩阵 的范数定义为:
【例】
Hale Waihona Puke , 则即:矩阵每个元素平方和开根号
预备知识
2、矩阵范数
1.二次型函数:由n个变量
组成的二次齐次多项式,称(n元)二次型函数
2.二次型函数的矩阵表示
则系统在原点处的平衡状态是不稳定的。
为唯一的平衡状态。
定理4:设系统状态方程为
李雅普诺夫主要的稳定性定理
例题
[例] 设系统状态方程为
试确定系统的稳定性。
解 xe=0
,
是该系统惟一的平衡状态。
由于当
时
,所以系统在原点处的平衡状态是
大范围渐近稳定的。
选取
李雅普诺夫主要的稳定性定理
例题
[例] 已知定常系统状态方程为
定义:若所有有界输入引起的零状态响应输出有界,则称系统为有界输入输出稳定。
李雅普诺夫第一方法—间接法
定理3:连续定常系统 传递函数为: 系统 BIBO 稳定的充要条件为:传递函数的所有极点均位于S左半平面。
【例】试分析系统渐近稳定和BIBO稳定。
李雅普诺夫主要的稳定性定理
讨论续
这是一个矛盾的结果,表明
也不是系统的
受扰运动解。综合以上分析可知,
当
时,显然有
根据定理9-12可判定系统的原点平衡状态是大范围渐近稳定的。
李雅普诺夫主要的稳定性定理
线性系统稳定性分析
一.线性定常系统李雅普诺夫稳定性分析
线性定常连续系统
系统状态方程为
1、向量空间上的欧几里德范数(即向量长度)
其欧几里德范数定义为:
一般
一、向量和矩阵的范数
预备知识
矩阵范数
矩阵 的范数定义为:
【例】
Hale Waihona Puke , 则即:矩阵每个元素平方和开根号
预备知识
2、矩阵范数
1.二次型函数:由n个变量
组成的二次齐次多项式,称(n元)二次型函数
2.二次型函数的矩阵表示
则系统在原点处的平衡状态是不稳定的。
为唯一的平衡状态。
定理4:设系统状态方程为
李雅普诺夫主要的稳定性定理
例题
[例] 设系统状态方程为
试确定系统的稳定性。
解 xe=0
,
是该系统惟一的平衡状态。
由于当
时
,所以系统在原点处的平衡状态是
大范围渐近稳定的。
选取
李雅普诺夫主要的稳定性定理
例题
[例] 已知定常系统状态方程为
定义:若所有有界输入引起的零状态响应输出有界,则称系统为有界输入输出稳定。
李雅普诺夫第一方法—间接法
定理3:连续定常系统 传递函数为: 系统 BIBO 稳定的充要条件为:传递函数的所有极点均位于S左半平面。
【例】试分析系统渐近稳定和BIBO稳定。
李雅普诺夫主要的稳定性定理
讨论续
这是一个矛盾的结果,表明
也不是系统的
受扰运动解。综合以上分析可知,
当
时,显然有
根据定理9-12可判定系统的原点平衡状态是大范围渐近稳定的。
李雅普诺夫主要的稳定性定理
线性系统稳定性分析
一.线性定常系统李雅普诺夫稳定性分析
线性定常连续系统
系统状态方程为
李雅普诺夫稳定性基本定理
➢ 下面我们讨论对所有动态系统的状态方程的稳 定性分析都适用的Lyapunov第二法。 Lyapunov's second method
Lyapunov第二法又称为直接法(direct method) 。 ➢ 它是在用能量观点分析稳定性的基础上建立起来的。 ✓ 若系统平衡态渐近稳定,则系统经激励后,其储存 的能量将随着时间推移而衰减。当趋于平衡态时, 其能量达到最小值。
中的坐标平移,将平衡态xe移到原点。 ➢ 因此, 上式又可转换成如下原点平衡态的线性状态方程:
x’=Ax
判别非线性系统平衡态xe稳定性的Lyapunov第一法的思想为: ➢ 通过线性化,将讨论非线性系统平衡态稳定性问题转换 到讨论线性系统 x’=Ax 的稳定性问题。
Lyapunov第一法的基本结论是:
由上述Lyapunov第一法的结论可知, 该方法与经典控制理论 中稳定性判据的思路一致, 需求解线性化状态方程或线性状 态方程的特征值, 根据特征值在复平面的分布来分析稳定性。
➢ 值得指出的区别是:
✓ 经典控制理论讨论在有界输入下的输出稳定性问题, 而Lyapunov方法讨论状态稳定性问题。
➢ 由于Lyapunov第一法需要求解线性化后系统的特征值, 因此该方法也仅能适用于非线性定常系统或线性定常系 统,但是不能推广用于时变系统。
➢ 则称函数V(x)为区域上的正定函数。Positive definite function
从定义可知,所谓正定函数,即指除零点外恒为正值的标量 函数。由正定函数的定义,相应地可定义 ➢ 负定函数 negative definite function ➢ 非负定(又称半正定或正半定)函数 non-negative definite function; positive semi-definite function ➢ 非正定函数(又称半负定或负半定) non-positive definite function; negative semi-definite function ➢ 不定函数。 indefinite function
Lyapunov第二法又称为直接法(direct method) 。 ➢ 它是在用能量观点分析稳定性的基础上建立起来的。 ✓ 若系统平衡态渐近稳定,则系统经激励后,其储存 的能量将随着时间推移而衰减。当趋于平衡态时, 其能量达到最小值。
中的坐标平移,将平衡态xe移到原点。 ➢ 因此, 上式又可转换成如下原点平衡态的线性状态方程:
x’=Ax
判别非线性系统平衡态xe稳定性的Lyapunov第一法的思想为: ➢ 通过线性化,将讨论非线性系统平衡态稳定性问题转换 到讨论线性系统 x’=Ax 的稳定性问题。
Lyapunov第一法的基本结论是:
由上述Lyapunov第一法的结论可知, 该方法与经典控制理论 中稳定性判据的思路一致, 需求解线性化状态方程或线性状 态方程的特征值, 根据特征值在复平面的分布来分析稳定性。
➢ 值得指出的区别是:
✓ 经典控制理论讨论在有界输入下的输出稳定性问题, 而Lyapunov方法讨论状态稳定性问题。
➢ 由于Lyapunov第一法需要求解线性化后系统的特征值, 因此该方法也仅能适用于非线性定常系统或线性定常系 统,但是不能推广用于时变系统。
➢ 则称函数V(x)为区域上的正定函数。Positive definite function
从定义可知,所谓正定函数,即指除零点外恒为正值的标量 函数。由正定函数的定义,相应地可定义 ➢ 负定函数 negative definite function ➢ 非负定(又称半正定或正半定)函数 non-negative definite function; positive semi-definite function ➢ 非正定函数(又称半负定或负半定) non-positive definite function; negative semi-definite function ➢ 不定函数。 indefinite function
李雅普诺夫稳定性分析PPT学习教案
第14页/共205页
李雅普诺夫稳定性理论讨论的是 动态系统各平衡态附近的局部稳
李雅普诺夫稳定性的定义(3/4)
本节主要讨论李雅普诺夫意义下 的各种稳定性的定义和意义.
本节主要问题为:
基本概念: 平衡态、李雅普诺夫稳定性、 渐近稳定性、
大范围渐近稳定性、不稳定性
基本方法: 求解平衡态方法
要掌握好李雅普诺夫稳定性理论, 重要的是深刻掌握和理解李雅普 诺夫稳定性定义的实质和意义.
如果系统在受到外扰后偏差量越来如果系统在受到外扰后偏差量越来3535分析一个控制系统的稳定性分析一个控制系统的稳定性一直一直是控制理论中所关注的最重要问是控制理论中所关注的最重要问对于简单系统常利用经典控制对于简单系统常利用经典控制理论中线性定常系统的稳定性判理论中线性定常系统的稳定性判在经典控制理论中在经典控制理论中借助于常微分借助于常微分方程稳定性理论方程稳定性理论产生了许多稳定产生了许多稳定性判据性判据如劳斯赫尔维茨routhrouthhurwitzhurwitz判据和奈奎斯特判据等判据和奈奎斯特判据等都给出了既实用又方便的判别系都给出了既实用又方便的判别系统稳定性的方法统稳定性的方法
等复杂系统的稳第10定页/共2性05页,这正是其优 势所在.
概述(9/5)
可是在相当长的一段时间里,李雅 普诺夫第二法并没有引起研究动 态系统稳定性的人们的重视,这是 因为当时讨论系统输入输出间关 系的经典控制理论占有绝对地位.
随着状态空间分析法引入动态系统 研究和现代控制理论的诞生,李雅 普诺夫第二法又重新引起控制领域 人们的注意,成为近40年来研究系统 稳定性的最主第11要页/共方205页法,并得到了进 一步研究和发展.
➢
对于非线性系统,通常可有一个或几个 孤立平 衡态,它 们分别 为对应 于式f( x,t)0的常值 解.
李雅普诺夫稳定性理论讨论的是 动态系统各平衡态附近的局部稳
李雅普诺夫稳定性的定义(3/4)
本节主要讨论李雅普诺夫意义下 的各种稳定性的定义和意义.
本节主要问题为:
基本概念: 平衡态、李雅普诺夫稳定性、 渐近稳定性、
大范围渐近稳定性、不稳定性
基本方法: 求解平衡态方法
要掌握好李雅普诺夫稳定性理论, 重要的是深刻掌握和理解李雅普 诺夫稳定性定义的实质和意义.
如果系统在受到外扰后偏差量越来如果系统在受到外扰后偏差量越来3535分析一个控制系统的稳定性分析一个控制系统的稳定性一直一直是控制理论中所关注的最重要问是控制理论中所关注的最重要问对于简单系统常利用经典控制对于简单系统常利用经典控制理论中线性定常系统的稳定性判理论中线性定常系统的稳定性判在经典控制理论中在经典控制理论中借助于常微分借助于常微分方程稳定性理论方程稳定性理论产生了许多稳定产生了许多稳定性判据性判据如劳斯赫尔维茨routhrouthhurwitzhurwitz判据和奈奎斯特判据等判据和奈奎斯特判据等都给出了既实用又方便的判别系都给出了既实用又方便的判别系统稳定性的方法统稳定性的方法
等复杂系统的稳第10定页/共2性05页,这正是其优 势所在.
概述(9/5)
可是在相当长的一段时间里,李雅 普诺夫第二法并没有引起研究动 态系统稳定性的人们的重视,这是 因为当时讨论系统输入输出间关 系的经典控制理论占有绝对地位.
随着状态空间分析法引入动态系统 研究和现代控制理论的诞生,李雅 普诺夫第二法又重新引起控制领域 人们的注意,成为近40年来研究系统 稳定性的最主第11要页/共方205页法,并得到了进 一步研究和发展.
➢
对于非线性系统,通常可有一个或几个 孤立平 衡态,它 们分别 为对应 于式f( x,t)0的常值 解.
李雅普诺夫稳定性理论PPT课件
b.非线性系统
f ( xe , t ) 0 可能有多个 xe x
eg. x 1 x1
2 x1 x2 x x
令
3 2
1 0 x
xe 1 0
2 0 x
0 xe3 1
0 xe2 1
=f(x,t)的解为 x(t , x0 , t0 ) 2.初态 x
x(t0 , x0 , t0 ) x0 初态
3.平衡状态:
xe 系统的平衡状态 e f ( xe , t ) 0 x n Ax xR x a.线性系统
A非奇异: A奇异:
Axe 0 xe 0 Axe 0 有无穷多个 xe
4)判
正负半定 ( x, t ) 0 ? V x0 V
( x, t ) 0 反设 V 0 李氏意义下的稳定 若x 0,V 0, 渐近稳定 若 x 0 , V
1 x2 x1 ( x1 x2 ) 试用李氏第二法判稳 eg1.x 2 x1 x2 ( x1 x2 ) x
1 2 2
且 lim x(t , x0 , t0 ) xe
t 0
t t0
则称 xe 是李氏意义下的稳定。
与t0无关 一致稳定
2.渐近稳定 1)是李氏意义下的稳定
x(t , x0 , t0 ) xe 0 2) lim t
与t0无关 一致渐进稳定
3.大范围内渐进稳定性
0
5.2李雅普诺夫意义下的稳定
1.李氏意义下的稳定
如果对每个实数 0 都对应存在另一个 实数 ( , t0 ) 0 满足 x0 xe ( , t0 )
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
X X
1 2
a 1
a
2
b1 X 1
b
2
X
2
或写成 : X AX
考察奇点特性时 , 可将 (4), (5) 式中的变
量消去一个后 ,再对剩下的变量进行分 析。
对此 , 对 (4)和(5)式取拉氏变换 :
sx 1 (s) x 1 (0) a 1 x 1 (s) b 1 x 2 (s) sx 2 (s) x 2 (0) a 2 x 1 (s) b 2 x 2 (s) 上式中 , 初始状态已知 ,因此 , 变量 x 1 ( s )的解主 要决定于其特征方程式 的根的分布情况 :
系统的平衡状态 X e 是李雅普诺夫意义下的
稳定。
S( ) S( )
Xe
2.渐近稳定性
2.渐 近 稳 定 性 如 果 平 衡 状X态e在 李 雅 普 诺 夫 意 义 下 稳是 定
的,又从球域 S( )内出发的任意一个,当解t 时 不仅不能超出球S域 ( )之外,而且最后收敛 Xe于 则称此类平衡状态是 近渐 稳定的li。 mx(t) 即
X f(Xt,)AX 当A为 非 奇,异 只时 有 X0一 个 解(满 2式 )足的 关 系 。
因此, 系统只有一个平衡状态;当A为奇异时( 2)式有 无穷多解,系统有无穷多个平衡状态. 但对于非线 性系统, 可能有一个或者多个平衡状态.
前面已经谈到任何彼此孤立的平衡点可以通
过坐标的转换将其移至坐标原点,因此, (2)式可以 写成 :
的
解
.
即
(t, X 0 , t 0 ) X (t 0 ) X 0 平衡状态 : 所有时间 t皆能满足下列关系
f( X e , t ) 0
(2)
时,则称 Xe为系统的平衡状态。 平衡:点 凡满(足 2)式的一X值 切都系统的平
由 上 式 可,以 平看 衡出 点 只(2)能 式从 得,不 来能(1从 )式 的 一 般 解 中 求性 出定 。常 对系 线统
4.不稳定性
4.不稳定性.
如果对于某个实数 0和任意一个实
数 0, 不管这两个实数有多么小, 在平衡
状态X e周围的球域内总存在着一个初始状
态
X
,
0
使
得
从
这
一
状
态
出
发的
轨
迹
最终
会
超出球域S ( )之外,这时称平衡状态X e是
不稳定的。
Xe
二、标量函数的下定性定义:
二 .标量函数的正定性定义
:
或 如果有X f (x,t)的每一个解 ,当t 时,都收敛
于Xe ,那么系统的平衡状X态 e就叫做在大范围内
的 渐 近 稳 定 .
S( )
S( )
Xe
说明:
说明 : 1.线 性系 统只 有 一个 平 衡 点, 只 要是 渐进 稳 定的 , 就一定是大范围渐近稳 定性的 . 2.确 定稳 定的 范 围是 很 重 要 的,因 为渐 近稳 定 是一 个局部概念,知道渐近稳定性的范围 ,才能明了这一 系统的抗干扰稳度 ,从而可以设法抑制干扰 的大小, 使它能满足系统稳定性 的要求。过去调节系统 中 所讲的稳定性的概念 ,只牵涉到小的扰动 ,没有涉及 到扰动的大小范围问题 ,因而是有局限性的。
$2 系统微分方程的奇异解 和稳定性的关系
一、二阶系统
一.二 阶 系 统
为 明 了 起,见 先 从 二 阶 系 统 谈 . 起
d2 x
dx dx
dx
dt2
A1(x,
) dt
dt
A2(x,
)x dt
0
(1)
式中
A1
A2为变
化
率dx及 dt
变
量 x 的
函
数
若(1) 式用两个变量X 1和X 2来描述,则 上式可写成:
f(Xe ,t) 0 时
则Xe被称为系统的平衡状。 态
应用范数表示以平衡状 态Xe为圆心,半径 为R的球域时 ,可写成 X Xe R 其中 X Xe 被称为欧几里德范数。 它等于:
X X e ( x1 X e1 ) 2 ( X 2 X e2 ) 2 ( X n X en ) 2 它代表矢量的长度
将(2)(,3式 ) 在坐标原点为 附级 近,即 数 展: 开
dx1 dt
a1x1
b1x2
a11x12
a12x1x2
a22x22
dx2 dt
a2x1
b2x2
b11x12
b21x1x2
b22x22
忽略高次项 , 有 :
dx 1 dt
a1x1
b1x 2
(4)
dx 2 dt
a1x1
b1x 2
(5)
即
:
在不失一般性的情况下 ,可以通过 坐标轴的转换将平衡点 移至坐标原点的 位置 ,然后在坐标原点附近利 用泰勒定理 将原有函数展开为级数 ,就可以近似地估 计出系统在平衡点附近 的稳定性如何。
例如 ,由(2)(,3式 ) 所描述的,可 系以 统 在平衡点附近作应出轨其迹 ,便 相能形象 地表示出该类奇的点稳周定围性情况
dx 1 dt
p ( x1 , x2 )
(2)
dx 2 dt
Q ( x1 , x2 )
(3)
由微分方程理论 ,凡可能知使 (2),(3)式等 于零的点就是,或 奇说 点在奇点上X变 1, X量2 的变化率等,于 即零 变量在奇点处无 .因变 此, 化 系统的微分方程的 所奇 代点 表的就是系统
在运动过程中的平衡点 .所以 , 在分析系 统的稳定性时必须明了 奇点的分布状 况 , 才能对系统的稳定性有 全面的了解。
自动调速系统中保持电 机转速为一定的能
力,以及火箭飞行中保持航 行为一定的能力 等都是。具有稳定性的 系统被称为稳定的
系统 ;反之不具有稳定性的系 统被称为不稳 定系统。
由上面所讲的含义可见 ,所谓系统的稳 定性就是系统受到小的 外界干扰后 ,系统的 偏差量的过渡过程的收 敛性 , 假如系统在受 到外界干扰后 ,其偏差量越来越大 ,显然它不 可能是一个稳定的系统 。可见稳定性乃是
1892年,李雅普诺夫就如何 判断系统稳定性的问题 , 归纳成两种方法 (简称第一法和第二法 )。第一法是通过求 解系统的微分方程,然 后根据解的性质来判断 系统的稳 定性,同时,他还指出 非线性系统在工作点附 近的一定 范围内可以用线性化了 的微分方程来近似地加 以描述。 如果线性化的特征方程 式的根全部是负实数根 ,或者是 具有负实数部分的复根 ,则该系统在工作点附 近周围是 稳定的,否则便是不稳 定的。
x1(s)
s2
(s b2 )x1 (0) b1 x 2 (0) (a1 b2 )s (a1b2 a 2b1 )
令 则 设
a-(1ab2) ba1b2-a2b1 x 1 ( s)的 特征 多项 式为 :
2 a b 0
a, b皆为常数 , 且 b 0
1,2 a
a 2 4b 2
第三章 李雅普诺夫稳定性分析
$1
概述
一个自动控制系统要正 能常的工作,它必须首 先是一个稳定的系统也 。就是说,当系统受外 到界 干扰后, 虽然它的原有平衡状(态相对稳定状态)被破 坏, 但 在 外 部 干 扰 去 掉 后 , 仍 有 能 力 自 动 地 在 另新 一 的平衡状态(相对稳定状态)下继续工作下去,系统的 这一种本能通常叫做统 系的稳定性。例如 ,常见的电 压自动调节系统中保电 持机电压为恒定的能,力 电机
系统的一个动态属性。
lim x(t)
t
式中
x(t) 系统的被调量偏高其平 衡位置的大小
任意小的规定量
若所论的系统是一个线 性定常系统 , 可用 Routh
- Hurwitz 判据或 Nyquist 稳定性判据对系统的稳 定性进行判
断 , 但对于非线性或时变系 统 ,虽说通过一些对系统的 转化
f(0, t) 0
(3)
(3)式即为常用的连续系统的平衡状态表达式.
$3 李雅普诺夫意义下的稳定
当李雅普诺夫谈到其定 稳理论时,对于稳
定性的含义有其自己解 的释,不象limx(t) t
所示的那么简单,而就 且其概念来说,与调节
原理中所讲的也有所同 不。
一,李雅普诺夫意义的 下稳定性的含义
当
前面提到的其他一些稳 定判据已是能解决问题 . 但正如前面所说的,由 于系统的结构日益复杂 用其他已知的一些稳定 判据对系统稳定性分析 遇到很大困难 ,所以近期对李氏理论的 研究分析 和应用又重为人们所重 视 ,而且已经有了许多卓 有成效的结果 .在如何寻求李氏函数方 面 , 也颇有 进展。
由于李氏理论用到了平 衡点,渐近稳定性 等概念 ,所以就这一类问题作介 绍 ,然后再谈稳定 理论。
当 X e 0, n 2时
X Xe
x
2 1
x
2 2
c表示一个圆 ,状态平面
当 Xe 0n,3时
X x1 2x2 2x3 2c表示一 ,状个 态球 空间
设对应于系统的初始条 件可以画出一个球域
S ( )它的范数为 :
X -Xe S ( )是含有方程 X f ( x , t )的解 (t, x 0 , t 0 )
的所有各点的球域 ,其范数为:
(t, x 0 , t 0 ) - X e 其中 ,为给定的常数 .
(t t 0 )
1.李雅普诺夫稳定: 若系统X f (x,t)对
于 任 意 选 定 的
使得当
0, 存在一个实数点 ( ,t0 )
0
时, 恒有
X Xe
(t,x0 , t 0 ) - Xe (t0 t ),
定理的关键在于能否找 到一个合适的辅 助函数 , 此函数通常称为李雅普 诺夫函 数。