具有時延及聯(lián)合連通拓撲的多飛行器分布式協(xié)同編隊飛行控制研究

薛瑞彬，宋建梅，張民強

(北京理工大學(xué) 宇航學(xué)院，北京100081)

0 引言

近年來，隨著計算機控制、傳感器、通信網(wǎng)絡(luò)等各項技術(shù)的發(fā)展，多飛行器協(xié)同控制的應(yīng)用越來越廣泛，特別是在執(zhí)行戰(zhàn)場偵察、多目標(biāo)攻擊、環(huán)境監(jiān)測、地震救援等復(fù)雜任務(wù)時，多飛行器的編隊協(xié)同控制具有執(zhí)行任務(wù)效率高、燃料消耗低、魯棒性強、靈活性大等單個飛行器所無法比擬的優(yōu)勢［1-2］。因此，多飛行器編隊飛行控制已成為飛行器領(lǐng)域的熱點之一。

早期，典型的編隊協(xié)同控制方法大致可以分為主從式、基于行為型以及虛結(jié)構(gòu)/虛擬領(lǐng)導(dǎo)者等3 類［3］。其中主從式結(jié)構(gòu)的研究成果較多［4］。主從式編隊是一種“長機-僚機”編隊模式，長機按預(yù)定軌跡飛行，僚機跟隨長機以固定的編隊結(jié)構(gòu)一起飛行，此方法易于理解和實現(xiàn)，但是魯棒性較弱，一旦長機出現(xiàn)故障，則整個編隊控制失敗。本文擬基于近些年發(fā)展起來的一致性理論開展編隊飛行控制研究。

在基于一致性協(xié)議的編隊協(xié)同控制中，智能體利用鄰居智能體的狀態(tài)信息來進行自身狀態(tài)的控制，并最終使整個編隊達到期望的狀態(tài)，是一種分布式的編隊控制，具有較強的魯棒性和靈活性，自組織與重構(gòu)能力突出，因此基于一致性理論的編隊控制是目前協(xié)同控制領(lǐng)域研究的熱點之一。早期的基于一致性理論的分布式編隊控制研究，大都假設(shè)每個智能體的運動特性是一個簡單的1 階積分環(huán)節(jié)，控制量為速度［5-6］。由于2 階模型更加接近實際系統(tǒng)，目前很多文獻針對2 階系統(tǒng)模型開展了基于一致性協(xié)議的分布式編隊控制研究［7-12］。Hong 等［7］在文獻［5］基礎(chǔ)上，針對通信拓撲為聯(lián)合連通情況，基于Lyapunov 穩(wěn)定性理論進行了多智能體系統(tǒng)的聚集問題研究，控制目標(biāo)是使編隊系統(tǒng)中各飛行器的位置最終趨于一致、速度趨于0，但文獻并沒有考慮系統(tǒng)通信時延的影響。Ren 等［8］針對兩種網(wǎng)絡(luò)拓撲情況(一種是通訊拓撲圖中包含一棵生成樹的固定網(wǎng)絡(luò)拓撲;另一種是子拓撲圖均包含一棵生成樹的切換拓撲)開展了一致性協(xié)議研究，并最終得到系統(tǒng)收斂的充分條件，但也沒有考慮系統(tǒng)時延的影響。當(dāng)系統(tǒng)中存在通信時延且網(wǎng)絡(luò)拓撲圖為強連通的平衡圖時，Lin 等［9］在文獻［8］基礎(chǔ)上，給出了系統(tǒng)收斂到一致狀態(tài)的充分條件。Lin 等［10］在文獻［6］基礎(chǔ)上，針對通訊拓撲為聯(lián)合連通的2 階系統(tǒng)，并且系統(tǒng)中存在通信時延時，開展了平均一致性問題的研究，控制目標(biāo)是使多智能體系統(tǒng)聚集到初始位置信息的平均值處，且最終速度為0.

