SafeSpace: Aggregating Safe Sets from Backup Control Barrier Functions under Input Constraints

Titolo

SafeSpace: Aggregazione di Insiemi Sicuri da Funzioni di Barriera di Controllo di Backup sotto Vincoli di Ingresso

1. Problema e Contesto

Le Funzioni di Barriera di Controllo (CBF) sono uno strumento fondamentale per garantire la sicurezza nei sistemi di controllo, permettendo la sintesi di controller che rendono un insieme sicuro "invariante in avanti" (forward invariant). Tuttavia, nella pratica, la regione operativa certificata come sicura è spesso conservativa, specialmente in presenza di vincoli sugli ingressi (input bounds).

Questo problema si manifesta in due modi principali:

1. Insiemi Multipli e Disgiunti: In molte applicazioni (es. controllo di satelliti), è possibile certificare indipendentemente diversi piccoli insiemi sicuri, ciascuno associato a un equilibrio diverso o a un controller stabilizzante specifico.
2. Limitazione della Flessibilità: I filtri di sicurezza standard costruiti per un singolo insieme costringono il sistema a rimanere all'interno di quella regione specifica, impedendo la transizione fluida tra diverse regioni certificate sicure.
3. Complessità Computazionale: I metodi esistenti per espandere gli insiemi sicuri, come i kernel di viabilità basati su equazioni di Hamilton-Jacobi, sono computazionalmente proibitivi per sistemi di alta dimensione.

L'obiettivo del paper è sviluppare un metodo sistematico per unire (aggregare) queste regioni sicure multiple in un unico insieme sicuro certificato più ampio, mantenendo la continuità del controller e rispettando i vincoli di ingresso.

2. Metodologia Proposta

Gli autori propongono un quadro unificato che combina le CBF Combinatorie con il framework delle CBF di Backup (bCBF). La metodologia si articola in tre fasi principali:

A. CBF Combinatorie Generalizzate con Variabili Ausiliarie

Il lavoro estende il framework delle CBF combinatorie (che permettono combinazioni logiche di insiemi sicuri) introducendo una variabile ausiliaria ($\omega$).

