Provably Safe Decentralized Contingency MPC under State-Only Information and Limited Sensing for Nonlinear Multi-agent Systems

Immaginate un incrocio trafficato dove decine di auto arrivano da ogni direzione, con ogni conducente che conosce solo la propria destinazione e la posizione dei veicoli immediatamente intorno a sé. Non possono comunicare tra loro, non possono vedere le intenzioni dei conducenti più lontani e devono affidarsi esclusivamente a ciò che i propri sensori riescono a rilevare in quel momento. In questo ambiente ad alta posta in gioco, l'obiettivo è semplice: far raggiungere a tutti la propria uscita senza scontrarsi. Eppure, raggiungere questo risultato senza comunicazione è uno dei problemi più difficili nella robotica e nella guida autonoma. Se un'auto non può prevedere cosa faranno gli altri, deve essere preparata allo scenario peggiore ad ogni curva. Questo è il regno del controllo decentralizzato, dove ogni agente agisce indipendentemente e la sfida consiste nel bilanciare il desiderio di muoversi in modo efficiente con l'assoluta necessità di rimanere in sicurezza.

Per anni, i ricercatori hanno cercato di risolvere questo problema facendo sì che i veicoli condividessero i propri percorsi futuri o utilizzando semplici regole basate sulla reazione che evitano collisioni immediate, ma che spesso portano a ingorghi o comportamenti erratici. Il problema è che, senza un piano condiviso, un'auto potrebbe compiere una mossa sicura che accidentalmente blocca un vicino, creando una reazione a catena di arresti. Per procedere con fiducia, un veicolo ha bisogno di più di una semplice reazione; ha bisogno di un piano di riserva garantito che funzioni a prescindere da ciò che faranno i vicini. Questa nuova ricerca introduce un metodo che permette a un gruppo di veicoli non lineari e complessi di navigare in un incrocio così caotico in modo sicuro, utilizzando solo la rilevazione locale e senza mai dover scambiare dati sui propri movimenti futuri.

Il cuore di questo lavoro è una strategia chiamata controllo predittivo con modello di contingenza (contingency model predictive control). In termini semplici, questo significa che ad ogni singolo istante, ogni veicolo calcola due cose simultaneamente. Primo, pianifica il proprio percorso migliore per raggiungere la destinazione, ottimizzando velocità e fluidità. Secondo, e altrettanto importante, calcola una manovra di "rete di sicurezza" garantita. Questa rete di sicurezza è un percorso pre-calcolato che conduce il veicolo a un arresto completo o a un punto di attesa sicuro, assicurando che, anche se tutto dovesse andare storto, il veicolo possa sempre ritirarsi in sicurezza senza colpire nessuno. La genialità di questo approccio risiede nel fatto che separa l'obiettivo di muoversi bene dall'obiettivo di rimanere al sicuro, permettendo al veicolo di perseguire la propria missione mantenendo sempre pronta una via di fuga verificata.

I ricercatori, lavorando con un team dell'Università di Lubecca in Germania, hanno sviluppato un sistema in cui queste reti di sicurezza non sono statiche, ma si adattano dinamicamente in base a ciò che il veicolo vede. Hanno creato il concetto di "insieme sicuro" (safe set), che è essenzialmente una bolla protettiva attorno al veicolo. All'interno di questa bolla, il veicolo sa di poter sempre eseguire il proprio arresto di emergenza. L'innovazione qui è come queste bolle interagiscono. Invece di dover conoscere l'intera cronologia dei movimenti di un vicino o ricostruire il loro percorso esatto, ogni veicolo ha solo bisogno di conoscere la posizione attuale dei propri vicini. Da questo singolo scatto, il sistema genera una nuova bolla protettiva, leggermente più grande, che rappresenta l'estensione massima raggiungibile dal vicino nel caso peggiore.

Quando due veicoli si avvicinano, le loro bolle protettive potrebbero sovrapporsi. In passato, questa sovrapposizione avrebbe richiesto negoziazioni complesse o la memoria delle interazioni passate per essere risolta. Questo nuovo metodo risolve il problema creando un muro invisibile e semplice tra le due bolle sovrapposte. Questo muro è calcolato istantaneamente in base alle posizioni attuali, dividendo efficacemente lo spazio disponibile in modo che ogni veicolo abbia la propria zona garantita in cui operare. Se un veicolo entra in una nuova area e vede un vicino per la prima volta, stabilisce immediatamente questo confine. Se il vicino se ne va, il confine scompare. Ciò consente ai veicoli di unirsi e lasciare il flusso di traffico in qualsiasi momento senza interrompere la sicurezza degli altri, una caratteristica nota come operatività "plug-and-play".

Per testare se questa teoria regge nel mondo reale, il team ha eseguito estese simulazioni al computer coinvolgendo un incrocio a quattro vie. Hanno modellato cinquanta veicoli differenti, ciascuno con la fisica complessa di una vera automobile, inclusi angoli di sterzata e limiti di accelerazione. Questi veicoli entravano nell'incrocio da tutti i lati, scegliendo di andare dritto, girare a sinistra o girare a destra, senza alcun accordo preventivo su chi dovesse passare per primo. La simulazione introduceva nuove auto ogni due secondi e le rimuoveva una volta terminato il loro viaggio, creando un modello di traffico costantemente mutevole e imprevedibile. I veicoli erano dotati di sensori che potevano vedere solo fino a una determinata distanza, imitando i limiti dell'hardware del mondo reale.

I risultati sono stati sorprendenti. Nonostante la mancanza di comunicazione e il costante afflusso di nuovi conducenti imprevedibili, ogni singolo veicolo ha attraversato l'incrocio con successo ed è uscito senza collisioni. Il punto più vicino in cui due veicoli si sono avvicinati è stato di 1,026 metri, rimanendo comunque al di sopra del limite fisico di 0,8 metri richiesto per evitare uno scontro. Durante l'intero esperimento, i veicoli hanno mantenuto le proprie corsie e seguito i percorsi previsti, rallentando o regolando i propri percorsi solo quando il sistema di sicurezza lo imponeva. I dati hanno mostrato che il "costo della sicurezza" per ogni veicolo diminuiva nel tempo, dimostrando che il sistema non stava solo evitando collisioni, ma stava anche convergendo verso uno stato stabile ed efficiente.

Questo lavoro dimostra che è possibile ottenere garanzie di sicurezza rigorose in sistemi non lineari complessi senza fare affidamento su reti di comunicazione che possono guastarsi o essere disturbate. Basandosi su un'interazione priva di memoria in cui i veicoli reagiscono solo allo stato attuale dei loro vicini, i ricercatori hanno creato un framework che è robusto rispetto ai cambiamenti plug-and-play nell'ambiente. Sebbene l'attuale studio si basi su modelli matematici perfetti e dati simulati, i risultati forniscono una solida base per future applicazioni nel mondo reale. Suggerisce un futuro in cui i veicoli autonomi possano condividere la strada in sicurezza, confidando non in un controllore centrale o in una rete di radio, ma in una comprensione condivisa e matematicamente provata dello spazio e della sicurezza.