2025-11-14T08:52:10.884823

MAKO: Meta-Adaptive Koopman Operators for Learning-based Model Predictive Control of Parametrically Uncertain Nonlinear Systems

Han, Wong, Law et al.
In this work, we propose a meta-learning-based Koopman modeling and predictive control approach for nonlinear systems with parametric uncertainties. An adaptive deep meta-learning-based modeling approach, called Meta Adaptive Koopman Operator (MAKO), is proposed. Without knowledge of the parametric uncertainty, the proposed MAKO approach can learn a meta-model from a multi-modal dataset and efficiently adapt to new systems with previously unseen parameter settings by using online data. Based on the learned meta Koopman model, a predictive control scheme is developed, and the stability of the closed-loop system is ensured even in the presence of previously unseen parameter settings. Through extensive simulations, our proposed approach demonstrates superior performance in both modeling accuracy and control efficacy as compared to competitive baselines.
academic

MAKO: Operatori di Koopman Meta-Adattivi per il Controllo Predittivo Basato su Apprendimento di Sistemi Nonlineari con Incertezze Parametriche

Informazioni Fondamentali

  • ID Articolo: 2510.09042
  • Titolo: MAKO: Meta-Adaptive Koopman Operators for Learning-based Model Predictive Control of Parametrically Uncertain Nonlinear Systems
  • Autori: Minghao Han, Kiwan Wong, Adrian Wing-Keung Law, Xunyuan Yin
  • Classificazione: eess.SY cs.LG cs.SY
  • Data di Pubblicazione: Ottobre 2025 (preprint arXiv)
  • Link Articolo: https://arxiv.org/abs/2510.09042

Riassunto

Questo articolo propone un metodo di modellazione di Koopman basato su meta-apprendimento e controllo predittivo per affrontare sistemi nonlineari con incertezze parametriche. Viene proposto un metodo di modellazione meta-apprendimento profondo adattivo—Operatori di Koopman Meta-Adattivi (MAKO). Senza conoscenza delle incertezze parametriche, il metodo MAKO può apprendere un meta-modello da insiemi di dati multimodali e adattarsi in modo efficiente online a nuovi sistemi con configurazioni parametriche precedentemente non osservate. Basato sul meta-modello di Koopman appreso, viene sviluppato uno schema di controllo predittivo che garantisce la stabilità del sistema in anello chiuso anche in presenza di configurazioni parametriche precedentemente non osservate.

Contesto di Ricerca e Motivazione

  1. Definizione del Problema: L'incertezza parametrica è comune nei sistemi nonlineari, generalmente causata da variazioni di carico e condizioni operative. Queste incertezze causano degradazione delle prestazioni e instabilità, rappresentando una sfida significativa per la progettazione di sistemi di controllo.
  2. Importanza del Problema: I metodi tradizionali di controllo predittivo adattivo (AMPC) hanno risultati limitati su sistemi nonlineari, richiedono tipicamente modelli da principi primi come base per la progettazione del sistema di controllo, e teoricamente assumono dipendenza lineare dai parametri incerti, limitando l'applicabilità a processi nonlineari generali.
  3. Limitazioni dei Metodi Esistenti:
    • I metodi attuali degli operatori di Koopman si concentrano principalmente su compiti di controllo specifici con parametri di modello fissi
    • L'adattamento online basato su reti neurali profonde è inefficiente e computazionalmente intensivo
    • I metodi di meta-apprendimento per rinforzo difficilmente forniscono garanzie di stabilità e prestazioni in anello chiuso
  4. Motivazione della Ricerca: Combinare meta-apprendimento e teoria degli operatori di Koopman per creare un framework di controllo adattivo basato su apprendimento per sistemi nonlineari con incertezze parametriche.

Contributi Principali

  1. Prima Integrazione: Prima integrazione di meta-apprendimento e teoria degli operatori di Koopman, stabilendo un framework di MPC adattivo basato su apprendimento applicabile a sistemi nonlineari con incertezze parametriche di classe generale
  2. Garanzie Teoriche: Dimostrazione rigorosa della convergenza dell'adattamento online del modello e del sistema in anello chiuso
  3. Verifica delle Prestazioni: Su tre sistemi di riferimento di domini diversi, MAKO dimostra accuratezza di modellazione e prestazioni di controllo di tracciamento robusto superiori ai metodi di base competitivi in presenza di incertezze parametriche

Spiegazione Dettagliata del Metodo

Definizione del Compito

Considerare un sistema nonlineare con incertezze parametriche: xk+1=f(xk,uk,Θ),Θ∼p(Θ)x_{k+1} = f(x_k, u_k, \Theta), \quad \Theta \sim p(\Theta)

