Comportamenti, traiettorie e dati: Una prospettiva innovativa sulla progettazione di osservatori a ingresso sconosciuto

Informazioni Fondamentali

• ID Articolo: 2407.18833
• Titolo: Behaviors, trajectories and data: A novel perspective on the design of unknown-input observer
• Autori: Giorgia Disarò, Maria Elena Valcher (Università di Padova)
• Classificazione: math.OC (Ottimizzazione e Controllo), math.DS (Sistemi Dinamici)
• Data di Pubblicazione: 26 luglio 2024 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2407.18833

Riassunto

Il presente articolo, basato sulla "teoria dei comportamenti" (behavior theory) di Willems, propone una prospettiva innovativa per la progettazione di osservatori a ingresso sconosciuto (UIO) applicabili a modelli in spazio di stato lineari tempo-invarianti a tempo discreto, i cui stati e equazioni di uscita sono soggetti a perturbazioni sconosciute. La ricerca inizialmente assume che il modello del sistema originale sia noto, per poi estendersi al caso in cui il modello sia sconosciuto ma si disponga di dati storici che soddisfano specifiche ipotesi. In entrambi i casi, i concetti fondamentali della teoria dei comportamenti—quali proiezioni di comportamenti, relazioni di inclusione comportamentale, rappresentazioni di nucleo e immagine—forniscono strumenti potenti per determinare le condizioni necessarie e sufficienti per l'esistenza dell'UIO e per sviluppare algoritmi di progettazione.

Contesto di Ricerca e Motivazione

Definizione del Problema

1. Problema centrale: Progettare osservatori a ingresso sconosciuto per sistemi lineari tempo-invarianti a tempo discreto soggetti a perturbazioni sconosciute, dove le perturbazioni influenzano simultaneamente le equazioni di stato e di uscita
2. Sfida: I metodi tradizionali si basano principalmente su operazioni algebriche nello spazio di stato, mancando di un quadro teorico unificato per affrontare sia scenari con modello noto che scenari guidati dai dati

Analisi dell'Importanza

• Esigenza pratica: Nei sistemi complessi sono frequentemente presenti perturbazioni difficili da modellare, rendendo necessaria la stima dello stato del sistema in loro presenza
• Valore teorico: La teoria dei comportamenti fornisce un quadro più generale rispetto ai metodi tradizionali nello spazio di stato
• Prospettive applicative: I metodi guidati dai dati evitano la fase di identificazione del modello, risultando più efficienti nelle applicazioni pratiche

Limitazioni dei Metodi Esistenti

1. Progettazione UIO tradizionale: Si basa principalmente su operazioni algebriche nello spazio di stato, mancando di un quadro teorico unificato
2. Applicazioni della teoria dei comportamenti: Negli studi esistenti 1,12,15, gli osservatori progettati non garantiscono la causalità
3. Metodi guidati dai dati: Lavori precedenti 3,4,11 consideravano solo il caso semplificato in cui le perturbazioni non influenzano l'uscita

Contributi Fondamentali

1. Innovazione teorica: Prima applicazione sistematica della teoria dei comportamenti di Willems alla progettazione di UIO, fornendo una prospettiva teorica innovativa
2. Quadro unificato: Stabilisce un metodo unificato per la progettazione di UIO in scenari sia con modello noto che guidati dai dati
3. Condizioni necessarie e sufficienti: Derivazione di nuove condizioni necessarie e sufficienti per l'esistenza dell'UIO basate sulla teoria dei comportamenti, provando l'equivalenza con le condizioni classiche
4. Progettazione algoritmica: Fornisce algoritmi algebrici per la progettazione diretta dei parametri dell'UIO a partire dai dati
5. Applicazione estesa: Affronta il caso più generale in cui le perturbazioni influenzano simultaneamente lo stato e l'uscita

Dettagli del Metodo

Definizione del Compito

Si consideri il sistema LTI a tempo discreto Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

dove:

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

Progettare l'UIO:

z(t+1) = A_UIO z(t) + B^u_UIO u(t) + B^y_UIO y(t)    (2a)
x̂(t) = z(t) + D^u_UIO u(t) + D^y_UIO y(t)            (2b)

Fondamenti della Teoria dei Comportamenti

Definizione di comportamento: Un comportamento B ⊆ (ℝʷ)^ℤ₊ è l'insieme di traiettorie che soddisfano un sistema di equazioni alle differenze:

R(σ)w = 0

dove R(z) ∈ ℝz^(p×w) è una matrice polinomiale e σ è l'operatore di traslazione sinistra.

Concetti fondamentali:

1. Proiezione di comportamento: P_{w₁}B = {w₁ : ∃w₂ tale che (w₁,w₂) ∈ B}
2. Annullatore sinistro minimo (MLA): Matrice polinomiale di ordine minimo H(z) che soddisfa H(z)M(z) = 0
3. Inclusione comportamentale: Criterio per determinare B₁ ⊆ B₂

Progettazione dell'UIO Basata su Comportamenti

Caso con Modello Noto

Rappresentazione del comportamento del sistema:

B_Σ = ker(R_Σ(σ))

dove:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

Rappresentazione del comportamento dell'UIO:

B_Σ̂ = ker(R_Σ̂(σ))

Teorema principale: Il sistema Σ̂ è un UIO per Σ se e solo se:

1. Condizione di accettazione: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
2. Condizione di stabilità: A_UIO è stabile secondo Schur

Condizioni di progettazione: L'UIO esiste se e solo se esistono matrici che soddisfano:

[-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CE F] = [-E 0]     (10)
                                    [F  0]

A_UIO = A + [-D^y_UIO  A_UIO D^y_UIO - B^y_UIO][CA]    (11)
                                                [C ]

[B^u_UIO] = [I  -D^y_UIO C  -B^y_UIO][B]               (12)
[D^u_UIO]   [0  -D^y_UIO            ][D]

e A_UIO è stabile secondo Schur.

Metodo Guidato dai Dati

Dati storici: Raccolta di traiettorie stato-ingresso-uscita nell'intervallo temporale 0,T-1:

• x_d = {x_d(t)}^{T-1}_
• u_d = {u_d(t)}^{T-1}_
• y_d = {y_d(t)}^{T-1}_

Matrice di dati:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

Traiettorie compatibili: Una traiettoria (x,u,y) è compatibile con i dati storici se e solo se:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

Risultato principale: L'UIO esiste se e solo se per qualsiasi matrice che soddisfa ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d), esiste Ω tale che:

Ω[V_p V_f] = [-A* I_n]

dove A* è una matrice di Schur.

Punti di Innovazione Tecnica

1. Metodo di rappresentazione del nucleo: Utilizzo della rappresentazione del nucleo di matrici polinomiali per descrivere uniformemente i comportamenti del sistema e dell'osservatore
2. Tecnica di proiezione: Eliminazione delle variabili non osservabili (ingressi sconosciuti) attraverso proiezioni di comportamenti
3. Relazioni di inclusione: Trasformazione della condizione di accettazione in relazioni di inclusione comportamentale, facilitando le operazioni algebriche
4. Parametrizzazione dai dati: Costruzione diretta dei parametri dell'UIO dalla matrice di dati, evitando fasi intermedie di modellazione

Configurazione Sperimentale

Esempio Numerico

Si consideri un sistema di ordine 3:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

Dettagli di Implementazione

• Finestra temporale: T = 11
• Dati di ingresso: u(t) distribuito uniformemente in (-4,4), d(t) distribuito uniformemente in (-3,3)
• Condizioni iniziali: generate casualmente

Risultati Sperimentali

Processo di Progettazione

1. Raccolta dati: Costruzione della matrice di dati Φ_d
2. Calcolo del nucleo: Determinazione della matrice Ψ che soddisfa la condizione (20)
3. Risoluzione dei parametri: Risoluzione dell'equazione (21) mediante decomposizione SVD
4. Stabilizzazione: Scelta di L tale che Ā + LC̄ sia stabile secondo Schur

Parametri dell'UIO Ottenuti

