Constrained Control of PDE Traffic Flow via Spatial Control Barrier Functions

Sintesi Tecnica: Controllo Vincolato del Flusso di Traffico tramite PDE mediante Funzioni di Barriera di Controllo Spaziali

Definizione del Problema
I sistemi di gestione del traffico mirano a ridurre la congestione e a regolare la densità del traffico verso un profilo desiderato. Tuttavia, le attuali strategie di controllo spesso non riescono a imporre esplicitamente i vincoli di stato, come impedire che la densità del traffico superi i limiti di sicurezza prestabiliti o evitare velocità estreme. Sebbene il controllo tramite Limiti di Velocità Variabili (VSL) sia un meccano comune per influenzare i modelli di flusso di traffico basati su PDE, la maggior parte degli approcci o discretizza la PDE in Equazioni Differenziali Ordinarie (ODE) per la progettazione del controllore, oppure si concentra esclusivamente sulla regolazione senza garantire che il sistema rimanga entro un intervallo operativo sicuro. È necessario un framework di controllo che operi direttamente a livello di PDE per raggiungere simultaneamente la stabilizzazione verso un profilo desiderato e l'applicazione di vincoli di sicurezza tramite invarianza in avanti.

Metodologia
Gli autori sviluppano un framework di controllo unificato che estende le teorie delle Funzioni di Lyapunov per il Controllo (CLF) e delle Funzioni di Barriera per il Controllo (CBF) dalle ODE al controllo in-domain delle PDE.

1. Modello di Traffico: Lo studio utilizza il modello Lighthill–Whitham–Richards (LWR), un'equazione di conservazione iperbolica del primo ordine che descrive la densità del traffico ($\rho$) e il flusso ($q$). Il modello impiega un diagramma fondamentale triangolare. L'attuazione VSL è incorporata modificando il diagramma fondamentale con un rapporto di limite di velocità spazialmente e temporalmente variabile, $b(z,t)$. L'ingresso di controllo è definito come il gradiente spaziale del rapporto VSL, $u = \partial \Delta b / \partial z$.
2. Controllo di Stabilizzazione (CLF): Gli autori estendono la teoria CLF alle PDE definendo una funzione di Lyapunov $V(t)$ come lo scostamento quadratico della densità del traffico da un profilo desiderato. Viene derivata una legge di controllo a feedback per garantire che la derivata temporale di $V$ sia definita negativa, guidando il sistema verso la densità desiderata.
3. Controllo di Sicurezza (sCBF): Per imporre la sicurezza, il concetto di Funzioni di Barriera per il Controllo viene adattato alle PDE introducendo Funzioni di Barriera per il Controllo spazialmente variabili (sCBF). L'insieme sicuro è definito da un limite superiore sulla densità spazialmente e temporalmente variabile, $\lambda(z,t)$. Una sCBF viene costruita per garantire l'invarianza in avanti di questo insieme, impedendo alla densità di superare il limite prescritto.
4. Framework di Ottimizzazione Unificato: La CLF di stabilizzazione e la sCBF di sicurezza vengono unificate all'interno di un framework di Programmazione Quadratica (QP). Il controllore risolve un problema di ottimizzazione in ogni punto dello spazio e del tempo per minimizzare lo scostamento dal controllo desiderato, soddisfacendo al contempo la condizione di stabilità della CLF e la condizione di sicurezza della sCBF. Viene inclusa una variabile di rilassamento per garantire la risolvibilità del problema.

Contributi Chiave

• Estensione di CLF/CBF alle PDE: Il documento estende le fondamenta teoriche delle CLF e delle CBF, precedentemente stabilite per le ODE, ai sistemi a dimensione infinita governati da PDE.
• Funzioni di Barriera per il Controllo Spazialmente Variabili: Viene introdotta una nuova formulazione di sCBF che consente di definire ed imporre i vincoli di sicurezza direttamente a livello di PDE, anziché fare affidamento su approssimazioni basate sulla discretizzazione.
• Controllo Vincolato Unificato: Gli autori presentano un controllore basato su QP che realizza simultaneamente la regolazione verso un profilo di densità del traffico desiderato e l'imposizione dei vincoli di stato (sicurezza) in un unico step di ottimizzazione.
• Controllo VSL In-Domain: Il framework è applicato specificamente al controllo VSL in-domain del modello LWR, offrendo un metodo diretto per regolare il flusso di traffico mantenendo la sicurezza.

Risultati
I controllori proposti sono stati validati attraverso uno studio di caso di simulazione su una strada circolare (lunghezza $L=1000$ m) con condizioni al contorno periodiche. Sono stati confrontati tre scenari:

1. Controllo solo CLF: Ha guidato con successo la densità verso il profilo desiderato, ma ha violato il confine di sicurezza (limite di densità) quando il profilo desiderato o le condizioni iniziali spingevano il sistema verso la congestione.
2. Controllo solo sCBF: Ha mantenuto con successo la densità all'interno dell'insieme sicuro riducendo i limiti di velocità, ma non è riuscito a guidare il sistema verso la densità desiderata, risultando in uno scostamento significativo dal target.
3. Controllo Combinato CLF+sCBF: Questo approccio ha bilanciato con successo entrambi gli obiettivi. Quando il profilo desiderato era all'interno dell'insieme sicuro, il controllore agiva principalmente come stabilizzatore. Quando il profilo desiderato o la dinamica del sistema minacciavano di violare il vincolo di sicurezza, il vincolo sCBF diventava attivo, forzando una riduzione dei limiti di velocità per mantenere la sicurezza pur tentando di avvicinarsi il più possibile al profilo desiderato.

I risultati hanno dimostrato che l'integrazione del controllo vincolato ha influenzato minimamente l'ingresso di controllo stabilizzante quando la sicurezza non era a rischio, ma è intervenuta efficacemente per mantenere la densità entro il definito insieme sicuro quando necessario.

Significatività e Rivendicazioni
Il documento sostiene di fornire una formulazione innovativa per l'imposizione di vincoli critici per la sicurezza direttamente a livello di PDE, evitando le potenziali imprecisioni degli approcci basati sulla discretizzazione. Unificando le teorie CLF e sCBF, gli autori offrono un metodo per garantire che la densità del traffico rimanga entro i limiti prescritti pur regolando simultaneamente il sistema verso uno stato desiderato. Il lavoro evidenzia come, sebbene le funzioni di barriera siano ben consolidate per le ODE (ad esempio, nel controllo del cruise adattivo), la loro applicazione ai sistemi PDE per il controllo in-domain sia ancora poco esplorata. Gli autori pongono questo lavoro come un passo verso una gestione del traffico robusta e con garanzie di sicurezza, notando che il lavoro futuro si concentrerà sullo sviluppo di sCBF dipendenti dagli input di controllo e dalla velocità dei veicoli, e sull'applicazione di questi metodi alla progettazione di controllori ottimali.