离散系统的李雅普诺夫稳定判据
離散系統(tǒng)的李雅普諾夫穩(wěn)定判據(jù)
任意離散系統(tǒng)的李雅普諾夫穩(wěn)定判據(jù)
??設(shè)離散系統(tǒng)的狀態(tài)方程為:X(k+1)=f[X(k),k],k≥0X(k+1) = f[X(k),k],\ k\geq0 X(k+1)=f[X(k),k],?k≥0其中,X(k)X(k)X(k)是系統(tǒng)在kkk時刻的狀態(tài)向量,X(k+1)X(k+1)X(k+1)是系統(tǒng)在k+1k+1k+1時刻的狀態(tài)向量,函數(shù)fff可以是線性的也可以是非線性的;并且有f[0,k]=0f[0,k]=0f[0,k]=0,即X(k)=0X(k) = 0X(k)=0時為系統(tǒng)的平衡點,記為XeX_eXe?。
??假定在Xe=0X_e=0Xe?=0的某一鄰域Ω\OmegaΩ內(nèi)有一個正定標(biāo)量函數(shù)V[X(k)]V[X(k)]V[X(k)],簡記為VkV_kVk?,即X(k)≠0,Vk>0X(k)=0,Vk=0X(k)\neq0,\ V_k >0 \\ X(k)=0,\ V_k = 0X(k)?=0,?Vk?>0X(k)=0,?Vk?=0
對于ΔVk=V(k+1)?V(k)\Delta V_k=V(k+1)-V(k)ΔVk?=V(k+1)?V(k)有以下三種情況:
(1)VkV_kVk?的增量半負(fù)定,即X(k)=0,ΔVk=0X(k)≠0,ΔVk≤0X(k) =0,\ \Delta V_k=0 \\ X(k)\neq 0,\ \Delta V_k \leq0 X(k)=0,?ΔVk?=0X(k)?=0,?ΔVk?≤0則該系統(tǒng)平衡點Xe=0X_e=0Xe?=0在其鄰域Ω\OmegaΩ內(nèi)是一致穩(wěn)定的;
若同時還滿足:當(dāng)∣∣X(k)∣∣→∞||X(k)||\rightarrow\infty∣∣X(k)∣∣→∞時,Vk→∞V_k\rightarrow\inftyVk?→∞,則該系統(tǒng)平衡點Xe=0X_e = 0Xe?=0為大范圍一致穩(wěn)定;
(2)VkV_kVk?的增量負(fù)定,即X(k)=0,ΔVk=0X(k)≠0,ΔVk<0X(k) =0,\ \Delta V_k=0 \\ X(k)\neq 0,\ \Delta V_k < 0 X(k)=0,?ΔVk?=0X(k)?=0,?ΔVk?<0或ΔVk≤0,Vk≡?0\Delta V_k\leq0,V_k \not \equiv0ΔVk?≤0,Vk??≡0則該系統(tǒng)平衡點Xe=0X_e=0Xe?=0在其鄰域Ω\OmegaΩ內(nèi)是一致漸進(jìn)穩(wěn)定的;
若同時還滿足:當(dāng)∣∣X(k)∣∣→∞||X(k)||\rightarrow\infty∣∣X(k)∣∣→∞時,Vk→∞V_k\rightarrow\inftyVk?→∞,則該系統(tǒng)平衡點Xe=0X_e = 0Xe?=0為大范圍一致漸進(jìn)穩(wěn)定;
(3)VkV_kVk?的增量正定,即X(k)=0,ΔVk=0X(k)≠0,ΔVk>0X(k) =0,\ \Delta V_k=0 \\ X(k)\neq 0,\ \Delta V_k > 0 X(k)=0,?ΔVk?=0X(k)?=0,?ΔVk?>0則該系統(tǒng)平衡點Xe=0X_e=0Xe?=0在其鄰域Ω\OmegaΩ內(nèi)是是不穩(wěn)定的;
若同時還滿足:當(dāng)∣∣X(k)∣∣→∞||X(k)||\rightarrow\infty∣∣X(k)∣∣→∞時,Vk→∞V_k\rightarrow\inftyVk?→∞,則該系統(tǒng)平衡點Xe=0X_e = 0Xe?=0為大范圍不穩(wěn)定。
注:對于一致系統(tǒng),由于ΔVk≤0\Delta V_k\leq0ΔVk?≤0,系統(tǒng)可能存在閉合的狀態(tài)運動軌線(相軌跡),滿足ΔVk=0\Delta V_k =0ΔVk?=0,系統(tǒng)就不會收斂到平衡點而是收斂到閉合軌線,在非線性系統(tǒng)中,這種閉合軌線就稱為極限環(huán),系統(tǒng)的狀態(tài)運動為等幅振蕩形式。
線性定常離散系統(tǒng)的李雅普諾夫穩(wěn)定判據(jù)
??設(shè)線性定常離散系統(tǒng)的狀態(tài)方程為X(k+1)=AX(k)X(k+1)= AX(k)X(k+1)=AX(k)Xe=0X_e =0Xe?=0是系統(tǒng)的平衡點。AAA為n×nn\times nn×n型非奇異矩陣。取李雅普諾夫函數(shù)Vk=V[X(k)]=XT(k)PX(k)V_k = V[X(k)]=X^T(k)PX(k)Vk?=V[X(k)]=XT(k)PX(k)其中,P是n×nn\times nn×n正定的的實對稱常數(shù)矩陣。顯然有VkV_kVk?是正定標(biāo)量函數(shù)。
??VkV_kVk?的增量為ΔVk=Vk+1?Vk=XT(k+1)PX(k+1)?X(k)TPX(k)=[AX(k)]TP[AX(k)]?XT(k)PX(k)=XT(k)[ATPA?P]X(k)\begin{aligned}\Delta V_k &=V_{k+1}-V_k=X^T(k+1)PX(k+1)-X(k)^TPX(k)\\&=[AX(k)]^TP[AX(k)]-X^T(k)PX(k)\\&=X^T(k)[A^TPA-P]X(k)\end{aligned}ΔVk??=Vk+1??Vk?=XT(k+1)PX(k+1)?X(k)TPX(k)=[AX(k)]TP[AX(k)]?XT(k)PX(k)=XT(k)[ATPA?P]X(k)?令?Q=ATPA?P-Q = A^TPA-P?Q=ATPA?P,顯然當(dāng)Q是正定的,則ATPA?PA^TPA-PATPA?P是負(fù)定的,相應(yīng)的ΔVk\Delta V_kΔVk?也是負(fù)定的,因而系統(tǒng)的平衡點Xe=0X_e = 0Xe?=0是漸近穩(wěn)定的,也是大范圍漸近穩(wěn)定的。
注:通常取正定對稱矩陣Q為單位矩陣,即Q=IQ=IQ=I,求取對稱矩陣P,并驗證其正定性,若P陣是正定的,則系統(tǒng)平衡點Xe=0X_e=0Xe?=0一定是大范圍漸近穩(wěn)定。
總結(jié)
以上是生活随笔為你收集整理的离散系统的李雅普诺夫稳定判据的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 顺序查找法
- 下一篇: VS 2015 专用卸载工具