Integral Control Barrier Functions with Input Delay: Prediction, Feasibility, and Robustness

Titolo

Funzioni di Barriera di Controllo Integrale con Ritardo di Ingresso: Predizione, Fattibilità e Robustezza

1. Il Problema

Il controllo di sistemi non lineari in contesti di sicurezza critica (safety-critical) affronta due sfide principali quando sono presenti ritardi di ingresso (input delay):

1. Violazione della sicurezza: I ritardi causati da attuatori, computazione o comunicazione fanno sì che l'azione di controllo calcolata al tempo $t$ abbia effetto solo a $t+\tau$. Se il controllore valuta le condizioni di sicurezza sullo stato attuale $x(t)$, l'effetto dell'input sarà realizzato in ritardo, portando potenzialmente a violazioni dei vincoli di stato (es. collisioni).
2. Inammissibilità del controllore (Feasibility): Quando si impongono simultaneamente vincoli di stato e vincoli di ingresso (es. limiti fisici degli attuatori), i filtri di sicurezza basati su Control Barrier Functions (CBF) standard possono diventare inammissibili (il problema di ottimizzazione QP non ha soluzione), specialmente se i vincoli sono incompatibili o se il ritardo amplifica la necessità di azioni correttive eccessive.

Le CBF tradizionali gestiscono solo vincoli di stato. Le Integral Control Barrier Functions (ICBF) estendono questo concetto permettendo alla funzione barriera di dipendere sia dallo stato che dall'ingresso, gestendo così la dinamica degli attuatori e i vincoli di ingresso. Tuttavia, le ICBF non erano state precedentemente adattate a sistemi con ritardo temporale, né era stata risolta la questione della fattibilità congiunta in presenza di ritardi.

2. Metodologia

Gli autori propongono un framework di controllo che integra tre componenti fondamentali:

• Feedback Predittivo (Predictor Feedback):
  Per compensare il ritardo $\tau$, il sistema utilizza un predittore che integra in avanti la dinamica del sistema (assumendo che il ritardo sia noto o stimato) per ottenere uno stato predetto $x_p(t) = x(t+\tau)$.
  Il controllore dinamico (integrale) viene progettato basandosi su $x_p$ invece che su $x$. In questo modo, la legge di controllo agisce come se il sistema fosse privo di ritardo, permettendo al filtro di sicurezza di valutare le condizioni di sicurezza sul futuro immediato del sistema.

• ICBF con Vincoli Congiunti:
  Il framework gestisce due vincoli simultanei:

  1. Vincolo di stato (es. distanza di sicurezza): $h_x(x) \ge 0$.
  2. Vincolo di ingresso (es. limiti di accelerazione): $h_u(u) \ge 0$.
     Vengono definite due funzioni barriera estese ($h_e$ per lo stato e $h_u$ per l'ingresso) che dipendono dallo stato aumentato $(x, u)$. Il controllore risolve un Problema di Programmazione Quadratica (QP) per trovare la correzione minima $v$ che soddisfi entrambi i vincoli.

• Condizione di Fattibilità Chiusa (Closed-Form Feasibility):
  Un contributo teorico chiave è la derivazione di una condizione analitica (basata sul Lemma di Farkas) che garantisce che il QP a due vincoli sia sempre ammissibile. Gli autori identificano una coppia di ICBF "compatibili" che garantisce l'invarianza in avanti del set di sicurezza, anche quando i gradienti dei vincoli sono opposti (situazione critica durante la frenata).

• Robustezza agli Errori di Predizione:
  Poiché il ritardo reale e la dinamica del sistema sono spesso incerti, la predizione $x_p$ può essere imprecisa, generando un errore che agisce come disturbo. Per gestire questo, viene introdotta una formulazione robusta delle ICBF. Vengono aggiunti termini di robustezza ($r_i$) al vincolo del QP, che si adattano dinamicamente: sono più severi vicino al bordo del set sicuro e meno conservativi all'interno. Questo garantisce la sicurezza anche in presenza di errori di stima del ritardo.

3. Contributi Chiave

1. Estensione ICBF ai sistemi con ritardo: Integrazione del feedback predittivo nel framework delle ICBF, permettendo al filtro di sicurezza di operare sullo stato predetto per compensare il ritardo.
2. Condizione di Fattibilità per vincoli congiunti: Derivazione di una condizione necessaria e sufficiente in forma chiusa per garantire che il QP con vincoli di stato e ingresso simultanei sia sempre risolvibile. Questo risolve il problema dell'inammissibilità che affligge i filtri di sicurezza tradizionali.
3. Formulazione Robusta: Sviluppo di ICBF robuste che trattano gli errori di predizione come disturbi limitati, garantendo l'invarianza del set di sicurezza (o di un suo intorno "gonfiato" in caso di errori grandi) anche con stime di ritardo imperfette.

4. Risultati e Validazione

Il framework è stato validato tramite simulazioni su un sistema di Cruise Control Adattivo (ACC) con ritardo di attuazione.

• Scenario 1 (Compensazione del ritardo):
  • Senza predittore: Un controllore che ignora il ritardo fallisce, violando sia la distanza di sicurezza che i limiti di accelerazione a causa della reazione tardiva.
  • Con predittore: Il controllore proposto compensa perfettamente il ritardo. La risposta del veicolo (velocità e accelerazione) replica quella del caso senza ritardo, mantenendo tutti i vincoli soddisfatti.
• Scenario 2 (Incertezza del ritardo):
  • È stato simulato un errore di stima del ritardo del 50% (sottostima).
  • Senza robustezza: L'errore di predizione agisce come disturbo, portando alla violazione del vincolo di stato (distanza).
  • Con robustezza: Il filtro ICBF robusto interviene proattivamente, mantenendo entrambi i vincoli soddisfatti nonostante l'incertezza significativa.

5. Significato e Impatto

Questo lavoro colma un gap significativo nella teoria del controllo di sicurezza:

• Teorico: Fornisce le basi matematiche per garantire la fattibilità di filtri di sicurezza complessi (stato + ingresso) in sistemi con ritardo, un problema aperto nella letteratura precedente.
• Pratico: Offre una soluzione pronta all'uso per sistemi reali (veicoli autonomi, robotica) dove i ritardi sono inevitabili e i vincoli fisici degli attuatori sono stringenti.
• Robustezza: Dimostra che è possibile mantenere garanzie di sicurezza rigorose anche quando i modelli di ritardo non sono perfetti, rendendo il framework adatto all'implementazione su piattaforme embedded reali.

In sintesi, il paper propone un metodo unificato che combina predizione, gestione dei vincoli multipli e robustezza, garantendo che i sistemi non lineari con ritardo possano operare in modo sicuro e fisicamente realizzabile.