李 曉，孟欠欠，胡賀軍，孫 賀

淮北師范大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院，安徽淮北，235000

多智能體系統(tǒng)是由一組相互作用的智能體構(gòu)成，并能完成單個(gè)智能體所不能完成的復(fù)雜而精確的任務(wù)[1]。多智能體系統(tǒng)的協(xié)同控制在無(wú)人機(jī)、機(jī)器人、電力系統(tǒng)、智能交通系統(tǒng)等若干領(lǐng)域都有著潛在的應(yīng)用[2-4]。作為協(xié)同控制的關(guān)鍵問(wèn)題，一致性問(wèn)題的研究更是受到學(xué)者的廣泛青睞。一致性問(wèn)題可描述為各智能體通過(guò)自身信息傳遞和局部信息融合，使得整個(gè)多智能體系統(tǒng)的狀態(tài)(位置、速度、加速度等)趨于一致。為獲取多智能體系統(tǒng)一致性的充分條件，大部分的研究要求智能體間的拓?fù)浣Y(jié)構(gòu)具有生成樹(shù)。然而，由于外界環(huán)境的影響，很難實(shí)現(xiàn)智能體的整個(gè)拓?fù)浣Y(jié)構(gòu)具有生成樹(shù)，但部分智能體間的拓?fù)浣Y(jié)構(gòu)具有生成樹(shù)卻相對(duì)容易滿(mǎn)足。因此，近年來(lái)關(guān)于多智能體系統(tǒng)的群組一致性受到了廣泛關(guān)注。群組一致性是指多智能體系統(tǒng)的拓?fù)浣Y(jié)構(gòu)由多個(gè)部分智能體組成的子圖構(gòu)成且每個(gè)子圖都具有生成樹(shù)，通過(guò)設(shè)計(jì)控制協(xié)議，使得不同群組多智能體系統(tǒng)在組內(nèi)達(dá)到某種狀態(tài)的一致性。多智能體系統(tǒng)的群組一致性在分布式傳感網(wǎng)絡(luò)、軍事偵察系統(tǒng)以及危險(xiǎn)品檢測(cè)等應(yīng)用中發(fā)揮重要作用。

近年來(lái)，通過(guò)分析一致性以及群組一致性條件，對(duì)多智能體系統(tǒng)進(jìn)行的研究涌現(xiàn)了豐碩的成果。YU等[5]考慮了在切換拓?fù)浣Y(jié)構(gòu)下多智能體系統(tǒng)滿(mǎn)足群組一致性的充分條件。宋海裕等[6]研究了一類(lèi)在牽引控制下的多智能體系統(tǒng)群組一致性問(wèn)題。紀(jì)良浩等[7]分析了一類(lèi)低階時(shí)延多智能體系統(tǒng)在無(wú)向拓?fù)浣Y(jié)構(gòu)下的存在分組時(shí)的一致性條件。Ma等[8]研究了一類(lèi)二階非線(xiàn)性多智能體系統(tǒng)跟隨領(lǐng)導(dǎo)者的群組一致性問(wèn)題。楊繁[9]提出了多智能體系統(tǒng)分別在有向拓?fù)鋱D和無(wú)向拓?fù)鋱D的群均衡化算法。林瑜陽(yáng)等[10]研究了一類(lèi)二階連續(xù)多智能體系統(tǒng)的在分組情況下的一致性。程玉娟等[11]給出了一類(lèi)非線(xiàn)性多智能體系統(tǒng)在切換拓?fù)渚W(wǎng)絡(luò)結(jié)構(gòu)下導(dǎo)致的分組一致性條件。王偉等[12]通過(guò)設(shè)計(jì)基于智能體記憶狀態(tài)的快速一致性協(xié)議，研究了一類(lèi)低階多智能體系統(tǒng)在有向拓?fù)浣Y(jié)構(gòu)下的快速分組一致性問(wèn)題。司馬嘉歡[13]考慮了一類(lèi)在固定有向拓?fù)渚W(wǎng)絡(luò)下的高階多智能體系統(tǒng)分組一致性的充要條件。然而，以上文獻(xiàn)都是基于同階多智能體組成的系統(tǒng)。在智能體系統(tǒng)的實(shí)際工程應(yīng)用中，一方面，不管是自然界個(gè)體或者人造工程系統(tǒng)，在功能上或者在結(jié)構(gòu)上其差異都是不可避免的，因此動(dòng)力學(xué)完全一致的智能體難以獲取。另一方面，由于群體間智能體的通信以及執(zhí)行能力存在著差異性，難以用統(tǒng)一的動(dòng)力學(xué)模型去描述智能體的耦合關(guān)系，因此，關(guān)于異質(zhì)多智能體系統(tǒng)實(shí)現(xiàn)一致性的條件分析具有更大的理論價(jià)值和應(yīng)用前景。鑒于此，本文設(shè)計(jì)了有效的控制協(xié)議，并給出了一類(lèi)由低階和高階智能體構(gòu)成的異質(zhì)多智能體系統(tǒng)在均方意義下的群組一致性條件，最后，利用數(shù)值算例對(duì)獲得的結(jié)果進(jìn)行了驗(yàn)證。

