Riepilogo Tecnico: MPC Decentralizzato di Contingenza basato su Insiemi di Sicurezza per l'Evitamento di Collisioni Non Lineare Multi-agente

Enunciato del Problema

Il documento affronta la sfida dell'evitamento decentralizzato delle collisioni per sistemi multi-agente con dinamiche non lineari. Un vincolo critico è il pattern di informazione basato solo sullo stato, in cui gli agenti osservano gli stati correnti dei loro pari ma non possono scambiare traiettorie pianificate, intenzioni o ingressi di controllo. Gli approcci esistenti spesso si basano su meccanismi di coordinamento conservativi, richiedono round di comunicazione (che introducono latenza) o non forniscono garanzie solide sulla fattibilità ricorsiva e sulla convergenza in contesti critici per la sicurezza. L'obiettivo è realizzare un movimento privo di collisioni guidando gli agenti verso stati di riferimento o equilibri sicuri, assicurando che esista sempre una manovra di backup fattibile senza comunicazione inter-agente.

Metodologia

La soluzione proposta è un framework di Controllo Predittivo a Modello (MPC) Decentralizzato di Contingenza potenziato da un nuovo meccanismo di aggiornamento dell'insieme di sicurezza Freeze-or-Shift (FoS).

1. Insiemi di Sicurezza Locali

Ogni agente $i$ è associato a un insieme di sicurezza locale $S^*_i(t)$ variante nel tempo, definito come una sfera euclidea $B(c_i(t), R_i(t))$. Questi insiemi sono costruiti per soddisfare:

• Recuperabilità: Da qualsiasi stato all'interno dell'insieme, esiste una manovra di contingenza fattibile che rimane all'interno dell'insieme, soddisfa tutti i vincoli e raggiunge un equilibrio sicuro ammissibile in tempo finito.
• Disgiunzione: Gli insiemi di sicurezza attivi di tutti gli agenti devono rimanere a due a due disgiunti per garantire l'evitamento delle collisioni.
• Ricostruibilità: Gli agenti possono ricostruire gli insiemi di sicurezza dei vicini utilizzando solo le osservazioni degli stati correnti e la memoria di un passo dei parametri precedenti dell'insieme di sicurezza, senza comunicazione.

2. Formulazione MPC Decentralizzata di Contingenza

Ad ogni passo temporale, ogni agente risolve un problema locale di controllo ottimo a orizzonte finito (FHOCP) che calcola simultaneamente:

• Una traiettoria nominale per le prestazioni e l'inseguimento del riferimento.
• Una traiettoria di contingenza che funge da certificato di sicurezza, assicurando che esista una manovra di backup fattibile all'interno dell'insieme di sicurezza locale.
• Accoppiamento: Le due traiettorie sono accoppiate imponendo un ingresso di controllo condiviso al primo passo ($u_i(t) = u^{n,*}_{i,(0|t)} = u^{c,*}_{i,(0|t)}$). Ciò garantisce che l'azione intrapresa per le prestazioni sia anche il primo passo del piano di sicurezza.

Vincoli Chiave:

• Contenimento della Coda: L'intera traiettoria di contingenza deve rimanere all'interno dell'insieme di sicurezza attivo corrente. Inoltre, la "coda" del piano di contingenza (da qualsiasi passo futuro $k$) deve rimanere all'interno dell'insieme di sicurezza generato dallo stato previsto al passo $k$. Ciò garantisce che, se l'agente passa al prossimo stato, il piano rimanente sia ancora valido.
• Convergenza di Tipo Lyapunov: Un vincolo impone una diminuzione monotona di un limite di costo relativo alla contingenza, derivato dalla coda spostata della soluzione ottima precedente. Ciò guida il sistema verso un equilibrio sicuro.
• Evitamento delle Collisioni: Non vengono imposti vincoli espliciti di collisione inter-agente sulla traiettoria nominale. La sicurezza è garantita interamente dalla fattibilità della traiettoria di contingenza all'interno degli insiemi di sicurezza disgiunti.

3. Regola di Aggiornamento Freeze-or-Shift (FoS)

Per mantenere la disgiunzione a due a due degli insiemi di sicurezza in modo decentralizzato, il documento introduce una regola di aggiornamento deterministica. Ad ogni passo, un agente calcola un insieme di sicurezza candidato basato sul suo nuovo stato.

• Freeze ($\chi=1$): Se l'aggiornamento all'insieme candidato causerebbe una sovrapposizione con l'insieme candidato di qualsiasi vicino o con il suo insieme attivo corrente, l'agente congela il proprio insieme di sicurezza (mantiene i parametri precedenti).
• Shift ($\chi=0$): Se non viene rilevata alcuna sovrapposizione, l'agente sposta il proprio insieme verso il nuovo candidato.
  Questa regola è completamente decentralizzata; gli agenti determinano $\chi$ localmente ricostruendo i potenziali insiemi dei vicini dagli stati osservati.