近幾年，很多學(xué)者開展了基于一致性協(xié)議的多飛行器系統(tǒng)協(xié)同編隊飛行控制研究。Ren［3］通過適當(dāng)選擇多飛行器系統(tǒng)期望的信息狀態(tài)，將針對2 階系統(tǒng)模型的一致性控制協(xié)議拓展應(yīng)用到編隊飛行控制問題中。Seo 等［13］提出了一種基于一致性協(xié)議的編隊飛行控制算法，證明了當(dāng)系統(tǒng)的網(wǎng)絡(luò)拓撲在有向強連通與網(wǎng)絡(luò)中有一棵生成樹兩種情況下切換時，多飛行器系統(tǒng)依然可以實現(xiàn)穩(wěn)定的編隊飛行。Dong 等［14］在網(wǎng)絡(luò)拓撲中有一顆生成樹的情況下，基于一致性理論研究了具有時變隊形特點的多飛行器編隊控制問題，得出了系統(tǒng)的穩(wěn)定性條件，并且采用四旋翼平臺進行了實驗驗證。Seo 等［15］通過設(shè)計一種基于一致性理論的分布式編隊控制器，進行編隊控制的研究，證明了只要保證網(wǎng)絡(luò)拓撲為有向強連通，即使編隊飛行過程中有飛行器丟失，多飛行器系統(tǒng)依然能夠?qū)崿F(xiàn)穩(wěn)定的編隊控制。Kuriki 等［16］針對網(wǎng)絡(luò)拓撲為固定連通情況，設(shè)計一種一致性控制協(xié)議，研究了多飛行器系統(tǒng)形成幾何隊形的協(xié)同編隊控制問題。然而，大多數(shù)基于一致性理論的協(xié)同編隊飛行控制研究都是針對以下兩類系統(tǒng)開展的:一類是假設(shè)系統(tǒng)通信拓撲圖為固定連通且無通信時延;另一類是假設(shè)系統(tǒng)具有切換通信拓撲結(jié)構(gòu)且無通信時延。針對網(wǎng)絡(luò)拓撲為聯(lián)合連通并且同時存在通信時延的編隊控制系統(tǒng)的研究成果很少。而在實際情況中，飛行器之間的通信常會受到傳輸速度、網(wǎng)絡(luò)擁塞等因素的影響而存在通信延遲;并且由于通訊干擾、復(fù)雜地形、通信距離限制等因素的影響，多飛行器系統(tǒng)的網(wǎng)絡(luò)通訊拓撲會發(fā)生變化，因此，同時考慮通信延遲以及通訊拓撲變化兩因素對系統(tǒng)的影響，進行協(xié)同編隊飛行控制系統(tǒng)研究具有重要的理論意義及工程價值。

本文針對網(wǎng)絡(luò)拓撲為聯(lián)合連通且同時存在通信時延的多飛行器編隊系統(tǒng)，通過設(shè)計具有時延的基于一致性理論的編隊控制協(xié)議，同時根據(jù)網(wǎng)絡(luò)拓撲變化的特點，基于Lyapunov 穩(wěn)定性理論得出了使系統(tǒng)穩(wěn)定的充分條件，當(dāng)系統(tǒng)滿足某些線性矩陣不等式(LMIs)時，多飛行器系統(tǒng)能夠按期望的隊形和速度實現(xiàn)穩(wěn)定的編隊飛行。

1 多飛行器系統(tǒng)動力學(xué)建模

本文考慮n 個自主飛行器構(gòu)成的群體系統(tǒng)，假設(shè)多飛行器飛行高度一致，即在二維平面內(nèi)研究飛行器的協(xié)同編隊飛行問題。系統(tǒng)中第i 個飛行器的運動模型為

