Sull'equivalenza degli approcci basati su modello e guidati dai dati nella progettazione di osservatori con ingressi sconosciuti

Informazioni Fondamentali

• ID Articolo: 2311.00673
• Titolo: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers
• Autori: Giorgia Disarò, Maria Elena Valcher (Università di Padova, Italia)
• Classificazione: math.DS (Sistemi Dinamici)
• Data di Pubblicazione: Novembre 2023 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2311.00673

Riassunto

Il presente articolo esamina i metodi guidati dai dati per la progettazione di osservatori con ingressi sconosciuti (UIO). Nello specifico, gli autori forniscono condizioni necessarie e sufficienti per l'esistenza di osservatori con ingressi sconosciuti per sistemi lineari tempo-invarianti (LTI) discreti, basate su dati acquisiti in finestre temporali finite. Viene inoltre dimostrato che, sotto deboli ipotesi sui dati raccolti, le condizioni risolvibili derivate dal metodo guidato dai dati risultano effettivamente equivalenti alle condizioni ottenute dal metodo basato su modello. In altre parole, le condizioni guidate dai dati non impongono vincoli aggiuntivi rispetto alle condizioni classiche basate su modello espresse mediante le matrici del sistema originario.

Contesto di Ricerca e Motivazione

1. Descrizione del Problema: In numerose applicazioni di ingegneria del controllo, la conoscenza dello stato interno del sistema è essenziale per risolvere problemi fondamentali quali la stabilizzazione mediante retroazione dello stato e il rilevamento di guasti. Tuttavia, lo stato del sistema generalmente non è direttamente accessibile, rendendo necessaria la progettazione di osservatori appropriati per stimare il vettore di stato.
2. Sfide: La dinamica dei sistemi reali è frequentemente soggetta a disturbi, errori di misurazione o altri segnali sconosciuti che non possono essere utilizzati per identificare l'evoluzione dello stato. I metodi tradizionali di progettazione degli osservatori presuppongono che il modello del sistema sia noto, ma in alcuni casi l'identificazione univoca del sistema non è possibile utilizzando esclusivamente i dati disponibili.
3. Limitazioni dei Metodi Esistenti:
   • I metodi basati su modello richiedono la conoscenza delle matrici del sistema
   • I metodi guidati dai dati esistenti (come 18) forniscono solo condizioni sufficienti; quando il sistema ottenuto non è asintoticamente stabile, rimane incerto se sia possibile progettare un UIO
4. Motivazione della Ricerca: Sviluppare tecniche guidate dai dati per affrontare problemi di ingegneria del controllo sfruttando la grande quantità di dati disponibili, in particolare per problemi di stima dello stato quando non è possibile ottenere un modello di sistema preciso.

Contributi Fondamentali

1. Fornitura di Condizioni Necessarie e Sufficienti: Fornisce condizioni verificabili necessarie e sufficienti per validare l'esistenza di UIO basate su dati
2. Parametrizzazione Completa: Fornisce una rappresentazione parametrica completa di tutti i candidati UIO
3. Dimostrazione di Equivalenza: Dimostra che, sotto specifiche ipotesi sui dati, le condizioni risolvibili del metodo guidato dai dati sono completamente equivalenti alle condizioni del metodo basato su modello
4. Avanzamento Teorico: Stabilisce una corrispondenza biunivoca tra i metodi guidati dai dati e i metodi basati su modello

Dettagli Metodologici

Definizione del Compito

Si consideri il sistema LTI discreto Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

dove:

• x(t) ∈ ℝⁿ: vettore di stato
• u(t) ∈ ℝᵐ: ingresso di controllo noto
• y(t) ∈ ℝᵖ: vettore di uscita
• d(t) ∈ ℝʳ: ingresso sconosciuto (ad esempio, disturbi)

Definizione di UIO: Sistema LTI Σ̂ della forma:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)  (3)
x̂(t) = z(t) + D_UIO y(t)                           (4)

