State Observers for Linear Systems with Prescribed Residual Bounds

Resumo Técnico: Observadores de Estado para Sistemas Lineares com Limites de Resíduo Prescritos

Formulação do Problema
O artigo aborda uma limitação específica dos observadores de estado contínuos clássicos para sistemas Lineares Invariantes no Tempo (LTI) sujeitos a distúrbios desconhecidos e limitados. Embora os observadores de Luenberger padrão garantam a convergência assintótica e a limitação uniforme do erro de estimação sob suposições adequadas, eles não regulam explicitamente o comportamento transiente do resíduo do observador, definido como $r(t) = y(t) - C\hat{x}(t)$. Em aplicações como detecção de falhas e supervisão de segurança, grandes desvios transientes no resíduo podem disparar alarmes falsos ou degradar o desempenho. Os designs robustos existentes fornecem limites para o resíduo como consequência da dinâmica do sistema e da seleção de ganhos, mas esses limites não são diretamente atribuíveis pelo projetista. O problema é formulado como uma tarefa de imposição de restrição: projetar um observador tal que $\|r(t)\| \leq \delta$ para todo $t \geq t_0$, onde $\delta > 0$ é um limite pré-especificado escolhido pelo projetista, independentemente da magnitude do distúrbio (dentro de limites conhecidos).

Metodologia
A solução proposta é uma arquitetura de observador híbrido que aumenta um observador de Luenberger de tempo contínuo padrão com resets de estado discretos. A dinâmica do sistema é modelada como:
$$\dot{x} = Ax + Bu + d(t), \quad y = Cx$$
onde $d(t)$ é um distúrbio limitado desconhecido. O estado do observador $\hat{x}$ evolui continuamente de acordo com a equação de Luenberger padrão, mas sofre saltos instantâneos quando a norma do resíduo atinge o limiar prescrito $\delta$.

A dinâmica híbrida é definida por conjuntos de fluxo e de salto:

• Conjunto de Fluxo ($C$): $\|r\| \leq \delta$. O observador evolui continuamente.
• Conjunto de Salto ($D$): $\|r\| \geq \delta$. Um reset é acionado.

No instante do salto $t_k$, o estado do observador é atualizado via um mapa de reset linear:
$$\hat{x}^+ = \hat{x}^- + J r^-$$
onde $J$ é uma matriz de ganho de reset constante. O artigo deriva uma expressão em forma fechada para $J$ baseada na matriz de Lyapunov $P$ (associada às dinâmicas de erro contínuas) e no fator de contração $\rho \in [0, 1)$:
$$J = (1 - \rho) P^{-1} C^\top (C P^{-1} C^\top)^{-1}$$
Esta escolha específica de $J$ garante que o resíduo contraia por um fator $\rho$ em cada salto ($\|r^+\| = \rho \|r^-\|$) ao mesmo tempo em que mantém a não-expansividade do erro de estimação na métrica de Lyapunov $V = \tilde{x}^\top P \tilde{x}$.

Principais Contribuições e Garantias Teóricas
O artigo estabelece quatro principais resultados teóricos sob as suposições de detectabilidade, distúrbios limitados e posto de linha completo de $C$:

1. Contração do Resíduo: Em cada instante de reset, a norma do resíduo é estritamente reduzida pelo fator $\rho$, garantindo que $\|r^+\| = \rho \|r^-\|$.
2. Invariância para Frente: Se o resíduo inicial satisfizer $\|r(t_0)\| \leq \delta$, o envelope do resíduo $\{r : \|r\| \leq \delta\}$ é invariante para frente. O resíduo nunca excede o limite prescrito $\delta$.
3. Não-Expansividade do Erro de Estimação: A função de Lyapunov $V(\tilde{x})$ não aumenta nos instantes de salto ($V^+ \leq V^-$). Isso garante que o mecanismo de reset não desestabilize o erro de estimação.
4. Limitação Uniforme: O observador híbrido preserva as propriedades de limitação uniforme do observador de Luenberger de tempo contínuo subjacente. O erro de estimação permanece limitado pela mesma expressão derivada para o observador padrão, garantindo a Estabilidade de Entrada-Estado (ISS) em relação ao distúrbio.
5. Ausência de Comportamento Zeno: O artigo prova um tempo de permanência mínimo estritamente positivo entre resets consecutivos, prevenindo a alternância infinita em tempo finito.

Resultados de Simulação
Os autores validam o design através de simulações em um sistema LTI de 4 estados com um distúrbio senoidal variante no tempo ativo no intervalo $t \in [2, 5]$.

• Desempenho do Resíduo: Um observador de Luenberger padrão com ganhos idênticos viola o limite de resíduo prescrito $\delta$ quando o distúrbio está ativo. Em contraste, o observador híbrido proposto impõe estritamente $\|r(t)\| \leq \delta$. Sempre que o resíduo atinge $\delta$, um reset ocorre, contraindo instantaneamente o resíduo para $\rho\delta$ (onde $\rho=0,1$ na simulação).
• Erro de Estimação: Os erros de estimação de estado para o observador híbrido exibem saltos nos instantes de reset, mas permanecem limitados e comparáveis aos do observador de tempo contínuo. A função de Lyapunov $V(t)$ permanece limitada, confirmando a propriedade de não-expansividade teórica.
• Inicialização: As simulações também demonstram que, se o sistema começar fora do envelope de resíduo ($\|r(0)\| > \delta$), um único reset em $t=0$ (com $\rho=0$) pode trazer imediatamente o resíduo para o conjunto invariante.

Significância e Alegações
O artigo afirma oferecer um mecanismo inovador para regular o comportamento transiente do resíduo sem depender de realimentação contínua de alto ganho, que é propensa a fenômenos de pico (peaking) e sensibilidade ao ruído. Diferente de trabalhos anteriores que utilizam resets para melhorar o desempenho transiente ou reduzir ganhos $L_2$, este trabalho trata o limite do resíduo como uma especificação de desempenho rígida e invariante imposta pelo design.

Os autores posicionam este trabalho como uma solução para um "problema de imposição de restrição" em vez de um "problema de caracterização de robustez". Ao garantir que o resíduo permaneça dentro de um envelope especificado pelo projetista, a abordagem fornece uma caracterização mais estruturada do comportamento nominal. Isso é particularmente relevante para sistemas de detecção de falhas onde os limiares são tipicamente ajustados de forma conservadora; o observador proposto mitiga picos induzidos por distúrbios que poderiam, de outra forma, disparar alarmes falsos. O artigo conclui observando que, embora o framework seja estabelecido para sistemas LTI, a abordagem híbrida não se restringe a dinâmicas lineares, sugerindo potenciais extensões para sistemas não lineares e de dados amostrados.