劉 鎮(zhèn),崔皓月
(天津大學數(shù)學系,天津300072)
近幾年來,追蹤控制一直是國際工程學和應(yīng)用數(shù)學領(lǐng)域的一個熱點課題,在軍事,生物以及計算機等領(lǐng)域都有廣泛的應(yīng)用.早期對追蹤控制的研究大多是在有限維空間內(nèi),控制系統(tǒng)用常微分方程描述,這方面的研究已經(jīng)取得了很好的結(jié)果.然而,由于偏微分方程控制系統(tǒng)的復(fù)雜性,帶干擾的偏微分系統(tǒng)的控制問題一直是控制領(lǐng)域的一個難題.隨著無窮維系統(tǒng)理論的日益完善,帶不確定干擾的控制問題成為了分布參數(shù)系統(tǒng)的研究熱點,許多數(shù)學家以及工程學者都投入到這方面的研究中.由于系統(tǒng)存在干擾,在研究追蹤問題的同時必須考慮干擾的消除.眾所周知,在有限維系統(tǒng)中,滑膜控制具有很多優(yōu)良的特性,比如對系統(tǒng)的魯棒性.此外,選擇合適的滑模面可以大大降低控制器設(shè)計的困難性.因此,滑膜控制廣泛應(yīng)用于抗干擾和追蹤控制問題.在文獻[1]中Shifman考慮了具有特殊邊界條件的歐拉梁系統(tǒng),通過設(shè)計控制器實現(xiàn)了軌跡的漸近追蹤.在文獻[2]中,Mounier討論了一類帶有載荷的波方程的追蹤問題,將其看作線性衰減系統(tǒng)進行考慮,設(shè)計了一種新型控制器解決了追蹤問題.其他的結(jié)果可以參照文獻[3-7].
本文將滑膜控制技術(shù)應(yīng)用于無窮維系統(tǒng)中.考慮了帶有不確定干擾的薛定諤系統(tǒng)的追蹤問題,假定干擾一致有界并且絕對光滑,設(shè)計了一種帶增益的單位向量控制器追蹤指定的目標軌跡,通過構(gòu)造李雅普諾夫函數(shù)的方法證明了追蹤誤差系統(tǒng)是漸近穩(wěn)定的,即追蹤系統(tǒng)可以漸近追蹤到目標軌跡.除此之外,此種控制器設(shè)計方法的研究還有著重要的理論價值,可以為解決彈性系統(tǒng)包括弦系統(tǒng),梁系統(tǒng)等的追蹤控制問題以及抗干擾問題提供可行方案.
本文主要研究一類分布式追蹤控制問題,已知目標軌跡的系統(tǒng)信息,且追蹤系統(tǒng)內(nèi)部含有不確定的干擾.
目標軌跡通過如下的偏微分方程描述:
其中:q(x,t)表示時刻在x點處的位移.假定系統(tǒng)在左右端點是固定的.
追蹤系統(tǒng)用類似系統(tǒng)(1)的二階偏微分方程描述:
其中:p(x,t)表示t時刻在x點處的位移,u(t)表示控制輸入,d(x,t)表示輸入干擾,并且d(x,t)滿足如下的假設(shè)條件.
假設(shè):d(x,t)∈H4,2(0,1),其中 H4,2(0,1)是索伯列夫空間,并且d(x,t)滿足邊界條件.dxx(0,t)=dxx(1,t)=0假定d(x,t)是有界的,即存在常數(shù) M1以及 M3使得‖d(x,t)‖2≤M1,‖dxxxx(x,t)‖2≤M3,?t≥0.
設(shè)追蹤系統(tǒng)與目標軌跡的誤差為:
e(x,t)=p(x,t)-q(x,t)
則追蹤誤差滿足如下方程:
為使誤差系統(tǒng)的能量衰減,選取如下控制略:
將式(4)帶入到式(3),誤差系統(tǒng)變?yōu)槿缦滦问?
下面,我們只需證明系統(tǒng)(5)是穩(wěn)定的.
定理1對于追蹤誤差系統(tǒng)(5),d(x,t)滿足假設(shè)條件,則在控制策略(4)下誤差系統(tǒng)(5)是漸近穩(wěn)定的.即系統(tǒng)(1)可以漸近追蹤到系統(tǒng)(2).
證明:定義如下的Lyapunov函數(shù):
其中:M1<M2.
對式(6)關(guān)于t求導(dǎo),運用復(fù)變函數(shù)的知識[8],分布積分并且利用邊界條件計算得
顯然,DR是關(guān)于誤差軌跡的不變集.
為證明ζ(t)=‖e(x,t)‖2的一致有界性,對t求導(dǎo)得H?lder不等式表明
下一步,將對‖et(x,t)‖2的一致有界性進行討論,對(5)的第一部分進行估計
設(shè)常數(shù)M4滿足M3<M4,Lyapunov函數(shù)定義為
對 V2(x,t)求導(dǎo)
對式(5)求導(dǎo)兩次,利用邊界條件
根據(jù)假設(shè)條件對干擾邊界的設(shè)置,作為式(13)邊界條件的補充:
將式(13)帶入(12),有
對于右邊的第一項,利用邊界條件(14)得
對右邊的第三項分布積分兩次,利用邊界條件以及假設(shè)條件
利用H?lder不等式,得
因此Lyapunov函數(shù)的導(dǎo)數(shù)可以表示為:
引理1 設(shè) z(·)∈H2,2(0,1)是一個標量函數(shù)滿足 z(1)=z(0)=0,則‖zx‖2≥π‖z‖2,‖zxx(·)‖2≥π‖zx(·)‖2≥π2‖z‖2
由增益k(t)的定義,存在k0使得k(t)≥k0>0利用引理1對式(19)進行估計
所以V2(t)是半負定的,因此李雅普諾夫函數(shù)V2(t)是非增的,對任意的R>V(0),設(shè)
顯然是DR是不變集,為證明‖exx(x,t)‖2的一致有界性,有下列的鏈式估計
所以‖exx(x,t)‖2是一致有界的.根據(jù)式(9)和(10)可以得出et(x,t)是有界的,即存在 ~M,使得‖et(x,t)‖2≤~M.
引理2(Barbalat引理)設(shè)x:[0,∞]→R為Lp空間的一個函數(shù),其中p∈[1,∞),且(t),t∈[0,∞),是有界的,那么
根據(jù)Barbalat引理可以證明t→∞ 時‖e(x,t)‖2→0.進而,當t→∞ 時,e(x,t)→0,因此誤差系統(tǒng)(5)是漸近穩(wěn)定的,即追蹤系統(tǒng)(2)可以漸近追蹤到目標軌跡(1).至此,完成了定理1的證明.
本文考慮了一類具有不確定內(nèi)部干擾的薛定諤方程的追蹤問題,設(shè)計了一個分布式單位向量控制器抵抗干擾.干擾給出合理的假設(shè)條件下,通過構(gòu)造李雅普諾夫函數(shù)給出了誤差系統(tǒng)是漸近穩(wěn)定的,即追蹤系統(tǒng)可以漸近追蹤到目標軌跡.今后的工作是如何將本控制策略推廣到其他彈性系統(tǒng),例如波方程,梁方程等.
[1]SHIFMAN J J.A Tracking Controller for the Euler-Bernoulli Beam[C]//IEEE International Conference on Robotics and Automation,Cincinnati,OH,1990.
[2]MOUNIER H,RUDOLPH J,F(xiàn)LIESS M,et al.Tracking control of a vibrating string with an interior mass viewed as delay system[J].ESAIM,Control,Optimization and Calculus of Variations,1998,3(1):315-321.
[3]MEURER T,KUGI A.Tracking control design for a wave equation with dynamic boundary conditions modeling a piezoelectric stack actuator[J].International Journal of Robust and Nonlinear Control,2011,21(5):542-562.
[4]MEURER T,KUGI A.Tracking control for boundary controlled parabolic PDEs with varying parameters:combining backstepping and flatness[J].Automatica,2009,45(5):1182-1194.
[5]MEURER T,THULL D,KUGI A.Flatness-based tracking control of a piezo actuated Euler-Bernoulli beam with non-collocated output feedback:theory and experiments[J].International Journal of Control,2008,81(3):475-493.
[6]MEURER T,M ZEITZ.Feedforward and feedback tracking control of nonlinear diffusion convection-reaction systems using summability methods[J].Industrial and Engineering Chemistry Research,2005(44):2532-2548.
[7]DIECI L,LOPEZ L.Sliding motion in filippov differential systems:theoretical results and a computational approach[J].SIAM J.Numer.Anal.,2009,47(3):2023 – 2051.
[8]鐘玉泉.復(fù)變函數(shù)論[M].北京:高等教育出版社,1988.121-125,201-204.