tale che l'errore di stima e(t) = x(t) - x̂(t) converga asintoticamente a zero, indipendentemente dalle condizioni iniziali e dalla dinamica dell'ingresso sconosciuto.

Metodo Basato su Modello

Condizioni Necessarie e Sufficienti (Teorema 2): Un UIO esiste se e solo se vale una delle seguenti condizioni:

1. Esistono matrici (A_UIO, B^u_UIO, B^y_UIO, D_UIO) che soddisfano:
   • A_UIO è stabile secondo Schur
   • D_UIO CE = E
   • B^u_UIO = (I - D_UIO C)B
   • A_UIO(I - D_UIO C) + B^y_UIO C = (I - D_UIO C)A
2. Condizioni matriciali:
   • rank(CE) = rank(E) = r
   • rankzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
3. La terna (A,E,C) è fortemente *rilevabile

Metodo Guidato dai Dati

Organizzazione dei Dati: I dati storici sono organizzati in forma matriciale:

• Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
• Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
• Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

Ipotesi Fondamentale: La matrice Uₚᵀ Dₚᵀ Xₚᵀᵀ possiede rango di riga completo m+r+n.

Risultato Principale (Teorema 9): Le seguenti condizioni sono equivalenti:

1. Esiste un UIO della forma (3)-(4) tale che T_Σ ⊆ T_Σ̂
2. Esistono matrici T₁,T₂,T₃,T₄ tali che Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ e T₄ è stabile secondo Schur
3. Condizioni sui dati: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) e rankzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
4. La terna (A,E,C) è fortemente *rilevabile

Innovazioni Tecniche

1. Stabilimento dell'Equivalenza: Prima dimostrazione rigorosa dell'equivalenza completa tra le condizioni guidate dai dati e le condizioni basate su modello
2. Corrispondenza Biunivoca: Stabilisce una relazione biunivoca tra le matrici parametriche dell'UIO e i parametri guidati dai dati (Corollario 10)
3. Algoritmo Pratico: Fornisce un metodo di calcolo semplificato, trasformando il problema in una forma più gestibile

Configurazione Sperimentale

Esempio Numerico

Utilizza l'esempio della letteratura 4:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]  
E = [-1; 0; 0]

Parametri Sperimentali

• Finestra temporale: T = 20
• Ingresso sconosciuto: generato uniformemente a caso nell'intervallo (-2,2)
• Condizioni iniziali: scelte casualmente
• Disturbi: generati casualmente nell'intervallo (-10,10)

Metodi di Confronto

Confronto con il metodo proposto nella letteratura 18

Risultati Sperimentali

Risultati Principali

1. Validazione del Modello: Verifica delle condizioni rank(CE) = rank(E) = r e della forte *rilevabilità
2. Progettazione Guidata dai Dati: Ricostruzione riuscita della matrice C dai dati e verifica delle condizioni del Teorema 9
3. Confronto delle Prestazioni:
   • La matrice A_UIO ottenuta dal metodo proposto è nilpotente
   • Il metodo della letteratura 18 produce autovalori {0, 0, -0.2}
   • Entrambi i metodi funzionano, ma il metodo proposto consente la selezione della velocità di convergenza

Analisi dei Casi

La Figura 1 mostra la dinamica dell'errore di stima dello stato:

• Linea continua (nera): metodo di progettazione proposto
• Linea tratteggiata (rossa): metodo della letteratura 18
• Entrambi i metodi realizzano la convergenza asintotica, ma il metodo proposto fornisce maggiore libertà di progettazione

Risultati Sperimentali

1. Le condizioni guidate dai dati identificano correttamente l'esistenza dell'UIO
2. La parametrizzazione completa consente la selezione delle caratteristiche di convergenza desiderate
3. Quando i dati soddisfano le ipotesi, il metodo guidato dai dati non introduce vincoli aggiuntivi

Lavori Correlati

Progettazione di UIO Basata su Modello

• Teoria dell'osservatore di Luenberger 12,13
• Metodi di disaccoppiamento degli ingressi sconosciuti 9,11,21
• Metodi geometrici 2 e metodi di inversa generalizzata 15
• Tecniche di decomposizione ai valori singolari 6

