普诺夫稳定性课件

第第1111讲讲 李雅普诺夫稳定性理论李雅普诺夫稳定性理论第11讲 李雅普诺夫稳定性理论1掌握内容l 李氏稳定性的概念稳定性的概念l 稳定性判别方法稳定性判别方法 掌握内容 李氏稳定性的概念2StabilityStability3l自动控制系统的出现伴随着稳定性问题自动控制系统的出现伴随着稳定性问题11.1 稳定性研究的历史稳定性研究的历史自动控制系统的出现伴随着稳定性问题失稳11.1 稳定性研究4利用微分方程进行稳定性分析利用微分方程进行稳定性分析特性方程的根决定稳定性特性方程的根决定稳定性特征方程的系数判据特征方程的系数判据利用微分方程进行稳定性分析Maxwell特性方程的根决定稳定5l稳定性研究决定了频率特性的发展稳定性研究决定了频率特性的发展Black发明反馈放大器发明反馈放大器Nyquist判据判据相角裕量相角裕量增益裕量增益裕量稳定性研究决定了频率特性的发展Black发明反馈放大器Nyq6l 李亚普诺夫理论成为现代控制理论李亚普诺夫理论成为现代控制理论与非线性控制的重要基础与非线性控制的重要基础1892年，发表年，发表“论稳定论稳定性的一般问题性的一般问题”线性系统线性系统非线性系统非线性系统 李亚普诺夫理论成为现代控制理论与非线性控制的重要基础1897天遇：混沌与稳定性的起源天遇：混沌与稳定性的起源811.2 稳定性的概念与定义稳定性的概念与定义平衡稳定性平衡稳定性11.2 稳定性的概念与定义平衡稳定性稳定？扰动9扰动运动微分方程扰动运动微分方程无阻尼下垂摆无阻尼下垂摆阻尼下垂摆阻尼下垂摆倒立摆倒立摆扰动运动微分方程无阻尼下垂摆阻尼下垂摆倒立摆10不稳定稳定渐近稳定11定义定义定义XX0Xe状态向量初始状态孤立平衡状态12平衡点平衡点：状态：状态x xe e称为系统的一个平衡点，称为系统的一个平衡点，如果一旦如果一旦x(t)=xx(t)=xe e,则此后状态永远停留则此后状态永远停留在在x xe e.平衡点满足方程平衡点满足方程对线性时不变系统对线性时不变系统平衡点：状态xe称为系统的一个平衡点，如果一旦x(t)=xe13对于孤立平衡状态，总可以经过对于孤立平衡状态，总可以经过适当的坐标平移变换，将它变换适当的坐标平移变换，将它变换到状态空间原点。因此，经常以到状态空间原点。因此，经常以原点作为平衡状态来讨论系统的原点作为平衡状态来讨论系统的稳定性。稳定性。对于孤立平衡状态，总可以经过适当的坐标平移变换，将它变换到状14李雅普诺夫意义下的稳定李雅普诺夫意义下的稳定 如果对任一实数如果对任一实数0,0,都对应地存在一都对应地存在一个实数个实数(，t t0 0)0,)0,使得由满足不等式使得由满足不等式|x|x0 0-x-xe e|(,t0),t0)的任一初始状态的任一初始状态x x0 0出发的受扰运动都满足不出发的受扰运动都满足不等式等式|(t;x(t;x0 0,t,t0 0)-x)-xe e|则称则称x xe e在李雅普诺夫意义下稳定。在李雅普诺夫意义下稳定。李雅普诺夫意义下的稳定 如果对任一实数0,都15x0 xeS()S()(t)任给任给存在存在x0 xeS()S()(t)任给存在16一致稳定一致稳定若上述若上述的选取只与的选取只与有关，而和有关，而和t t0 0无关，则称平衡状态是一致稳定。无关，则称平衡状态是一致稳定。一致稳定若上述的选取只与有关，而和t0无关，则称平衡状态17渐近稳定渐近稳定 孤立平衡状态孤立平衡状态x xe e=0=0在时刻在时刻t t0 0渐近稳定，渐近稳定，XeXe是李雅普诺夫意义下稳定的（是李雅普诺夫意义下稳定的（mustmust)相对于平衡状态相对于平衡状态x xe e=0=0满足渐近性满足渐近性使系统为渐近稳定的最大区域称吸引域。使系统为渐近稳定的最大区域称吸引域。渐近稳定 孤立平衡状态xe=0在时刻t0渐近稳定，使系18x0 xeS()S()(t)吸引域吸引域不稳x0 xeS()S()(t)吸引域不稳19全局稳定全局稳定若以状态空间的任一有限非零点为初始若以状态空间的任一有限非零点为初始状态的受扰运动都有界，且成立状态的受扰运动都有界，且成立 则系统的原点平衡状态是大范围（全局）则系统的原点平衡状态是大范围（全局）渐近稳定。渐近稳定。吸引域充满状态空间吸引域充满状态空间吸引域充满状态空间吸引域充满状态空间全局稳定若以状态空间的任一有限非零点为初始状态的受扰运动都有20不稳定不稳定设系统的孤立平衡状态为设系统的孤立平衡状态为x xe e。若。若对某个实数对某个实数00和任意实数和任意实数0,0,不管不管多小，在多小，在S(S()内总内总会存在一个状态会存在一个状态x x0 0，使从，使从x x0 0出发出发的轨迹将离开的轨迹将离开S(S(),),则称该孤立则称该孤立平衡状态是不稳定的。平衡状态是不稳定的。不稳定设系统的孤立平衡状态为xe。若对某个实数0和任意实21x0 xeS()S()(t)无论多大无论多小x0 xeS()S()(t)无论多大无论多小2211.311.3 李雅普诺夫第一方法李雅普诺夫第一方法（线性化方法或间接法）（线性化方法或间接法）基本思路基本思路 将非线性系统运动方程在平衡将非线性系统运动方程在平衡状态附近进行泰勒展开，舍去高次状态附近进行泰勒展开，舍去高次项，导出一次近似的线性化系统。项，导出一次近似的线性化系统。根据线性化系统特征值在复平根据线性化系统特征值在复平面上的分布来判断系统在平衡状态面上的分布来判断系统在平衡状态附近的稳定性。附近的稳定性。11.3 李雅普诺夫第一方法（线性化方法或间接法）基本思路23忽略忽略A非线性系统非线性系统忽略A非线性系统24雅可比矩阵雅可比矩阵雅可比矩阵25非线性系统在平衡点的非线性系统在平衡点的线性化方程线性化方程非线性系统在平衡点的线性化方程26线性化定理线性化定理线性化系统线性化系统非线性系统非线性系统平衡点平衡点线性化定理线性化系统非线性系统渐近稳定稳定不稳定不稳定临界稳27A的特征值具的特征值具有负实部有负实部A的特征值具的特征值具有正实部有正实部A的特征值实的特征值实部为零部为零A的特征值具有负实部A的特征值具有正实部稳定不稳定A的特征值28例例线性化29例：判断局部稳定性例：判断局部稳定性例：判断局部稳定性原点渐近稳定30Aleksandr Lyapunov(June 6 1857 November 3,1918)1876,圣彼得堡大学学习，师从切比雪夫圣彼得堡大学学习，师从切比雪夫1892，获博士学位并成为教授，获博士学位并成为教授1901，俄罗斯科学院院士，俄罗斯科学院院士1908，参加第，参加第4届数学大会，并参与欧拉届数学大会，并参与欧拉选集的编辑出版工作选集的编辑出版工作1918，夫人去世，随之自杀，不治身亡，夫人去世，随之自杀，不治身亡Lyapunovs central limit theorem、Lyapunov equation、Lyapunov exponent Lyapunov function、Lyapunov stability Aleksandr Lyapunov(June 6 183111.4 李雅普诺夫第二方法李雅普诺夫第二方法（直接法）（直接法）阻尼系统阻尼系统11.4 李雅普诺夫第二方法（直接法）阻尼系统32能量能量能量的导数能量的导数能量替换能量的导数33是否对所是否对所有系统都有系统都成立？成立？是否对所有系统都成立？稳定34V(x)是向量是向量x的标量函数，的标量函数，S是是x空间包含空间包含原点的封闭有限区域，若对于原点的封闭有限区域，若对于S中的所有中的所有x，都有，都有V(x)对于向量对于向量x中各分量有连续的偏导数中各分量有连续的偏导数V(0)=0当当x0，V(x)0 正定函数正定函数V(x)是向量x的标量函数，S是x空间包含原点的封闭有限区域35正定半正定半负定不定36二次型函数二次型函数SylvesterSylvester定理定理当当P P是对称矩阵时，是对称矩阵时，V(x)V(x)为正定为正定的充分必要条件是的充分必要条件是P P的顺序主子行列式都为正的顺序主子行列式都为正二次型函数Sylvester定理当P是对称矩阵时，V(x)为37二次型函数的正定性等价于其加权矩二次型函数的正定性等价于其加权矩阵阵P P 的正定性。的正定性。实对称阵实对称阵P P为负定的充分必要条为负定的充分必要条件是其各阶主子式满足件是其各阶主子式满足(i 为偶数为偶数)(i 为奇数为奇数)二次型函数的正定性等价于其加权矩阵P 的正定性。实对称阵P为38正定39李雅普诺夫稳定性定理李雅普诺夫稳定性定理 给定一个定常系统的运动方程和平给定一个定常系统的运动方程和平衡状态，若对该系统可以找到单值标量函衡状态，若对该系统可以找到单值标量函数数V(x)V(x)，且，且V(x)V(x)对各状态分量均具有一阶对各状态分量均具有一阶连续偏导数，若成立连续偏导数，若成立V(x)V(x)正定正定V(x)V(x)的导数负定的导数负定 则则x xe e=0=0是是局部渐近稳定局部渐近稳定的平衡状态，的平衡状态，称称V(x)V(x)是系统的一个李雅普诺夫函数。是系统的一个李雅普诺夫函数。若若V(x)半负定，则半负定，则Lyapuno意义下稳定意义下稳定李雅普诺夫稳定性定理 给定一个定常系统的运动方程和平衡40系统的原点平衡状态为系统的原点平衡状态为大范围渐近稳定大范围渐近稳定若成立系统的原点平衡状态为大范围渐近稳定41放宽后的条件放宽后的条件Krasovski-LasalleKrasovski-Lasalle不变性原理不变性原理放宽后的条件半负定不恒等于零Krasovski-Lasall42直观理解直观理解系统的运动伴随能量的变化系统的运动伴随能量的变化,若若能使系统能量变化的速率始终为能使系统能量变化的速率始终为负负(能量为单调减少能量为单调减少),),系统的受系统的受扰运动最终会回到平衡状态扰运动最终会回到平衡状态.直观理解系统的运动伴随能量的变化,若能使系统能量变化的速率始43x1x2V等值面x1x244说明说明普适性普适性(线性线性非线性非线性时变时变)直观性直观性(广义能量广义能量)函数的选取缺少有效方法函数的选取缺少有效方法充分条件充分条件(若找不到李氏函数若找不到李氏函数,不不意味不稳定意味不稳定)说明普适性(线性非线性时变)45不稳定的判别定理不稳定的判别定理 对对LTI LTI 自治系统自治系统,若可构造标量函数若可构造标量函数V(x),V(0)=0,V(x),V(0)=0,以及围绕状态空间原点以及围绕状态空间原点的一个区域的一个区域,使对所有非零状态使对所有非零状态x x满足满足V(x)V(x)为正定为正定V(x)V(x)为正定为正定 则系统原点平衡状态则系统原点平衡状态x=0 x=0为不稳定为不稳定不稳定的判别定理 对LTI 自治系统,若可构造标量函数V46例原点原点(x(x1 1=0,x=0,x2 2=0)=0)是唯一的平衡状态是唯一的平衡状态正定函数正定函数例原点(x1=0,x2=0)是唯一的平衡状态正定函数47负定平衡点大范围渐近稳定4811.5 连续时间线性系统状态稳定性连续时间线性系统状态稳定性判据判据11.5 连续时间线性系统状态稳定性判据稳定Q正定49对对n n维维LTILTI系统系统,原点平衡状态原点平衡状态x xe e=0=0是是渐近稳定的充分必要条件为渐近稳定的充分必要条件为,对任给对任给一个一个n*nn*n正定对称矩阵正定对称矩阵Q,Q,李亚普诺夫李亚普诺夫方程有唯一正定对称解阵方程有唯一正定对称解阵P P对n维LTI系统,原点平衡状态xe=0是渐近稳定的充分必要条50说明说明Q Q常取为对角阵或单位阵常取为对角阵或单位阵其实质是给出了矩阵其实质是给出了矩阵A A的特征值具有的特征值具有负实部的充要条件负实部的充要条件其意义主要用于理论推导和分析其意义主要用于理论推导和分析说明Q常取为对角阵或单位阵51例例 判断稳定性判断稳定性例 判断稳定性52渐近稳定5311.6 11.6 外部稳定性和内部稳定性外部稳定性和内部稳定性（了解了解）LTILTI系统系统BIBOBIBO稳定稳定传递函数矩阵传递函数矩阵G(s)G(s)所有极点均具所有极点均具有负实部有负实部外部稳定性外部稳定性BIBO稳定性稳定性11.6 外部稳定性和内部稳定性（了解）LTI系统BIBO稳54内部稳定性内部稳定性由任意时刻由任意时刻t t0 0的非零初始状态的非零初始状态x x0 0引起引起的状态零输入响应为有界的状态零输入响应为有界,且成立且成立LTILTI系统内部稳定系统内部稳定内部稳定性由任意时刻t0的非零初始状态x0引起的状态零输入响55LTI系统内部稳定的充要条件系统内部稳定的充要条件状态矩阵状态矩阵A A的所有特征值的所有特征值i i均具有负实部均具有负实部LTI系统内部稳定的充要条件状态矩阵A的所有特征值i56内部稳定性和外部稳定性关系内部稳定性和外部稳定性关系内部稳定内部稳定外部稳定外部稳定外部稳定外部稳定内部稳定内部稳定系统系统BIBOBIBO稳定只意味着其能控稳定只意味着其能控能观部分为渐近稳定能观部分为渐近稳定内部稳定性和外部稳定性关系内部稳定外部稳定外部稳定内部稳定系57结论结论若线性定常系统为能控和能若线性定常系统为能控和能观，则其内部稳定性和外部观，则其内部稳定性和外部稳定性是等价的。稳定性是等价的。结论若线性定常系统为能控和能观，则其内部稳定性和外部稳定性是58