Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory

Informazioni Fondamentali

• ID Articolo: 2510.09929
• Titolo: Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
• Autori: Dylan Hirsch, Jaime Fernández Fisac, Sylvia Herbert
• Classificazione: eess.SY (Sistemi e Controllo), cs.SY (Sistemi e Controllo)
• Data di Pubblicazione: 11 ottobre 2025 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2510.09929

Riassunto

Le Funzioni di Barriera di Controllo (CBFs) e la Raggiungibilità Hamilton-Jacobi (HJR) rappresentano due framework fondamentali nella teoria del controllo sicuro. Tradizionalmente, questi due framework sono stati considerati come approcci distinti, con il primo focalizzato sulla progettazione di controllori sicuri ottimali e il secondo che fornisce condizioni sufficienti per la sicurezza. Lavori precedenti hanno introdotto il concetto di Funzioni di Valore di Barriera di Controllo (CB-VF), definite in modo analogo ad altre funzioni di valore studiate in HJR, ma con determinate proprietà CBF. Questo articolo procede in una direzione alternativa, generalizzando le CBFs a CBFs "viscose" non differenziabili. Gli autori dimostrano il collegamento profondo tra le CBFs viscose e le CB-VFs, creando un ponte tra i framework CBF e HJR. Attraverso questo collegamento, gli autori caratterizzano accuratamente le CBFs viscose come funzioni che forniscono garanzie di sicurezza di tipo CBF (invarianza di controllo e approssimazione liscia dei confini). Inoltre, vengono dimostrate le buone proprietà teoriche delle CBFs viscose, inclusa la chiusura ideale sotto operazioni di massimo e limite.

Contesto di Ricerca e Motivazione

Contesto del Problema

1. Separazione dei Due Framework Principali di Controllo Sicuro: CBFs e HJR sono i due principali framework nella teoria del controllo sicuro, ma tradizionalmente sono stati considerati come metodi mutuamente indipendenti
2. Limitazioni delle CBFs Tradizionali: Le CBFs tradizionali richiedono differenziabilità continua, il che in alcune applicazioni è eccessivamente restrittivo e limita l'applicabilità
3. Mancanza di Connessioni Teoriche: Manca un framework teorico unificato per comprendere i collegamenti intrinseci tra questi due approcci

Motivazione della Ricerca

1. Unificazione Teorica: Stabilire connessioni teoriche profonde tra CBFs e HJR, fornendo una base teorica più completa per il controllo sicuro
2. Estensione dei Metodi: Generalizzare le CBFs a funzioni non differenziabili, ampliando il loro ambito di applicazione
3. Caratterizzazione delle Proprietà: Caratterizzare accuratamente quali funzioni possono fornire garanzie di sicurezza di tipo CBF

Contributi Fondamentali

1. Introduzione del Concetto di CBFs Viscose: Generalizzazione delle CBFs tradizionali a funzioni non differenziabili, richiedendo solo il soddisfacimento della disuguaglianza CBF nel senso viscoso
2. Stabilimento di un Ponte Teorico: Dimostrazione dell'equivalenza completa tra CBFs viscose e CB-VFs invarianti nel tempo, creando un ponte tra i framework CBF e HJR
3. Caratterizzazione Completa delle Garanzie di Sicurezza: Dimostrazione che le CBFs viscose sono esattamente le funzioni continue che forniscono "Garanzie di Barriera"
4. Estensione della Teoria CB-VF: Estensione delle CB-VF dallo sconto esponenziale allo sconto non lineare determinato da funzioni di classe K arbitrarie
5. Analisi delle Proprietà Teoriche: Dimostrazione delle buone proprietà delle CBFs viscose, inclusa la chiusura sotto operazioni di massimo e limite

Dettagli Metodologici

Definizioni e Impostazioni Fondamentali

Si consideri il sistema dinamico: $\dot{x} = f(x,u)$

dove $f : \mathbb{R}^n \times U \to \mathbb{R}^n$ è una funzione Lipschitz, e $U \subset \mathbb{R}^m$ è un insieme compatto di ingressi di controllo ammissibili.

Definizione Tradizionale di CBF

Una funzione $h : \mathbb{R}^n \to \mathbb{R}$ è una Funzione di Barriera di Controllo rispetto a una funzione di classe K $\alpha$ se è continuamente differenziabile e soddisfa: $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ per tutti gli $x \in \mathbb{R}^n$ che soddisfano $h(x) > 0$.

Innovazione Fondamentale: CBFs Viscose

Definizione di CBF Viscosa

