李羽辰,姚鳳麒
(安徽工業(yè)大學 電氣與信息工程學院,安徽 馬鞍山 243032)
眾所周知,經(jīng)典的Lyapunov穩(wěn)定描述了系統(tǒng)在無窮時間內(nèi)的漸進特征[1]。然而,它只反映了系統(tǒng)的穩(wěn)態(tài)性能,并不能反映系統(tǒng)的調節(jié)時間、峰值時間、超調量等暫態(tài)特性[2]。這在實際工程中并不適用,如網(wǎng)絡通信系統(tǒng)、火箭發(fā)射系統(tǒng)、高精度機械臂等,都需要系統(tǒng)滿足一定的暫態(tài)性能要求[3]。因此,20世紀60年代就提出了有限時間穩(wěn)定(FTS)的概念。有限時間穩(wěn)定性是指當系統(tǒng)的初始狀態(tài)在一定范圍內(nèi)時,系統(tǒng)的狀態(tài)在一定時間間隔內(nèi)不超過預定的限度[4-6]。本文結合實際,考慮了隨處可見的時滯對系統(tǒng)的影響,并引入了脈沖控制,構建了一個Lyapunov-Krasovskii泛函,得到系統(tǒng)的有限時間均方穩(wěn)定性能,最后通過Matlab,驗證了結論的有效性。
符號說明:Rn代表n維歐式空間,N代表非負整數(shù)集,E[·]為數(shù)學期望算子,diag{·}代表對角矩陣,λmax(A)(λmin(A))代表矩陣A的最大(最小)特征值,A>0代表A是正定矩陣,A<0代表A是負定矩陣,*代表矩陣的對稱項。
考慮具有定時滯的線性脈沖隨機系統(tǒng)
(1)
定義1 對于給定正常數(shù)c1,c2,T,c1 (2) 則稱系統(tǒng)(1)關于(c1,c2,T)有限時間均方穩(wěn)定。 定義2 給定脈沖序列{tk}(k∈N),如果存在正數(shù)τa和正整數(shù)N0,滿足 (3) 則該脈沖序列的平均脈沖區(qū)間為τa,N(t,s)代表脈沖序列在時間(t,s)內(nèi)脈沖發(fā)生的次數(shù)。 引理1 令u:[t0,∞)→R+滿足時滯微分不等式 若η+ξ>0,可得 u(t)≤Me(η+ξ)(t-t0),t∈[t0,T], dx(t)=f(t,x(t))dt+g(t,x(t))dω(t) dV(t,x(t))=LV(t)dt+Vx(t,x)gdω(t)。 (4) 首先,利用Lyapunov-Krasovskii泛函和李雅普諾夫函數(shù),結合時滯微分不等式,建立了系統(tǒng)(1)在u(t)=0下的有限時間均方穩(wěn)定的充分條件。 定理1 假設脈沖序列滿足平均脈沖區(qū)間條件,給定正數(shù)c1,c2,T(0≤c1 (5) FTPF-μP≤0, (6) (7) (8) 式中:λ1=λmax(P),λ2=λmax(P),λ3=λmin(Q),則系統(tǒng)(1)(u(t)≡0)關于(c1,c2,T)有限時間均方穩(wěn)定。 證明:選擇Lyapunov-Krasovskii泛函 當t≠tk,k∈N時,系統(tǒng)(1)軌跡上的Kolmogorov算子 dV(t)≤αV(t)dt+2xT(t)P[Dx(t)+Ex(t-h)]dw(t) (9) 將式(9)在tk到t上積分并在兩邊取期望,可得 (10) 由Gronwall 不等式可得 EV(t)≤eα(t-tk)EV(tk),t∈[tk,tk+1),k=0,1,2,…。 (11) 由條件(6)和μ≥1,可得 進一步可得 (12) 令 EV(t)≤μN(t,t0)EV(t0)eα(t-t0),t≥t0。 (13) 當t∈[t0,t1),N(t,t0)=0時,由式(13),可得 EV(t)≤EV(t0)eα(t-t0),t∈[t0,t1), (14) 當t∈[t1,t2),N(t,t0)=1時,利用式(11)、式(12)可得 (15) 類似地,當t∈[t2,t3),N(t,t0)=2時, (16) 所以,通過簡單的歸納法說明式(13)成立。因此,結合平均脈沖區(qū)間以及μ≥1,由式(13)可得 (17) 對于給定形式的Lyapunov函數(shù)V(t),有 (18) 所以,系統(tǒng)(1)(u(t)≡0)是關于(c1,c2,T)有限時間均方穩(wěn)定的。 考慮時滯脈沖隨機系統(tǒng)(1),其系數(shù)矩陣如下: 取N0=3,τa=0.24,假設脈沖序列滿足假設,如圖1所示。 圖1 脈沖序列N0=3,τa=0.24 取c1=0.1,c2=10,T=2,h=0.5,μ=1.121 0,α=0.794 1,使用Matlab中的線性矩陣不等式求解定理1中的不等式(5)~不等式(8),得到t<0說明存在可行解,得到 易得矩陣的最大、最小特征值,λ1=102.074 9,λ2=122.594 0,λ3=220.771 4。當系統(tǒng)(1)在u(t)=0時的均方樣本軌跡如圖2所示。由圖2可知,系統(tǒng)(1)在u(t)=0時是關于c1,c2,T有限時間均方穩(wěn)定的,結論可證。 圖2 開環(huán)系統(tǒng)的均方狀態(tài)軌跡 本文研究了一類線性時滯脈沖隨機系統(tǒng)的有限時間均方穩(wěn)定問題。利用Lyapunov穩(wěn)定性理論、時滯微分不等式和平均脈沖區(qū)間方法,利用Matlab中常用的LMI工具箱,建立了有限時間穩(wěn)定的一些易于驗證的充分條件。以本文的方法為基礎,可以繼續(xù)研究具有時變時滯的切換系統(tǒng)有限時間穩(wěn)定、非線性脈沖隨機系統(tǒng)的有限時間同步等課題。2 有限時間穩(wěn)定性分析
3 數(shù)值算例
4 結 語