基于采樣數(shù)據(jù)衛(wèi)星姿態(tài)的FTB輸出反饋控制

薛曉娟　沈艷軍

(1. 三峽大學(xué) 理學(xué)院， 湖北 宜昌　443002； 2. 三峽大學(xué) 電氣與新能源學(xué)院， 湖北 宜昌　443002)

?

基于采樣數(shù)據(jù)衛(wèi)星姿態(tài)的FTB輸出反饋控制

薛曉娟1沈艷軍2

(1. 三峽大學(xué) 理學(xué)院， 湖北 宜昌443002； 2. 三峽大學(xué) 電氣與新能源學(xué)院， 湖北 宜昌443002)

摘要：運用Lyapunov穩(wěn)定性理論和有限時間有界理論，討論了基于采樣數(shù)據(jù)衛(wèi)星姿態(tài)的有限時間有界(FTB)輸出反饋控制問題.首先給出了使閉環(huán)系統(tǒng)滿足FTB的充分條件，然后將輸出反饋控制器的存在問題轉(zhuǎn)化為線性矩陣不等式(LMI)的可行性問題.最后，仿真實驗驗證了所設(shè)計的控制器的有效性和可行性．

關(guān)鍵詞：衛(wèi)星姿態(tài)；線性系統(tǒng)；有限時間有界；輸出反饋控制

有限時間有界是目前控制屆的研究熱點之一．1961年P(guān)eter Dorato提出了“短時間穩(wěn)定(Short Time Stability)”的概念[1]，有限時間控制問題開始成為人們關(guān)注的研究熱點．在系統(tǒng)受外部擾動情況下，Amato[2]提出了有限時間有界(FTB)的概念．隨后，他們等[3]討論了一類帶有時變參數(shù)不確定性和定常外部擾動的線性系統(tǒng)的有限時間控制問題，提出了系統(tǒng)是FTB的充分條件，然后設(shè)計了狀態(tài)反饋控制器，將控制器的存在問題轉(zhuǎn)化為LMIs可行性問題．同時，輸出反饋FTB控制器也得到研究[4]，進一步改進結(jié)果見文獻[5-6]．文獻[7]討論了具有范數(shù)有界的外部干擾的線性變參數(shù)系統(tǒng)的有限時間控制問題，文獻[8-9]將有限時間控制問題拓展到奇異系統(tǒng)．Ichihara等人分別給出連續(xù)時間系統(tǒng)[10]和離散時間系統(tǒng)[11]帶有輸入限制的有限時間控制問題，更多結(jié)果見文獻[12-14]．

從上述的研究成果可以看出，基于采樣數(shù)據(jù)有限時間控制問題的研究成果很少，因此，在文獻[6]的基礎(chǔ)上，本文將有限時間有界引入到基于采樣數(shù)據(jù)線性系統(tǒng)中，通過Lyapunov穩(wěn)定性理論和有限時間有界理論，討論了基于采樣數(shù)據(jù)衛(wèi)星姿態(tài)的FTB輸出反饋控制問題，將控制器的存在問題轉(zhuǎn)化為線性矩陣不等式的可行性問題．最后，仿真實驗驗證了所設(shè)計的控制器的有有效性和可行性．

1基礎(chǔ)知識

考慮如下線性系統(tǒng)

其中，矩陣A∈Rn×n，G∈Rn×l，狀態(tài)向量x(t)∈Rn，外部擾動w(t)∈Rl滿足

首先給出以下定義和引理：

定義1(FTB)稱線性系統(tǒng)(1)在外部擾動w(t)滿足(2)的條件下，關(guān)于(c1，c2，T，R，h，d)(00)是FTB的，如果

其中h代表采樣周期．

引理1對任意的正定矩陣M∈Rn×n，變量γ>0以及向量函數(shù)ω：[0，γ]→Rn，那么下面的不等式成立：

2主要結(jié)果

考慮如下衛(wèi)星姿態(tài)控制問題[15]，圖1展示了某衛(wèi)星及其雙體模型的簡圖．在圖1(a)中，衛(wèi)星姿態(tài)θ1表示主衛(wèi)星關(guān)于行星的角度，θ2表示行星傳感器和儀表組織間的角度，圖1(b)中展示了衛(wèi)星等效機械系統(tǒng)圖，在該圖中，傳感器被安裝到與θ2有關(guān)的硬盤上．對衛(wèi)星來說，假定兩個主體通過在圖1中展示的帶有轉(zhuǎn)矩矩陣的彈簧k和粘滯阻尼常數(shù)b連接．

圖1　衛(wèi)星及其雙體模型簡圖

模型的方程式為：

其中，Tc是在主體上的控制轉(zhuǎn)矩，J1、J2為實常數(shù)．

令

則可得：

在衛(wèi)星系統(tǒng)中，不可避免地存在一些摩擦等外部因素，因此，在上述系統(tǒng)中，考慮外部擾動，得到