Metodi Guidati dai Dati

• Metodo in due fasi: identificazione del sistema seguita da progettazione dell'osservatore
• Metodo in una fase: utilizzo diretto dei dati evitando la fase di identificazione 18
• Simulazione e controllo guidati dai dati 14

Posizionamento del Contributo

Rispetto ai lavori esistenti, il presente articolo stabilisce per la prima volta l'equivalenza teorica tra i due metodi e fornisce una soluzione di parametrizzazione completa.

Conclusioni e Discussione

Conclusioni Principali

1. Sotto deboli ipotesi sui dati, le condizioni di progettazione dell'UIO guidate dai dati sono completamente equivalenti alle condizioni basate su modello
2. Il metodo guidato dai dati non introduce vincoli aggiuntivi
3. Fornisce una parametrizzazione completa di tutti i possibili UIO
4. Stabilisce un ponte teorico che unifica i due paradigmi di progettazione

Limitazioni

1. Richiede dati di misurazioni dello stato storico (fattibile in ambienti di laboratorio)
2. Richiede che la dimensione dell'ingresso sconosciuto sia nota
3. Dipende dall'ipotesi di rango di riga completo dei dati
4. Applicabile solo a sistemi lineari tempo-invarianti

Direzioni Future

1. Estensione a sistemi non lineari
2. Considerazione di sistemi tempo-varianti
3. Studio della robustezza ai dati rumorosi
4. Sviluppo di implementazioni algoritmiche per applicazioni pratiche

Valutazione Approfondita

Punti di Forza

1. Contributo Teorico Rilevante: Prima dimostrazione rigorosa dell'equivalenza tra i metodi guidati dai dati e quelli basati su modello
2. Rigore Matematico: Fornisce condizioni necessarie e sufficienti complete con dimostrazioni matematiche rigorose
3. Valore Pratico: Fornisce condizioni sui dati verificabili e algoritmi pratici
4. Completezza: Fornisce parametrizzazione di tutti gli UIO, non solo una soluzione singola
5. Chiarezza Espositiva: Struttura logica chiara con dettagli tecnici sufficienti

Limitazioni

1. Restrizioni nelle Ipotesi: L'ipotesi di disponibilità di dati di misurazioni dello stato è piuttosto ristrittiva nella pratica
2. Limitazione alla Linearità: Applicabile solo a sistemi lineari, limitando l'ambito di applicazione
3. Validazione Numerica Limitata: Fornisce solo un esempio numerico
4. Assenza di Analisi di Robustezza: Non considera il rumore nei dati e gli errori di modellazione

Impatto

1. Significato Teorico: Fornisce una base teorica importante per la teoria del controllo guidata dai dati
2. Valore Pratico: Fornisce un metodo di progettazione fattibile per applicazioni ingegneristiche
3. Ispirazione per la Ricerca: Suggerisce nuove prospettive di ricerca per altri problemi di progettazione di osservatori
4. Riproducibilità: Fornisce passaggi algoritmici chiari, facilitando la riproduzione

Scenari di Applicazione

1. Scenari in cui il modello del sistema è sconosciuto ma sono disponibili dati dello stato storico
2. Problemi di stima dello stato che richiedono la gestione di disturbi sconosciuti
3. Progettazione di osservatori per sistemi di controllo lineari discreti
4. Applicazioni di rilevamento e diagnosi di guasti

Bibliografia

L'articolo cita 24 riferimenti correlati, coprendo lavori importanti nei campi della teoria degli osservatori, del controllo guidato dai dati e dell'identificazione dei sistemi, fornendo una base teorica solida per la ricerca.

Valutazione Complessiva: Questo è un articolo teorico di alta qualità che fornisce contributi significativi nel campo della progettazione di osservatori guidata dai dati. Sebbene presenti alcune limitazioni nelle applicazioni pratiche, il suo valore teorico e il suo impatto sullo sviluppo del settore meritano riconoscimento.