史繼光(1980-)
男,廈門大學碩士生,(廈門大學自動化系, 福建 廈門 361005)
,研究領域為網絡控制系統。
基金項目:福建省自然科學基金(A0510002);廈門大學985二期信息創新平臺項目資助
摘要:NBFIs(Network-based Feedback Interconnections)是一類基于網絡反饋連接的系統,本文研究了此模型的數據包丟失的問題,將帶有有界任意丟包問題的NBFI系統建模成一般的線性切換系統,并應用切換lyapunov函數方法加以分析,進而給出了NBFI系統漸近穩定的充分條件,最后給出仿真,從而驗證了結論的正確性。
關鍵詞:基于網絡的反饋連接;網絡控制系統;數據丟包;穩定
Abstract: NBFI(Network-based Feedback Interconnection) is a new kind of network-based feedback interconnection. The problem of packet losses of NBFI is studied in this paper. We model the NBFI with bounded packet losses as a traditional switching system. By using the switching Lyapunov approach, some sufficient conditions of the asymptotical stability for NBFI are obtained. Finally, a simulation example is given to illustrate the effectiveness of the results.
Key words: Network-based Feedback Interconnections;Networked Control Systems;Packet losses;Stability
1 引言
通過實時網絡形成的閉環反饋控制系統稱為網絡控制系統(Networked Control Systems ,NCSs)(如圖1)[1][2]。 它的主要特點是系統的各個器件(傳感器、控制器、執行器等)通過實時網絡來進行數據信息的交換。 網絡控制系統相對于傳統的控制系統,具有輕便,易操作、維修,有較高的靈活性、可靠性等優點。因此,網絡控制系統在航空航天、制造、交通等領域有廣泛的應用。然而,由于網絡的引入,也為控制系統帶來了新的問題:由于資源競爭和網絡擁塞引起的網絡延遲;由于網絡擁塞和數據破壞導致了數據包丟失;受網絡帶寬的限制,在網絡控制中還存在著單包傳輸和多包傳輸等問題。
數據包丟失是網絡控制系統研究中的一個重要問題。目前,關于數據包丟失的問題,國內外很多學者進行了研究,也得出了很多的研究成果。 文[1][3][4]把帶有數據包丟失的NCS系統建模為具有事件率約束的異步動態系統,并研究了此異步動態系統的穩定性;文[2][5][6]引入了最大允許傳輸間隔(MATI)的概念,當兩次成功的傳輸(從傳感器到控制器,或控制器到執行器)的間隔小于最大允許間隔(MATI)時系統仍然穩定;文[7][8][9][10]用迭代的方法將帶有數據包丟失問題的網絡控制系統建模成切換系統,進而對這個切換系統進行研究。例如:文[8]利用共同lyapunov函數的方法,得到了系統穩定的充分條件;文[10]則進一步降低了保守性,用切換lyapunov函數的方法,得出系統的穩定條件。 有時,我們所研究的NCS系統帶有不確定參數[11][12][13]。 文[13]針對不確定NCS系統,設計出魯棒Hw反饋控制器解決網絡丟包問題。 有時,網絡延遲和網絡丟包是被同時考慮的[7][10][13]。文[10]用lyapunov函數的方法,推出系統帶有延遲和丟包時的穩定條件。
但是,前面提到的文獻研究的對象都是一般的網絡控制系統,文[14]提出了一種新型的反饋連接的系統(如圖2),它將傳統的反饋連接通過網絡來實現。 因此也可將其看作是基于網絡的反饋連接(Network_based Feedback Interconnection,NBFI)。 同時它也可看作是NCS的擴展,NCS是通過網絡使被控對象和控制器相連接,形成一個閉環反饋環路,而NBFI系統是兩個被控對象通過網絡連接形成的閉環系統。因為網絡的存在,NBFI系統也存在時延和丟包的問題。 文[14]利用耗散性理論研究了NBFI系統的丟包問題,并提出了一種新的通信策略以解決兩個網絡同步傳輸的問題。
本文將在文[14]的模型的基礎上,用迭代的方法把帶有有界任意丟包問題的NBFI系統建模成一般的線性切換系統,在此基礎上,我們將采用切換lyapunov函數方法,對該切換系統進行分析,進而得到系統NBFI(2.3)漸近穩定的充分條件,使得NBFI系統在滿足小于最大丟包上界的條件時,漸近穩定。
本文的結構如下:第二部分,我們將描述NBFI系統的數學模型,并給出一些定義;第三部分,我們將分析系統的穩定性;第四部分,我們給出仿真結果;第五部分是結論。
下面,我們先給出文中要用到的一些記號。
NW:代表網絡
Sam:代表采樣器
Z:整數集
Z+:非負整數集
‖●‖:歐氏范數
In:n×n維的單位矩陣
圖1 一般的網絡控制系統
圖2 基于網絡的反饋連接的系統
2 系統分析與建模
考慮如圖2所示的系統,它是由兩個離散的線性時不變系統通過網絡1和網絡2所組成的,基于網絡的輸出反饋連接的系統。
(2.1a)
(2.1b)
(2.1c)
其中,是時序,
是系統狀態,
,
,
分別是系統(2.1a)和系統(2.1b)的輸入和輸出。Ai,Bi,Ci是具有適當維數的常數矩陣。
在僅考慮數據包丟失的情況下,我們作如下假設:
(1)采樣器和執行器通過網絡相連接
(2)采樣器是時鐘驅動,執行器是事件驅動
(3)數據是單包傳輸
(4)采樣周期是1
(5)網絡1和網絡2同步
注1:假設1~4是分析NCSs時,常用的假定[8][10][14]。假設5,雖然條件有點強,但可以簡化對NBFIs的分析和建模。
下面,我們引入一些概念。
定義序列
其中,ik指的是數據成功傳輸的時刻,是
的一個子序列。
定義1:數據丟包過程定義為
(2.2)
其中,。
定義2:當在
中的取值是任意的,則稱數據包的丟失是任意的。
當系統(2.1a)的輸出信號從采樣器通過網絡傳到執行器端時,就變成
;類似地,系統(2.1b)的輸出信號
就變成
。
因此,圖2的數學模型由下式給出:
(2.3a)
(2.3b)
(2.3c)
系統初始輸入設為0,即:。
本文的主要目標就是尋找適合的條件以保證系統NBFI(2.3)的穩定性,為此,我們引入系統NBFI(2.3)漸近穩定的定義。
定義3:令為系統NBFI(2.3)的軌跡(x0為初始狀態),若對任意的
,存在一個
, 當
時,有
,
成立,則稱系統NBFI(2.3)是穩定的;進一步得,若對任意的
有
成立,則稱系統NBFI(2.3)是漸近穩定的。
3 主要結果
本節,我們將帶有有界任意丟包問題的系統NBFI(2.3)建模成一般的線性切換系統,然后用切換lyapunov函數方法對該切換系統進行分析,進而得出系統NBFI(2.3)在有界任意丟包時,漸近穩定的充分條件。
令
通過迭代運算,與文[8]類似,我們得到
(3.1)
其中
系統(3.1)初始狀態為
因為最大丟包上界是s,所以
其中
這表明系統(3.1)實際上是一個由如下的s個子系統所組成的線性切換系統,其切換率由丟包過程決定。
(3.2)
定理1:如果存在實正定矩陣使得下面的矩陣不等式對所有
成立
(3.3)
則系統NBFI(2.3)是漸近穩定的。
證明: 首先,我們證明系統NBFI(2.3)的漸近性。
構造如下依賴于數據丟包的Lyapunov函數。
其中
令
我們有
由Schur引理,可知
因此,對任何
有(3.7)
由此可知
現在我們考慮系統狀態
其中
對任意的,與(3.4)類似
我們有
(3.5)
前面我們已推知
因此
所以
這表明序列收斂于0。
為了證明系統NBFI(2.3)的穩定性
我們令
其中
下面,我們將證明:對于任意的若
則
(1)當時
由于初始輸入為0
我們有
因此
(2)當時
由(3.4)和(3.5)知
所以
由lyapunov函數的定義,我們有
所以
因此,我們可以得出結論:對任意的存在一個
,當
時,
成立。
根據定義3可知系統NBFI(2.3)是漸近穩定的。
注2:文[14]利用耗散理論得到系統(3.2)的各個子系統漸近穩定的條件,進而推出系統NBFI(2.3)漸近穩定的充分條件;而本文用切換lyapunov函數的方法,給出了系統NBFI(2.3)漸近穩定的條件。 結果以LMI的形式給出,易于檢驗。
4 仿真
考慮具有如下參數的系統NBFI(2.3)
其初始狀態為
情形1:沒有發生數據包丟失的情況時,系統NBFI(2.3)的狀態響應如圖3所示。
圖3 沒有丟包時,NBFI(2.3)的狀態響應曲線
令最大丟包上界s=5,即最多有80%的數據包丟失。 根據定理1,我們可求得如下的一組,滿足LMI(3.6)的可行解。
因此,當發生數據包丟失的情況時,系統NBFI(2.3)具有上述參數時是漸近穩定的。我們利用matlab工具隨機產生一組丟包過程,如圖4所示。
圖4 隨機產生的丟包過程
注3:0: 代表數據包丟失;1: 代表數據包沒有丟失。
情形2:在圖4所示的丟包過程下,系統NBFI(2.3)的狀態響應曲線如圖5所示。
圖5 發生丟包時, NBFI(2.3)的狀態響應曲線
注4: 從圖4中,我們可以看出發生了12次數據包丟失, 即有60%的數據包丟失了。 而由圖5可知,此時系統仍然是漸近穩定的。
5 結論
本文研究了一類基于網絡反饋連接的系統(NBFI),并在此模型的基礎上,研究了有界任意丟包問題。 我們通過迭代的方法,將NBFI系統建模成線性切換系統,應用切換lyapunov函數方法對該切換系統進行分析,以LMI的形式給出了NBFI系統漸近穩定的充分條件。 最后的仿真結果,驗證了結論的正確性。 對于這種新的模型,本文僅考慮了數據丟包時的情況,對于時間延遲,多包傳輸等情況,并沒用考慮。 我們將在今后,對這一新模型進行深入的研究。
其它作者:
孫洪飛(1970-),男,廈門大學副教授,研究領域為復雜網絡,網絡控制系統及切換系統。
參考文獻
[1] W. Zhang, M. S. Branicky, and S. M. Phillips, “Stability of Networked Control Systems,” IEEE Control System Magazine, vol. 21, no. 1, pp. 84–99, 2001.
[2] G. C. Walsh, H. Ye, and L. Bushnell, “Stability Analysis of Networked Control Systems,” Proceedings of American Control Conference, pp. 2876-2880, 1999.
[3] A. Hassibi, S. P. Boyd, and J. P. How, “Control of Asynchronous Dynamical Systems with Rate Constraints on Events,” Proceedings of the 38th IEEE Conference on Decision and Control, pp. 1345-1351, 1999.
[4] A. Rabello, and A. Bhaya, “Stability of Asynchronous Dynamical Systems with Rate Constraints and Application,” Proceedings of American Control Conference, pp. 1284-1289, 2002.
[5] G. C. Walsh, O. Beldiman, and L. Bushnell, “Asymptotic behavior of networked control systems,” Proceedings of the International Conference on Control Applications, pp. 1448-1453, 1999.
[6] O. Beldiman, G. C. Walsh, and L. Bushnell, “Predictors for Networked Control Systems,” Proceedings of American Control Conference, pp. 2347-2351, 2000.
[7] P. V. Zhivoglyadov, and R. H. Middleton, “Networked Control Design for Linear Systems,” Automatica, vol. 39, no. 4, pp. 743-750, 2003.
[8] M. Yu, L. Wang, T. G. Chu, and G. M. Xie, “Stabilization of networked control systems with data packet dropout and network delays via switching system approach,” Proceedings of the 43rd IEEE Conference on Decision and Control, Bahamas, pp. 3539-3544, 2004.
[9] D. Ma, and J. Zhao, “Stabilization of Networked Control Systems via Switching Controllers: an Average Dwell Time Approach,” The 6th World Congress on Intelligent Control and Automation, pp. 4619-4622, 2006.
[10] J. L. Xiong, and J. Lam, “Stabilization of linear systems over networks with bounded packet loss,” Automatica, vol. 43, no. 1, pp. 80-87, 2007.
[11] H. Lin, G. S. Zhai, and P. J. Antsaklis, “Robust stability and disturbance attenuation analysis of a class of networked control systems,” Proceedings of th 42th IEEE Conference on Decision and Control, pp. 1182-1187, 2003.
[12] J. Huang, Z. H. Guan, and Z. D. Wang, “Robust Control withPerformance Bound for Networked Control Systems with Data Packet Dropouts,” Control and Decision, vol. 20, no. 9, pp. 1002-1005, 2005.
[13] D. Yue, Q. L. Han, and J. Lam, “Network-based Robust?Control of Systems with Uncertainty,” Automatica, vol. 4, no. 6, pp. 999-1007, 2005.
[14] H. F. Sun, and D. J. Hill, “Stability of network-based feedback interconnection,” Sbumitted to Automatica, 2007.