式中:狀態(tài)向量Xi=［xi，yi，vi，φi］T，控制輸入向量Ui=［vci，φci］T，其中(xi，yi)為第i 個飛行器在慣性空間的位置;vi為飛行器飛行速度;φi為航跡角，并且按照笛卡爾坐標(biāo)系x 軸正向為0°，逆時針旋轉(zhuǎn)為正;vci、φci分別為飛行器自動駕駛儀的速度參考輸入和航跡角參考輸入;τv、τφ為系統(tǒng)動態(tài)時間常數(shù)。本文用1 階慣性環(huán)節(jié)來近似描述飛行器的速度動態(tài)特性和航向動態(tài)特性。

定義?m×n為m × n 的實矩陣集合，令ξi=［xi，yi］T∈?2，ui=［uxi，uyi］T∈?2，對(1)式中的對時間求導(dǎo)，然后將的表達式代入，第i個飛行器的動力學(xué)數(shù)學(xué)模型轉(zhuǎn)化為二次積分形式:

式中:ξi為飛行器的位置;ui為飛行器的虛擬控制輸入。ui和實際控制輸入向量Ui之間的關(guān)系為

2 圖論基礎(chǔ)知識介紹

采用代數(shù)圖論的知識對多飛行器系統(tǒng)及其行為進行描述:假設(shè)系統(tǒng)有n 個飛行器，在代數(shù)圖論中，將每個飛行器看做一個節(jié)點，并對其編號;飛行器之間的通訊關(guān)系看做是邊，用G(V，E，A)表示一個多飛行器系統(tǒng)的無向圖，其中，V = {s1，s2，…，sn}是n 個節(jié)點的集合，E={(si，sj)∈s×s，i≠j}表示邊的集合，A =［ai］n×n表示一個附有權(quán)重的鄰接矩陣。圖G 的邊用eij= (si，sj)表示，對于一個無向圖來說，如果當(dāng)eij∈E 時，則必有eji∈E. 鄰接矩陣定義為aii=0，并且aij=aji≥0，當(dāng)eij∈E 時，aij＞0. 節(jié)點si的鄰居集定義為Ni={sj∈V:(si，sj)∈E}. 無向圖所對應(yīng)的Laplacian 矩陣為L =［lij］n×n，其中顯然，對于任一個無向圖均有L =LT. 圖中的路是指由邊所組成的序列，例如(s1，s2)，(s2，s3)，…. 如果任意2 個節(jié)點之間都有一條路，則稱圖是連通的。若有m 個圖均具有相同的節(jié)點集合V，定義聯(lián)合圖其節(jié)點集為V，邊集為所有m 個圖邊集的聯(lián)合，而且，如果聯(lián)合圖是連通的，那么，圖便稱為是聯(lián)合連通的。

引理1［10］若有矩陣Cn=nIn-11T(Im表示m維單位矩陣，1 代表具有相應(yīng)維數(shù)的列向量［1，1，…，1］T)，那么必然存在一個正交矩陣Un∈?n×n，使得UTnDUn=diag{nIn-1，0}，并且Un的最后一列為給定一個矩陣D∈?n×n使得1TD =0，且D1 =0，那么其中Un表示Un的前n-1 列。

3 基于一致性理論的多飛行器控制協(xié)議設(shè)計與系統(tǒng)穩(wěn)定性證明

3.1 基于一致性理論的多飛行器系統(tǒng)控制協(xié)議設(shè)計

