Consensus Tracking of Perturbed Open Multi-Agent Systems with Repelling Antagonistic Interactions

Technische Samenvatting: Consensus-tracking van verstoord Open Multi-Agent Systemen met Afstotende Antagonistische Interacties

Probleemstelling
Dit werk behandelt het probleem van consensus-tracking voor Open Multi-Agent Systemen (OMASs) die blootstaan aan migratie-geïnduceerde adversiteiten. In tegenstelling tot traditionele multi-agent systemen, kenmerken OMASs zich door agenten die dynamisch het netwerk betreden of verlaten, wat resulteert in een van nature schakelende en van omvang variërende topologie. De specifieke uitdagingen die worden onderzocht omvatten:

1. Niet-verdovende verstoringen: Zowel continue dynamische/staatverstoringen als impulsieve statensprongen veroorzaakt door agentmigraties.
2. Afstotende antagonistische interacties: Interacties die het netwerk kunnen destabiliseren, gemodelleerd via getekende digrafen waarbij negatieve randen (afstotend) de cooperatieve kunnen overheersen.
3. Intermitterend verbroken getekende digrafen: De netwerktopologie mag gericht zijn en kan op bepaalde momenten gebrek aan connectiviteit vertonen.

De kernmoeilijkheid ligt in het feit dat wanneer afstotende interacties de cooperatieve overheersen, het systeem onstabiele subsystemen creëert ongeacht de netwerkconnectiviteit, wat het bereiken van consensus-tracking voor een referentieleider bemoeilijkt.

Methodologie
De auteurs modelleren het OMAS als een verstoord multi-modus multi-dimensionaal (M³D) systeem. Dit kader integreert dimensievariaties (door agenten die het netwerk betreden of verlaten) en niet-verdovende impulsieve verstoringen in een verenigde structuur.

Belangrijke methodologische stappen omvatten:

• Systeemformulering: De agentdynamiek wordt beschreven door lineaire vergelijkingen met een consensus-trackingprotocol. De netwerktopologie wordt weergegeven door een schakelende getekende digraaf $\tilde{G}_{\sigma(t)}$. De auteurs definiëren een "afstotende Laplaciaan"-matrix, waarbij wordt opgemerkt dat als negatieve randen positieve in aantal overtreffen, de matrix eigenwaarden met negatieve reële delen bezit, wat leidt tot instabiliteit.
• Foutdynamiek: Het probleem van consensus-tracking wordt getransformeerd tot de stabiliteitsanalyse van een trackingfoutsysteem. Dit foutsysteem wordt gekarakteriseerd als een geschakeld systeem met:
  • Continue dynamiek die wordt geregeerd door matrices $\tilde{A}_{\sigma(t)}$.
  • Discrete sprongen op schakelmomenten $t_k$ veroorzaakt door agentmigraties en externe impulsen.
• Stabiliteitsanalyse: De auteurs breiden de stabiliteitstheorie voor M³D-systemen uit. Ze classificeren schakelmodi in stabiele sets ($P_s$) en onstabiele sets ($P_u$).
  • Modi in $P_s$ corresponderen met topologieën met alleen positieve randen en een gerichte opspannende boom geworteld bij de leider.
  • Modi in $P_u$ omvatten topologieën met alleen positieve randen maar zonder opspannende boom, of topologieën waarbij afstotende interacties overheersen.
• Schakelvoorwaarden: Om stabiliteit te garanderen ondanks onstabiele subsystemen en niet-verdovende verstoringen, leiden de auteurs voorwaarden af gebaseerd op:
  • Piecewise Average Dwell Time (ADT): Een beperking op de frequentie van schakeling.
  • Activeringstijdverhouding: Een beperking op de verhouding van de tijd doorgebracht in stabiele modi versus onstabiele modi. Specifiek moeten de stabiliserende digrafen lang genoeg activeren om de destabiliserende effecten van de afstotende interacties te neutraliseren.

Belangrijkste Bijdragen

1. Probleemuitbreiding: Het werk breidt eerdere OMAS-onderzoeken uit (bijv. Xue et al., 2022) door consensus zonder leider onder staatverstoringen te behandelen naar consensus-tracking onder zowel niet-verdovende verstoringen als antagonistische interacties.
2. Analyse van Afstotende Interacties: Het artikel biedt een theoretische karakterisering die aantoont dat als afstotende interacties de cooperatieve overheersen, het OMAS instabiliteit vertoont ongeacht de netwerkconnectiviteit. Dit vult een gat in de bestaande literatuur die vaak puur cooperatieve of tegenstrijdige (bipartiete) interacties veronderstelt.
3. Nieuwe M³D-analysemethode: Er wordt een nieuwe analysemethode voorgesteld die rekening houdt met niet-verdovende verstoringen en destabiliserende afstotende interacties. In tegenstelling tot eerdere werken, vereist deze methode niet:
   • De voorwaarde van "alternerend schakelen".
   • Het is van toepassing op getekende grafen die gericht en intermitterend verbroken zijn.
   • Het behandelt zowel staatonafhankelijke als staat-afhankelijke impulsen.

Resultaten
De theoretische analyse levert de volgende resultaten op:

• Uiteindelijke Gebondenheid: Onder niet-verdovende verstoringen en staatonafhankelijke impulsen bereikt het systeem uiteindelijk gebonden consensus-tracking. De uiteindelijke grens hangt af van de grootte van de verstoringen en de schakelparameters.
• Asymptotische Tracking: Als verstoringen verdovend zijn (d.w.z. geen externe storingen en staat-afhankelijke impulsen die verdwijnen naarmate de fout verdwijnt), wordt asymptotische consensus-tracking bereikt.
• Schakelvoorwaarden: De resultaten stellen vast dat consensus haalbaar is als het schakelsignaal voldoet aan specifieke piecewise ADT- en activeringstijdverhoudingsvoorwaarden. Deze voorwaarden zorgen ervoor dat de stabiliserende modi voldoende activeren om de destabiliserende modi en verstoringen te counteren.

Betekenis
Het artikel claimt theoretische en praktische relevantie door zich te richten op migratie-geïnduceerde adversiteiten in OMASs. Het benadrukt dat agentmigraties plotselinge storingen kunnen introduceren en cooperatieve interacties kunnen omzetten in antagonistische (bijvoorbeeld door cyber-fysieke aanvallen zoals Trojan-apparaten). Door aan te tonen dat consensus behouden kan blijven zelfs wanneer afstotende interacties overheersen, mits specifieke schakelvoorwaarden worden voldaan, biedt het werk een robuust kader voor het regelen van flexibele netwerken in ongunstige omgevingen, zoals mobiele ad-hoc netwerken of systemen die blootstaan aan dynamische bronuitputting. De simulatievoorbeelden verifiëren dat de afgeleide voorwaarden het systeem in staat stellen om gebonden tracking te bereiken in aanwezigheid van aanhoudende storingen en asymptotische tracking wanneer storingen verdwijnen.