High-OrderConsensusAlgorithmsinCooperativeVehicleSystemsWeiRen,Member,IEEE;KevinMoore,SeniorMember,IEEE;YangQuanChen,SeniorMember,IEEEAbstract—Inthispaperwestudy`thorder(`=3)consensusalgorithms,whichgeneralizetheexistingfirst-orderandsecond-orderconsensusalgorithmsintheliterature.Wewillshowsufficientconditionsunderwhicheachinformationvariableandtheirhigher-orderderivativesconvergetocommonvalues.Wewillpresenttheideaofhigher-orderconsensuswithaleaderandintroducetheconceptofan`thordermodel-referenceconsensusproblem,whereeachinformationvariableandtheirhigh-orderderivativesnotonlyreachconsensusbutalsoconvergetothesolutionofaprescribeddynamicmodel.Theeffectivenessofthesealgorithmsaredemonstratedthroughsimulationsandamulti-vehiclecooperativecontrolapplicationwhichmimicsflockingbehaviorinbirds.I.INTRODUCTIONInplainlanguage,whenseveralentitiesoragentsagreeonacommonvalueofavariableofinteresttheyaresaidtohavecometo“consensus.”Inagroupofnetworkedmobileagentswithacommonmissionortask,theconsensusproblemcanplayapivotalrole,particularlywhenthecommunica-tioncapabilityforeachagentislimitedand/orpurposelyconstrained.Forexample,whenthedynamicenvironmentchanges,theagentsintheteammustbeinagreementastowhatchangeshavetakenplace,evenwheneveryagentcannottalkdirectlytoeveryotheragent.Toachieveconsensus,theremustbeasharedvariableofinterest(calledthecoordinationdataorvariable)aswellasappropriatealgorithmicmethodsfornegotiatingtoconsensusaboutthevalueofthatvariable(calledaconsensusalgorithmorprotocol).Cooperativecontrolformulti-agentsystemshaveprimarilybeenappliedtoformationcontrolproblemswithapplicationstomobilerobots,unmannedairvehicles(UAVs),autonomousunderwatervehicles(AUVs),satellites,aircrafts,spacecrafts,andautomatedhighwaysystems[1],butalsoincludenon-formationcooperativecontrolproblemssuchastaskassign-ment,payloadtransport,roleassignment,airtrafficcontrol,timing,andsearch[2].Aspointedoutin[1],forcooperativecontrolstrategiestobesuccessful,numerousissuesmustbeaddressed,includingthedefinitionandmanagementofsharedinformationamongagroupofagentstofacilitatethecoordinationoftheseagents.Informationnecessaryforcooperationmaybesharedinavarietyofways.However,thequestion“consensustowhat?”hasnotbeenexplicitlyansweredintheliterature,althoughasimilarquestion“for-mationtowhatformorshape?”wasaskedin[3]withinthecontextofmobileactuatorandsensornetworks[4].W.RenandY.-Q.ChenarewiththeDepartmentofElectricalandComputerEngineering,UtahStateUniversity,Logan,UT84322-4120,USAemail:wren@engineering.usu.edu,yqchen@ece.usu.edu).K.L.MooreiswithDivisionofEngineering,ColoradoSchoolofMines,1610IllinoisStreet,Golden,CO80401,USA(email:kmoore@mines.edu).Inthispaperwegeneralizethefirst-orderandsecond-orderconsensusalgorithmsintheliterature(see[5]andthereferencestherein).Weshowsufficientconditionsunderwhichtheconsensusinformationvariableanditshigher-orderderivativesconvergetocommonvalues.Onemotiva-tionforstudyinghigher-orderconsensuscomesfromobserv-ingthebehaviorofflocksofbirds.Itisoftennotedthatsuchflocksflyinsomewhatofaformation,maintaininganominalseparationfromeachother,buteachtravelingwiththesamevelocityvector.In[6]itwasshownhowsecond-orderconsensuscanproducethebehaviorofaseparationandcom-monvelocityunderdirectedinformationexchange.However,sometimesabirdflockabruptlychangesdirection,perhapswhenoneofthemsuddenlyperceivesasourceofdangerorfood.Clearlythebirdsinthissettingneedtobuildconsensusonnotonlytheirrelativepositionandtheirvelocity,butalsoonacceleration.Thismotivatestheideaofhigher-orderconsensus.HigherorderconsensusmakesobvioussenseforcooperativecontrolofateamofUAVswhenconfrontinganotherteamof“hostileintelligentgaming(HIG)UAVs”.Withthequestion“consensustowhat”inmind,wearealsomotivatedtoconsideran`thordermodel-referenceconsensusproblem,whereeachinformationvariableandtheirhigh-orderderivativesnotonlyreachconsensusbutalsoconvergetothesolutionofaprescribeddynamicmodel.Weintroducethismodel-referenceconsensusproblemandestablishsufficientconditionsforconsensusconvergence.Theremainderofthepaperisorganizedasfollows.Sec-tionIIpresentssomebackgroundmaterialsandsomemathe-maticalpreliminariesforourlaterdevelopment.Higher-orderconsensusalgorithmsaregiveninSec.III,includingthestandard,unforcedcaseandthecasesofsetpointtracking,whichleadtotheideaofconsensuswithaleader,andmodel-referenceconsensus.Theeffectivenessoftheproposedal-gorithmsisillustratedthroughoutbysimulations,includinganexampleofflockingbehaviorinSectionIV.SectionVconcludesthepaper.II.BACKGROUNDANDPRELIMINARIESItisnaturaltomodelinformationexchangebetweenvehiclesbydirected/undirectedgraphs.Adigraph(directedgraph)consistsofapair(N,E),whereNisafinitenonemptysetofnodesandE∈N2isasetoforderedpairsofnodes,callededges.Asacomparison,thepairsofnodesinanundirectedgraphareunordered.Ifthereisadirectededgefromnodevitonodevj,thenviisdefinedastheparentnodeandvjisdefinedasthechildnode.Adirectedpathisasequenceoforderededgesoftheform(vi1,vi2),(vi2,vi3),···,wherevij∈N,inadigraph.Anundirectedpathinanundirectedgraphisdefinedaccordingly.457Adigraphiscal
共159篇文档
格式: pdf
大小: 731 KB
时间: 2020-05-28
本文标题:High-Order-Consensus-Algorithms-in-Cooperative-Veh
链接地址:https://www.777doc.com/doc-5605178 .html