Sintesi Tecnica: Linearizzazione per Feedback con Vincoli di Stato

Formulazione del Problema

La Linearizzazione per Feedback (FBL) è una tecnica matura per trasformare sistemi di controllo non lineari affini all'ingresso in sistemi lineari, consentendo l'uso di metodi di progettazione lineare come il posizionamento dei poli (pole placement). Tuttavia, un limite significativo emerge quando si trattano i vincoli di stato. Sebbene la FBL linearizzi con successo la dinamica del sistema, spesso trasforma semplici vincoli di stato nel sistema non lineare originale in vincoli non lineari complessi nel dominio linearizzato. Questa trasformazione diminuisce il vantaggio principale della FBL, poiché il controllo del sistema lineare risultante sotto questi vincoli complessi diventa difficile quanto il controllo del sistema non lineare originale.

Gli approcci esistenti a questo problema si affidano tipicamente a metodi basati sull'ottimizzazione (ad esempio, il Controllo Predittivo del Modello - MPC) o alle Disuguaglianze Matrici Lineari (LMI), che impongono carichi computazionali significativi non adatti ad applicazioni online. Altri metodi sono spesso limitati a semplici vincoli "a scatola" (box constraints). Il documento affronta la sfida di progettare un controllore FBL che garantisca la soddisfazione dei vincoli di stato senza richiedere l'ottimizzazione online, applicabile a vincoli generici tempo-varianti.

Metodologia

La metodologia proposta segue un flusso di lavoro in tre fasi: Augmentazione dello Stato, Modifica del Controllo Integrale e Implementazione FBL con Commutazione (Switching).

1. Augmentazione dello Stato e Cattura del Vincolo

Il nucleo dell'approccio consiste nell'augmentare la dinamica del sistema per incapsulare i vincoli di stato prima di applicare la FBL.

• Variabili di Slack: Viene introdotta una variabile di slack tempo-variante $Z(t)$ tale che il vincolo $\phi(t, x(t)) \leq 0$ sia soddisfatto se $Z(t) \geq 0$. Nello specifico, il vincolo viene riscritto come $\phi(t, x(t)) + \frac{1}{2}z^2(t) = 0$.
• Derivazione Analitica: Il documento deriva un'espressione analitica per le derivate temporali di questa equazione aumentata. Prendendo le derivate fino a quando l'ingresso del sistema appare esplicitamente (determinato dal grado relativo), l'ingresso originale $u$ è espresso come funzione delle derivate della variabile di slack (trattata come un pseudo-ingresso $w$).
• Augmentazione Sequenziale: Per sistemi in cui il numero di vincoli supera il numero di ingressi (MIMO con $r > m$), viene impiegata una strategia di augmentazione sequenziale. I vincoli vengono catturati un sottoinsieme alla volta, espandendo iterativamente lo spazio degli stati.
• Garanzia Teorica: Il Teorema 1 stabilisce che per qualsiasi pseudo-ingresso $w$ integrabile, la traiettoria risultante del sistema originale soddisfa i vincoli di stato. Ciò accade perché, man mano che il sistema si avvicina al confine del vincolo ($z \to 0$), l'autorità di attuazione sul vincolo svanisce, impedendo la violazione.

2. Struttura del Controllore Integrale

Per garantire che lo pseudo-ingresso $w$ sia integrabile (un requisito per il Teorema 1) e per gestire gli errori a regime stazionario, il sistema aumentato è ulteriormente modificato con una struttura di controllo integrale.

• Viene aggiunto uno stato integratore $\xi$, dove $\dot{\xi} = \tilde{w}$ (un nuovo ingresso virtuale).
• Lo pseudo-ingresso è definito come una funzione limitata dello stato integrale, $w = s_\beta(\xi)$, dove $s_\beta$ è una funzione di tipo saturazione.
• Questa modifica assicura che l'ingresso al sistema aumentato rimanga limitato e integrabile, preservando le garanzie di soddisfazione dei vincoli.

3. Gestione dei Gradi Relativi Ill-Definiti e Commutazione (Switching)

Una sfida critica identificata è che il sistema aumentato presenta un grado relativo ill-definito ai confini dei vincoli di stato (dove le variabili di slack diventano nulle). Questa singolarità impedisce l'applicazione diretta della FBL standard, che richiede una matrice di disaccoppiamento invertibile.