dove:

  • xk∈X⊂Rnx_k \in X \subset \mathbb{R}^n: stato del sistema
  • uk∈U⊂Rmu_k \in U \subset \mathbb{R}^m: ingresso di controllo
  • Θ∈Ξ⊂Rl\Theta \in \Xi \subset \mathbb{R}^l: parametri del sistema, distribuiti secondo la distribuzione sconosciuta p(Θ)p(\Theta)

Architettura del Modello

1. Rete Neurale Meta-Addestrata (MNN)

La MNN è responsabile della parametrizzazione della funzione osservabile, condivisa tra diverse configurazioni di compiti: gki=ψθ(xki),xki∈Dig_k^i = \psi_\theta(x_k^i), \quad x_k^i \in D_i

dove ψθ(⋅)\psi_\theta(\cdot) è una rete neurale multistrato e θ\theta sono i parametri addestrabili.

2. Operatore di Koopman

Nello spazio osservabile codificato, viene appreso un insieme di operatori di Koopman Ai,Bi,CiA_i, B_i, C_i per ogni configurazione di compito Θi\Theta_i: gk+1∣ki=Aigk∣ki+Biukig_{k+1|k}^i = A_i g_{k|k}^i + B_i u_k^ix^k+1∣ki=Cigk+1∣ki\hat{x}_{k+1|k}^i = C_i g_{k+1|k}^i

3. Ottimizzazione Meta-Apprendimento

Il problema di ottimizzazione è formulato come: min⁡θ,{Ai,Bi,Ci}1NTH∑i=1N∑k=1T∑t=1H∥xk+ti−Cigk+t∣ki∥22\min_{\theta,\{A_i,B_i,C_i\}} \frac{1}{NTH} \sum_{i=1}^N \sum_{k=1}^T \sum_{t=1}^H \|x_{k+t}^i - C_i g_{k+t|k}^i\|_2^2

Soggetto ai vincoli:

  • gk+t∣ki=Aigk+t−1∣ki+Biuk+t−1ig_{k+t|k}^i = A_i g_{k+t-1|k}^i + B_i u_{k+t-1}^i
  • gk∣ki=ψθ(xki)g_{k|k}^i = \psi_\theta(x_k^i)

Meccanismo di Adattamento Online

1. Adattamento Nominale

Inizializzazione: A^0,B^0,C^0={1N∑Ai,1N∑Bi,1N∑Ci}\hat{A}_0, \hat{B}_0, \hat{C}_0 = \{\frac{1}{N}\sum A_i, \frac{1}{N}\sum B_i, \frac{1}{N}\sum C_i\}

Calcolo del gradiente: ∇Ψ^Jk=−Xkg~k+1T\nabla_{\hat{\Psi}} J_k = -X_k \tilde{g}_{k+1}^T∇C^Jk=−gk+1x~k+1T\nabla_{\hat{C}} J_k = -g_{k+1} \tilde{x}_{k+1}^T

Legge di aggiornamento: Ψ^k+1=Ψ^k+λkg~k+1XkT\hat{\Psi}_{k+1} = \hat{\Psi}_k + \lambda_k \tilde{g}_{k+1} X_k^TC^k+1=C^k+λkx~k+1gk+1T\hat{C}_{k+1} = \hat{C}_k + \lambda_k \tilde{x}_{k+1} g_{k+1}^T

dove il tasso di apprendimento adattivo: λk=min⁡(2−αXkTXk,2−αgk+1Tgk+1)\lambda_k = \min\left(\frac{2-\alpha}{X_k^T X_k}, \frac{2-\alpha}{g_{k+1}^T g_{k+1}}\right)

2. Adattamento Robusto

Considerando il caso di errore di modellazione, viene introdotto il rumore ideale: wk∗,vk∗=min⁡wk∈W,vk∈VJˉ(Ψ^k,C^k,wk,vk)w_k^*, v_k^* = \min_{w_k \in W, v_k \in V} \bar{J}(\hat{\Psi}_k, \hat{C}_k, w_k, v_k)

Legge di aggiornamento robusto: Ψ^k+1=Ψ^k+λk(g~k+1−wk∗)XkT\hat{\Psi}_{k+1} = \hat{\Psi}_k + \lambda_k(\tilde{g}_{k+1} - w_k^*) X_k^TC^k+1=C^k+λk(x~k+1−vk∗)gk+1T\hat{C}_{k+1} = \hat{C}_k + \lambda_k(\tilde{x}_{k+1} - v_k^*) g_{k+1}^T

Punti di Innovazione Tecnica

  1. Apprendimento di Rappresentazione Condivisa: Apprendimento tramite MNN di rappresentazioni osservabili condivise tra compiti
  2. Dinamica Specifica del Compito: Apprendimento di operatori di Koopman specifici per ogni compito
  3. Tasso di Apprendimento Adattivo: Regolazione dinamica del tasso di apprendimento basata sulle caratteristiche dei dati
  4. Garanzie Teoriche: Analisi teorica rigorosa della convergenza e della stabilità

