《实验Laypunov方程求解》由会员分享，可在线阅读，更多相关《实验Laypunov方程求解（10页珍藏版）》请在金锄头文库上搜索。
1、实验-Laypunov方程求解 作者： 日期： 现代控制理论实验四院系： 学生姓名： 学 号：一：原理1.李雅普诺夫稳定性概念忽略输入后，非线性时变系统的状态方程如下 （1）式中，为维状态向量；为时间变量； 为维函数，其展开式为 假定方程的解为 ，和分别为初始状态向量和初始时刻，。平衡状态 如果对于所有，满足 （2）的状态称为平衡状态（又称为平衡点）。平衡状态的各分量不再随时间变化。若已知状态方程，令 所求得的解，便是平衡状态。对于线性定常系统，其平衡状态满足 ，如果非奇异，系统只有惟一的零解，即存在一个位于状态空间原点的平衡状态。至于非线性系统，的解可能有多个，由系统状态方程决定。控制系统李
2、雅普诺夫意义下的稳定性是关于平衡状态的稳定性，反映了系统在平衡状态附近的动态行为。鉴于实际线性系统只有一个平衡状态，平衡状态的稳定性能够表征整个系统的稳定性。对于具有多个平衡状态的非线性系统来说，由于各平衡状态的稳定性一般并不相同，故需逐个加以考虑，还需结合具体初始条件下的系统运动轨迹来考虑。本节主要研究平衡状态位于状态空间原点（即零状态）的稳定性问题，因为任何非零状态均可以通过坐标变换平移到坐标原点，而坐标变换又不会改变系统的稳定性 （a）李雅普诺夫意义下的稳定性 （b）渐近稳定性 （c） 不稳定性图1 稳定性的平面几何表示2.李雅普诺夫稳定性定义（1）李雅普诺夫稳定性：如果对于任意小的e
3、0，均存在一个，当初始状态满足时，系统运动轨迹满足，则称该平衡状态 是李雅普诺夫意义下稳定的，简称是稳定的。该定义的平面几何表示见图8-18（a），表示状态空间中点至点之间的距离，其数学表达式为 （3） 设系统初始状态位于平衡状态为球心、半径为的闭球域内，如果系统稳定，则状态方程的解在的过程中，都位于以为球心，半径为的闭球域内。（2）一致稳定性： 通常与、 都有关。如果与无关，则称平衡状态是一致稳定的。定常系统的与无关，因此定常系统如果稳定，则一定是一致稳定的。（3）渐近稳定性：系统的平衡状态不仅具有李雅普若夫意义下的稳定性，且有 （4）称此平衡状态是渐近稳定的。这时，从 出发的轨迹不仅不会超
4、出，且当时收敛于或其附近，其平面几何表示见图8-18（b）。（4）大范围稳定性 当初始条件扩展至整个状态空间，且具有稳定性时，称此平衡状态是大范围稳定的，或全局稳定的。此时，。对于线性系统，如果它是渐近稳定的，必具有大范围稳定性，因为线性系统稳定性与初始条件无关。非线性系统的稳定性一般与初始条件的大小密切相关，通常只能在小范围内稳定。（5）不稳定性 不论取得得多么小，只要在内有一条从出发的轨迹跨出，则称此平衡状态是不稳定的。其平面几何表示见图8-18（c）。注意，按李雅普诺夫意义下的稳定性定义，当系统作不衰减的振荡运动时，将在平面描绘出一条封闭曲线，只要不超过 ，则认为是稳定的，如线性系统的无
5、阻尼自由振荡和非线性系统的稳定极限环，这同经典控制理论中的稳定性定义是有差异的。经典控制理论的稳定是李雅普诺夫意义下的一致渐近稳定。3.李雅普诺夫稳定性间接判别法 李雅普诺夫第一法（间接法）是利用状态方程的解的特性来判断系统稳定性的方法，它适用于线性定常、线性时变及可线性化的非线性系统。线性定常系统的特征值判据 系统渐近稳定的充要条件是：系统矩阵A的全部特征值位于复平面左半部，即 （5）证明 假定A有相异特征值，根据线性代数理论，存在非奇异线性变换（P由特征值对应的特征向量构成，为一常数矩阵），可使对角化，有 变换后状态方程的解为 由于 ，故原状态方程的解为 有 将上式展开，的每一元素都是的线
6、性组合，因而可写成矩阵多项式 故可以显式表出与的关系当式（8-74）成立时，对于任意，均有，系统渐近稳定。只要有一个特征值的实部大于零，对于,便无限增长，系统不稳定。如果只有一个（或一对，且均不能是重根）特征值的实部等于零，其余特征值实部均小于零，便含有常数项或三角函数项，则系统是李雅普诺夫意义下稳定的。4.李雅普诺夫稳定性直接判别法李雅普诺夫第二法（直接法）是利用李雅普诺夫函数直接对平衡状态稳定性进行判断，无需求出系统状态方程的解，它对各种控制系统均适用。根据物理学原理，若系统贮存的能量（含动能与位能）随时间推移而衰减，系统迟早会到达平衡状态。实际系统的能量函数表达式相当难找，因此李雅普诺夫
7、引入了广义能量函数，称之为李雅普诺夫函数。它与及有关，是一个标量函数，记以；若不显含，则记以。考虑到能量总大于零，故为正定函数，能量衰减特性用表示。遗憾的是至今仍未形成构造李雅普诺夫函数的通用方法，需要凭经验与技巧。实践表明，对于大多数系统，可先尝试用二次型函数作为李雅普诺夫函数。1.标量函数定号性（1）正定性 标量函数在域中对所有非零状态有且，称在域内正定。如是正定的。（2）负定性 标量函数在域中对所有非零有且，称在域内负定。如是负定的。如果是负定的，-则一定是正定的。（3）负（正）半定性 ，且在域内某些状态处有，而其它状态处均有（），则称在域内负（正）半定。设为负半定，则为正半定。如为正半
8、定。（4）不定性 在域内可正可负，则称不定。如是不定的。关于正定性的提法是：标量函数在域中，对于及所有非零状态有,且，则称在域内正定。的其它定号性提法类同。二次型函数是一类重要的标量函数，记 （6）其中，为对称矩阵，有。显然满足，其定号性由赛尔维斯特准则判定。当的各顺序主子行列式均大于零时，即 （7）为正定矩阵，则正定。当的各顺序主子行列式负、正相间时，即 （8）为负定矩阵，则负定。若主子行列式含有等于零的情况，则为正半定或负半定。不属以上所有情况的不定。下面不打算对李雅普诺夫第二法中诸稳定性定理在数学上作严格证明，而只着重于物理概念的阐述和应用。2.李雅普诺夫第二法诸稳定性定理 设系统状态方
9、程为，其平衡状态满足,不失一般性，把状态空间原点作为平衡状态，并设系统在原点邻域存在对的连续的一阶偏导数。定理1 若正定，负定；则原点是渐近稳定的。负定表示能量随时间连续单调地衰减，故与渐近稳定性定义叙述一致。定理2 若正定；负半定，且在非零状态不恒为零；则原点是渐近稳定的。负半定表示在非零状态存在，但在从初态出发的轨迹上，不存在的情况，于是系统将继续运行至原点。状态轨迹仅是经历能量不变的状态，而不会维持在该状态。定理3 若正定；负半定，且在非零状态恒为零；则原点是李雅普诺夫意义下稳定的。沿状态轨迹能维持，表示系统能维持等能量水平运行，使系统维持在非零状态而不运行至原点。定理4 若正定；正定；
10、则原点是不稳定的。正定表示能量函数随时间增大，故状态轨迹在原点邻域发散。参考定理2可推论：正定，当正半定，且在非零状态不恒为零时，则原点不稳定。应注意到，李雅普诺夫函数正定的的选取是不惟一的，但只要找到一个满足定理所述条件，便可对原点的稳定性作出判断，并不因选取的不同而有所影响。不过至今尚无构造李雅普诺夫函数的通用方法，这是应用李雅普诺夫稳定性理论的主要障碍。如果选取不当，会导致不定的结果，这时便作不出确定的判断，需要重新选取。以上定理按照连续单调衰减的要求来确定系统稳定性，并未考虑实际稳定系统可能存在衰减振荡的情况，因此其条件是偏于保守的，故借稳定性定理判稳定者必稳定，李雅普诺夫第二法诸稳定
11、性定理所述条件都是充分条件。具体分析时，先构造一个李雅普诺夫函数，通常选二次型函数，求其导数，再将状态方程代入，最后根据的定号性判别稳定性。至于如何判断在非零状态下是否有恒为零的情况，可按如下方法进行：令，将状态方程代入，若能导出非零解，表示对，的条件是成立的；若导出的是全零解，表示只有原点满足的条件。二：程序：A=0 1;-1 -1;Q=eye(size(A,1);p=lyap(A,Q);p_eig=eig(p);if min(p_eig)0 disp(the system is lypunov stable.)else disp(the system is not lypunov stable.)end
