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

Sintesi Tecnica: Tracciamento del Consenso per Sistemi Multi-Agente Aperti Perturbati con Interazioni Antagoniste Repellenti

Enunciato del Problema
Questo lavoro affronta il problema del tracciamento del consenso per Sistemi Multi-Agente Aperti (OMAS) soggetti ad avversità indotte dalla migrazione. A differenza dei sistemi multi-agente tradizionali, gli OMAS presentano agenti che si uniscono o abbandonano dinamicamente la rete, risultando in una topologia naturalmente commutante e di dimensione variabile. Le sfide specifiche investigate includono:

1. Perturbazioni non decadenti: Sia perturbazioni continue dinamiche/stato che salti impulsivi di stato causati dalle migrazioni degli agenti.
2. Interazioni antagoniste repellenti: Interazioni che possono destabilizzare la rete, modellate tramite digrafi firmati dove gli archi negativi (repellenti) possono dominare quelli cooperativi.
3. Digrafi firmati intermittemente sconnessi: La topologia di rete è consentita come diretta e può mancare di connettività in certi momenti.

La difficoltà fondamentale risiede nel fatto che, quando le interazioni repellenti dominano quelle cooperative, il sistema crea sottosistemi instabili indipendentemente dalla connettività di rete, complicando il raggiungimento del tracciamento del consenso per un leader di riferimento.

Metodologia
Gli autori modellano l'OMAS come un sistema perturbato multi-modale multi-dimensionale (M³D). Questo quadro integra le variazioni dimensionali (dovute all'ingresso/uscita degli agenti) e le perturbazioni impulsive non decadenti in una struttura unificata.

I passaggi metodologici chiave includono:

• Formulazione del Sistema: La dinamica degli agenti è descritta da equazioni lineari con un protocollo di tracciamento del consenso. La topologia di rete è rappresentata da un digrafo firmato commutante $\tilde{G}_{\sigma(t)}$. Gli autori definiscono una matrice "Laplaciano repellente", notando che se gli archi negativi superano in numero quelli positivi, la matrice possiede autovalori con parti reali negative, portando all'instabilità.
• Dinamica dell'Errore: Il problema del tracciamento del consenso è trasformato nell'analisi di stabilità di un sistema di errore di tracciamento. Questo sistema di errore è caratterizzato come un sistema commutato con:
  • Dinamica continua governata dalle matrici $\tilde{A}_{\sigma(t)}$.
  • Salti discreti agli istanti di commutazione $t_k$ causati dalle migrazioni degli agenti e da impulsi esterni.
• Analisi di Stabilità: Gli autori estendono la teoria di stabilità per i sistemi M³D. Classificano le modalità di commutazione in insiemi stabili ($P_s$) e insiemi instabili ($P_u$).
  • Le modalità in $P_s$ corrispondono a topologie con soli archi positivi e un albero ricoprente diretto radicato nel leader.
  • Le modalità in $P_u$ includono topologie con soli archi positivi ma senza albero ricoprente, o topologie dove le interazioni repellenti dominano.
• Condizioni di Commutazione: Per garantire la stabilità nonostante i sottosistemi instabili e le perturbazioni non decadenti, gli autori derivano condizioni basate su:
  • Tempo di Dwell Medio a Pezzi (ADT): Un vincolo sulla frequenza di commutazione.
  • Rapporto di Tempo di Attivazione: Un vincolo sul rapporto del tempo trascorso nelle modalità stabili rispetto a quelle instabili. Nello specifico, i digrafi stabilizzanti devono attivarsi abbastanza a lungo da neutralizzare gli effetti destabilizzanti delle interazioni repellenti.

Contributi Chiave

1. Estensione del Problema: Il lavoro estende la ricerca precedente sugli OMAS (ad es. Xue et al., 2022) affrontando il consenso senza leader sotto perturbazioni di stato per il tracciamento del consenso sotto perturbazioni non decadenti e interazioni antagoniste.
2. Analisi delle Interazioni Repellenti: Il documento fornisce una caratterizzazione teorica che mostra come, se le interazioni repellenti dominano quelle cooperative, l'OMAS esibisca instabilità indipendentemente dalla connettività di rete. Questo colma una lacuna nella letteratura esistente che spesso assume interazioni puramente cooperative o opposte (bipartite).
3. Nuovo Metodo di Analisi M³D: Viene proposto un nuovo metodo di analisi che accommodate perturbazioni non decadenti e interazioni repellenti destabilizzanti. A differenza di lavori precedenti, questo metodo:
   • Non richiede la condizione di "commutazione alternata".
   • Si applica a grafi firmati che sono diretti e intermittentemente sconnessi.
   • Gestisce sia impulsi indipendenti dallo stato che dipendenti dallo stato.

Risultati
L'analisi teorica produce i seguenti risultati:

• Limitatezza Ultima: Sotto perturbazioni non decadenti e impulsi indipendenti dallo stato, il sistema raggiunge un tracciamento del consenso limitatamente ultimo. Il limite ultimo dipende dall'entità delle perturbazioni e dai parametri di commutazione.
• Tracciamento Asintotico: Se le perturbazioni sono decadenti (cioè, nessun disturbo esterno e impulsi dipendenti dallo stato che decadono al decrescere dell'errore), si raggiunge un tracciamento del consenso asintotico.
• Condizioni di Commutazione: I risultati stabiliscono che il consenso è raggiungibile se il segnale di commutazione soddisfa specifiche condizioni di ADT a pezzi e di rapporto di tempo di attivazione. Queste condizioni assicurano che le modalità stabilizzanti si attivino sufficientemente per contrastare le modalità destabilizzanti e le perturbazioni.

Significato
Il documento rivendica un significato teorico e pratico concentrandosi sulle avversità indotte dalla migrazione negli OMAS. Evidenzia che le migrazioni degli agenti possono introdurre disturbi improvvisi e convertire interazioni cooperative in antagoniste (ad esempio, a causa di attacchi cibernetico-fisici come dispositivi Trojan). Dimostrando che il consenso può essere mantenuto anche quando le interazioni repellenti dominano, a condizione che siano soddisfatte specifiche condizioni di commutazione, il lavoro offre un quadro robusto per il controllo di reti flessibili in ambienti avversi, come reti ad hoc mobili o sistemi soggetti a esaurimento dinamico delle risorse. Gli esempi di simulazione verificano che le condizioni derivate permettono al sistema di raggiungere un tracciamento limitato in presenza di disturbi persistenti e un tracciamento asintotico quando i disturbi decadono.