Hybrid Lyapunov and Barrier Function-Based Control with Stabilization Guarantees

Titolo: Controllo Ibrido basato su Funzioni di Lyapunov e Barriera con Garanzie di Stabilizzazione

1. Il Problema

Il lavoro affronta la sfida di progettare controllori per sistemi non lineari che garantiscano contemporaneamente due obiettivi critici:

1. Stabilizzazione asintotica globale: Portare il sistema a un punto di equilibrio desiderato.
2. Sicurezza (Safety): Mantenere il sistema all'interno di un insieme sicuro, evitando regioni pericolose (insiemi non sicuri).

Sebbene le Funzioni di Controllo di Lyapunov (CLF) e le Funzioni di Controllo di Barriera (CBF) siano strumenti potenti, spesso combinati tramite Programmazione Quadratica (QP), l'approccio standard CLF-CBF-QP presenta un limite fondamentale: l'emergere di punti di equilibrio indesiderati (spesso stabili) sul bordo dell'insieme sicuro. Questi punti possono intrappolare il sistema in situazioni di blocco (deadlock), impedendo il completamento del compito anche per sistemi semplici e insiemi non sicuri convessi. Le soluzioni esistenti, come le funzioni di navigazione o i metodi ibridi precedenti, soffrono di limitazioni quali conservatività eccessiva, complessità computazionale (es. MPC) o mancanza di garanzie di convergenza globale per domini di sicurezza arbitrari.

2. Metodologia Proposta

Gli autori propongono una strategia di controllo ibrido CLF-CBF che risolve il problema del deadlock garantendo la stabilizzazione asintotica globale e la sicurezza. La metodologia si articola nei seguenti punti chiave:

• Approssimazione Poliedrica: L'insieme non sicuro viene racchiuso in un poliedro convesso limitato $P$. L'insieme sicuro $C$ è definito come il complemento chiuso di $P$, ovvero l'unione di diversi semispazi sicuri.
• Logica di Commutazione Ibrida: Il sistema opera in modalità ibrida, alternando fasi di "flusso" (evoluzione continua) e "salti" (aggiornamenti discreti).
  • Sottoproblemi di Stabilizzazione: In ogni fase, il sistema risolve un sottoproblema di stabilizzazione sicura verso un punto target attivo ($\hat{x}$) all'interno di un semispazio sicuro attivo ($q$).
  • Vincoli Compatibili: Per ogni sottoproblema, vengono costruite CLF e CBF compatibili (i loro insiemi di controllo ammissibili si intersecano sempre) sfruttando la natura lineare dei semispazi.
  • Meccanismo di Switching: Quando il sistema si avvicina al target attivo, un meccanismo di commutazione (basato su un gap di sinergia $\mu$ e una larghezza di isteresi $\sigma$) aggiorna il semispazio attivo e calcola un nuovo punto target.
  • Convergenza Globale: La logica di commutazione è progettata in modo che la sequenza di punti target generata converga al punto di equilibrio desiderato finale ($\bar{x}$). Questo evita i deadlock perché il sistema non si ferma mai su un equilibrio indesiderato sul bordo, ma "salta" dinamicamente verso un nuovo obiettivo.
• Estensione a Sistemi di Ordine Superiore: La strategia viene estesa a sistemi a feedback stretto (strict-feedback) di ordine superiore mediante un approccio Backstepping congiunto CLF-CBF. Questo permette di costruire ricorsivamente CLF e CBF compatibili per l'intero sistema, mantenendo la continuità differenziabile del controllore (necessaria per il backstepping) utilizzando centroidi pesati con funzioni gaussiane.
• Gestione dei Vincoli di Input: Viene discusso come adattare la formulazione QP per gestire limiti fisici sugli input, rilassando l'obiettivo di stabilizzazione solo quanto necessario per garantire la fattibilità del problema di ottimizzazione.

3. Contributi Chiave

1. Risolvere il Deadlock Globale: A differenza degli approcci standard, il metodo proposto garantisce che non si verifichino deadlock, assicurando la convergenza globale asintotica a qualsiasi punto di equilibrio desiderato all'interno dell'insieme sicuro.
2. Flessibilità del Dominio di Sicurezza: L'approccio non richiede che l'insieme non sicuro abbia una forma specifica (es. ellissoide) o che il poliedro di approssimazione soddisfi condizioni geometriche restrittive. Basta che l'insieme non sicuro sia contenuto in un poliedro convesso.
3. Approccio Sistematico e Geometrico: Offre un metodo di progettazione più sistematico rispetto alle soluzioni ibride precedenti (come quelle basate su shell di evitamento o funzioni di Lyapunov sinergiche), permettendo di adattare la conservatività della traiettoria tramite parametri di progetto ($\mu, \sigma$).
4. Generalità: La soluzione è valida per sistemi di primo ordine e, tramite backstepping, per sistemi di ordine superiore, coprendo una vasta gamma di applicazioni robotiche e veicolari.

4. Risultati

I risultati sono stati validati attraverso simulazioni numeriche:

• Sistemi di Primo Ordine: Sono stati testati su un integratore semplice con diversi poligoni di ostacolo (pentagono, quadrato, triangolo). Le simulazioni dimostrano che il sistema evita con successo le regioni non sicure e raggiunge il target, mentre approcci continui standard fallirebbero in deadlock.
• Confronto con lo Stato dell'Arte: Il metodo è stato confrontato con un approccio ibrido precedente basato su poligoni (riferimento [50]). Mentre il metodo precedente falliva in scenari specifici dove i punti di equilibrio indotti non permettevano lo switching, il metodo proposto ha risolto il deadlock in tutti i casi testati, indipendentemente dalla posizione del punto target finale.
• Sistemi di Secondo Ordine: L'estensione a un doppio integratore ha mostrato traiettorie più lisce e prive degli angoli vivi presenti nei sistemi di primo ordine, confermando l'efficacia del backstepping congiunto.
• Modello Unicycle: L'applicazione a un modello di unicycle (non lineare e con grado relativo misto) tramite una trasformazione di coordinate ha dimostrato la versatilità del metodo, permettendo di controllare un punto virtuale davanti al veicolo per garantire la sicurezza del veicolo reale.

5. Significato e Impatto

Questo lavoro rappresenta un passo significativo nel campo del controllo sicuro per sistemi non lineari.

• Superamento delle Limitazioni Teoriche: Risolve il problema teorico dell'esistenza di punti di equilibrio indesiderati nei framework CLF-CBF standard, fornendo garanzie matematiche di stabilità globale.
• Applicabilità Pratica: Offre un'alternativa computazionalmente efficiente rispetto al Model Predictive Control (MPC) per applicazioni in tempo reale, mantenendo garanzie formali di sicurezza.
• Versatilità: La capacità di gestire qualsiasi dominio di sicurezza convesso poliedrico rende il metodo applicabile a scenari reali complessi, come la navigazione di veicoli autonomi in ambienti con ostacoli irregolari, evitando la necessità di approssimazioni eccessivamente conservative.

In sintesi, il paper introduce un framework di controllo ibrido robusto che combina la flessibilità geometrica dei poliedri con la potenza analitica delle funzioni CLF-CBF, eliminando il problema del deadlock e garantendo il completamento sicuro dei compiti di controllo.