Leader-following Consensus over Jointly Connected Switching Networks is Achievable for Exponentially Unstable Linear Systems

Titolo: Consenso Leader-Following su Reti di Commutazione Jointly Connected per Sistemi Lineari Esponenzialmente Instabili

1. Il Problema

Il lavoro affronta il problema del consenso leader-follower per sistemi multi-agente lineari generali (MAS) operanti su reti di comunicazione switching congiuntamente connesse (jointly connected switching networks).

• Contesto: In molti scenari reali, la rete di comunicazione tra gli agenti non è statica e può subire interruzioni dovute a guasti o cambiamenti ambientali. La condizione di "connettività congiunta" richiede che la rete sia connessa solo su intervalli di tempo cumulativi, non necessariamente in ogni istante.
• Limitazione dello Stato dell'Arte: Fino a questo lavoro, la risolubilità del problema di consenso esponenziale su tali reti era limitata alla classe di sistemi lineari la cui matrice di sistema è marginalmente stabile (autovalori con parte reale non positiva). Questa restrizione escludeva sistemi fondamentali come il doppio integratore (usato per UAV e robot mobili) e, soprattutto, sistemi esponenzialmente instabili (autovalori con parte reale positiva).
• Obiettivo: Determinare se e sotto quali condizioni il consenso esponenziale leader-follower è raggiungibile anche quando la matrice di sistema $A$ è esponenzialmente instabile.

2. Metodologia

Gli autori adottano un approccio analitico rigoroso basato sulla teoria dei sistemi switching e sulla dualità:

• Formulazione del Sistema: Il sistema è modellato con un leader (equazione 1) e $N$ follower (equazione 2). La dinamica dell'errore di consenso è descritta da un sistema lineare switching (equazione 8) che coinvolge la matrice di Laplaciano del grafo switching e la matrice di guadagno di feedback $K$.
• Condizione di Connettività Congiunta: Viene introdotta una sequenza di istanti di commutazione tale che l'unione dei grafi su intervalli di tempo $T_c$ sia connessa.
• Analisi degli Autovalori e Proiezioni Ortogonali:
  • Viene definita una matrice di proiezione ortogonale $P_{\sigma(t)}$ sul nucleo (kernel) della matrice "leader-follower" $H_{\sigma(t)}$.
  • Viene dimostrato un Lemma 1 cruciale: sotto le ipotesi di connettività congiunta, il prodotto di queste matrici di proiezione su un intervallo di tempo $T_c$ ha una norma strettamente minore di 1 ($\delta < 1$). Questo valore $\delta$ quantifica il "grado di connettività" della rete.
• Soglia di Instabilità Ammissibile: Viene derivata una condizione critica che lega l'instabilità del sistema alla topologia della rete. La parte reale massima degli autovalori di $A$, denotata $\lambda_{\max}(A)$, deve soddisfare:
  $$\lambda_{\max}(A) < -\frac{\ln \delta}{T_c}$$
  Questa disuguaglianza stabilisce un limite superiore per l'instabilità del sistema, permettendo che $A$ sia instabile purché la sua instabilità non superi il tasso di "decadimento" imposto dalla connettività congiunta della rete.
• Progettazione del Controllore: Viene proposta una legge di controllo a feedback di stato distribuito. Il guadagno $K$ è progettato utilizzando una Gramiana di controllabilità pesata ($W_c$), permettendo di stabilizzare i modi instabili all'interno del limite calcolato.
• Dualità: Il problema di progettazione dell'osservatore distribuito basato sull'uscita viene trattato come il problema duale del consenso. Sfruttando la dualità tra controllabilità e osservabilità, si dimostra che anche un osservatore può essere progettato per sistemi leader esponenzialmente instabili.

3. Contributi Chiave

1. Superamento della Barriera della Stabilità Marginale: Il contributo principale è la dimostrazione che il consenso leader-follower esponenziale è possibile anche per sistemi con matrice di sistema esponenzialmente instabile, rompendo il limite imposto dalla letteratura precedente che richiedeva stabilità marginale.
2. Caratterizzazione Quantitativa dell'Instabilità: Gli autori forniscono una caratterizzazione esplicita del grado di instabilità tollerabile. Il limite è definito da due quantità chiave derivate dalla condizione di connettività congiunta:
   • $T_c$: La durata massima dell'intervallo di tempo in cui la rete deve essere congiuntamente connessa.
   • $\delta$: Un valore derivato dal prodotto delle matrici di proiezione sul nucleo della matrice di interazione leader-follower.
3. Estensione alla Dualità (Osservatori): Il lavoro estende i risultati al problema duale della progettazione di osservatori distribuiti basati sull'uscita. Viene dimostrato che è possibile stimare esponenzialmente lo stato di un leader instabile su reti switching congiuntamente connesse, una sfida precedentemente irrisolta per sistemi instabili.
4. Dimostrazione Rigorosa: Viene fornita una prova completa che utilizza trasformazioni di coordinate, analisi del prodotto di matrici switching e costruzione di funzioni di Lyapunov implicite attraverso la stima della norma delle soluzioni.

4. Risultati

• Teorema 1: Stabilisce le condizioni sufficienti per la risolubilità del problema di consenso leader-follower. Se la condizione $\lambda_{\max}(A) < -\ln \delta / T_c$ è soddisfatta, esiste un guadagno di feedback $K$ tale che l'errore di consenso converge esponenzialmente a zero.
• Teorema 2: Estende il risultato al problema dell'osservatore, garantendo la convergenza esponenziale dell'errore di stima per sistemi leader instabili.
• Esempi Numerici: Il paper include simulazioni su un sistema con 8 follower e un leader instabile (autovalori con parte reale positiva). I risultati mostrano che, nonostante le traiettorie del leader divergano esponenzialmente, gli stati dei follower convergono esponenzialmente a quello del leader, e gli osservatori stimano correttamente lo stato del leader, validando la teoria.

5. Significato e Impatto

Questo lavoro rappresenta un passo avanti significativo nella teoria del controllo cooperativo multi-agente:

• Ampliamento delle Applicazioni: Rimuove una restrizione teorica severa che limitava l'uso di algoritmi di consenso su reti dinamiche a sistemi stabili o marginalmente stabili. Questo apre la strada all'applicazione di tali tecniche a sistemi fisici intrinsecamente instabili o altamente dinamici (es. droni in volo, veicoli autonomi in scenari complessi) che operano in ambienti con connettività intermittente.
• Robustezza Teorica: Fornisce un quadro teorico solido per gestire l'instabilità intrinseca del sistema combinata con l'incertezza della topologia di rete.
• Impatto sulla Ricerca Futura: Il metodo basato sulla dualità e sulla caratterizzazione dell'instabilità tramite parametri topologici ($\delta, T_c$) offre nuovi strumenti per la progettazione di controllori e osservatori in scenari di rete complessi, suggerendo anche possibili estensioni a sistemi a tempo discreto.

In sintesi, il paper risolve un problema aperto da tempo, dimostrando che la connettività congiunta, se sufficientemente frequente e strutturata, può compensare l'instabilità esponenziale dei sistemi dinamici, permettendo il raggiungimento del consenso e la stima dello stato in condizioni precedentemente considerate impossibili.