Configurazione Sperimentale

Insiemi di Dati

Gli esperimenti vengono condotti su tre sistemi di riferimento:

  1. Sistema Cart-pole:
    • Stato: [x,x˙,θ,θ˙]T[x, \dot{x}, \theta, \dot{\theta}]^T
    • Parametri incerti: lunghezza dell'asta lp∈[0.1m,1.0m]l_p \in [0.1m, 1.0m], massa dell'asta mp∈[0.01kg,0.2kg]m_p \in [0.01kg, 0.2kg]
    • Ingresso di controllo: u∈[−20,20]u \in [-20, 20]
  2. Rete di Regolazione Genica (GRN):
    • Stato: [m1,m2,m3,p1,p2,p3]T[m_1, m_2, m_3, p_1, p_2, p_3]^T (concentrazioni di mRNA e proteine)
    • Parametri incerti: costante di dissociazione K∈[2,8]K \in [2, 8], scalare di ingresso b1∈[3,7]b_1 \in [3, 7]
  3. Processo Chimico Reattore-Separatore:
    • Stato: 9-dimensionale (frazioni di massa e temperatura)
    • Parametri incerti: temperatura di alimentazione T10,T20∈[150K,450K]T_{10}, T_{20} \in [150K, 450K]

Metriche di Valutazione

  • Errore di previsione cumulativo (previsione a 16 passi)
  • Norma L2 dell'errore di tracciamento
  • Costo cumulativo delle prestazioni di controllo

Metodi di Confronto

  • DeSKO (Deep Stochastic Koopman Operator): linea di base competitiva addestrata su configurazioni parametriche nominali

Dettagli di Implementazione

  • Dimensione osservabile: 128-256
  • Lunghezza della traiettoria: 250-500
  • Dimensione del batch: 128
  • Tasso di apprendimento: 10−410^{-4}
  • Orizzonte di previsione: 16 passi
  • Struttura di rete: (128,128), funzione di attivazione ReLU

Risultati Sperimentali

Risultati Principali

Prestazioni di Modellazione

  • MAKO dimostra buone prestazioni di modellazione su tutti e tre i sistemi
  • L'errore medio di previsione a 16 passi è inferiore a 10−210^{-2}
  • Superiore a DeSKO su Cartpole e sistemi di processo chimico
  • Leggermente inferiore a DeSKO sul sistema GRN, ma mantiene comunque buone prestazioni

Prestazioni di Controllo

  1. Sistema Cartpole: MAKO realizza controllo stabile con costo cumulativo inferiore a DeSKO
  2. Sistema GRN: DeSKO realizza tracciamento accurato solo su 3 configurazioni parametriche, MAKO mostra prestazioni più stabili
  3. Processo Chimico: DeSKO non riesce a stabilizzare l'errore di tracciamento su nessuna configurazione parametrica, MAKO raggiunge con successo l'obiettivo di controllo

Efficienza Computazionale

  • Il framework MAKO-robust impiega un tempo di calcolo medio di 0.0203 secondi per passo temporale sul sistema Cartpole
  • Adatto per applicazioni di controllo in tempo reale

Esperimenti di Ablazione

Confronto tra adattamento nominale (MAKO) e adattamento robusto (MAKO-robust):

  • MAKO-robust dimostra comportamento transitorio più veloce e stabile
  • Raggiunge errore di tracciamento a regime stazionario equivalente o inferiore

Scoperte Sperimentali

  1. Capacità di Generalizzazione: MAKO può adattarsi a configurazioni parametriche non incontrate durante l'addestramento
  2. Robustezza: Mantiene buone prestazioni in presenza di incertezze parametriche
  3. Adattabilità: Adattamento rapido a nuovi compiti tramite dati online

Lavori Correlati

Principali Direzioni di Ricerca

  1. Controllo Predittivo Adattivo: I metodi AMPC tradizionali hanno risultati limitati su sistemi nonlineari
  2. Teoria degli Operatori di Koopman: Recentemente ha ricevuto attenzione per la rappresentazione lineare di processi nonlineari complessi
  3. Applicazioni di Meta-Apprendimento nel Controllo: Sviluppo di metodi MAML, meta-apprendimento per rinforzo, ecc.

Vantaggi di Questo Articolo

  1. Prima combinazione di meta-apprendimento e operatori di Koopman
  2. Fornisce garanzie teoriche di convergenza
  3. Applicabile a sistemi nonlineari di classe generale
  4. Efficienza computazionale superiore all'adattamento online basato su reti neurali profonde

Analisi Teorica

Teoremi di Convergenza