1 預(yù)備知識(shí)和問(wèn)題描述

1.1 預(yù)備知識(shí)

1.2 問(wèn)題描述

考慮一類(lèi)由n個(gè)一階智能體和m個(gè)二階智能體組成的異質(zhì)多智能體系統(tǒng)，系統(tǒng)模型描述如下：

(1)

(2)

而Μ1={1,2,…,n},Μ2={n+1,n+2,…,n+m}，χi(t)∈Rm1,νi(t)∈Rm2,μi(t)∈Rm3分別表示位置、速度以及控制輸入。

本研究的異質(zhì)多智能體系統(tǒng)群組均方一致性問(wèn)題可以總結(jié)為：給定異質(zhì)多智能體系統(tǒng)(1)(2)，設(shè)計(jì)控制協(xié)議μi(t)使得系統(tǒng)漸近地實(shí)現(xiàn)群組均方一致性。即設(shè)計(jì)控制協(xié)議μi(t)

可以使得智能體狀態(tài)滿(mǎn)足如下：

limΞ{|χi(t)-χj(t)|2}=0,?i,j∈Μ1∪Μ2

limΞ{|νi(t)-νj(t)|2}=0,?i,j∈Μ2

(3)

其中,Ξ表示期望。

2 控制協(xié)議設(shè)計(jì)

設(shè)計(jì)狀態(tài)反饋控制協(xié)議(4)如下：

(4)

?i∈Μ2

(5)

其中,N1i={vj∈M1|(vj,vi)∈E}，N2i={vj∈M2|(vj,vi)∈E},Κ1,Κ2,Κ3為待求解的控制增益。

定義

分別將控制協(xié)議(4)(5)代入系統(tǒng)(1)(2)得到如下閉環(huán)系統(tǒng)：

(6)

其中

針對(duì)以上矩陣l1,l2中的元素作出以下假設(shè):

系統(tǒng)(6)可以寫(xiě)成如下矩陣形式:

(7)

隨后，對(duì)系統(tǒng)(7)進(jìn)行如下模型變換。令

ξli(t)=χ1(t)-χi(t),i∈{2,3,…,n}

ξhj(t)=χn+1(t)-χj(t),ζhj=νn+1(t)-νj(t),j∈{n+2,n+3,…,n+m}