其中，B∈Rn×m，C∈Rp×n，x(t)，w(t)，A，G前面已給出，下面將在這個形式下討論該系統(tǒng)的有限時間有界問題．

假設(shè)1：假設(shè)輸出y(t)在tk是可測的，其中tk表示采樣時刻且滿足tk+1=tk+h．

本文目的是基于采樣數(shù)據(jù)設(shè)計如下輸出反饋控制器

使得閉環(huán)系統(tǒng)是FTB的，由式(5)～(7)可得

考慮狀態(tài)轉(zhuǎn)換

得如下閉環(huán)系統(tǒng)

其等價形式為

定理1存在觀測器增益L和形式如(7)的控制器，使得閉環(huán)系統(tǒng)(10)關(guān)于(c1，c2，T，h，R，d)是FTB的，如果存在矩陣P1∈Rn×n>0，P2∈Rl×l>0，以及非負α和3個正數(shù)λa，λb，λc滿足

證明：構(gòu)造如下Lyapunov泛函

其中，

沿著系統(tǒng)(11)的狀態(tài)對V(z(t))求導(dǎo)數(shù)，并由引理1，得

其中，

另一方面，由式(12)可以得到

由上式可以得到

在式(19)兩邊同時乘以e-αt，并在區(qū)間t∈[0，T]進行積分，得

由于α≥0，可得到

從式(21)中可以得到

同時，從式(15)得到

從式(16)得到

故，V2(z(0))為

將式(23)和式(24)代入式(22)，得

且

由式(25)和式(26)，得到

對于所有的t∈[0，T]，由條件(13)得到，xT(t)Rx(t)

推論1存在觀測器增益L和形式(7)的控制器，使系統(tǒng)(13)關(guān)于(c1，c2，T，h，R，d)是FTB的，如果存在矩陣P1∈Rn×n>0，P2∈Rl×l>0，以及非負α和3個正數(shù)λa，λb，λc滿足：

證明：通過Schur補定理，由(12)可以得到

注1：LMI條件(28)、(29)、(30)、(31)的成立依賴于c2，滿足(28)、(29)、(30)、(31)的c2的最小上界可以通過求解下面關(guān)于P1，P2，c2，K，L的優(yōu)化問題求得．

3仿真實例

在本節(jié)中，使用下面的例子來證明通過輸出反饋提出的采樣控制器的正確性和有效性.

例1：在上述衛(wèi)星姿態(tài)控制問題的系統(tǒng)(5)中，選取k=0.091，b=0.0036以及J1=1，J2=0.1，則得

令c1=1，d=1，T=5，R=I，其中I為適當階數(shù)的單位陣，初始條件設(shè)為[0.1；0.1；0.1；0.1]，并且選取外部擾動為w(t)=0.5sin5t．

接下來分兩步求解狀態(tài)反饋控制器K以及觀測器增益L．

由文獻[16]可知，在閉環(huán)系統(tǒng)的區(qū)域極點配置復(fù)平面有界區(qū)域D的范圍內(nèi)，存在一個狀態(tài)反饋控制器K當且僅當存在一個適合維數(shù)的矩陣S滿足

因此，假設(shè)

同時求解推論1和最小值問題(33)．

第1步：設(shè)計K

存在一個非負的常數(shù)α，一個正定矩陣P和一個矩陣N滿足式(35)～(37)：

在求解式(35)～(37)時，需要首先給出一個α的值來保證式(35)～(37)是一組線性矩陣不等式.在這種情況下，需要將閉環(huán)系統(tǒng)極點配置到上述定義的區(qū)域D的范圍內(nèi)，因此，閉環(huán)系統(tǒng)是漸近穩(wěn)定的，同時，選取α=0，使用MatlabLMIToolbox[17]，求得

第2步：設(shè)計L

存在一個非負的常數(shù)α，3個正數(shù)λa，λb，λc，對稱矩陣P1，P2和一個矩陣M滿足式(39)～(43)：

再次使用MatlabLMIToolbox，得到

[-3.763 3 -5.791 6 -4.907 8 -1.105 7]T

同時得到c2=1.25．

圖2　例1中狀態(tài)向量在[0，T]上的軌跡

在圖2中，給出的是例1中狀態(tài)向量在[0，T]上的軌跡；由圖3可以看到例1中xT(t)Rx(t)在[0，T]上的軌跡，且其軌跡一直在c2的下方，說明在[0，T]上，在控制器的作用下，xT(t)Rx(t)

圖3　例1中xT(t)Rx(t)在[0，T]上的軌跡

4結(jié)語

本文運用Lyapunov穩(wěn)定性理論和有限時間有界理論，討論了基于采樣數(shù)據(jù)衛(wèi)星姿態(tài)的有限時間有界(FTB)輸出反饋控制問題.首先給出了使閉環(huán)系統(tǒng)滿足FTB的充分條件，然后將輸出反饋控制器的存在問題轉(zhuǎn)化為線性矩陣不等式(LMI)的可行性問題.最后，仿真實驗驗證了所設(shè)計的控制器的有效性和可行性．