假定編隊系統(tǒng)由n 個飛行器組成，在任一時刻，每個飛行器根據(jù)鄰居的狀態(tài)信息來控制和更新自己的當(dāng)前運動狀態(tài)。用無向圖來描述飛行器之間的通訊拓撲關(guān)系，每個飛行器看成圖的一個節(jié)點;每條邊(si，sj)或者(sj，si)代表相應(yīng)飛行器si、sj之間的通訊連接，在每個時刻，多飛行器之間的通訊連接形成一種通訊拓撲。實際中，由于遮擋、外界干擾、通訊阻塞、硬件故障等原因，可能會導(dǎo)致飛行器之間通訊失敗而使系統(tǒng)通訊拓撲不斷變化。為描述變化的拓撲，引進一個分段連續(xù)的常值切換函數(shù)σ(t):［0，∞)ap ={1，2，…，N}，簡記為σ，其中N 表示所有可能的無向通訊拓撲圖的總數(shù)。t 時刻的通訊圖用Gσ來表示，對應(yīng)的Laplacian 矩陣用Lσ表示。本文主要研究系統(tǒng)通訊拓撲為聯(lián)合聯(lián)通情況下多飛行器系統(tǒng)控制協(xié)議設(shè)計問題。

由(2)式可得到第i 個飛行器動態(tài)方程的狀態(tài)空間描述為

式中:ξi(t)∈?2代表飛行器的位置狀態(tài);ζi(t)∈?2代表飛行器的速度狀態(tài);ui(t)∈?2是控制輸入量。如果編隊控制協(xié)議ui(t)能夠保證所有飛行器的狀態(tài)達到［ξi(t)- ξj(t)］→rij，并且ζi(t)→ζj(t)→ζ*(rij= -rji代表飛行器i 與j 在編隊隊形中的期望距離差值，ζ*∈?2代表期望速度)，則表明該控制協(xié)議能夠使多飛行器系統(tǒng)最終形成預(yù)期的編隊隊形，且編隊按照期望的飛行速度前進。

文獻［3］給出了能夠使多飛行器系統(tǒng)形成期望編隊且實現(xiàn)給定速度的控制協(xié)議，但僅僅針對固定通訊拓撲，且沒有考慮系統(tǒng)時延。本文借鑒文獻［3］的控制協(xié)議思想，針對存在通訊時延以及通信拓撲圖為聯(lián)合連通的多飛行器編隊飛行控制系統(tǒng)，對第i 個飛行器給出線性控制協(xié)議為

式中:τ ＞0 代表時延常數(shù);aij代表通信拓撲圖Gσ的鄰接權(quán)重;Ni(t)為第i 個節(jié)點的鄰居集;k1、k2、k3均大于0，且k3=k1k2.

為了進行多飛行器系統(tǒng)閉環(huán)控制性能分析，需要對模型進行等效變換。因此引入編隊中心的概念，編隊中心即為多飛行器系統(tǒng)隊形的形心。為了說明問題方便、便于理解，以期望隊形為正五邊形為例，如圖1所示，其中O 代表笛卡爾坐標(biāo)系原點，Oc為編隊中心，飛行器i、j 以及編隊中心在平面坐標(biāo)系中的位置分別為ξi(t)、ξj(t)、ξ0(t)，飛行器i、j 與編隊中心的距離分別為ri、rj.

圖1 編隊平面圖Fig.1 Plane graph of formation

因此，控制協(xié)議(6)式可以等效變換為

式中:rji=rj-ri. 根據(jù)多飛行器系統(tǒng)期望隊形的位置及速度信息，令ζi(t)-ζ*，則控制協(xié)議(6)式可以變換為

如果取

則在控制協(xié)議(8)式作用下，多飛行器編隊控制系統(tǒng)的閉環(huán)動態(tài)方程為

3.2 基于一致性理論的多飛行器編隊飛行閉環(huán)控制系統(tǒng)穩(wěn)定性分析

3.2.1 切換拓撲定義與相關(guān)引理

在給出本文主要結(jié)論之前，先介紹一些定義以及引理。首先引入切換拓撲的概念?？紤]一個無窮非空、有界并且連續(xù)的時間序列［tk，tk+1)，k =0，1，…，t0=0，對于某一常數(shù)T1＞0，有tk+1-tk≤T1(k≥0). 假定在每個區(qū)間［tk，tk+1)內(nèi)，有一個不重疊的子區(qū)間序列:

