State Observers for Linear Systems with Prescribed Residual Bounds

Sintesi Tecnica: Osservatori di Stato per Sistemi Lineari con Limiti Residui Prescritti

Formulazione del Problema
Il documento affronta un limite specifico degli osservatori di stato classici a tempo continuo per sistemi Lineari Tempo-Invarianti (LTI) soggetti a disturbi ignoti e limitati. Sebbene i comuni osservatori di Luenberger garantiscano la convergenza asintotica e l'uniforme limitatezza dell'errore di stima sotto ipotesi idonee, essi non regolano esplicitamente il comportamento transitorio del residuo dell'osservatore, definito come $r(t) = y(t) - C\hat{x}(t)$. In applicazioni quali il rilevamento dei guasti e la supervisione della sicurezza, grandi deviazioni transitorie nel residuo possono innescare falsi allarmi o degradare le prestazioni. I design robusti esistenti forniscono limiti sul residuo come conseguenza della dinamica del sistema e della selezione del guadagno, ma tali limiti non sono direttamente assegnabili dal progettista. Il problema è formulato come un compito di imposizione di vincoli: progettare un osservatore tale che $\|r(t)\| \leq \delta$ per ogni $t \geq t_0$, dove $\delta > 0$ è un limite pre-specificato scelto dal progettista, indipendentemente dall'entità del disturbo (entro limiti noti).

Metodologia
La soluzione proposta è un'architettura di osservatore ibrido che aumenta un comune osservatore di Luenberger a tempo continuo con reset discreti dello stato. La dinamica del sistema è modellata come:
$$\dot{x} = Ax + Bu + d(t), \quad y = Cx$$
dove $d(t)$ è un disturbo ignoto e limitato. Lo stato dell'osservatore $\hat{x}$ evolve continuamente secondo la classica equazione di Luenberger, ma subisce salti istantanei quando la norma del residuo raggiunge la soglia prescritta $\delta$.

La dinamica ibrida è definita da insiemi di flusso e di salto:

• Insieme di Flusso ($C$): $\|r\| \leq \delta$. L'osservatore evolve continuamente.
• Insieme di Salto ($D$): $\|r\| \geq \delta$. Un reset viene innescato.

All'istante di salto $t_k$, lo stato dell'osservatore viene aggiornato tramite una mappa di reset lineare:
$$\hat{x}^+ = \hat{x}^- + J r^-$$
dove $J$ è una matrice di guadagno di reset costante. Il documento deriva un'espressione in forma chiusa per $J$ basata sulla matrice di Lyapunov $P$ (associata alle dinamiche di errore continuo) e sul fattore di contrazione $\rho \in [0, 1)$:
$$J = (1 - \rho) P^{-1} C^\top (C P^{-1} C^\top)^{-1}$$
Questa specifica scelta di $J$ assicura che il residuo si contragga di un fattore $\rho$ ad ogni salto ($\|r^+\| = \rho \|r^-\|$) mantenendo al contempo la non-espansività dell'errore di stima nella metrica di Lyapunov $V = \tilde{x}^\top P \tilde{x}$.

Contributi Chiave e Garanzie Teoriche
Il documento stabilisce quattro risultati teorici principali sotto le ipotesi di rilevabilità, disturbi limitati e pieno rango di riga di $C$:

1. Contrazione del Residuo: Ad ogni istante di reset, la norma del residuo è strettamente ridotta dal fattore $\rho$, garantendo $\|r^+\| = \rho \|r^-\|$.
2. Invarianza in Avanti: Se il residuo iniziale soddisfa $\|r(t_0)\| \leq \delta$, l'inviluppo del residuo $\{r : \|r\| \leq \delta\}$ è invariante in avanti. Il residuo non supera mai il limite prescritto $\delta$.
3. Non-Espansività dell'Errore di Stima: La funzione di Lyapunov $V(\tilde{x})$ non aumenta agli istanti di salto ($V^+ \leq V^-$). Ciò assicura che il meccanismo di reset non destabilizzi l'errore di stima.
4. Limitatezza Uniforme: L'osservatore ibrido preserva le proprietà di limitatezza uniforme del sottostante osservatore di Luenberger a tempo continuo. L'errore di stima rimane limitato dalla stessa espressione derivata per l'osservatore standard, garantendo la Stabilità Input-to-State (ISS) rispetto al disturbo.
5. Assenza di Comportamento Zeno: Il documento dimostra l'esistenza di un tempo di permanenza minimo strettamente positivo tra reset consecutivi, prevenendo commutazioni infinite in tempo finito.

Risultati di Simulazione
Gli autori validano il design attraverso simulazioni su un sistema LTI a 4 stati con un disturbo sinusoidale tempo-variante attivo nell'intervallo $t \in [2, 5]$.

• Prestazioni del Residuo: Un osservatore di Luenberger standard con guadagni identici viola il limite del residuo prescritto $\delta$ quando il disturbo è attivo. Al contrario, il proposto osservatore ibrido impone rigorosamente $\|r(t)\| \leq \delta$. Ogni volta che il residuo raggiunge $\delta$, avviene un reset, contraendo istantaneamente il residuo a $\rho\delta$ (dove $\rho=0.1$ nella simulazione).
• Errore di Stima: Gli errori di stima dello stato per l'osservatore ibrido presentano salti agli istanti di reset ma rimangono limitati e comparabili all'osservatore a tempo continuo. La funzione di Lyapunov $V(t)$ rimane limitata, confermando la proprietà di non-espansività teorica.
• Inizializzazione: Le simulazioni dimostrano anche che se il sistema parte al di fuori dell'inviluppo del residuo ($\|r(0)\| > \delta$), un singolo reset a $t=0$ (con $\rho=0$) può riportare immediatamente il residuo nell'insieme invariante.

Significato e Rivendicazioni
Il documento sostiene di offrire un meccanismo innovativo per regolare il comportamento transitorio del residuo senza ricorrere a un feedback continuo ad alto guadagno, che è soggetto a fenomeni di peaking e sensibilità al rumore. A differenza di lavori precedenti che utilizzano i reset per migliorare le prestazioni transitorie o ridurre i guadagni $L_2$, questo lavoro tratta il limite del residuo come una specifica di prestazione rigida e invariante imposta per progettazione.

Gli autori posizionano questo lavoro come una soluzione a un "probleo di imposizione di vincoli" piuttosto che a un "problema di caratterizzazione della robustezza". Garantendo che il residuo rimanga entro un inviluppo specificato dal progettista, l'approccio fornisce una caratterizzazione più strutturata del comportamento nominale. Ciò è particolarmente rilevante per i sistemi di rilevamento guasti dove le soglie sono tipicamente regolate in modo conservativo; il metodo proposto mitiga i picchi indotti dai disturbi che potrebbero altrimenti innescare falsi allarmi. Il documento conclude osservando che, sebbene il framework sia stabilito per sistemi LTI, l'approccio ibrido non è limitato alle dinamiche lineari, suggerendo potenziali estensioni future a sistemi non lineari e a campionamento discreto.