Una funzione continua $h : \mathbb{R}^n \to \mathbb{R}$ è una Funzione di Barriera di Controllo Viscosa rispetto a una funzione di classe K $\alpha$ se per ogni $x \in \mathbb{R}^n$ che soddisfa $h(x) > 0$, la disuguaglianza $\max_{u \in U} \nabla h(x) \cdot f(x,u) \geq -\alpha(h(x))$ è soddisfatta nel senso viscoso.

Senso Viscoso: Per qualsiasi funzione continuamente differenziabile $\phi : \mathbb{R}^n \to \mathbb{R}$, se $h - \phi$ ha un massimo locale in $x$, allora $\max_{u \in U} \nabla \phi(x) \cdot f(x,u) \geq -\alpha(h(x))$

Garanzia di Barriera

Una funzione continua $B : \mathbb{R}^n \to \mathbb{R}$ fornisce una Garanzia di Barriera rispetto a una funzione di classe K localmente Lipschitz $\alpha$ se per ogni $\theta \in [0,1)$ e ogni $x \in \mathbb{R}^n$ che soddisfa $B(x) > 0$, esiste $u \in U$ tale che per tutti gli $t \geq 0$: $B(x_x^u(t)) \geq \beta_\alpha(\theta B(x), t)$

dove $\beta_\alpha$ è una funzione di classe KL associata a $\alpha$.

Estensione delle Funzioni di Valore di Barriera di Controllo

Data una funzione continua $g : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$ e una funzione di classe K localmente Lipschitz $\alpha$, la CB-VF $v : \mathbb{R}^n \times \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}$ è definita implicitamente da: $\beta_\alpha(v(x,T), T) = \sup_{u \in U} \min_{t \in [0,T]} \beta_\alpha(g(x_x^u(t)), T-t)$

Risultati Teorici Principali

Teorema 1: Caratterizzazione HJ-PDE della CB-VF

La CB-VF $v$ è l'unica soluzione viscosa della HJ-PDE: $\max\left\{\frac{\partial}{\partial T}v - H_\alpha(x,v,\nabla v), v - g(x)\right\} = 0$

dove l'Hamiltoniano è $H_\alpha(x,r,\lambda) = \max_{u \in U} \lambda \cdot f(x,u) + \alpha(r)$.

Teorema 2: Risultato di Equivalenza Fondamentale

Per una funzione di classe K localmente Lipschitz $\alpha$ e una funzione continua $h : \mathbb{R}^n \to \mathbb{R}_{\geq 0}$, le seguenti proposizioni sono equivalenti:

1. $h$ è una CBF viscosa rispetto a $\alpha$
2. $h$ è una soluzione viscosa della HJ-PDE $-\min\{H_\alpha(x,h,\nabla h), 0\} = 0$
3. La corrispondente CB-VF è invariante nel tempo, cioè $v(\cdot, T) \equiv h(\cdot)$ per tutti gli $T \geq 0$
4. $h$ fornisce una Garanzia di Barriera rispetto a $\alpha$

Proprietà di Composizione delle CBFs Viscose

Teorema 3: Chiusura sotto Massimo

Se $h_1, h_2$ sono entrambe CBFs viscose rispetto a una funzione di classe K $\alpha$, allora $\max\{h_1, h_2\}$ è anch'essa una CBF viscosa rispetto a $\alpha$.

Teorema 4: Chiusura sotto Limite

Se $h_1, h_2, \ldots$ è una sequenza di CBFs viscose rispetto a una funzione di classe K $\alpha$, e $h_i \to h$ converge localmente uniformemente, allora $h$ è anch'essa una CBF viscosa rispetto a $\alpha$.

Punti di Innovazione Tecnica

1. Applicazione della Teoria delle Soluzioni Viscose

• Introduzione del concetto di soluzione viscosa dalla teoria delle equazioni differenziali parziali nella teoria CBF
• Eliminazione del requisito rigoroso di differenziabilità continua delle CBFs tradizionali
• Mantenimento delle proprietà essenziali delle garanzie di sicurezza

2. Ponte tra Framework

• Stabilimento di connessioni bidirezionali tra CBF e HJR
• Realizzazione dell'unificazione teorica attraverso la CB-VF come intermediaria
• Fornitura di prospettive complementari per la comprensione del controllo sicuro

3. Estensione dello Sconto Non Lineare

• Generalizzazione dallo sconto esponenziale a uno sconto non lineare determinato da funzioni di classe K arbitrarie
• Aumento della capacità espressiva e dell'applicabilità della CB-VF

Esempi di Applicazione

Esempio 1: CBF Non Differenziabile