對某一常數(shù)mk≥0 以及給定的常數(shù)T2＞0，滿足tkb+1-tkb≥T2，0≤b ＜mk，使得通訊拓撲圖Gσ在tkb時刻切換，且在每一個子區(qū)間［tkb，tkb+1)內(nèi)，通訊拓撲圖均不發(fā)生變化。若用［T1/T2］表示不大于T1/T2的最大整數(shù)，那么在每一個區(qū)間［tk，tk+1)內(nèi)，最大子區(qū)間數(shù)為m*=［T1/T2］.

按照以上對切換拓撲的定義，假定在某一子區(qū)間［tkb，tkb+1)內(nèi)時不變的通訊拓撲具有dσ(dσ≥1)個連通的部分，并且其對應(yīng)的節(jié)點集用表示，用表示中的節(jié)點數(shù)。則存在一個置換矩陣Pσ∈?n×n使得

并且

在每個子區(qū)間內(nèi)，對于第i 個連通的部分，考慮一個形如(15)式的對稱矩陣

3.2.2 多飛行器編隊飛行閉環(huán)控制系統(tǒng)穩(wěn)定條件

定理1 對于一個具有通訊延遲及切換拓撲的多飛行器系統(tǒng)，假定在每個時間區(qū)間［tkb，tkb+1)內(nèi)，其通訊拓撲圖的集合是聯(lián)合連通的，那么，在每個子區(qū)間［tkb，tkb+1)內(nèi)，如果存在一個正常數(shù)γ ＞0 及滿足(16)式的，使得

證明 針對(10)式，選取Lyapunov-Krasovskii函數(shù)形式如下:

容易得出，V(t)是一個正定遞減函數(shù)。而且根據(jù)(13)式，V(t)可改寫為

因此，從本質(zhì)上講，V(t)是每個子區(qū)間［tkb，tkb+1)內(nèi)連通部分的Lyapunov-Krasovskii 函數(shù)的組合。

首先，V(t)的導(dǎo)數(shù)為

并且有

因此

由此可知，(10)式是穩(wěn)定的［17］。由文獻［10］的分析可知因此，有定理得證。也就是說，在控制協(xié)議(6)式作用下，多飛行器系統(tǒng)最終能形成預(yù)期隊形，并達到期望的飛行速度。

4 多飛行器編隊控制系統(tǒng)仿真

本文通過數(shù)值仿真來驗證所設(shè)計的控制協(xié)議及穩(wěn)定性分析的正確性。為充分說明本文所設(shè)計的一致性控制協(xié)議能夠適應(yīng)多種情況下多飛行器的編隊飛行控制，分以下3 種情況進行仿真說明。

4.1 非對稱結(jié)構(gòu)隊形的四飛行器編隊形成仿真

四飛行器之間的通訊拓撲圖以及期望形成的隊形結(jié)構(gòu)圖分別如圖2和圖3所示。

圖2 飛行器通訊拓撲圖Fig.2 Communication topology of flight vehicles

圖3 期望隊形示意圖Fig.3 Expected formation

四飛行器之間的通訊拓撲按照(G1，G2，G1)的順序切換，駐留時間為0.3 s，圖中每條連通邊的權(quán)重為1. 四飛行器的初始位置、速度及航跡角的給定值如表1所示。

表1 飛行器初始狀態(tài)Tab.1 Initial states of flight vehicles

取飛行器的速度和航向動態(tài)特性的1 階慣性環(huán)節(jié)時間常數(shù)τv=2，τφ=0.8. 四飛行器系統(tǒng)期望的速度vi= 66 m/s，航跡角φi= 26°. 通過求解(18)式，得出控制協(xié)議中一組可行參數(shù)為k1=2，k2=1.6，k3=3.2，此參數(shù)下系統(tǒng)所允許的最大時延τ=0.3 s，在此控制協(xié)議下，當(dāng)時延τ =0.3 s 時，四飛行器編隊的位置、速度、航跡角變化曲線及形成隊形分別如圖4～圖7所示。

