本文是作者在期末复习时的一些总结,个人心得,内容粗糙,多有纰漏,欢迎大家批评指正。希望对您有所帮助。
参考资料:
[1] 《线性系统理论》(第二版)郑大钟编著
[2] 《线性系统理论习题解答》(第二版)郑大钟编著
[3] 《线性系统理论与设计》陈啟宗
[4] 网课:线性系统理论 北京理工大学 学堂在线
网址:https://www.xuetangx.com/course/bitP0701003686/21558998?channel=i.area.recent_search
第一章 系统的数学描述
考点
一、如何列写系统动态方程:
- 根据物理定律,给出微分方程
- 选状态变量
(机械系统:取质量块 m 的位移及其速度为状态变量,通常,y 是物块的位移,一般作为输出变量,外力 F 或传送带速度 v 都可以作为输入变量,多个质量块就选取每个质量块的位移及速度作为状态变量)
(电路系统:通常选取电容电压和电感电流作为状态变量。有时候不是所有电容电压和电感电流都要作为状态变量,有一种利用树建立动态方程的方法,可以避免选取多余的状态变量。简单总结就是:①找节点,画树枝,确定链 ②选状态变量:树枝电容电压,链上电感电流 ③关系表示:链上电感用电压定律,树上电容用电流定律)
- 转换成一阶微分方程组
- 写成矩阵形式
二、由方框图描述导出状态空间描述:
- 将一个方框图中所有环节的传递函数拆开(拆成串联或并联的多个环节),使各个环节的传递函数只为一阶惯性环节
和比例放大环节
。
- 将一阶惯性环节的输出指定为状态变量。
- 列些变量(状态、输入、输出)间的关系方程。
- 导出变换域(时域)状态变量方程和输出变量方程。
- 导出状态空间描述。
三、输入输出描述与传递函数描述的使用条件
什么样的系统可以用输入输出描述?——初始松弛
什么样的系统可以用传递函数描述?——t=0松弛的线性时不变系统
四、反馈系统的状态变量描述存在条件:
或
反馈系统状态变量描述存在的条件是:
和
五、判定系统的适定性:
适定性:设组合系统的每一个子系统均可由有理传递函数描述。若每一个子系统的传递函数是正则的,且从任意作为输入端的点至沿着有向路径的每一个其他点的闭环传递函数存在且正则,则成该组合系统是适定的(Well posed)。
设典型反馈系统中 是适当结束的有理传递函数矩阵。当且仅当
正则以及有理矩阵
存在且正则,或常数阵
是非奇异时,系统是适定的。
第二章 线性动态方程和脉冲响应矩阵
考点
一、基本矩阵与状态转移矩阵:
基本矩阵:以方程 的n个线性无关解所构成的矩阵
状态转移矩阵:令 是
的任意基本矩阵,对所有
中的
,称
是 的状态转移矩阵。
注意基本矩阵不唯一而状态转移矩阵唯一,状态转移矩阵由 唯一确定。状态转移矩阵可以看作一个线性变化,在时间区间
内,将
时的状态
映射到时刻
的状态
。
二、非齐次方程的解:
时变线性系统的解可以参考一下下面这篇,系统矩阵A里面带t,就不能用 来求状态转移矩阵。
的解由下式给出:
前面一项是零输入响应,后面的一项是零状态响应。
动态方程的输出是:
若满足松弛条件,,可得脉冲响应矩阵:
线性时不变系统中:齐次方程组的线性无关解矩阵为 ,
线性时不变系统动态方程的解:
通常假定t_0 = 0,这时则有:
三、e^At的计算方法:
方法一:拉普拉斯变换法
方法二:利用A的约当标准型计算
方法三:凯莱-哈密顿定理(略去,连同定义法一同略去,考试不用)
四、怎样把矩阵化为约当标准型*
此法求出的P实际上是下面的P逆
五、等价动态方程
若系统 与系统
等价,则经
变换后,有
在任何等价变换之下,线性时不变系统的可控性和可观测性不变。
第三章 线性动态方程的可控性和可观测性
考点
一、可控性的一般判别准则:
状态方程 ,在 t_0 可控的充分必要条件是,存在一个有限时间
,使得
矩阵
的 n 个行在
上线性无关。
的 n 个行在
上线性无关,其格莱姆矩阵非奇异。
可控性Gram矩阵:
对于任给的 x(t_0) ,构造如下控制输入
倘若题目中给出了系统的初始状态 x(0),求一个外力 u(t),使得系统在 2 秒内静止。这相当于给定了 ,在常考的线性时不变系统中,上面两个公式可以写作:
二、可观测性的一般判别准则
状态方程 ,在
时刻可观测的充分必要条件是,存在一个有限时间
,使得矩阵
的 n 个列在
上线性无关。或等价地
非奇异。
三、连续时间线性时变系统的能控性判据和能观测性判据 (充分条件)
连续时间线性时变系统“,A(t) 为 n×n 阵,B(t) 为 n×p 阵,C(t)为 q×n 阵”。组成并计算一组矩阵:
则
存在时刻 ,使
可以推出系统为时刻
完全可控。
组成并计算一组矩阵:
则
存在时刻 ,使
可以推出系统为时刻 完全可观。
四、简化的可控性条件
在许多情况下,利用可控性矩阵来判断可控性时,无须计算出矩阵 ,而是只须计算一个列数较小的矩阵。记
若 j 是使 成立的最小整数,则对于所有
,有
其中 是矩阵
的秩,
是矩阵
的最小多项式的次数。
矩阵 的最小多项式:对于一个 n×n 的矩阵
,其最小多项式
是满足
的最小次数的单变量多项式,其中
是 n×n 的零矩阵。最小多项式的存在性和唯一性可以通过凯莱-哈密顿定理来保证,该定理指出,每个矩阵都满足其特征多项式,而特征多项式是矩阵的一个多项式,且其次数为 n。最小多项式是特征多项式的一个子式。
五、连续时间线性时不变系统的能控性常用判据
①格拉姆矩阵判据(并不常用,但是这个公式可以再记一下)
存在时刻 ,有 系统完全能控的充分必要条件:格拉姆矩阵非奇异。格拉姆矩阵如下:
②秩判据
系统完全可控充要条件:
行满秩,即 。
③PBH秩判据
对于 的任一特征值
,都有
。
④约当规范形判据
系统特征值 两两相异情形:先将系统状态方程通过变换化为约当规范形
则
系统完全能控的充要条件是:不含零行。
特征值(
重),
(
重),…,
(
重),
情形:先将系统状态方程通过变换化为约当规范形
其中
则
系统完全能控的充要条件:
,由
末行组成的矩阵线性无关。
六、连续时间线性时不变系统的能观测性常用判据
①格拉姆矩阵判据(并不常用)
存在时刻 ,有 系统完全能观的充分必要条件:格拉姆矩阵非奇异。格拉姆矩阵如下:
②秩判据
系统完全可观充要条件:
行满秩,即 。
③PBH秩判据
对于 的任一特征值
,都有
。
④约当规范形判据
系统特征值 两两相异情形:先将系统状态方程通过变换化为约当规范形
则
系统完全能观的充要条件是:不含零行。
特征值(
重),
(
重),…,
(
重),
情形:先将系统状态方程通过变换化为约当规范形
其中
则
系统完全能观的充要条件:,
首列组成的矩阵为列线性无关。
七、时不变系统的振型(模态)、模式和模式抑制
通常我们把 A 的特征值 称为系统的振型或模态,把
中的
称为方程 与
相对应的模式。每个特征值可能有
重,
。
使矩阵满秩的
称为可控振型;使矩阵
降秩的
称为(包含了)不可控振型。
= 可控振型
个数 + 不可控振型
个数,并不能说所有的
都不可控,计算究竟有几个
是可控的,几个
是不可控的,需要用其他方法:
1)计算可控性矩阵的秩,有 个模态不可控。
2)可控性分解
当线性时不变动态方程可控,输入一定能激励方程的所有模式,也能抑制任何不希望的模式,使之不出现在输出中。
若系统不可控,则无法实现模式抑制。若系统本身不包含需要抑制的模式,那么只需要 u(t) 本身不包含需要抑制的模式。
八、线性系统的对偶性
九、动态方程的可控性、可观性分解
可控性分解:n维时不变动态方程,若动态方程的可控性矩阵U的秩为n_1<n,则存在一个非奇异的常值矩阵P及等价变换,将系统化为下列形式:
其中
n1维子方程如下:
是可控的,且与原动态方程有相同的传递函数矩阵。
变换矩阵的构造方法:
- 列写动态方程可控性矩阵U,其秩为n1。
- 从U中选取n1个线性无关的列向量。
作为变换阵
的前n1列,再补充n-n1个n维的列向量
,与前面的n1个列向量线性无关。并得到
变换后的A阵左下角为零矩阵,对应的变换后的B阵下部分为零矩阵。
可观性分解:n维时不变动态方程,若动态方程的可控性矩阵V的秩为n_2<n,则存在一个非奇异的常值矩阵P及等价变换,将系统化为下列形式:
n2维子方程
是可观的,且与原系统有相同的传递函数矩阵。
变换矩阵的构造方法:
- 列写动态方程可控性矩阵V,其秩为n2。
- 从U中选取n2个线性无关的行向量。
作为变换阵
的前n2行,再补充n-n2个n维的行向量
,与前面的n2个列向量线性无关。并得到
变换后的A阵右上角为零矩阵,对应的变换后的C阵右部分为零矩阵。
注意可控性分解的变换阵先凑出来,而可观性分解的变换阵先凑出来
十、不可简约的动态方程
相同的传递函数矩阵可以存在不同维数的动态方程实现,不可简约的动态方程又称为最小阶动态方程。
线性时不变动态方程是不可简约的充分必要条件是该动态方程是可控且可观测的。
十一、离散化线性系统保持可控性和可观测性的条件
第四章 不可简约实现
知识与方法
4.1 系统实现的定义
具有指定有理传递函数矩阵G(s)的线性时不变动态方程称为G(s)的实现。每个可实现的传递函数矩阵G(s)有无限多个线性时不变动态方程实现。
具有最小可能维数的实现是既可控又可观测的动态方程称为不可简约实现或最小维数实现。
4.2 正则有理矩阵的特征多项式和次数
单入单出系统只要满足A维数等于传函次数,就是最小实现,既能控又能观。
下面是多入多出的正则有理矩阵的情况:
的特征多项式:正则有理矩阵
的所有子式的最小公分母。(百度百科:G(s)的极点多项式:所有不恒为零的子式当化为不可简约形式后分母的首一最小公倍式。这个表述更准确,实际上是一个意思。)
(注意是所有子式,不是所有项,一阶子式是G(s)中的各项,二阶子式或更高阶要算行列式!)
的次数:
特征多项式的次数,记作
多入多出系统要满足A维数等于G(s)特征多项式的次数才是最小实现,既能控又能观
4.3 标准型及正则有理函数的不可简约实现
4.3.1 单变量系统的标准型
1.可控标准型实现:
方程的传递函数:
传函分子系数倒过来写成C阵,分母系数(最高次幂前面不算)倒过来添负号构成A阵最后一行!
求可控标准型的方法:
方法一:先求变换矩阵P
- 计算可控性矩阵
;
- 计算
,并记其最后一行为
;
- 给出变换阵:
方法二:先求变换阵
变换阵是唯一的!
做把系统状态方程化可控标准型的题时,先判断系统可控性。
2.可观标准型实现:
求可观测标准型的方法:
- 计算可观测形矩阵V,若系统可观测,可以化为可观测标准型。
- 写出原系统对偶系统:
- 对系统Ⅱ,求将其化为可控标准型的变换阵P
对偶系统的可控标准型的A阵转置处理,b阵转置放到c的位置,c阵转置放到b的位置,就得到了原系统的可观标准型。 - (另外一法)令
,则
4.3.2 多变量系统的标准型
Luenberger(第二)可控标准型
(ps.还有Luenberger伦博格第一标准型、Wonham(第二)可控标准型和Wonham(第一)可控标准型,这里不做介绍,可查阅资料了解)
长什么样?
p是多入多出系统输入的个数,也就是B阵的列数
怎样将多变量系统的动态方程化为伦博格第二可控标准型?
- 不失一般性,假设
列满秩;
- 列出可控性矩阵
按照上面的排列顺序,自左向右挑选出n个线性无关向量,再重新排列如下:
显然有
(注意:若某一向量,例如可由
线性表出,即
则所有均不会被选到。因为它们都可以由
线性表出)
- 令
- 求出
,以
表示
阵的第
、
、…及
行
构造变换阵: - 取非奇异变换
,就可得到
4.3.3 正则有理传递函数的最小实现
问题描述:给定有理函数:
写出其最小实现
该式可分解为常数部分和严格正则部分,其中的 e 就是动态方程中的直接传递部分。
所以,只需讨论其严格正则有理分式部分。要求寻找 ,使得满足严格正则有理传函部分,且 A 的维数尽可能小。
1.可控标准型的最小阶实现
注意:
(1)上图中为可控标准型,故该实现一定可控。
(2)如果用于实现的g(s)中无零极点对消,则上图中的动态方程一定也可观,因为 ,此动态方程就是g(s)的最小阶动态方程实现。
2.可观测标准型的最小阶实现
根据对偶原理,由g(s)的可控标准型可以直接得到可观标准型。对于可控和可观测标准型实现,只有当所给的是不可简约(即无零极点对消),所得实现才是不可简约的。
3.由汉克尔矩阵求传递函数的实现
(略)
由马尔可夫参数得到的汉克尔实现及约当型实现总是可控且可观的。
4.约当标准型实现
设g(s)的分母D(s)可因式分解成一次因式的乘积。则通过部分分式分解,求得约当标准型的最小阶实现。
实现步骤:
- 设g(s)的分母D(s)可因式分解成一次因式的乘积形式
其中,为相异特征值。
- 设g(s)通过部分分式展开为:
- 可得约当标准型最小实现
例题:
4.4 多变量系统的实现
4.4.1 动态方程的可控、可观性与传递函数矩阵之间的关系
设已知多变量系统动态方程:
其中,A,B,C分别是 的实常量矩阵。
求其传递函数矩阵
式中 称为系统的特征多项式。传递函数矩阵
是一个严格正则有理函数阵。
定理:若 与
(中的每一项)无非常数的公因式,则系统
是可控和可观测的。并且这仅仅是系统可控可观的充分条件而不是必要条件。
定理:系统可控可观测的充分必要条件是 的极点多项式等于 A 的特征多项式,即
4.4.2 向量传递函数的实现
一个元素为多项式的矩阵,总可以写成矩阵为系数的多项式。
4.4.2.1 1×p行向量传递函数矩阵的实现——行分母展开时,得可观测标准型最小实现
考虑严格正则传递矩阵:
(1)多入单出系统,其中各元均互质。
(2)的特征多项式(极点多项式)即为各元分母多项式的首一最小公分母。
则可表示为:
进而写成如下格式:注意阵是倒着写的,即
前面的行向量写在了
阵最下面一行。
4.4.2.2 q×1列向量传递函数矩阵的实现——列分母展开时,得可控标准型最小实现
考虑严格正则传递矩阵
(1)单入多出系统,其中各元均互质。
(2)的特征多项式(极点多项式)即为各元分母多项式的首一最小公分母。
则可表示为:
进而写成如下格式:注意阵是倒着写的,即
前面的列向量写在了
阵最下后一列。
传递函数矩阵为列和行向量时的最小实现总结:
各元素既约条件下,它们的首一最小公分母就是G(s)特征多项式。
G(s)为列向量(单入)则可实现为可控标准型
G(s)为行向量(单出)则可实现为可观标准型
4.4.3 q×p传递函数矩阵的实现
4.4.3.1 按列展开(求得可控标准型)
q×p的G(s)矩阵,可表示成p个q×1的列向量,则可按照q×1列向量传递函数矩阵的列分母展开法,分别求得可控标准型最小实现。
4.4.3.2 按行展开(求得可观测标准型)
q×p的G(s)矩阵,可表示成q个1×p的列向量,则可按照1×p列向量传递函数矩阵的行分母展开法,分别求得可观测标准型最小实现。
如果不论行展开或列展开都不能得到最小阶实现,可以利用可控性分解或可观性分解进一步降低系统的阶次。
4.4.3.3 按约当型展开
(略)
第五章 状态反馈及状态观测器的设计
知识与方法
对一个系统(对象)和一个期望信号(参考信号),其控制问题就是求出控制信号(驱动信号),使得对象的输出尽可能地接近参考信号。
若控制信号事先给定,并不依赖于对象地实际响应,则称这种控制为开环控制。当系统中存在扰动或变化时,这种类型地控制是不能令人满意。若控制信号依赖于系统的实际响应,则这种控制称为反馈控制。
反馈的基本类型分为状态反馈和输出反馈。由于系统的状态含有系统的全部基本信息,因此,若将控制信号设计成为状态与参考信号的函数,便可得到相当好的控制效果。输出反馈是以系统输出作为反馈变量的一类反馈形式。
5.1 状态反馈
5.1.1 状态反馈对系统可控性、可观测性的影响
1.状态反馈不改变系统的可控性。
系统动态方程:
引入线性反馈控制律为:
式中r是参考输入,K称为反馈增益矩阵,它是一个p×n的矩阵。
将代入状态方程后得到
式中A+BK为闭环系统的系统矩阵。
状态反馈不影响可控性,但可以用来控制动态方程的特征值。
2.状态反馈可能改变系统的可观测性。
5.1.2 输出反馈以及输出反馈与状态反馈的比较
1.输出反馈
系统的动态方程:
引入输出反馈控制 F 到控制系统的输入端,v 为系统参考输入,此时系统的控制率为:
引入输出反馈后的闭环系统状态空间表达式为:(将代入状态方程整理得到)
对于连续线性时不变系统,输出反馈可保持原系统的可控性和可观测性。
2.状态反馈与输出反馈的比较
1)状态反馈为系统结构信息的完全反馈,输出反馈则是系统结构信息的不完全反馈。
2)对各类性能指标时间域系统综合问题上,几乎都要求采用状态反馈,表明状态反馈在功能上要远优于输出反馈。
3)在物理实现上输出反馈更容易,解决状态反馈物理实现的途径是附加状态观测器。
5.1.3 单输入系统的极点配置(特征值配置)
开环:
引入状态反馈律:
闭环:
闭环系统的系统矩阵的特征值可以由状态反馈增益阵
配置到复平面的任意位置(复数共轭成对),其充分必要条件是开环动态系统可控。
求k阵的方法:
算法一:(显然不如算法二)
1)计算的特征多项式:
2)由所给的n个期望特征值,计算期望的特征多项式为:
3)求(用原特征多项式系数减期望特征多项式系数,并且反过来排列):
4)计算可控标准型的坐标变换阵:
5)求出反馈增益阵
算法二:直接求k算法:
1)设反馈增益矩阵
2)计算。这个s的多项式的系数包含了待定的n个参数:
3)将这个特征多项式与期望特征值比较,令s的同次幂的系数相等:
解包含n个未知量的n个线性方程,在系统可控的条件下,由这个方程可唯一地确定出反馈增益向量
。
注意:对于单输入系统极点的“任意配置”来说,其充要条件就是系统可控。但对于某一组指定的特征值进行配置时,系统可控只是充分条件,而不是必要条件。给定极点组可用状态反馈达到配置的充分必要条件是给定极点组包含系统的不可控模态。
5.1.4 状态反馈对传递函数零点的影响
引入状态反馈可移动极点的位置,一般来说不影响零点。但却存在这样的情形:经状态反馈后的极点恰与零点有对消,此时状态反馈不仅影响了零点,还造成被消掉的极点为不可观测模态(但仍可控)。这从另一个角度解释了为什么状态反馈有时会使系统失去可观测性。
5.1.5 多变量系统状态反馈
方法一:将多变量问题变换为单变量问题处理
定理:若多变量系统可控,且
为循环的,则几乎对任意的p×1实向量
,单输入
都是可控。
循环矩阵:若矩阵的特征多项式等于其最小多项式,则称之为循环矩阵。若
是循环的,则存在一个向量b使向量组
能张成n维空间,或等价于
可控。
循环的充分必要条件是
的约当标准型中相应于每个不同的特征值仅有一个约当块。
循环的充分条件是
的n个特征值均不相同。
…
对于多变量系统,K的选择是不唯一的。
多输入系统状态反馈配置极点问题的另一特点是“非线性方程”
极点配置中反馈增益阵选取的不唯一,表明由此生成的闭环传递函数阵一般是不同的,从而也将具有不同的响应特性。显然,在极点配置问题中应选择(动态性能好)响应速
度较快的反馈增益阵。
给定极点组可用状态反馈达到配置的充分必要条件是给定极点组需包含系统的全部不可控模态。因此判别原来系统的模态可控性就成了关键。
方法二:将原多变量系统变换为可控标准型后处理
下面介绍变换的具体做法:
- 不失一般性,假设
列满秩;
- 列出可控性矩阵
按照上面的排列顺序,自左向右挑选出n个线性无关向量,再重新排列如下:
显然有
(注意:若某一向量,例如可由
线性表出,即
则所有均不会被选到。因为它们都可以由
线性表出)
- 令
- 求出
,以
表示
阵的第
、
、…及
行
构造变换阵: - 取非奇异变换
,就可得到
方法三:通过解一个李雅普诺夫方程实现,不必将A变换为可控标准形:
(略)
太抽象了实在是,还是找道题看一下吧:
考试的时候还是判断一下可控性,然后直接让多项式系数对应相等做吧。
5.1.6 镇定问题
定义:
在系统设计中,往往仅需改变不稳定的特征值(具有非负实部的特征值)。从而使系统所有特征值均具有负实部,系统稳定,这一过程称为镇定。
是否需要镇定?
①系统所有特征值均具有负实部=>不需要镇定;
②系统具有非负实部特征值=>需要镇定;
对于定常系统,若能狗狗找到状态反馈
,使得经反馈后的闭环系统
的所有特征值均有负实部(渐近稳定),就称系统是可反馈镇定的。
定理:系统(A,B)可用状态反馈镇定的充分必要条件是其所有的不可控模态均具有负实部。
5.2 状态观测器
5.2.1 基本认识
一般系统的输入量u和输出量y均为已知,因此希望利用与
的偏差信号来修正
的值,形成下面的闭环估计方案。
n维基本状态观测器:
定理:线性时不变系统的状态观测器可任意配置特征值的充分必要条件是
可观测。状态观测器存在的充要条件是系统可检测(系统中不可观测的模态是稳定模态),可检测是可镇定的对偶提法。
Kx状态观测器:
5.2.2 单入单出系统的状态观测器
步骤:
1)记。因原系统
可观测,对其作等价变换后可得可观测标准形。
2)对构造状态观测器:
5.2.3 最小维状态观测器
引理:若系统 可控可观测,且
,则系统的状态观测器的最小维数是
求降维状态观测器的一般步骤:
考虑 维动力学方程
假定 C 为行满秩,即 rank C = q ,构造降维状态观测器。
- 判断系统的可观测性,如果可观测进行下一步;若不可观测,则不能设计降维观测器。
- 当 C 为行满秩时,定义
选取 R 使矩阵 P 非奇异。
3. 由变换矩阵 P 求系统的等价变换
引入等价变换的目的,就是使具有此形式。
若原系统已具备此形式,无需变换。
①,不需估计
②只有的后
个分量
需要估计
③仅需构造一个针对的
维的状态估计器
4. 根据观测器极点配置要求,由下面方程设计 矩阵(4.和 5.的公式试卷上一般会给提示)
5. 求降维状态观测器
5.3 状态反馈和状态观测器的连接
第六章 系统的运动稳定性
考点
1.系统的稳定性的充分必要条件
李氏稳定:det(sI-A)实部为零的根对应的初等因子是一次(或对应的约当块为一阶子块;是最小多项式的单根;几何重数等于代数重数),且其余根均具负实部。
渐近稳定:det(sI-A)的所有根均具负实部。
不稳定:det(sI-A)有正实部的根,或实部为零的根对应的初等因子不是一次。
2.BIBS稳定性判定
1)系统BIBS稳定<=>系统全体可控模态具负实部(相应的模式收敛);
2)系统BIBS 全稳定<=>系统全体可控模式收敛、全体不可控模式不发散。
复数域判别法:
3.BIBO稳定性判定
1)系统BIBO稳定<=>系统全体可控可观模态具负实部(相应的模式收敛);
2)系统BIBO全稳定<=>系统全体可控可观模式收敛、全体不可控模式不发散。
4.总体稳定的充分必要条件是BIBS全稳定
5.稳定性之间的关系
6.稳定性判别——复频域极点法
一、李雅普诺夫稳定性的定义:
对于一个系统 ,其平衡点
是李雅普诺夫稳定的,满足以下条件:
1. 对于任意给定的一个小的正数 ,存在一个正数
,使得当系统初态
满足
时,系统的状态
对任意
都满足
。
简言之:
如果系统从某个足够靠近平衡点的初始状态出发,系统的状态在任意时间都不会偏离平衡点
太远,则平衡点是李雅普诺夫稳定的。
理解的关键点:
- 局部性:李雅普诺夫稳定性通常是局部的,即只对靠近平衡点的小范围有效。因此,讨论的
“初态范围”和“末态范围”都是针对平衡点附近的。
- 李雅普诺夫稳定性只要求状态不发散(始终保持在一定范围内)。如果进一步要求状态随着时
间趋于平衡点(即),则是渐近稳定性。
二、李雅普诺夫稳定性概念的多个层次:
- 稳定性(Stability)
定义:一个系统的平衡点(例如)是稳定的,当且仅当:
对于任意给定的一个小的正数
,存在一个正数
,使得当系统初态
满足
时,系统的状态
对任意
都满足
。
直观解释:初态如果足够靠近平衡点,系统状态将一直保持在平衡点附近,而不会偏离太远。 -
渐近稳定性(Asymptotic Stability)
定义:一个平衡点是渐近稳定的,如果:
1.它是稳定的;
2.系统状态随时间趋近于平衡点,即。
直观解释:渐近稳定性比稳定性更强,不仅要求系统状态不偏离平衡点,还要求最终收敛到平衡点。 -
一致稳定性(Uniform Stability)
定义:平衡点是一致稳定的,当且仅当:
对于任意,存在
,使得对于所有初始时间
和所有
,都保证
对任意
成立。
与稳定性的区别:一致稳定性强调的是时间 的独立性。普通稳定性可能依赖于具体的初始时间,而一致稳定性则确保这种关系对于任意
都一致有效。
-
一致渐近稳定性(Uniform Asymptotic Stability)
定义:平衡点是一致渐近稳定的,当且仅当:
1.它是一致稳定的;
2.且的收敛速度与初始时间
无关。
与渐近稳定性的区别:普通渐近稳定性可能依赖于初始时间的选择,而一致渐近稳定性则要求收敛行为对所有初始时间
都保持一致。
-
指数渐近稳定性(Exponential Asymptotic Stability)
定义:平衡点是指数渐近稳定的,如果存在正数和
,使得:
这里的和
是独立于初始条件的。
直观解释:系统状态不仅趋近于平衡点,而且收敛速度是指数型的。相较于渐近稳定性,指数稳定性提供了更强的收敛速度描述。
三、线性系统稳定性的特点
系统 在任意输入
作用下、任一实际运动的稳定性问题都等价于其
对应齐次方程 关于零解的稳定性问题。
原系统具有什么性质的稳定性,对应齐次方程 关于零解就具有同一种稳定性。