劉辰辰,尹燕燕,2,劉 飛
(1.江南大學(xué) 自動(dòng)化研究所,江蘇 無(wú)錫 214122; 2.科廷大學(xué) 工程學(xué)院, 澳大利亞 西澳大利亞州 珀斯市 WA6845)(*通信作者電子郵箱yanyan.yin@curtin.edu.au)
近些年,多智能體的協(xié)同控制已經(jīng)取得了突破性的進(jìn)展, 并在工程中得到了廣泛應(yīng)用,例如,無(wú)人潛航器、 智能電網(wǎng)、傳感器網(wǎng)絡(luò)和編隊(duì)控制[1-4]。多智能體系統(tǒng)的協(xié)同控制的一個(gè)基本問(wèn)題是一致性控制,即利用智能體之間的信息交換設(shè)計(jì)一個(gè)分布式控制器,使得每個(gè)智能體最終達(dá)到一個(gè)共同的輸出或者狀態(tài)。
本文研究的是由一階和二階智能體組成的異構(gòu)多智能體系統(tǒng),并已經(jīng)有眾多學(xué)者進(jìn)行了相關(guān)的研究[5-8]:文獻(xiàn)[5]研究了由一階和二階智能體組成的混合階多智能體系統(tǒng)中二階智能體速度(二階狀態(tài))不可測(cè)的一致性問(wèn)題,針對(duì)速度不可測(cè)的情況,在分布式控制器中構(gòu)建了一個(gè)輔助方程,實(shí)現(xiàn)了混合階多智能體系統(tǒng)的一致性;文獻(xiàn)[6]的研究將一階和二階組成的混合階智能體系統(tǒng)分成了兩個(gè)集群,通過(guò)構(gòu)建的分布式控制器使兩個(gè)集群的位置(一階狀態(tài))分別實(shí)現(xiàn)了不同的一致性目標(biāo), 而速度(二階狀態(tài))最終收斂到零;文獻(xiàn)[7]給出了固定拓?fù)浜颓袚Q拓?fù)湎碌漠悩?gòu)多智能體一致性的充分條件;文獻(xiàn)[8]則研究了當(dāng)異構(gòu)多智能體系統(tǒng)具有隨機(jī)通信時(shí)延時(shí)的一致性控制問(wèn)題。
系統(tǒng)執(zhí)行器故障在實(shí)際應(yīng)用中是普遍存在的現(xiàn)象:文獻(xiàn)[9]研究的非線性特性是指執(zhí)行器的死區(qū)特性,采用在線估計(jì)的方法得到逆模型,并以此來(lái)抵消執(zhí)行器的非線性特征;文獻(xiàn)[10]研究了多智能體系統(tǒng)的執(zhí)行器輸入具有非線性特性和執(zhí)行器存在故障的情況,應(yīng)用模糊邏輯系統(tǒng)逼近系統(tǒng)的未知非線性函數(shù),同時(shí)設(shè)計(jì)了執(zhí)行器的故障估計(jì)器。執(zhí)行器的輸入飽和是本文研究的另一個(gè)問(wèn)題,也是實(shí)際應(yīng)用中普遍存在的現(xiàn)象[11-13]。在執(zhí)行器輸入飽和情況下,一致性問(wèn)題近來(lái)引起了許多研究者的關(guān)注,并且已經(jīng)取得了一些理論結(jié)果:文獻(xiàn)[14]研究了線性多智能體系統(tǒng)的輸入飽和問(wèn)題,將低增益理論[11-13]應(yīng)用于線性多智能體系統(tǒng),通過(guò)求解Riccati方程得到低增益參數(shù)構(gòu)建了一組線性狀態(tài)反饋分布式控制律,實(shí)現(xiàn)了半全局的領(lǐng)導(dǎo)-跟隨一致性;文獻(xiàn)[15]考慮了線性多智能體系統(tǒng)執(zhí)行器的速率和位置的飽和問(wèn)題,求解Riccati方程得到低增益參數(shù)構(gòu)建了分布式控器, 使得執(zhí)行器存在位置和速率飽和的線性多智能體系統(tǒng)實(shí)現(xiàn)了半全局一致性;文獻(xiàn)[16]研究了多智能體系統(tǒng)的執(zhí)行器具有飽和及死區(qū)特性的情況,同時(shí),還考慮了系統(tǒng)輸入的未知擾動(dòng),利用低和高的反饋增益構(gòu)建了一個(gè)新的分布式控器,實(shí)現(xiàn)了具有執(zhí)行器缺陷的線性多智能體系統(tǒng)半全局-領(lǐng)導(dǎo)者跟隨一致性。
在實(shí)際應(yīng)用中,不僅存在智能體輸入飽和的情況, 還存在智能體的速度(二階狀態(tài))也飽和的情況,在以上文獻(xiàn)的基礎(chǔ)上,本文研究考慮了同時(shí)具有執(zhí)行器輸入飽和與速度飽和的混合階多智能體系統(tǒng)半全局一致性問(wèn)題。一方面,以往文獻(xiàn)在處理執(zhí)行器的輸入飽和問(wèn)題時(shí),往往通過(guò)一個(gè)趨于零的增益將系統(tǒng)的輸入量控制在飽和的邊界以下,從而避免飽和的出現(xiàn),但這樣的增益范圍較小,而且在實(shí)際應(yīng)用中趨于零的增益很難實(shí)現(xiàn);另一方面,現(xiàn)有文獻(xiàn)中有關(guān)二階系統(tǒng)速度飽和問(wèn)題的研究較少。鑒于此,本文同時(shí)考慮了混合階多智能體系統(tǒng)的輸入飽和與速度飽和問(wèn)題,分別構(gòu)建了無(wú)領(lǐng)航者和有領(lǐng)航者的分布式控制器。在控制器輸入量無(wú)需避免飽和函數(shù)上下界的前提下,只針對(duì)二階多智能體系統(tǒng)的通信環(huán)節(jié)增加了增益參數(shù),并用Lyapunov穩(wěn)定性理論求出了增益的取值范圍。相比以往的處理方法,本文研究簡(jiǎn)化了計(jì)算,增大了增益的取值范圍,從而能縮短多智能體系統(tǒng)一致性的收斂時(shí)間;同時(shí),本文還考慮了智能體通信權(quán)重小于1時(shí)的一致性問(wèn)題,只要多智能體系統(tǒng)的通信拓?fù)鋱D是無(wú)向且連通的,根據(jù)文中得到的控制器能夠保證混合階多智能體系統(tǒng)最終達(dá)到一致。
具有輸入飽和與速度飽和的混合階多智能體系統(tǒng)可以定義如下:
(1)
其中:ζi∈R,ηi∈R分別是第i個(gè)智能體的位置和速度;μi∈R是第i個(gè)智能體的輸入;?u、?v則分別為第i個(gè)智能體的輸入與速度飽和函數(shù)。對(duì)這個(gè)混合階多智能體系統(tǒng),作出以下假設(shè):
假設(shè)1 所有智能體的初始位置ζi和初始速度ηi是有界的,即給定一個(gè)包含零點(diǎn)的有界集合χ∈R和γ∈R,使得ζi(0)∈χ(i∈In)和ηi(0)∈γ(i∈Im)。
假設(shè)2 混合階多智能體系統(tǒng)的通信拓?fù)鋱D是無(wú)向且連通的。
定義1[17]飽和函數(shù)?(s)可以用式(2)表示:
?(s)=sgn(s)inf(|s|,Δ)
(2)
其中,Δ>0是?(s)的最大值。由文獻(xiàn)[15]可以得到以下不等式成立:?v(s2)·?u(s1-ks2)≤?v(s2)·?u(s1),且?(ks)s≥0,其中k是一個(gè)正定常數(shù)。
定義2 本文研究的半全局一致性問(wèn)題描述如下:考慮一組具有輸入飽和與速度飽和的混合階多智能體系統(tǒng), 它包括m個(gè)二階智能體和n-m個(gè)一階智能體,在假設(shè)1和假設(shè)2成立的前提下,通過(guò)分布式控制器(μi,i∈In)的控制,所有智能體的位置和速度最終達(dá)到一致。 即,當(dāng)智能體的初始位置(ζi(0)∈χ,i=1,2,…,n)和初始速度(ηi(0)∈γ,i=1,2,…,m)有界,在t→∞,多智能體系統(tǒng)無(wú)領(lǐng)航者時(shí),所有智能體的位置誤差和速度最終收斂到零;
多智能體系統(tǒng)有領(lǐng)航者時(shí),所有智能體的位置與領(lǐng)航者的位置誤差和速度最終收斂到零。
1)V(x)→∞(‖x‖→∞);
本節(jié)考慮了無(wú)領(lǐng)航者的混合階多智能體系統(tǒng),基于智能體之間的信息交換以及智能體自身的狀態(tài),構(gòu)建了分布式控制器(3)。
(3)
其中:A=[aij]∈RN×N是通信拓?fù)鋱D的連接矩陣,如果智能體vi和vj之間存在信息交換,那么aij>0,否則aij=0。不失一般性,aii=0(i=1,2,…,N)。
定理1 考慮一組具有執(zhí)行器輸入飽和與速度飽和的混合階多智能體系統(tǒng),在多智能體的輸入值大于飽和函數(shù)上下界時(shí),假定假設(shè)1和假設(shè)2成立,在控制器(3)的控制作用下,混合階多智能體系統(tǒng)(1)可以達(dá)到一致。
下面通過(guò)Lyapunov穩(wěn)定性理論和Lasalle不變集原理分析了此系統(tǒng)在控制器(3)的控制作用下的穩(wěn)定性,并依此計(jì)算通信增益參數(shù)k1選取范圍。
式(1)可以改寫(xiě)為以下形式:
(4)
選擇如下Lyapunov函數(shù)[9]:
對(duì)于任意的ζi≠ζj(i,j∈In)或ηi≠0(i∈Im),V1(ζ,η)是正定的。 因?yàn)棣趾挺玫挠薪缧?,因此下列不等式是成立的?/p>
其中,h是一個(gè)正定常數(shù)。定義ΛV(h):={(ζ,η)∈Rn:V1(ζ,η)≤h},對(duì)V1(ζ,η)沿著式(4)求時(shí)間的導(dǎo)數(shù),可得:
因?yàn)橥ㄐ磐負(fù)鋱DGN是無(wú)向且連通的,所以由假設(shè)2可得aij=aji,由此可得:
以及
因此,V1(ζ,η)的導(dǎo)數(shù)可寫(xiě)為如下形式:
由定義1,可得:
因此,
首先,對(duì)i∈In,考慮|k1Γi|≤Δu時(shí),可得:
接下來(lái),運(yùn)用Lasalle不變集原理。
進(jìn)一步得到:
由以上性質(zhì)及系統(tǒng)的通信拓?fù)鋱D的對(duì)稱性可得:
所以,M可以表示為:
因此,對(duì)?(ζ,η)∈ΛV(h)
本節(jié)考慮了有領(lǐng)航者的混合階多智能體系統(tǒng),基于智能體之間的信息交換以及智能體自身的狀態(tài),構(gòu)建了分布式控制器(5)。
ui=
(5)
定理2 考慮一組具有執(zhí)行器輸入飽和與速度飽和的混合階多智能體系統(tǒng),在多智能體的輸入值大于飽和函數(shù)上下界時(shí),假定假設(shè)1和假設(shè)2成立,在控制器(4)的控制作用下,混合階多智能體系統(tǒng)(1)可以達(dá)到領(lǐng)航跟隨一致。
下面,通過(guò)Lyapunov穩(wěn)定性理論和Lasalle不變集原理分析了此系統(tǒng)在控制器(5)的控制作用下的穩(wěn)定性,并依此計(jì)算通信增益參數(shù)k2選取范圍。
定義ei=ζi-ζ0,式(1)可以改寫(xiě)為以下形式:
(6)
選擇如下Lyapunov函數(shù):
對(duì)于任意的ei≠ej(i,j∈In)或ηi≠0(i∈Im),V2(e,η)是正定的。因?yàn)棣趾挺玫挠薪缧裕虼讼铝胁坏仁绞浅闪⒌摹?/p>
其中,h是一個(gè)正定常數(shù)。定義ΛV(d):={(e,η)∈Rn:V2(e,η)≤d},對(duì)V2(e,η)沿著式(6)求時(shí)間的導(dǎo)數(shù),可得:
進(jìn)一步,對(duì)i∈In,考慮當(dāng)|k2Xi|>Δu時(shí),有
令?=max(Xi)(i∈In),可得:
同樣的,運(yùn)用Lasalle不變集原理,可以得到S的最大不變集M為:
這表明在只需要計(jì)算一個(gè)增益取值范圍且有領(lǐng)航者的情況下,對(duì)?(ζ,η)∈ΛV(h)
本章對(duì)所提出的異構(gòu)多智能體系統(tǒng)的一致性算法(3)和(5)進(jìn)行了仿真驗(yàn)證,作為對(duì)比,選取了和文獻(xiàn)[6]相同的異構(gòu)多智能體系統(tǒng),并加入了輸入和速度的飽和特性。設(shè)v1、v2和v3是二階智能體,v4、v5和v6是一階智能體,v0是領(lǐng)航者。圖1(a)為無(wú)領(lǐng)航者的多智能體系統(tǒng)的通信拓?fù)鋱D,圖1(b)為有領(lǐng)航者的多智能體系統(tǒng)的通信拓?fù)鋱D。假設(shè)智能體之間的通信信息存在部分缺失,通信拓?fù)鋱D的連接矩陣如下:
圖1 多智能體系統(tǒng)的通信拓?fù)鋱D
考慮當(dāng)智能體系統(tǒng)無(wú)領(lǐng)航者時(shí)的情況,假設(shè)Δu=0.3和Δv=0.2,智能體的初始值設(shè)置為:
[ζ1(0),ζ2(0),ζ3(0),ζ4(0),ζ5(0),ζ6(0)]=
[50 20 -30 30 0 -15]
[η1(0),η2(0),η3(0)]=[-0.2 0 0.2]
第一組增益的仿真結(jié)果如圖2所示。由于選擇的增益參數(shù)沒(méi)有在計(jì)算的取值范圍內(nèi),可以看出,多智能體系統(tǒng)位置狀態(tài)和速度都沒(méi)有達(dá)到一致。第二組增益的仿真結(jié)果如圖3、4所示。由于選擇了正確的增益參數(shù),由圖3可以看出,多智能體系統(tǒng)位置與速度最終達(dá)到一致;圖4則顯示了多智能體的輸入飽和特性的演化曲線,可以看出,最終每個(gè)智能體的輸入最終收斂為零。
圖2 通信增益時(shí)的仿真結(jié)果
考慮當(dāng)智能體系統(tǒng)有領(lǐng)航者時(shí)的情況,假設(shè)Δu=0.3和Δv=0.2,智能體的初始值設(shè)置為:
[ζ0(0),ζ1(0),ζ2(0),ζ3(0),ζ4(0),ζ5(0),ζ6(0)]=
[10 45 20 -25 30 0 -15]
[η1(0),η2(0),η3(0)]=[-0.2 0 0.2]
圖3 通信增益時(shí)的仿真結(jié)果
圖4 通信增益時(shí)的智能體輸入
圖5 通信增益時(shí)的仿真結(jié)果
圖6 通信增益時(shí)的仿真結(jié)果
針對(duì)由一階智能體與二階智能體組成的具有輸入和速度飽和的異構(gòu)多智能體系統(tǒng)的半全局一致性問(wèn)題,在無(wú)需避免控制器的輸入超出飽和函數(shù)邊界且二階狀態(tài)(速度)存在飽和的情況下,本文提出了無(wú)領(lǐng)航者和有領(lǐng)航者的分布式控制器,并通過(guò)Lyapunov穩(wěn)定性理論計(jì)算出了控制器增益的最大取值范圍。由理論分析得出,只需要計(jì)算一個(gè)增益的取值,便可以同時(shí)解決輸入和速度的飽和問(wèn)題。由仿真分析可以看出,無(wú)論系統(tǒng)中有無(wú)領(lǐng)航者,當(dāng)通過(guò)計(jì)算選取正確的通信增益時(shí),就可以保證異構(gòu)多智能體系統(tǒng)實(shí)現(xiàn)一致性。考慮當(dāng)智能體間的通信具有Markov跳變的通信擾動(dòng),同時(shí)智能體的執(zhí)行器具有死區(qū)時(shí),增益的變化同時(shí)會(huì)影響到通信干擾的大小,因此,如何去除執(zhí)行器的死區(qū)問(wèn)題同時(shí)又不會(huì)使通信干擾過(guò)大是未來(lái)的研究重點(diǎn)。