圖4 位置變化曲線圖Fig.4 Position trajectories of flight vehicles

圖5 速度變化曲線圖Fig.5 Velocity trajectories of flight vehicles

圖6 航跡角變化曲線Fig.6 Flight path angle trajectories of flight vehicles

圖7 形成的編隊隊形圖Fig.7 Formed formation

由圖4～圖7可見，四飛行器系統(tǒng)的速度及航跡角最終均收斂到一致并且達到給定的期望值，形成了期望的編隊隊形并能夠按照此隊形保持編隊飛行。

4.2 對稱結(jié)構(gòu)隊形的八飛行器編隊形成仿真

八飛行器之間的通訊拓撲圖如圖8所示。每個通訊拓撲圖均含有相同的8 個節(jié)點數(shù)，即有8 個飛行器參與編隊飛行。從圖中可以看出每個拓撲圖并不是連通的，但是4 個圖的集合卻是連通的，圖中每條連通邊的權(quán)重為1. 多飛行器系統(tǒng)之間的通訊拓撲圖的駐留時間為0.2 s，并且按照(G1，G2，G3，G4，G1)的順序切換。

圖8 多飛行器通訊拓撲圖Fig.8 Communication topology of flight vehicles

八飛行器系統(tǒng)的期望編隊隊形是對稱的，系統(tǒng)中各個飛行器之間的期望距離如圖9所示，8 個飛行器的初始位置、速度及航跡角的給定值如表2所示。

圖9 期望編隊隊形示意圖Fig.9 Expected formation

表2 飛行器初始狀態(tài)Tab.2 Initial states of flight vehicles

τv=2，τφ=0.8，期望速度vi=76 m/s，航跡角φi=26°. 通過求解(18)式，得出控制協(xié)議中的一組可行參數(shù)為k1=2，k2=1.6，k3=3.2，此參數(shù)下系統(tǒng)所允許的最大時延τ=0.3 s，在此控制協(xié)議下，當(dāng)時延τ=0.3 s 時，八飛行器編隊的位置、速度、航跡角、飛行器之間距離差及形成的隊形分別如圖10 ～圖14所示。

由圖10 ～圖14 可見，盡管速度與航跡角曲線有一定的振蕩，但是，八飛行器系統(tǒng)最終能夠達到期望的速度及航跡角的給定值，并且系統(tǒng)最終能夠形成預(yù)期的編隊隊形。

4.3 個別飛行器丟失后的飛行器編隊重構(gòu)仿真

圖10 位置變化曲線圖Fig.10 The changes in positions of flight vehicles

圖11 速度變化曲線Fig.11 The changes in velocities trajectories of flight vehicles

圖12 航跡角變化曲線Fig.12 Flight path angle trajectories of flight vehicles

本例中初始飛行器編隊由5 個飛行器組成，在t=15 s 時刻，飛行器3 因故障丟失后，其他四飛行器進行編隊重構(gòu)。在飛行器3 丟失前，5 個飛行器通訊拓撲圖以及期望的隊形結(jié)構(gòu)圖分別如圖15 和圖16 所示，通訊拓撲圖的駐留時間為0.4 s，并且按照(G1，G2，G3，G1)的順序切換;當(dāng)飛行器3 丟失后，4 個飛行器通訊拓撲圖和期望的隊形結(jié)構(gòu)圖如圖17和圖18 所示，駐留時間為0.3 s，并且按照(G1，G2，G1)的順序切換。

圖13 形成的編隊隊形圖Fig.13 Formed formation

圖14 飛行器之間的距離差Fig.14 Distance between flight vehicles

圖15 飛行器通信拓撲圖Fig.15 Communication topology of flight vehicles

圖16 期望隊形結(jié)構(gòu)圖Fig.16 Expected formation

