Bilevel MPC for Linear Systems: A Tractable Reduction and Continuous Connection to Hierarchical MPC

1. Il Problema

L'architettura di controllo gerarchico è ampiamente utilizzata in settori come l'automotive, la gestione energetica e i sistemi spaziali. In queste architetture, un livello superiore (decisionale) seleziona obiettivi o riferimenti, mentre un livello inferiore (controllore) esegue il tracciamento dinamico.
Quando questa struttura viene formalizzata come un problema di ottimizzazione bilevel (dove il vincolo del livello superiore è la soluzione ottima del livello inferiore), si incontra una sfida significativa:

• Le riformulazioni standard basate sulle condizioni KKT (Karush-Kuhn-Tucker) trasformano il problema in un programma matematico con vincoli di complementarità (MPCC).
• Gli MPCC sono intrinsecamente non convessi e potenzialmente non lisci a causa delle condizioni di complementarità. Questo porta a instabilità numerica, non unicità delle soluzioni, discontinuità nella politica di controllo e difficoltà nella verifica formale in tempo reale.
• L'obiettivo del paper è superare queste limitazioni mantenendo i vantaggi dell'architettura gerarchica (separazione dei compiti, riutilizzo di controllori esistenti) senza sacrificare l'ottimalità o la stabilità.

2. Metodologia Proposta

Gli autori propongono un approccio basato su tre pilastri principali:

A. Riduzione Tracciabile (Smooth Single-Level Reduction)

Invece di utilizzare le condizioni KKT complete (che includono la complementarità), gli autori propongono di:

1. Sollevare i vincoli: Portare i vincoli del livello inferiore (MPC di tracciamento) direttamente al livello superiore.
2. Enforzare solo la stazionarietà: Sostituire il problema del livello inferiore con la sua condizione di ottimalità del primo ordine (gradiente nullo), ignorando la complementarità.
3. Condizione di Non Singolarità: Sotto un'ipotesi verificabile di non singolarità della matrice di blocco $\bar{\Gamma}$, questa riformulazione (chiamata $P_2$) è esatta. Essa recupera lo stesso valore ottimo e la stessa traiettoria di ingresso del problema bilevel originale ($P_1$), ma risolvendo un problema di ottimizzazione liscio e convesso (un QP).

B. Equivalenza con MPC Centralizzato

Sotto assunzioni di convessità standard:

• La soluzione del livello inferiore è unica.
• L'architettura bilevel ridotta ($P_2$ + MPC inferiore) è equivalente a un MPC centralizzato ($P_3$) che ottimizza direttamente la traiettoria di ingresso.
• Questo permette di ereditare le proprietà di stabilità in anello chiuso del MPC centralizzato, fornendo garanzie teoriche che mancano spesso nelle implementazioni bilevel tradizionali.

C. Connessione Continua tramite "Move-Blocking"

Gli autori collegano l'MPC bilevel all'MPC gerarchico (HMPC) standard utilizzando la tecnica del move-blocking (blocco dei movimenti):

• L'HMPC standard è interpretato come un caso particolare di bilevel MPC con un singolo blocco di riferimento (costante sull'orizzonte).
• Introducendo una matrice di blocco $M$, è possibile creare una famiglia di problemi che interpongono continuamente tra l'HMPC (bassa complessità, alta degradazione) e il bilevel MPC completo (alta complessità, ottima performance).
• Viene proposto un algoritmo per costruire matrici di blocco a rango basso dai dati dell'HMPC, garantendo prestazioni migliori rispetto all'HMPC standard in regioni operative specifiche.

D. Certificati di Degrado (A Posteriori)

Viene derivato un limite superiore computazionalmente economico per la degradazione delle prestazioni causata dal blocco dei movimenti o dalla semplificazione del problema.

• Questo limite ($\Delta$) si basa sulla distanza tra il gradiente della funzione obiettivo e i vincoli attivi.
• Permette una decisione "stop-or-refine": se il limite è piccolo, non è necessario aumentare la complessità computazionale; se è grande, si può giustificare l'uso di una formulazione più complessa.

3. Contributi Chiave

1. Riduzione Esatta e Liscia: Una riformulazione del problema bilevel che evita la non convessità degli MPCC, garantendo unicità della soluzione e stabilità, a patto che una condizione di non singolarità sia verificata.
2. Equivalenza Teorica: La dimostrazione che, sotto condizioni di convessità, il bilevel MPC ridotto è equivalente al MPC centralizzato, permettendo l'uso di strumenti di analisi esistenti.
3. Framework di Interpolazione: Un ponte teorico e pratico tra HMPC e Bilevel MPC tramite il move-blocking, che permette di bilanciare efficienza computazionale e prestazioni.
4. Certificati di Performance: Strumenti computazionali a basso costo per quantificare a posteriori la perdita di prestazioni dovuta alle semplificazioni, supportando un trade-off principiato tra complessità e performance.

4. Risultati Sperimentali

Il paper presenta una valutazione numerica su un sistema lineare semplice (integratore doppio) e un esempio su un quadrotore (nell'appendice):

• Robustezza: Mentre la formulazione bilevel originale ($P_1$) fallisce spesso o converge a soluzioni subottime a causa della non convessità (sensibilità all'inizializzazione), la riduzione proposta ($P_2$) riproduce affidabilmente la soluzione ottima del MPC centralizzato.
• Confronto Gerarchico: L'HMPC standard ($P_0$) mostra una degradazione significativa rispetto alla soluzione centrale.
• Efficacia del Move-Blocking: I risultati confermano l'ordinamento teorico dei valori ottimi: $V_{centralizzato} \leq V_{bilevel\_bloccato} \leq V_{gerarchico}$.
• Validità dei Certificati: I limiti superiori calcolati ($\Delta$) catturano correttamente la tendenza del degrado delle prestazioni, risultando più stretti (e quindi più utili) quando si usano stime più raffinate.
• Matrici a Rango Basso: L'uso di matrici di blocco costruite tramite l'algoritmo proposto ($M^*$) permette di ottenere prestazioni superiori all'HMPC standard con un costo computazionale contenuto.

5. Significato e Impatto

Questo lavoro è significativo perché:

• Rende il Bilevel MPC Pratico: Trasforma un approccio teorico complesso e spesso instabile (MPCC) in una procedura risolvibile tramite QP standard, adatta al controllo in tempo reale.
• Unifica i Paradigmi: Colma il divario tra l'MPC gerarchico (ampiamente usato ma subottimo) e l'MPC centralizzato (ottimo ma computazionalmente oneroso e difficile da implementare in sistemi modulari).
• Abilita la Verifica Formale: Fornendo soluzioni uniche e condizioni di stabilità ereditate dal caso centralizzato, facilita la verifica di sicurezza e la certificazione di sistemi critici.
• Supporta il Design Systematic: Offre un framework per scegliere consapevolmente il livello di complessità computazionale in base ai requisiti di performance, supportato da certificati matematici.

In sintesi, il paper propone una soluzione elegante per implementare architetture di controllo bilevel in sistemi lineari, garantendo ottimalità, stabilità e tracciabilità computazionale, rendendo tali architetture fattibili per applicazioni industriali reali.