4. Operatività Plug-and-Play (PnP)

Il framework supporta l'ingresso o l'uscita degli agenti nello spazio di lavoro online.

• Ingresso: Un nuovo agente ricostruisce gli insiemi di sicurezza "congelati" degli agenti esistenti utilizzando una sovrapprossimazione conservativa senza storia (una sfera di ricostruzione basata sulla posizione e sui limiti noti del raggio) se gli agenti esistenti sono congelati. Successivamente, seleziona un insieme di sicurezza iniziale che non si sovrappone a queste rappresentazioni.
• Uscita: Un agente in uscita viene semplicemente rimosso dagli insiemi di vincolo locali degli agenti rimanenti, preservando la fattibilità.

Contributi Chiave

Il documento delinea cinque contributi principali:

1. C1: Una regola di aggiornamento FoS completamente decentralizzata per regioni locali di sicurezza convesse varianti nel tempo che preserva la disgiunzione degli insiemi di sicurezza attivi.
2. C2: Una formulazione MPC decentralizzata di contingenza per sistemi multi-agente non lineari che accoppia un piano di prestazioni nominale con un certificato di sicurezza di backup tramite un ingresso condiviso al primo passo.
3. C3: Una prova costruttiva della fattibilità ricorsiva e dell'evitamento delle collisioni basata su candidati di contingenza spostati e insiemi di sicurezza disgiunti invarianti.
4. C4: Un risultato di convergenza di tipo Lyapunov ottenuto imponendo una condizione di diminuzione monotona su un limite di costo relativo alla contingenza.
5. C5: Risultati di simulazione che dimostrano l'efficacia in scenari sparsi, densi, di collo di bottiglia affollati e plug-and-play.

Risultati

Sono stati condotti studi di simulazione utilizzando agenti integratori doppi a tempo discreto in uno spazio di lavoro 2D.

• Scalabilità: Lo schema ha gestito con successo densità crescenti di agenti (fino a 20 agenti) con traiettorie prive di collisioni.
• Scenari di Collo di Bottiglia: In passaggi stretti con ostacoli statici, gli agenti sono riusciti a navigare con successo. I risultati hanno mostrato che gli incontri ravvicinati hanno innescato eventi temporanei di "freeze", prevenendo aggiornamenti insicuri degli insiemi di sicurezza mantenendo al contempo il progresso in anello chiuso.
• Plug-and-Play: Il sistema ha gestito l'inserimento e la rimozione online degli agenti senza comunicazione di traiettoria o cambiamenti strutturali ai problemi MPC locali degli agenti esistenti.
• Convergenza: Il costo di contingenza normalizzato è diminuito monotonicamente come imposto dal vincolo di Lyapunov, confermando le proprietà teoriche di convergenza.

Significato e Affermazioni

Il documento afferma di colmare il divario tra controllo decentralizzato e garanzie di sicurezza rigorose nei sistemi multi-agente non lineari senza fare affidamento sulla comunicazione.

• Sicurezza senza Comunicazione: A differenza di molti approcci MPC distribuiti che richiedono negoziazione o scambio di traiettorie, questo metodo garantisce la sicurezza utilizzando solo osservazioni degli stati e una regola di aggiornamento geometrica deterministica.
• Fattibilità Ricorsiva: La combinazione della struttura MPC di contingenza e della regola di aggiornamento FoS fornisce una garanzia trattabile che il problema di ottimizzazione rimanga fattibile ad ogni passo temporale, prevenendo che il sistema entri in un deadlock dove non esiste alcuna manovra sicura.
• Robustezza ai Cambiamenti di Topologia: Il framework è progettato esplicitamente per gestire insiemi di agenti variabili (PnP) e ambienti dinamici, mantenendo le garanzie di sicurezza anche quando il numero di agenti cambia.
• Rigor Teorico: Il documento fornisce prove formali per la fattibilità ricorsiva, l'evitamento delle collisioni e la convergenza di tipo Lyapunov verso un equilibrio sicuro ammissibile, affrontando le limitazioni nella letteratura esistente riguardo alle garanzie di convergenza in contesti decentralizzati.

Gli autori notano che l'approccio presenta una moderata conservatività anche in ambienti densi e si allinea con comportamenti di sicurezza intuitivi (mantenere un margine per manovre di emergenza). Si suggerisce un lavoro futuro per affrontare disturbi, disadattamento del modello e rumore di rilevamento.