5 個飛行器的初始位置設(shè)置如表所示。τv=2，τφ=0.8，期望速度vi=70 m/s，航跡角φi=24°. 通過求解(18)式，得出控制協(xié)議中的一組可行參數(shù)為k1=0.89，k2=1.31，k3=1.17，此參數(shù)下系統(tǒng)所允許的最大時延τ =0.1 s，在此控制協(xié)議下，當(dāng)時延τ =0.1 s 時，飛行器位置、速度、航跡角以及隊形變化曲線分別如圖19 ～圖22 所示。

圖17 編隊重構(gòu)后通信拓撲圖Fig.17 Communication topology of formation reconfiguration

圖18 編隊重構(gòu)后期望隊形結(jié)構(gòu)圖Fig.18 Expected formation after formation reconfiguration

表3 飛行器初始狀態(tài)Tab.3 Initial states of flight vehicles

圖19 位置變化曲線圖Fig.19 The changes in positions of vehicles

從圖19 ～圖22 中得出，在本文所設(shè)計的控制協(xié)議下，當(dāng)飛行器丟失前后，只要通信拓撲圖保持聯(lián)合連通狀態(tài)，那么飛行器系統(tǒng)依然可以形成期望的隊形。

圖20 速度變化曲線圖Fig.20 The changes in velocities of flight vehicles

圖21 航跡角變化曲線圖Fig.21 Flight path angle trajectories of flight vehicles

圖22 隊形變化曲線圖Fig.22 The change of formation of flight vehicles

綜合3 個算例可以得出:不論飛行器系統(tǒng)中飛行器數(shù)量多少、期望編隊隊形的結(jié)構(gòu)如何，在本文所提出的一致性控制協(xié)議下，只要保證通訊拓撲結(jié)構(gòu)是聯(lián)合連通，那么多飛行器系統(tǒng)就能夠形成期望的編隊隊形，并按照給定的速度及航跡角實現(xiàn)編隊飛行;如果飛行過程中有飛行器因故障脫離編隊，只要滿足通訊拓撲結(jié)構(gòu)變化要求，即相關(guān)飛行器之間能夠形成通訊鏈，那么飛行器系統(tǒng)是可以實現(xiàn)編隊重構(gòu)的，并且依然按照給定的期望速度及航跡角信息進行編隊飛行。

最后，本文所討論的控制協(xié)議(6)式是指多飛行器系統(tǒng)跟蹤某一靜態(tài)速度，如果跟蹤動態(tài)的速度，那么控制協(xié)議里面應(yīng)該有速度的導(dǎo)數(shù)項，其協(xié)議形式為

在控制協(xié)議(21)式下，多飛行器系統(tǒng)依然可以收斂，其證明過程與定理1 相似，此處不再贅述。關(guān)于跟蹤變化速度的問題，可以通過實際仿真驗證結(jié)論的正確性，由于空間的限制，仿真結(jié)果圖在此處略去。

5 結(jié)論

本文研究了通訊拓撲為聯(lián)合連通及存在通信時延的多飛行器系統(tǒng)的編隊飛行控制問題。通過設(shè)計基于一致性的編隊控制協(xié)議，多飛行器系統(tǒng)編隊控制的穩(wěn)定性問題最終轉(zhuǎn)化為尋找矩陣不等式可行解的問題。事實上，在求解矩陣不等式時，只需針對每個子區(qū)間內(nèi)固定通訊拓撲圖中的連通部分進行計算即可，這樣可以很大程度地簡化整個網(wǎng)絡(luò)的分析。當(dāng)求得一組可行參數(shù)時，便可求解在此參數(shù)下，系統(tǒng)所允許的時延上限的值。本文進一步通過仿真驗證了所設(shè)計的一致性控制協(xié)議的正確性。在本文所提出的一致性控制協(xié)議作用下，若保證系統(tǒng)的通訊拓撲為聯(lián)合連通的，不論期望隊形結(jié)構(gòu)對稱與否，在允許的通訊延遲時間內(nèi)，編隊飛行系統(tǒng)均能按照期望的速度及航跡角實現(xiàn)穩(wěn)定的飛行，如果飛行過程中由于故障導(dǎo)致某飛行器丟失，亦可實現(xiàn)編隊的重構(gòu)。

