韓冬,劉俊
(清華大學(xué)自動化系, 100084, 北京)
?
采用代數(shù)建模方法的自適應(yīng)觀測器設(shè)計
韓冬,劉俊
(清華大學(xué)自動化系, 100084, 北京)
針對伴有未知輸入的一類線性時不變系統(tǒng),當觀測器匹配條件不滿足時,研究了自適應(yīng)觀測器的設(shè)計問題。通過將未知輸入劃分為匹配未知輸入和不匹配未知輸入兩部分,并假設(shè)不匹配未知輸入可以表述為一個動態(tài)系統(tǒng),從而可得一個滿足匹配條件的增廣系統(tǒng);對于該增廣系統(tǒng)討論了自適應(yīng)觀測器的存在條件,給出了自適應(yīng)觀測器的設(shè)計方法,這種自適應(yīng)觀測器不僅可以觀測原系統(tǒng)的狀態(tài),還可以重構(gòu)、匹配未知輸入。將該設(shè)計方法應(yīng)用于一類機器人系統(tǒng),雖然系統(tǒng)未知輸入初值和觀測器重構(gòu)的未知輸入初值相差很大,但是觀測器重構(gòu)的未知輸入值能夠很快地跟蹤上系統(tǒng)實際的未知輸入值;雖然這是一種有界誤差跟蹤,但是誤差可以控制在很小的范圍內(nèi),并不影響實際應(yīng)用。仿真結(jié)果表明,所提方法是有效的。
自適應(yīng)觀測器;代數(shù)建模;增廣系統(tǒng);未知輸入重構(gòu)
自適應(yīng)觀測器不僅可以跟蹤系統(tǒng)的狀態(tài),還可以重構(gòu)系統(tǒng)的未知輸入,因而受到廣泛的關(guān)注[1-3]。但是,文獻[1-3]中的自適應(yīng)觀測器存在的充要條件之一是系統(tǒng)必須滿足未知輸入和可測輸出之間的秩條件(也稱為觀測器匹配條件),而許多實際系統(tǒng)無法滿足匹配條件。針對一類不滿足匹配條件的線性時不變系統(tǒng),文獻[4]在文獻[3]工作的基礎(chǔ)上,通過設(shè)計輔助輸出使得匹配條件得以滿足。但是,輔助輸出是不可測的,所以只能先通過設(shè)計高階滑模微分器獲取輔助輸出的估計值,然后用這些估計值代替輔助輸出的真實值,這使得觀測器設(shè)計過程較為復(fù)雜。
對于一類不滿足匹配條件的線性時不變系統(tǒng),本文給出了一種不同于文獻[4]的自適應(yīng)觀測器的設(shè)計方法。首先,通過使用代數(shù)建模的方法,將未知輸入中不滿足匹配條件的部分表述為一個動態(tài)系統(tǒng),從而得到一個包含原系統(tǒng)和未知輸入子系統(tǒng)的增廣系統(tǒng),這樣的一個增廣系統(tǒng)是滿足匹配條件的;然后,證明了構(gòu)建增廣系統(tǒng)并不會破壞設(shè)計自適應(yīng)觀測器所需的其他充要條件;最后,針對該增廣系統(tǒng),設(shè)計了自適應(yīng)觀測器,用于狀態(tài)觀測和未知輸入重構(gòu)。相比于文獻[1-3],當系統(tǒng)即使不滿足匹配條件時,本文所提方法依然可以設(shè)計自適應(yīng)觀測器,用于觀測狀態(tài)和未知輸入重構(gòu);相比于文獻[4],本文所提自適應(yīng)觀測器設(shè)計方法比較簡單、易于實現(xiàn)。但是,本文所提方法必須假設(shè)未知輸入中不滿足匹配條件的部分是確定的,且可以表述為自治動態(tài)系統(tǒng)的響應(yīng),這就需要對該部分故障有充分的了解,從而獲取其統(tǒng)計特性。
考慮線性時不變系統(tǒng)
(1)
引理1[5]如果條件:①{A,E,C}的不變零點位于復(fù)平面的左半開平面;②rankE=rank(CE)(稱為觀測器匹配條件[6])成立,則對于某個正定陣Q∈Rn×n,存在矩陣L∈Rn×p、F∈Rq×p和正定陣P∈Rn×n使得
成立。
當式(1)滿足引理1中的條件時,根據(jù)文獻[3]可設(shè)計自適應(yīng)觀測器,即
(2)
引理2[3]基于引理1中的條件,對給定的σ1,σ2>0,如果存在正定陣G∈Rq×q使得
成立(*為缺省值),則
(3)
使得ex(t)、ed(t)一致最終有界,式(3)中Γ>0是學(xué)習(xí)率。
當引理1中的任意一個條件無法滿足時,都無法設(shè)計式(2)、式(3)表示的自適應(yīng)觀測器。當式(1)滿足引理1中的條件①,但是不滿足條件②時,受文獻[7-9]的啟發(fā),基于文獻[4]輔助輸出的估計值,給出了自適應(yīng)觀測器的設(shè)計方法,但獲得輔助輸出估計值的過程比較復(fù)雜。針對一類不滿足匹配條件的線性時不變系統(tǒng),文獻[10-11]提出了降維和滑模觀測器的設(shè)計方法,解決匹配條件不滿足的主要手段是對不匹配未知輸入進行代數(shù)建模。雖然系統(tǒng)的未知輸入通常是不確定的,但是有一部分未知輸入可以根據(jù)統(tǒng)計特性獲知未知輸入的數(shù)學(xué)模型。
本文希望基于對部分未知輸入進行代數(shù)建模的方法,使得系統(tǒng)在滿足引理1的條件①,但是不滿足條件②的情況下,可以設(shè)計自適應(yīng)觀測器,故作出如下假設(shè)。
假設(shè)1 系統(tǒng)滿足引理1中的條件①,但rank(E)≠rank(CE)。
式(1)可以描述為
(4)
為了處理部分未知輸入d2(t),作如下假設(shè)。
假設(shè)2 未知輸入d2(t)可以表述為自治動態(tài)系統(tǒng)的響應(yīng)。
基于假設(shè)2,使用文獻[12]中的代數(shù)建模方法,通過選擇合適的矩陣D∈Rδ×δ和H∈R(q-q1)×δ,可得
(5)
由式(4)、式(5)可得
(6)
引理3[10]系統(tǒng){A,E,C}、系統(tǒng){Aa,Ea,Ca}的不變零點相同。
不難驗證rank(Ea)=rank(CaEa)=q1成立,所以式(6)所示增廣系統(tǒng)滿足觀測器匹配條件。由引理3可以看出,構(gòu)建增廣系統(tǒng)并不改變原系統(tǒng)的不變零點的位置。
引理3表明,當假設(shè)1成立時,{Aa,Ea,Ca}的不變零點依然位于復(fù)平面的左半開平面。由引理1可得以下定理。
定理1 基于假設(shè)1、假設(shè)2,對于某些正定陣Qa∈R(n+δ)×(n+δ),存在La∈R(n+δ)×p、Fa∈Rq1×p以及正定陣Pa∈R(n+δ)×(n+δ),使得
(7)
成立。
針對增廣系統(tǒng)設(shè)計的自適應(yīng)觀測器為
(8)
由式(6)、式(8)可得
(9)
由引理2可以給出定理2。
定理2 基于假設(shè)1、2,對給定的θ1、θ2>0,如果存在正定陣Ga,使得
成立,則
(10)
使得exa(t)、ed1(t)一致最終有界。
根據(jù)定理2,重構(gòu)匹配的未知輸入為
(11)
雖然式(8)~式(10)所示的自適應(yīng)觀測器和式(2)、式(3)所示的自適應(yīng)觀測器在形式上相同,但是式(8)~式(10)所示的自適應(yīng)觀測器可以處理一些不滿足匹配條件的系統(tǒng),而式(2)、式(3)所示的自適應(yīng)觀測器只能處理滿足匹配條件的系統(tǒng)。
當式(1)不滿足匹配條件時,文獻[4]提出了基于輔助輸出的自適應(yīng)觀測器的設(shè)計方法。該方法可以避開匹配條件的限制,但是為了獲取輔助輸出的估計值,需要設(shè)計高階滑模微分器,使得設(shè)計過程比較復(fù)雜,并且高階滑模微分器的每一層都容易受到輸出噪聲的干擾。本文所提的基于代數(shù)建模的自適應(yīng)觀測器設(shè)計方法雖然必須對部分未知輸入具有先驗知識,但是方法簡單,且易于實現(xiàn)。
將所提的自適應(yīng)觀測器設(shè)計方法用于一個由直流電機驅(qū)動的一個機械手鏈接環(huán)節(jié)的模型[10]
容易驗證rank(CE)≠rank(E),如此以來,文獻[3]中的自適應(yīng)觀測器設(shè)計方法將不再適用。當部分未知輸入d2(t)是正弦信號sin(x2)時,可將故障矩陣E分解為E1和E2
使用線性矩陣不等式工具箱,可得
圖1給出了匹配未知輸入d1及其重構(gòu)值。從仿真結(jié)果可以看出:雖然系統(tǒng)未知輸入初值和觀測器重構(gòu)的未知輸入初值相差很大,但是觀測器重構(gòu)的未知輸入值能夠很快地跟蹤上系統(tǒng)實際的未知輸入值;雖然是有界誤差跟蹤,但是誤差可以控制在很小的范圍內(nèi),并不影響實際應(yīng)用。由此可見,本文所提的基于代數(shù)建模方法的自適應(yīng)觀測器可以很好地重構(gòu)部分未知輸入信號。
圖1 未知輸入d1(t)及其重構(gòu)值
本文針對一類伴有未知輸入的線性時不變系統(tǒng),探討了在觀測器匹配條件不滿足的情況下自適應(yīng)觀測器的設(shè)計問題。通過對部分未知輸入進行代數(shù)建模,可以得到一類滿足匹配條件的增廣系統(tǒng),并證明了在一定的條件下可以對該增廣系統(tǒng)設(shè)計自適應(yīng)觀測器。仿真結(jié)果可以看出,本文所提的方法是有效的。
[1] ASTROM K J, WITTENMARK B. Adaptive control [M]. [s.l.]: Pearson Education North Asia Limited, 2003.
[2] YIN Shen, YANG Xuebo, KARIMI H R, et al. Data-driven adaptive observer for fault diagnosis [J]. Mathematical Problems in Engineering, 2012, 2012: 832836.
[3] ZHANG K, JIANG B, COCQUEMPOT V. Adaptive observer-based fast fault estimation [J]. International Journal of Control, Automation, and Systems, 2008, 6(3): 320-326.
[4] HAN Dong, LIANG Yueyong, YE Hao. Adaptive actuator fault estimation based on second-order sliding-mode differentiators [C/CD]∥The 25th Chinese Process Control Conference. Dalian, China: CPCC, 2014: 1-6.
[5] CORLESS M, TU J. State and input estimation for a class of uncertain systems [J]. Automatica, 1998, 34(6): 757-764.
[6] DRAZENOVIC B. The invariance conditions in variable structure systems [J]. Automatica, 1969, 5(3): 287-295.
[7] FLOQUET T, EDWARDS C, SPURGEON S K. On sliding mode observers for systems with unknown inputs [J]. International Journal of Adaptive Control and Signal Processing, 2007, 21(8/9): 638-656.
[8] KALSI K, LIAN J, HUI S, et al. Sliding-mode observers for systems with unknown inputs: a high-gain approach [J]. Automaitca, 2010, 46(2): 347-353.
[9] 韓冬, 朱芳來. 基于輔助輸出的線性系統(tǒng)狀態(tài)和未知輸入同時估計方法 [J]. 自動化學(xué)報, 2012, 38(6): 932-943. HAN Dong, ZHU Fanglai. Simultaneous estimation of states and unknown inputs for linear systems based on auxiliary outputs [J]. Acta Automatica Sinica, 2012, 38(6): 932-943.
[10]PARK T G. Designing fault detection observers for linear systems with mismatched unknown inputs [J]. Journal of Process Control, 2013, 23(8): 1185-1196.
[11]湯承林, 練嵐香, 劉俊. 基于代數(shù)方法的一類不確定系統(tǒng)的滑模觀測器設(shè)計 [J]. 電子科技大學(xué)學(xué)報, 2015, 38(6): 932-943. TANG Chenglin, LIAN Lanxiang, LIU Jun. Sliding-mode observers design for uncertain systems based on an algebraic approach [J]. Journal of University of Electronic Science and Technology of China, 2015, 38(6): 932-943.
[12]ALBERTOS P, SALA A. Multivariable control systems: an engineering approach [M]. Berlin, Germany: Springer, 2004.
(編輯 趙煒)
Adaptive Observer Design Based on an Algebraic Modelling Approach
HAN Dong,LIU Jun
(Department of Automation, Tsinghua University, Beijing 100084, China)
This paper studies the problem of designing adaptive observers for linear time-invariant systems with unknown inputs when the observer matching condition is not satisfied. The unknown inputs are divided into two parts: one is matched and the other is mismatched. Under the assumption that the mismatched unknown inputs are deterministic and can be expressed as the response of a fictitious autonomous system, an augmented system consisting of the original system and the mismatched unknown inputs dynamical system is constructed so that the observer matching condition can be satisfied. For the augmented system, the procedure to design this adaptive observer is given, and it is able to not only observe the state of original system but also reconstruct the matched unknown inputs. Such adaptive observer is applied to a kind of robot system and the simulation results demonstrate the effectiveness of the proposed approach.
adaptive observer; algebraic modelling; augmented system; unknown inputs reconstruction
2014-11-24。作者簡介:韓冬(1975—),男,博士,助理研究員?;痦椖?國家自然科學(xué)基金資助項目(61203230)。
10.7652/xjtuxb201507015
TP13
A
0253-987X(2015)07-0088-04