石桑俐, 金重放, 王正新,b*, 肖敏
(南京郵電大學(xué)a. 理學(xué)院; b. 江蘇省物聯(lián)網(wǎng)智能機(jī)器人工程實(shí)驗(yàn)室; c. 自動(dòng)化學(xué)院、人工智能學(xué)院, 南京 210023)
近年來,由于復(fù)雜網(wǎng)絡(luò)系統(tǒng)在工程問題中的大量潛在應(yīng)用,來自數(shù)學(xué)、控制工程、計(jì)算機(jī)科學(xué)和物理學(xué)等多個(gè)領(lǐng)域的研究人員對(duì)復(fù)雜網(wǎng)絡(luò)系統(tǒng)的群體行為進(jìn)行了廣泛的研究.Yang等[1]研究了一類二階非線性多智能體系統(tǒng)的自適應(yīng)事件觸發(fā)一致性控制問題; 王春彥等[2]研究了一類分?jǐn)?shù)階金融超混沌系統(tǒng)的比例積分滑模同步問題;邵克勇等[3]研究了分?jǐn)?shù)階超混沌系統(tǒng)的RBF神經(jīng)網(wǎng)絡(luò)自適應(yīng)同步控制問題.其中,耦合諧振子的協(xié)調(diào)控制因其在許多現(xiàn)代化工業(yè)生產(chǎn)系統(tǒng)(如移動(dòng)機(jī)器人和電氣網(wǎng)絡(luò))中都發(fā)揮著重要的作用,引起了研究者極大的興趣,人們從不同角度為諧振子系統(tǒng)設(shè)計(jì)了許多同步(synchronization)或一致性(consensus)控制策略,取得了豐碩的成果.Xu等[4]基于事件觸發(fā)控制采用兩種不同的方法研究了異步間歇通信耦合諧振子的同步問題; Wang等[5]分別利用連續(xù)的實(shí)時(shí)信息和非周期的采樣信息研究了異質(zhì)耦合諧振子網(wǎng)絡(luò)的擬同步問題.但在許多現(xiàn)實(shí)系統(tǒng)中,如社會(huì)網(wǎng)絡(luò)系統(tǒng)、生態(tài)系統(tǒng)等,合作和競爭的關(guān)系是并存的,因而網(wǎng)絡(luò)系統(tǒng)中的個(gè)體間也不應(yīng)僅僅存在合作關(guān)系,還應(yīng)存在競爭關(guān)系.當(dāng)合作和競爭關(guān)系共存時(shí),網(wǎng)絡(luò)系統(tǒng)在整體上就會(huì)呈現(xiàn)出較為復(fù)雜的行為特征,具有極大的研究價(jià)值.在這種情況下,二分同步(bipartite synchronization)的概念被提出,二分同步意味著系統(tǒng)中所有個(gè)體的狀態(tài)最終能達(dá)成大小相同但符號(hào)可能相反的一致.二分同步概念有著重要的實(shí)際作用,如無人機(jī)的雙向飛行、社交網(wǎng)絡(luò)中的敵友關(guān)系等,也正是因?yàn)槎滞絾栴}具有傳統(tǒng)的一致性控制問題所不具備的內(nèi)在優(yōu)勢,激發(fā)了研究者的興趣.關(guān)于二分同步的研究可以分為無領(lǐng)導(dǎo)者[6-8]和有領(lǐng)導(dǎo)者[9-11]兩類.在無領(lǐng)導(dǎo)者網(wǎng)絡(luò)系統(tǒng)的二分同步中,個(gè)體的狀態(tài)往往收斂到與初值有關(guān)的某個(gè)量或該量的相反值;而在有領(lǐng)導(dǎo)者的網(wǎng)絡(luò)系統(tǒng)中,跟隨者的狀態(tài)通常收斂到領(lǐng)導(dǎo)者的狀態(tài)或其相反值.事實(shí)上,有領(lǐng)導(dǎo)者在現(xiàn)實(shí)系統(tǒng)中比較常見,如鳥群遷徙中的領(lǐng)頭鳥,無人機(jī)編隊(duì)飛行中的領(lǐng)航機(jī)等.領(lǐng)導(dǎo)者在克服外部環(huán)境干擾、提高工作效率等方面都發(fā)揮著十分重要的作用; 因此,研究具有領(lǐng)導(dǎo)者的網(wǎng)絡(luò)系統(tǒng)二分同步問題既有理論意義也有實(shí)際應(yīng)用價(jià)值.Ma等[9]在系統(tǒng)存在測量噪聲的情況下研究了帶領(lǐng)導(dǎo)者多智能體系統(tǒng)的二分同步問題,引入了一個(gè)時(shí)變一致性增益函數(shù)處理噪聲; Wang等[10]研究了受外部干擾的帶領(lǐng)導(dǎo)者非線性高階多智能體系統(tǒng)的二分同步問題; Bhowmick等[11]研究了受有界擾動(dòng)的未知線性多智能體系統(tǒng)的領(lǐng)導(dǎo)跟隨二分同步問題.
借助于高速計(jì)算機(jī)、現(xiàn)代控制系統(tǒng)和信號(hào)處理技術(shù),僅使用離散時(shí)刻的采樣信息在信號(hào)傳輸和控制設(shè)計(jì)中被廣泛應(yīng)用.同時(shí), 在實(shí)際情況下, 基于采樣信息的控制器可以節(jié)約能源和降低通信成本,因此,設(shè)計(jì)基于采樣信息的控制策略更為合理.許多動(dòng)態(tài)網(wǎng)絡(luò)的同步研究都以采樣信息作為網(wǎng)絡(luò)個(gè)體間信息傳遞的主要形式,但基于采樣信息的測量值通常不可避免地會(huì)被各種不確定性因素產(chǎn)生的噪聲所干擾,從而影響網(wǎng)絡(luò)系統(tǒng)個(gè)體間的通信,因此,在研究采樣控制問題時(shí)也有必要考慮測量噪聲.Ma[12]和Wang[13]等分別利用含有噪聲的采樣數(shù)據(jù)研究了二分同步和同步問題.值得注意的是,目前在利用含有噪聲的采樣信息研究帶領(lǐng)導(dǎo)者耦合諧振子系統(tǒng)二分同步問題方面所做的工作還很少,這激發(fā)了筆者研究噪聲干擾下基于采樣機(jī)制的帶領(lǐng)導(dǎo)者耦合諧振子系統(tǒng)二分同步問題.本文設(shè)計(jì)了一個(gè)僅需在離散時(shí)刻交換含有噪聲速度信息的二分同步控制策略,使帶領(lǐng)導(dǎo)者的耦合諧振子系統(tǒng)實(shí)現(xiàn)二分同步,擬借助脈沖微分方程、矩陣?yán)碚摰裙ぞ?證明在滿足一定條件的情況下,基于采樣機(jī)制能實(shí)現(xiàn)噪聲干擾下帶領(lǐng)導(dǎo)者耦合諧振子系統(tǒng)的二分同步,并給出判據(jù).
因在有向數(shù)據(jù)流下采樣成本較小, 故文中的通信拓?fù)涫怯邢虻模闹惺褂玫姆?hào)為:1N表示N維元素全是1的列向量;ON,IN分別表示N階零矩陣和單位矩陣;E{ζ}表示隨機(jī)變量ζ的期望;ρ(A)表示A的譜半徑;x?y表示x被定義成另一個(gè)名字y; 對(duì)于兩個(gè)N階方陣A,B而言,A≤B意味著A-B是半負(fù)定的.
如果v可被分為v1,v2且滿足v1∪v2=v,v1∩v2=?, 其中akl≥0, ?k,l∈vs(s∈{1,2});akl<0, ?k∈vs,l∈vm,s≠m(s,m∈{1,2}), 則稱g是結(jié)構(gòu)平衡的, 否則是結(jié)構(gòu)不平衡的[9].
考慮由N+1個(gè)諧振子組成的耦合系統(tǒng), 記為{0,1,…,N},諧振子0代表領(lǐng)導(dǎo)者,其動(dòng)力學(xué)方程為
(1)
其余N個(gè)諧振子(跟隨者)的動(dòng)力學(xué)方程為
(2)
其中ri(t),vi(t)∈R分別代表第i個(gè)諧振子的位置和速度狀態(tài),ui(t)是基于諧振子i從其自身和其鄰居節(jié)點(diǎn)中獲得的信息而設(shè)計(jì)的控制策略,α是正常數(shù),i=1,2,…,N.本文目標(biāo)是設(shè)計(jì)一個(gè)合適的控制策略, 使得由式(1)和(2)描述的系統(tǒng)能實(shí)現(xiàn)均方二分同步.
對(duì)于第i個(gè)諧振子, 給出如下二分同步控制策略:
(3)
定義1對(duì)于具有領(lǐng)導(dǎo)者的耦合諧振子系統(tǒng)(1)和(2), 若在控制策略u(píng)i(t)作用下, 對(duì)ri(t),vi(t)的任意初值都存在Ψ=(φ1,φ2,…,φN)T∈RN(φi∈{±1},i=1,2,…,N)滿足limt→∞E{‖ri(t)-φir0(t)‖2}=0和limt→∞E{‖vi(t)-φiv0(t)‖2}=0, 則稱系統(tǒng)(1)和(2)實(shí)現(xiàn)了領(lǐng)導(dǎo)-跟隨者均方二分同步.
注1由定義1可知,耦合諧振子系統(tǒng)實(shí)現(xiàn)領(lǐng)導(dǎo)跟隨者均方二分同步是指在控制策略作用下系統(tǒng)中所有跟隨者的狀態(tài)最終均方收斂到領(lǐng)導(dǎo)者的狀態(tài)或領(lǐng)導(dǎo)者狀態(tài)的相反值.
下面給出本文的兩個(gè)假設(shè):
(H2) 符號(hào)有向圖g=(v,.ε,A)是強(qiáng)連通的.
注2基于假設(shè)(H2)以及條件“至少存在一個(gè)di> 0”, 本文確保了系統(tǒng)中每個(gè)諧振子都能直接或者間接地接受到來自領(lǐng)導(dǎo)者的信息.
證明 受文獻(xiàn)[13]的啟發(fā), 基于控制策略(3),系統(tǒng)(1)和(2)可改寫成脈沖微分方程
(4)
(5)
其中e(t)=[e1(t),e2(t),…,eN(t)]T,s(t)=[s1(t),s2(t),…,sN(t)]T,Φ=diag(φ1,φ2,…,φN).結(jié)合式(4)和(5),得誤差系統(tǒng)
(6)
其中D=diag(d1,d2,…,dN),由脈沖微分方程理論[14]可得系統(tǒng)解為
其中初始值[e(0),s(0)]T=[r(0)-r0(0)Φ1N,v(0)-v0(0)Φ1N]T,
(7)
類似于文獻(xiàn)[13]的方法可得其協(xié)方差陣
類似于文獻(xiàn)[13,15]的計(jì)算,可得
注3模型(4)可以僅基于諧振子和其鄰居在離散時(shí)刻的速度信息就能解決測量噪聲下的二分同步問題,不需要精確而連續(xù)的位置和速度信息.
注4本文耦合系統(tǒng)的通信拓?fù)涫且粋€(gè)有向圖,其拉普拉斯矩陣不具有對(duì)稱性,且系統(tǒng)中諧振子之間既存在合作也存在競爭,拉普拉斯矩陣的行和不再為0,所以不能直接借助拉普拉斯矩陣的特征值和特征向量分析二分同步問題,但文中巧妙利用LΦ=0這一特性,并借助奇異值分解分析解決了耦合諧振子系統(tǒng)的二分同步問題.
圖1 網(wǎng)絡(luò)拓?fù)鋱D
圖2 跟蹤誤差ei (a)和si (b)的軌跡Fig.2 Trajectories of tracking errors ei (a) and si (b)
圖3 位置(a)和速度狀態(tài)(b)的軌跡Fig.3 Trajectories of position (a) and velocity states (b)
基于采樣信息研究了噪聲干擾下含領(lǐng)導(dǎo)者耦合諧振子系統(tǒng)的二分同步問題.結(jié)合采樣控制和牽制控制,提出了一種僅需在離散時(shí)刻交換速度信息的二分同步控制策略.進(jìn)一步地,通過應(yīng)用脈沖微分方程和矩陣?yán)碚?給出了該耦合諧振子系統(tǒng)實(shí)現(xiàn)二分同步的充分判據(jù).仿真結(jié)果表明了二分同步控制策略和理論結(jié)果的有效性.今后的研究將進(jìn)一步考慮當(dāng)通信拓?fù)浒l(fā)生切換時(shí),如何設(shè)計(jì)有效的控制策略以實(shí)現(xiàn)跟隨者與領(lǐng)導(dǎo)者的二分同步.