References)

［1］Ren W，Beard R W. Distributed consensus in multi-vehicle cooperative control［M］. London:Springer，2008.

［2］樊瓊劍，楊忠，方挺，等.多無人機協(xié)同編隊飛行控制的研究現(xiàn)狀［J］.航空學(xué)報，2009，30(4):683 -692.FAN Qiong-jian，YANG Zhong，F(xiàn)ANG Ting，et al. Research status of coordinated formation flight control for multi-UAVs［J］. Acta Aeronautica et Astronautica Sinica，2009，30(4):683 -692.(in Chinese)

［3］Ren W. Consensus strategies for cooperative control of vehicle formations［J］. IET Control Theory and Applications，2007，1(2):505 -512.

［4］Giulietti F，Pollini L，Innocenti M. Autonomous formation flight［J］. IEEE Control Systems Magazine，2000，20(6):34 -44.

［5］Jadbabaie A，Lin J，Morse A S. Coordination of groups of mobile autonomous agents using nearest neighbor rules［J］. IEEE Transactions on Automatic Control，2003，48(6):988 -1001.

［6］Olfati-Saber R，Murray R M. Consensus problems in networks of agents with switching topology and time-delays［J］. IEEE Transactions on Automatic Control，2004，49(9):1520 -1533.

［7］Hong Y G，Gao L X，Cheng D Z，et al. Lyapunov-based approach to multiagent systems with switching jointly connected interconnection［J］. IEEE Transactions on Automatic Control，2007，52(5):943 -948.

［8］Ren W，Atkins E. Distributed multi-vehicle coordinated control via local information exchange［J］. International Journal of Robust and Nonlinear Control，2007，17(10 -11):1002 -1033.

［9］Lin P，Jia Y M，Du J P. Distributed control of multi-agent systems with second-order agent dynamics and delay-dependent communications［J］. Asian Journal of Control，2008，10(2):254 -259.

［10］Lin P，Jia Y M. Consensus of a class of second-order multi-agent systems with time-delay and jointly-connected topologies［J］.IEEE Transactions on Automatic Control，2010，55(3):778 -785.

［11］Ren W. On consensus algorithms for double-integrator dynamics［J］. IEEE Transactions on Automatic Control，2008，53(6):1503 -1509.

［12］Qin J H，Gao H J，ZHENG W X. Second-order consensus for multi-agent systems with switching topology and communication delay［J］. Systems ＆ Control Letters，2011，60(6):390 -397.

［13］Seo J，Ahn C，Kim Y. Controller design for UAV formation flight using consensus based decentralized approach［C］∥Proceedings of AIAA Infotech@ Aerospace Conference. Reston，VA，US:AIAA，2009:1 -11.

［14］Dong X W，Yu B C，Shi Z Y，et al. Time-varying formation control for unmanned aerial vehicles:theories and applications［J］.IEEE Transactions on Control Systems Technology，2014，23(1):340 -348.

［15］Seo J，Kim Y，Kim S，et al. Consensus-based reconfigurable controller design for unmanned aerial vehicle formation flight［J］.Proceedings of the Institution of Mechanical Engineers，Part G:Journal of Aerospace Engineering，2012，226(G7):817 -829.

［16］Kuriki Y，Namerikawa T. Consensus-based cooperative control for geometric configuration of UAVs flying in formation［C］∥SICE Annual Conference. Nagoya，Japan:IEEE，2013:1237 -1242.

［17］Gu K，Kharitonov V L，Chen J. Stability of time-delay systems［M］. Boston，MA:Birkh?user，2003.