參考文獻：

[1]Dorato P． Short Time Stability in Linear Time-varying Systems[C]． Proc of the IRE International Convention Record Part, 1961(4)： 83-87．

[2]Amato F, Ariola M, Abdallah C T． Dynamic Output Feedback Finite-time Control of LTI Systems Subject to Parametric Uncertainties and Disturbances[C]． Kalsruhe, In Proc. European control conference, 1999：1176-1180．

[3]Amato F, Ariola M, Dorato P． Finite-time Control o f Linear Systems Subject to Parametric Uncertainties and Disturbances[J]． Automatica, 2001. 37： 1459-1463．

[4]Amato F, Ariola M, Cosentino C． Finite Time Control via Output Feedback： A General Approach[C]． Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii USA, 2003, 350-355．

[5]Amato F, Ariola M, Cosentino C． Finite-Time Control of Linear Time-Varying Systems via Output Feedback[C]． Proceedings of the American Control Conference, Portland, 2005, 4722-4726．

[6]Amato F, Ariola M, Cosentino C． Finite-Time Stabilization via Dynamic Output Feedback[J]． Automatica, 2006, 42(2)： 337-342．

[7]Shen Y． Finite-time Control of Linear Parameter-varying Systems with Norm-bounded Exogenous Disturbance[J]． Control Theory Appl , 2008,6(2)：184-188．

[8]馮俊娥,吳臻,孫甲冰．具有干擾輸入的不確定奇異系統(tǒng)有限時間控制器設(shè)計[C]．第五屆全球智能控制與自動化大會論文集.杭州：浙江大學(xué)出版社,2004：1002-1006．

[9]孫甲冰,程兆林．一類不確定線性奇異系統(tǒng)的有限時間控制問題[J]．山東大學(xué)學(xué)報：理學(xué)版,2004,39(2)：101-106．

[10] Ichihara H, Katayama H． Finite-Time Control for Linear Systems with Input Constraints[C]． Proceedings of the American Control Conference, Hyatt Regency Riverfront, St, Louis, MO, USA, 2009： 476-481．

[11] Ichihara H, Katayama H． Finite-Time Control for Linear Discrete-Time Systems with Input Constraints[C]． Proceedings of the American Control Conference, Hyatt Regency Riverfront, St, Louis, MO, USA, 2009,1171-1176．

[12] Amato F, Ambrosino R, Ariola M, et al． Finite-time Stability of Linear Time-varying Systems with Jumps[J]． Automatica, 2009, 45：1354-1358．

[13] Amato F, Ariola M, Cosentino C． Finite-time Control of Discrete-time Linear Systems： Analysis and Design Conditions[J]． Automatica, 2010, 46(5)： 919-924．

[14] Amato F, Tommasi G, Pironti A． Necessary and Sufficient Conditions for Finite-time Stability of Impulsive Dynamical Linear Systems[J]． Automatica, 2013, 49：2546-2550．

[15] Franklin G J，Powell J D， Emami-Naeini A． Feedback Control of Dynamic Systems[M]． Fifth Edition． 北京：人民郵電出版社, 2007,7 ： 550-552．

[16] Chilali M, Gahinet P, Apkarian P． Robust Pole Placement in LMI Regions[J]． IEEE Transactions on Automatic Control, 1999,44：2257-2270．

[17] Gahinet P, Nemirovski A, Laub A J, et al． LMI Control Toolbox. Natick[M]． MA： The Mathworks Inc， 1995．

[責任編輯張莉]

Output Feedback FTB Control for Satellite Attitude

Based on Sampled-data Measurement

Xue Xiaojuan1Shen Yanjun2

(1. College of Science, China Three Gorges Univ., Yichang 443002, China； 2. College of Electrical Engineering & Renewable Energy, China Three Gorges Univ., Yichang 443002, China)

AbstractBy using the Lyapunov theory and finite time boundedness (FTB) theory, an output feedback controller was designed for satellite attitude based on sampled-data measurement. Sufficient conditions are presented to ensure that the closed-loop system is FTB. Then, the existence of the controller can be transformed into the feasibility problem of the linear matrix inequalities(LMIs). Finally, an example is given to illustrate the validity and effectiveness of the methodology.

Keywordssatellite attitude；linear system；finite time boundedness；output feedback control

基金項目：國家自然科學(xué)基金資助項目(51275273)

收稿日期：2015-06-07

中圖分類號：P134.3

文獻標識碼：A

文章編號：1672-948X(2015)06-0085-06

DOI：10.13393/j.cnki.issn.1672-948X.2015.06.018

通信作者：沈艷軍(1970-)，男，教授，博士，主要從事魯棒控制、人工神經(jīng)網(wǎng)絡(luò)、智能控制等的研究．E-mail：shenyj@ctgu.edu.cn