• Grado Relativo Numerico $\epsilon$ ($\epsilon$-NRD): Per affrontare questo problema, il documento introduce il concetto di $\epsilon$-NRD. Invece di fare affidamento su derivate di Lie esatte zero/non-zero, il metodo utilizza una soglia $\epsilon$ per determinare il grado relativo in base alla significatività numerica dei coefficienti delle derivate di Lie.
• Strategia di Commutazione: Il controllore è sintetizzato sulla base del locale $\epsilon$-NRD. Man mano che la traiettoria del sistema evolve e attraversa regioni in cui l' $\epsilon$-NRD cambia (tipicamente vicino ai confini dei vincoli), il controllore commuta verso una nuova legge FBL sintetizzata per l'attuale grado relativo locale.
• Back-Substitution (Sostituzione all'indietro): Per garantire l'implementazione pratica, gli stati aumentati (variabili di slack) sono eliminati algebricamente dall'espressione finale del controllore utilizzando le relazioni derivate. Il controllore finale dipende solo dagli stati originali del sistema e dagli stati integrali.

Contributi Chiave

1. Gestione Scalabile dei Vincoli: Il documento estende il lavoro precedente sull'augmentazione di stato ai casi in cui la dimensione del vincolo supera la dimensione dell'ingresso. Fornisce un nuovo metodo di augmentazione sequenziale e deriva la prima espressione analitica per la trasformazione dei vincoli in dinamiche di sistema (Lemma 1).
2. Principi Fondamentali di Progettazione (Teorema 1): Gli autori stabiliscono che l'integrabilità e l'invertibilità dei controllori virtuali sono la chiave per certificare la soddisfazione dei vincoli. Dimostrano che il metodo di augmentazione proposto garantisce la soddisfazione dei vincoli per qualsiasi ingresso integrabile.
3. Risoluzione dei Gradi Relativi Ill-Definiti: Il documento prova teoricamente che l'augmentazione porta a gradi relativi ill-definiti ai confini dei vincoli (Proposizione 1). Supera questo problema integrando una strategia di controllore a commutazione basata su $\epsilon$-NRD, permettendo l'applicazione della FBL anche quando il grado relativo cambia dinamicamente.
4. Workflow di Implementazione Pratica: A differenza di precedenti risultati teorici, il documento fornisce un metodo di implementazione a forma chiusa definitiva (Algoritmo 1 e 2) che colma il divario tra teoria e pratica. Dettaglia come rimuovere le dipendenze dagli stati aumentati tramite back-substitution, consentendo l'esecuzione del controllore sul sistema originale con gli stati integrali.

Risultati

Il documento valida la metodologia attraverso esperimenti numerici su sistemi Single-Input Single-Output (SISO):

• Esempio 1: Un sistema con un vincolo quadratico tempo-variante. Gli autori hanno derivato manualmente il controllore, dimostrando che il metodo proposto stabilizza il sistema verso l'origine soddisfacendo rigorosamente il vincolo. Al contrario, un controllore FBL classico (senza augmentazione) ha violato il vincolo. L'esperimento ha inoltre evidenziato l'effetto del posizionamento dei poli sulla velocità di convergenza e la necessità della commutazione del controllore vicino al confine.
• Esempio 2: Un sistema caotico di tipo Lorenz con molteplici vincoli e un riferimento tempo-variante. Il controllore FBL con commutazione proposto ha tracciato con successo il riferimento rimanendo all'interno della regione ammissibile. Il controllore FBL classico, ignorando i vincoli, ha mostrato un overshoot significativo e ha violato i vincoli di stato.

Significato e Rivendicazioni

Il documento sostiene di offrire un metodo FBL generale e privo di ottimizzazione capace di gestire i vincoli di stato. Il suo significato primario risiede nel:

• Evitare l'Ottimizzazione Online: A differenza dell'MPC, il controllore proposto è sintetizzato offline (o tramite semplice logica di commutazione) e non richiede la risoluzione di problemi di programmazione non lineare online, rendendolo adatto ad applicazioni in tempo reale.
• Gestire Vincoli Generici: Il metodo non è limitato a semplici vincoli a scatola, ma può accomodare vincoli di stato generici e tempo-varianti.
• Robustezza alle Singolarità: Utilizzando l' $\epsilon$-NRD e la logica di commutazione, il metodo affronta il problema fondamentale dei gradi relativi ill-definiti ai confini dei vincoli, un limite noto nell'applicazione della FBL ai sistemi vincolati.

Gli autori osservano che, sebbene la teoria di base dell'augmentazione si applichi ai sistemi MIMO, l'implementazione pratica che coinvolge la logica di commutazione è attualmente limitata ai sistemi SISO a causa della trattabilità delle condizioni di commutazione. Il lavoro futuro è identificato nell'estensione di questo framework di commutazione ai sistemi MIMO.