Revisiting Certainty Equivalence: The Structural Coupling Between Estimation and Control in Underactuated Nonlinear Systems

Sintesi Tecnica: Riconsiderazione dell'Equivalenza di Certezza in Sistemi Non Lineari Sotto-attuati

Definizione del Problema
Il principio di Equivalenza di Certezza (Certainty Equivalence - CE), che permette la progettazione indipendente di stimatori di stato e controllori, è un pilamento della teoria del controllo lineare ma manca di una validità rigorosa in contesti non lineari. Nei sistemi non lineari sotto-attuati, la separazione tra stima e controllo si interrompe perché la dinamica del sistema e le mappature di uscita sono esplicitamente dipendenti dallo stato. Gli errori di stima ($\tilde{x}$) non agiscono semplicemente come perturbazioni esogene; essi inducono un accoppiamento strutturale intrinseco all'interno del sistema a ciclo chiuso (closed-loop, CL).

Durante transitori aggressivi o manovre ad alta velocità, questo accoppiamento si manifesta come termini di interazione di ordine superiore e disturbi basati sull'innovazione. Gli approcci tradizionali spesso assumono che gli errori di stima rimangano piccoli o evolvano su una scala temporale più rapida, un'assunzione che fallisce quando l'osservabilità è limitata o dipendente dallo stato. Di conseguenza, i controllori che si affidano agli stati stimati ($\hat{x}$) piuttosto che agli stati reali ($x$) soffrono di margini di stabilità degradati, errori di inseguimento e potenziale divergenza, particolarmente quando la legge di controllo tenta di cancellare algebricamente le non linearità basandosi su informazioni imperfette.

Metodologia
Gli autori propongono un quadro unificato che tratta l'interazione stimatore-controllore come una proprietà intrinseca del sistema a ciclo chiuso piuttosto che come una perturbazione non modellata.

1. Analisi Strutturale: Il sistema è formulato in "coordinate di errore di inseguimento stimato" ($\hat{\epsilon} = \hat{x} - x_{ref}$). Analizzando la dinamica dell'errore, gli autori dimostrano che le non linearità dipendenti dallo stato inducono termini di accoppiamento che coinvolgono l'errore di stima $\tilde{x}$ e il guadagno dell'osservatore $L_{\hat{x}}$.
2. Caratterizzazione della Stabilità: Utilizzando la teoria di Lyapunov, il documento deriva condizioni analitiche per la limitatezza degli errori di inseguimento. Un concetto chiave introdotto è l'Indice di Separazione ($\rho$), definito come il rapporto tra il tasso di dissipazione nominale ($\lambda$) e la forza di accoppiamento della stima ($\mu$).
   • Se $\rho \gg 1$, il sistema esibisce contrazione (stabilità).
   • Se $\rho \approx 1$, il sistema raggiunge un equilibrio (oscillazione limitata).
   • Se $\rho \ll 1$, il sistema sperimenta espansione (instabilità).
     L'analisi stabilisce che l'errore di inseguimento è confinato entro un "Tubo di Errore Invariante" delimitato dal pavimento dell'errore di stima (confine interno) e da un soffitto dissipativo (confine esterno).
3. Controllo Consapevole della Stima (Estimation-Aware - EA): Per mitigare il cedimento della CE, gli autori propongono un paradigma di controllo Estimation-Aware (EA). Questo approccio incorpora esplicitamente un descrittore misurabile dell'incertezza di stima, $\eta(t)$ (ad esempio, la norma dell'errore di stima o il determinante della matrice di covarianza), nella legge di feedback.
   • La strategia EA aumenta le leggi di controllo standard (come l'Inversione Dinamica Non Lineare Incrementale, INDI) con un termine di compensazione $\Delta(\eta)$.
   • Questo termine agisce come un buffer algoritmico: quando la fiducia nella stima è elevata, il sistema si comporta normalmente; quando l'incertezza aumenta (ad esempio, durante manovre ad alta velocità), il controllore attenua dinamicamente i guadagni o proietta trasversalmente gli stati accoppiati per prevenire l'amplificazione del rumore di stima.

Contributi Chiave
Il documento apporta tre contributi primari:

1. Formulazione Unificata: Formalizza l'accoppiamento intrinseco a ciclo chiuso tra stima e controllo nelle architetture non lineari, derivando limiti di inseguimento analitici che collegano esplicitamente l'accuratezza della stima alla tracciabilità.
2. Caratterizzazione Empirica: Gli autori implementano un protocollo di validazione rigoroso utilizzando simulazioni numeriche ad alta fedeltà di un quadrotore. Ciò fornisce un benchmark quantificabile per i margini di stabilità a ciclo chiuso e le estensioni della larghezza di banda di inseguimento sotto diverse condizioni dinamiche.
3. Architettura Agnostica: Viene presentato un framework modulare, agnostico rispetto al filtro e al controllore. La metodologia è applicabile a sistemi non lineari sotto-attuati e regolari, ed è progettata per essere pienamente riproducibile.

Risultati
Il framework EA proposto è stato valutato su un quadrotore che esegue traiettorie 3D complesse a velocità fino a 57,6 km/h (16 m/s).

• Prestazioni di Inseguimento: Rispetto a un controllore basato su CE, la legge EA ha ridotto significativamente gli errori di inseguimento. Alla velocità massima testata (16 m/s), il controllore EA ha ottenuto un miglioramento del 39,66% nella larghezza di banda di inseguimento e ha ridotto l'errore di inseguimento fino al 40,1%.
• Margini di Stabilità: L'analisi nel dominio della frequenza ha rivelato che la legge EA ha migliorato i margini di stabilità fino al 55,10% (specificamente nel margine di guadagno) e ha aumentato il margine di fase del 32,99% alle alte velocità.
• Comportamento Transitorio: Il controllore EA ha dimostrato uno smorzamento dei transitori superiore, spingendo i poli a ciclo chiuso più profondamente nel semipiano sinistro ($\sigma \approx -2,8$ contro $-2,4$ del baseline), attenuando così i modi oscillatori che tipicamente derivano dall'accoppiamento trasversale alle alte velocità.
• Robustezza: Il framework EA ha mantenuto con successo stabilità e autorità di controllo laddove il controllore baseline si avvicinava alla saturazione e alla divergenza, deccoppiando efficacemente i loop di feedback indotti dalla stima durante manovre aggressive.

Significatività e Rivendicazioni
Il documento sostiene che il cedimento dell'Equivalenza di Certezza non è solo una conseguenza di dinamiche non modellate o rumore, ma è una proprietà fondamentale e intrinseca del controllo non lineare basato su stime. Passando da un obiettivo di convergenza asintotica a una invarianza in avanti entro un tubo di errore, il proposto framework EA offre un'alternativa matematicamente rigorosa ai design classici.

Gli autori affermano che questo approccio consente la continuità dello stato durante compiti agili in tempo reale, anche in presenza di interruzioni dei sensori e della telemetria in ambienti sconosciuti. Il framework è particolarmente significativo per l'autonomia moderna, dove i sistemi devono operare sotto severi vincoli sensoriali e alte pressioni dinamiche. I risultati suggeriscono che, sebbene i guadagni di prestazione siano minimi a basse velocità, l'architettura EA fornisce una resilienza essenziale contro gli accoppiamenti strutturali e la degradazione dell'osservabilità che si verificano all'aumentare delle velocità di volo, garantendo un'operatività robusta laddove i design basati sul principio di separazione tradizionale falliscono.