A_UIO = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (autovalori: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_UIO = [-2.9070]    B^y_UIO = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

Verifica delle Prestazioni

L'errore di stima dello stato converge a zero in circa 20 passi temporali, verificando l'efficacia dell'UIO.

Lavori Correlati

Applicazioni della Teoria dei Comportamenti

• Lavori fondamentali di Willems 20,21: Stabilimento del quadro teorico dei comportamenti
• Progettazione di osservatori 1,12,15: Progettazione di osservatori nel quadro comportamentale, ma senza garantire la causalità
• Controllo guidato dai dati 6,7,8: Metodi guidati dai dati basati sul lemma fondamentale di Willems

Metodi di Progettazione dell'UIO

• Metodi classici 2,13: Progettazione dell'UIO basata su algebra nello spazio di stato
• UIO guidato dai dati 3,4,11: Considera solo il caso semplificato in cui le perturbazioni non influenzano l'uscita

Vantaggi del Presente Lavoro

1. Unificazione teorica: Fornisce un quadro unificato per metodi sia con modello noto che guidati dai dati
2. Completezza delle condizioni: Affronta il caso generale in cui le perturbazioni influenzano simultaneamente lo stato e l'uscita
3. Semplicità algoritmica: Fornisce algoritmi di progettazione algebrici diretti

Conclusioni e Discussione

Conclusioni Principali

1. Contributo teorico: Applicazione riuscita della teoria dei comportamenti alla progettazione di UIO, stabilendo un nuovo quadro teorico
2. Unificazione del metodo: Risoluzione di scenari sia con modello noto che guidati dai dati all'interno di un unico quadro teorico
3. Equivalenza delle condizioni: Dimostrazione dell'equivalenza tra le condizioni della teoria dei comportamenti e le condizioni algebriche classiche
4. Efficacia algoritmica: Fornimento di algoritmi di progettazione realizzabili e verifica mediante esempi numerici

Limitazioni

1. Ipotesi sui dati: Richiede che lo stato sia misurabile durante la fase offline, potenzialmente limitante nelle applicazioni pratiche
2. Requisiti sulle perturbazioni: Assume che l'ingresso sconosciuto soddisfi condizioni di eccitazione persistente, difficili da verificare in pratica
3. Complessità computazionale: Per sistemi ad alta dimensionalità, il carico computazionale delle operazioni matriciali può essere significativo
4. Robustezza: Non considera gli effetti del rumore di misura e dell'incertezza del modello

Direzioni Future

1. Progettazione robusta: Considerazione del rumore di misura e dell'incertezza del modello
2. Apprendimento online: Sviluppo di metodi di progettazione adattiva dell'UIO
3. Estensione non lineare: Estensione del metodo a sistemi non lineari
4. Osservazione distribuita: Ricerca sulla progettazione distribuita dell'UIO per sistemi multi-agente

Valutazione Approfondita

Punti di Forza

1. Innovazione teorica: Prima applicazione sistematica della teoria dei comportamenti alla progettazione di UIO, aprendo nuove direzioni di ricerca
2. Completezza metodologica: Dall'analisi teorica alla progettazione algoritmica fino alla verifica numerica, formando una catena di ricerca completa
3. Quadro unificato: Affrontamento di scenari sia con modello noto che guidati dai dati all'interno di un unico quadro teorico
4. Rigore matematico: Fornimento di derivazioni matematiche rigorose e condizioni necessarie e sufficienti
5. Algoritmi pratici: Presentazione di procedure di progettazione algebriche direttamente implementabili

Carenze

1. Limitazioni applicative: L'ipotesi che lo stato sia misurabile offline può essere difficile da soddisfare nei sistemi reali
2. Ipotesi sulle perturbazioni: L'ipotesi di eccitazione persistente dell'ingresso sconosciuto è difficile da verificare nella pratica
3. Efficienza computazionale: Per sistemi su larga scala, le operazioni matriciali potrebbero diventare un collo di bottiglia computazionale
4. Mancanza di robustezza: Non considera il rumore e l'incertezza del modello, comunemente presenti nei sistemi reali

Impatto

1. Valore accademico: Fornisce nuovi strumenti matematici e prospettive analitiche alla teoria del controllo
2. Contributo metodologico: Dimostra il potenziale di applicazione della teoria dei comportamenti a problemi di controllo pratico
3. Ricerca successiva: Potrebbe stimolare ulteriori ricerche sulla progettazione di sistemi di controllo basata sulla teoria dei comportamenti
4. Valore didattico: Fornisce una base teorica solida per la comprensione del controllo guidato dai dati

Scenari di Applicabilità

1. Processi industriali: Sistemi industriali come quelli chimici ed energetici con perturbazioni difficili da modellare
2. Sistemi robotici: Necessità di stima dello stato in ambienti con perturbazioni sconosciute
3. Aerospaziale: Navigazione e controllo di veicoli in ambienti complessi
4. Sistemi di rete: Monitoraggio dello stato e rilevamento di guasti nelle reti di comunicazione

Bibliografia

L'articolo cita 24 importanti riferimenti, principalmente includenti:

Fondamenti della teoria dei comportamenti:

• 20,21 Lavori pioneristici di J.C. Willems
• 18,22 Sviluppo della teoria dei sistemi comportamentali

Progettazione di osservatori:

• 1,15 Progettazione di osservatori mediante metodi comportamentali
• 2,13 Teoria classica di progettazione dell'UIO

Metodi guidati dai dati:

• 19 Lemma fondamentale di Willems
• 3,4,11 Lavori precedenti sulla progettazione dell'UIO guidata dai dati

Questi riferimenti forniscono una base solida per lo sviluppo teorico e il confronto metodologico del presente articolo.