Teorema 1 (Adattamento Nominale): Sotto le Assunzioni 1-3, utilizzando le leggi di aggiornamento adattivo (9) e (10), gli errori di approssimazione parametrica Ψ~k\tilde{\Psi}_k e C~k\tilde{C}_k sono definitivamente limitati, e l'errore dello stato predetto x~\tilde{x} converge asintoticamente a zero.

Teorema 2 (Adattamento Robusto): Sotto le Assunzioni 1 e 2, utilizzando le leggi di aggiornamento (10), (15) e (16), gli errori di approssimazione parametrica Ψ~k\tilde{\Psi}_k, C~k\tilde{C}_k sono definitivamente limitati, e lim⁡k→∞∥x~k∥≤ϵv\lim_{k\to\infty} \|\tilde{x}_k\| \leq \epsilon_v.

Teoremi di Stabilità

Teorema 3: Considerando il sistema nonlineare (1) con leggi di aggiornamento adattivo (9) e (10) e controllore MPC (19), sotto le Assunzioni 1-3, l'errore di tracciamento del sistema in anello chiuso è asintoticamente stabile.

Conclusioni e Discussione

Conclusioni Principali

  1. Integrazione riuscita di meta-apprendimento e teoria degli operatori di Koopman, creando un framework di controllo adattivo applicabile a sistemi nonlineari con incertezze parametriche
  2. Fornisce garanzie teoriche rigorose di convergenza e stabilità
  3. Verifica dell'efficacia e della superiorità del metodo su più sistemi di riferimento

Limitazioni

  1. Assunzioni Teoriche: L'Assunzione 3 richiede l'esistenza di sottospazi invarianti a dimensione finita, difficili da garantire per sistemi nonlineari generali
  2. Limiti di Prestazione: Manca un'analisi rigorosa dei limiti di generalizzazione e prestazione del meta-modello di Koopman addestrato
  3. Applicazione Pratica: Verificato solo in simulazione, manca la verifica su sistemi reali

Direzioni Future

  1. Applicazione del metodo a sistemi reali con incertezze parametriche
  2. Analisi formale dei requisiti di eccitazione persistente (PE)
  3. Studio sistematico della relazione tra lunghezza della traiettoria e qualità del meta-apprendimento dell'operatore di Koopman
  4. Estensione a sistemi ad alta dimensionalità

Valutazione Approfondita

Punti di Forza

  1. Forte Innovatività: Prima combinazione di meta-apprendimento e operatori di Koopman, fornendo nuove prospettive per il controllo di sistemi con incertezze parametriche
  2. Completezza Teorica: Fornisce analisi completa di convergenza e stabilità
  3. Valutazione Sperimentale Completa: Valutazione complessiva su tre sistemi di riferimento di domini diversi
  4. Valore Pratico: Alta efficienza computazionale, adatta per applicazioni di controllo in tempo reale

Insufficienze

  1. Limitazioni delle Assunzioni: L'analisi teorica dipende da condizioni di assunzione relativamente forti, che i sistemi reali potrebbero non soddisfare
  2. Linee di Base Limitate: Confronto solo con DeSKO, manca il confronto con altri metodi avanzati
  3. Mancanza di Verifica Pratica: Non verificato su sistemi reali
  4. Scalabilità ad Alta Dimensionalità: L'applicabilità a sistemi ad alta dimensionalità richiede ulteriore ricerca

Impatto

  1. Contributo Accademico: Fornisce un nuovo framework teorico e metodo per la teoria del controllo basato su apprendimento
  2. Prospettive di Applicazione: Ampie prospettive di applicazione in robotica, controllo di processi chimici e altri campi
  3. Riproducibilità: Gli autori forniscono link al codice, facilitando la riproduzione dei risultati

Scenari Applicabili

  1. Sistemi Nonlineari con Incertezze Parametriche: Come sistemi robotici, processi chimici, sistemi biologici
  2. Compiti di Controllo che Richiedono Adattamento Rapido: Scenari di variazione di carico, variazione ambientale, ecc.
  3. Applicazioni di Controllo in Tempo Reale: Situazioni con elevati requisiti di efficienza computazionale

Bibliografia

L'articolo cita 41 lavori correlati, coprendo importanti contributi in più domini inclusi controllo adattivo, teoria degli operatori di Koopman, meta-apprendimento, controllo predittivo del modello, fornendo una solida base teorica per la ricerca.

Valutazione Complessiva: Questo è un articolo accademico di alta qualità che eccelle in innovazione teorica, progettazione metodologica e verifica sperimentale. La combinazione di meta-apprendimento e teoria degli operatori di Koopman fornisce una nuova prospettiva di soluzione per il problema del controllo di sistemi nonlineari con incertezze parametriche, possedendo importante valore accademico e potenziale di applicazione. Sebbene esistano alcune limitazioni nelle assunzioni teoriche e insufficienze nella verifica pratica, nel complesso è un lavoro di ricerca degno di attenzione.