Si consideri il sistema scalare $\dot{x} = x + x + x^3/(1+|x|) \cdot u$, con insieme di controllo $U = [-1,1]$.

Si definisca $h(x) = 1 - |x|$ (funzione di distanza con segno dall'insieme non sicuro $(-\infty,-1] \cup [1,+\infty)$).

Sebbene $h$ non sia differenziabile in $x = 0$, è possibile verificare che è una CBF viscosa rispetto a $\alpha(r) = r$.

Significato Teorico e Valore Pratico

Significato Teorico

1. Completezza: Caratterizzazione completa della classe di funzioni che forniscono garanzie di sicurezza di tipo CBF
2. Unitarietà: Unificazione di due importanti framework di controllo sicuro su una base teorica comune
3. Estensibilità: Fornitura di uno spazio di sviluppo più ampio per la teoria CBF

Valore Pratico

1. Ampliamento dell'Applicabilità: Permette l'uso di funzioni non differenziabili come CBFs, applicabile a più problemi pratici
2. Metodi di Composizione: Fornitura di metodi sistematici per costruire nuove CBFs da CBFs note
3. Vantaggi Computazionali: Possibilità di sfruttare i metodi computazionali di HJR per la costruzione di CBFs

Limitazioni e Direzioni Future

Limitazioni

1. Complessità Computazionale: La verifica e la costruzione di CBFs viscose potrebbero essere computazionalmente più complesse
2. Dettagli di Implementazione: L'articolo si concentra principalmente su risultati teorici; i metodi di calcolo pratico richiedono ulteriori ricerche
3. Verifica Applicativa: Mancanza di verifica applicativa su sistemi reali su larga scala

Direzioni Future

1. Metodi Computazionali: Sviluppo di algoritmi efficienti per il calcolo e la verifica di CBFs viscose
2. Estensione Applicativa: Applicazioni concrete in robotica, guida autonoma e altri campi
3. Sistemi Multi-Agente: Estensione al controllo sicuro di sistemi multi-agente
4. Sistemi Stocastici: Considerazione di sistemi dinamici stocastici

Valutazione Approfondita

Punti di Forza

1. Profondità Teorica: Stabilimento di connessioni teoriche profonde tra due framework importanti
2. Rigore Matematico: Dimostrazioni complete con risultati teorici di significato rilevante
3. Innovazione Concettuale: Il concetto di CBF viscosa possiede originalità e valore pratico
4. Sistematicità: Fornitura di un sistema teorico completo e analisi delle proprietà

Insufficienze

1. Mancanza di Verifica Sperimentale: L'articolo è principalmente un lavoro teorico, carente di esperimenti numerici e verifica applicativa pratica
2. Metodi Computazionali: Assenza di algoritmi concreti o metodi di implementazione
3. Analisi di Complessità: Mancanza di analisi della complessità computazionale dei metodi

Valutazione dell'Impatto

1. Valore Accademico: Contributo teorico importante alla teoria del controllo sicuro
2. Potenziale Pratico: Ampliamento dell'ambito di applicazione delle CBFs con valore pratico significativo
3. Ricerca Successiva: Posa delle fondamenta teoriche per la ricerca successiva in campi correlati

Scenari di Applicazione

1. Vincoli Geometrici Complessi: Problemi di controllo con vincoli di sicurezza non differenziabili
2. Sistemi Multi-Modali: Sistemi ibridi con dinamiche commutate
3. Controllo Robusto: Sistemi critici per la sicurezza che richiedono la gestione dell'incertezza
4. Pianificazione del Percorso: Navigazione robotica e problemi di evitamento di ostacoli

Riferimenti Bibliografici

L'articolo cita importanti lavori nella letteratura della teoria del controllo sicuro, inclusi:

• Lavori fondamentali nella teoria CBF (Ames et al.)
• Teoria della raggiungibilità Hamilton-Jacobi (Mitchell, Bayen, Tomlin)
• Teoria delle soluzioni viscose (Bardi, Capuzzo-Dolcetta)
• Lavori originali sulle Funzioni di Valore di Barriera di Controllo (Choi et al.)

Sintesi: Questo è un articolo teorico di alta qualità che fornisce contributi importanti nel campo della teoria del controllo sicuro. Attraverso l'introduzione del concetto di CBF viscosa e l'istituzione di connessioni con il framework HJR, fornisce una base teorica più completa e unificata per il controllo sicuro. Sebbene manchi di verifica sperimentale, il suo valore teorico e le prospettive di applicazione potenziale lo rendono un lavoro importante in questo campo.