φ(t)=[ξTl2(t)…ξTln(t)ξTh(n+2)(t)…

易得

(8)

其中

ψ=diag{ψ1ψ2ψ3},ψ1=[1n-1-In-1]?Im1

ψ2=[1m-1-Im-1]?Im1,ψ3=[1m-1-Im-1]?Im2

定義如下可逆矩陣

(9)

根據(jù)(9)式以及L11n=0,L21m=0，可以得到:

由假設(shè)可知:l11m=-α1n,l21n=-β1m

Ψ1(1n?Im1)=0,Ψ2(1m?Im1)=0

(10)

成立，可以得到:

隨后易得:

即

同理可得:

根據(jù)矩陣性質(zhì)可得:

結(jié)合式(10)可得:

綜上得到如下降階閉環(huán)系統(tǒng):

(11)

其中

(12)

(13)

上述利用矩陣?yán)碚?、圖論以及一系列等價(jià)變換，將待研究的異質(zhì)多智能體系統(tǒng)(1)(2)滿(mǎn)足群組一致性的條件轉(zhuǎn)換成分析閉環(huán)系統(tǒng)(11)滿(mǎn)足漸近均方穩(wěn)定性的充分條件。在后續(xù)內(nèi)容中，結(jié)合Lyapunov穩(wěn)定性理論，以定理的方式給出在有向拓?fù)浣Y(jié)構(gòu)下系統(tǒng)(11)滿(mǎn)足漸近均方穩(wěn)定性的分析條件以及系統(tǒng)(1)(2)滿(mǎn)足漸近均方一致性的綜合結(jié)果。

3 分析與綜合

定理1假設(shè)一階以及二階多智能的有向拓?fù)鋱DG1，G2具有有向生成樹(shù)。如果存在正定陣P，使得下式：

(14)

成立，其中

證明:構(gòu)造如下Lyapunov函數(shù)：

則V(t)沿著系統(tǒng)(11)的軌跡為:

根據(jù)Lyapunov穩(wěn)定性理論可知系統(tǒng)(11)是漸近均方穩(wěn)定的當(dāng)下式

(15)

成立，即式(14)成立。證畢。

定理2假設(shè)一階以及二階多智能的有向拓?fù)鋱DG1，G2具有有向生成樹(shù)。若存在正定矩陣Ω以及矩陣Y1,Y2,Y3使得下面的線(xiàn)性矩陣不等式:

(16)

成立，其中

則系統(tǒng)(1)(2)滿(mǎn)足群組均方一致性，控制增益如下：

Κ1=Y1Ω-1,Κ2=Y2Ω-1,Κ31=Y3Ω-1

(17)

(18)

根據(jù)(17)式可得式(18)等價(jià)于式(16)。證畢。

4 數(shù)值算例

考慮由6個(gè)智能構(gòu)成的異質(zhì)多智能體系統(tǒng)，其中智能體1-4滿(mǎn)足一階動(dòng)力模型，5,6滿(mǎn)足二階動(dòng)力學(xué)模型，系統(tǒng)描述如下：

其拓?fù)浣Y(jié)構(gòu)包含兩個(gè)子圖G1，G2，如圖1所示。

圖1 6個(gè)智能體間有向拓?fù)鋱D

G1，G2均具有有向生成樹(shù)，G1和G2以及兩個(gè)子圖之間對(duì)應(yīng)的Laplace矩陣分別為:

將以上參數(shù)代入定理1的(14)式中，通過(guò)Matlab獲得可行性解以及相應(yīng)的控制增益:

可得，所研究的一類(lèi)多智能體系統(tǒng)(1)(2)在控制協(xié)議(4)(5)作用下能夠?qū)崿F(xiàn)群組均方一致性。

5 結(jié) 語(yǔ)

通過(guò)設(shè)計(jì)狀態(tài)反饋控制協(xié)議研究了一類(lèi)由一階和二階多智能體構(gòu)成的異質(zhì)多智能體系統(tǒng)在均方條件下滿(mǎn)足群組一致性的充分條件。隨后，對(duì)系統(tǒng)模型進(jìn)行變換，進(jìn)而將異質(zhì)多智能體系統(tǒng)群組一致性問(wèn)題轉(zhuǎn)換為低階閉環(huán)系統(tǒng)的漸近穩(wěn)定性問(wèn)題。利用圖論、矩陣?yán)碚撘约癓yapunov穩(wěn)定性定理給出了閉環(huán)系統(tǒng)漸近均方穩(wěn)定以及多智能體系統(tǒng)群組均方一致性的充分條件。最后，通過(guò)數(shù)值算例對(duì)結(jié)果的正確性進(jìn)行了驗(yàn)證。