• Composizione Logica: Permette di unire insiemi definiti da diverse funzioni di barriera $\{h_j\}$ tramite operatori logici (es. unione logica "OR" o intersezione "AND").
• Relassamento della Compatibilità: Tradizionalmente, unire insiemi richiede che tutte le condizioni di barriera siano soddisfatte simultaneamente, il che è spesso impossibile. Gli autori introducono una condizione chiamata "Compatibilità Congiuntiva": è sufficiente che le condizioni siano soddisfatte simultaneamente solo per le barriere attive (quelle che definiscono il bordo dell'insieme aggregato in quel punto).
• Ruolo di $\omega$: La variabile ausiliaria $\omega$ viene ottimizzata online per "rilassare" le condizioni di barriera per gli insiemi non attivi, garantendo la fattibilità del problema di ottimizzazione senza violare la sicurezza.

B. Aggregazione di Insiemi Sicuri Impliciti (Backup CBF)

Il framework viene esteso per gestire insiemi sicuri impliciti generati da controller di backup.

• Insiemi Impliciti: Un insieme sicuro implicito ($C_I$) è definito come l'insieme di stati da cui è possibile raggiungere un insieme sicuro di base $C$ utilizzando un controller di backup $k_b$ senza violare i vincoli di sicurezza lungo la traiettoria.
• Struttura Annidata: Quando si combinano più controller di backup, si crea una struttura logica annidata (max-min): l'unione di più insiemi impliciti (OR) dove ogni insieme implicito è definito da vincoli lungo una traiettoria (AND).
• CBF-QP Unificato: Viene formulato un Programma Quadratico (QP) basato su CBF che include vincoli per tutti i controller di backup e le relative traiettorie discretizzate. L'uso della variabile ausiliaria $\omega$ permette di gestire la complessità di questa struttura annidata, garantendo che il filtro di sicurezza risultante sia continuo.

C. Sintesi del Controllore

Il controller finale è ottenuto risolvendo un QP che minimizza la deviazione da un controller nominale ($k_d$), soggetto ai vincoli di sicurezza aggregati. Il risultato è un filtro di sicurezza continuo che non richiede strategie di commutazione (switching) o controllo ibrido quando il sistema transita tra le diverse regioni originali.

3. Contributi Chiave

1. Framework Unificato: Proposta di un metodo per unire regioni sicure certificate multiple in un unico insieme sicuro più ampio, utilizzando CBF combinatorie generalizzate.
2. Generalizzazione delle CBF: Introduzione di una variabile ausiliaria che permette di rilassare le condizioni di compatibilità, rendendo fattibile la combinazione di CBF anche quando non sono globalmente compatibili.
3. Aggregazione di Backup CBF: Estensione del framework per aggregare insiemi sicuri impliciti generati da diversi controller di backup, gestendo la complessità delle strutture logiche annidate (OR di AND).
4. Garanzia di Continuità: Dimostrazione che il QP risultante genera un feedback continuo, evitando la necessità di logica di commutazione esplicita.
5. Validazione su Sistemi Spaziali: Applicazione e dimostrazione su due problemi critici di sicurezza spaziale.

4. Risultati Sperimentali

Il metodo è stato testato su due scenari di sicurezza per veicoli spaziali:

• Controllo di Assetto Sicuro (Safe Attitude Control):
  • Scenario: Un satellite deve mantenere il suo scudo termico orientato lontano dal Sole, con vincoli severi sulla coppia di attuazione.
  • Risultato: Utilizzando cinque insiemi di backup distinti (ciascuno stabilizzato su un diverso equilibrio), il metodo proposto ha permesso al satellite di seguire una traiettoria che circonda il bordo dell'insieme sicuro. Un singolo insieme di backup non sarebbe stato sufficiente a garantire sia la sicurezza che la convergenza alla traiettoria desiderata.
• Mantenimento di Orbita Sicuro (Safe Station Keeping):
  • Scenario: Un satellite orbita attorno a un asteroide, evitando un campo di detriti (vincolo esterno) e mantenendosi entro una zona di raccolta dati (vincolo interno), con spinta elettrica limitata.
  • Risultato: Le simulazioni hanno confrontato quattro approcci: CBF standard, Backup CBF standard, CBF combinatoria e la proposta (Combinatorial Backup CBF).
    • I metodi standard limitavano fortemente l'orbita percorribile a causa della conservatività.
    • L'approccio proposto ha permesso al satellite di tracciare un'orbita ellittica desiderata per una porzione significativa della missione, massimizzando l'insieme di controllo invariante sicuro e rispettando tutti i vincoli di ingresso e di sicurezza.

5. Significato e Impatto

Questo lavoro risolve una limitazione fondamentale nell'uso delle CBF: la tendenza a produrre regioni di sicurezza conservatrici che non sfruttano appieno le capacità operative del sistema.

• Scalabilità: Offre un'alternativa scalabile ai metodi basati su Hamilton-Jacobi per l'espansione degli insiemi sicuri.
• Flessibilità Operativa: Permette di progettare sistemi di sicurezza modulari (certificando piccoli insiemi locali) che vengono poi uniti dinamicamente per creare un ambiente operativo globale più ampio.
• Applicabilità Reale: La dimostrazione su problemi spaziali reali, caratterizzati da vincoli di ingresso severi e dinamiche complesse, valida l'efficacia del metodo in scenari critici dove la sicurezza è non negoziabile.

In sintesi, il paper fornisce un meccanismo rigoroso e computazionalmente efficiente per espandere le regioni operative sicure, trasformando una collezione di "isole" di sicurezza locali in un unico "continente" sicuro gestibile da un singolo controller continuo.