Stability-Certified Koopman Observer Design for Nonlinear Systems via Generalized Persidskii Dynamics

Resumo Técnico: Projeto de Observador Koopman Certificado por Estabilidade para Sistemas Não Lineares via Dinâmicas Persidskii Generalizadas

Declaração do Problema
O artigo aborda o desafio da estimação de estado não linear para sistemas dinâmicos cujas equações governantes são aproximadas usando elevações do operador Koopman. Embora os preditores baseados em Koopman (frequentemente realizados via Decomposição de Modo Dinâmico Estendida, ou EDMD) ofereçam representações lineares baseadas em dados poderosas para dinâmicas não lineares, eles sofrem de uma limitação fundamental: o "resíduo de elevação". Este resíduo representa a porção do campo vetorial não linear não capturada pelo dicionário de observáveis de dimensão finita.

As abordagens existentes para o projeto de observadores neste contexto geralmente dependem de regularização empírica ou argumentos de linearização local válidos apenas próximo a pontos fixos. Consequentemente, há uma falta de certificados de convergência global computáveis para observadores baseados em Koopman, particularmente ao enfrentar incompatibilidade de modelo (grandes resíduos de elevação) e ruído de medição externo. O problema central é projetar um observador que garanta estabilidade e convergência apesar desses erros de aproximação inevitáveis.

Metodologia
Os autores propõem um projeto de observador inovador que une a teoria de Koopman com a estrutura de estabilidade de sistemas Persidskii generalizados. A metodologia procede através das seguintes etapas:

1. Formulação da Dinâmica do Erro: Os autores definem o erro de estimação no espaço latente elevado. Eles decompõem a fonte total de erro em um "resíduo de elevação" e ruído de medição.
2. Correspondência Estrutural: Uma insight teórico chave é estabelecer que a dinâmica do erro de um observador Koopman no espaço latente, quando equipada com um termo de correção não linear específico, pode ser exatamente reformulada como um sistema Persidskii generalizado. Esta classe de sistemas é caracterizada por não linearidades que satisfazem limites de setor uniformes e admite funções de Lyapunov diagonais.
3. Decomposição do Resíduo: O resíduo de elevação é decomposto em duas partes: um componente admissível ao setor (que se encaixa na estrutura Persidskii) e um resto não estruturado limitado. Isso permite que o observador contabilize explicitamente a parte estruturada do erro de aproximação.
4. Síntese de Ganho Baseada em LMI: O ganho do observador é computado resolvendo uma Desigualdade Matricial Linear (LMI). Esta LMI é derivada de uma candidata a função de Lyapunov diagonal e garante Estabilidade Entrada-Estado (ISS) do erro de estimação em relação tanto aos resíduos de elevação quanto a perturbações externas.
5. Análise de Estabilidade: O projeto garante convergência exponencial no caso ideal (resíduo/ruído zero) e limitação última no caso perturbado, com um limite explícito no erro de estado estacionário que escala linearmente com a magnitude do resíduo de elevação.

Principais Contribuições
O artigo faz quatro contribuições específicas:

• Caracterização da Reformulação: Fornece uma caracterização precisa das condições sob as quais as dinâmicas de erro de Koopman admitem uma reformulação Persidskii generalizada, incluindo um procedimento construtivo para decompor o resíduo de elevação.
• Projeto de Observador Certificado por ISS: Deriva um ganho de observador baseado em LMI que minimiza simultaneamente o ganho ISS do resíduo para o erro de estimação, fornecendo um certificado computável de robustez.
• Provas de Convergência: Prova analiticamente a convergência exponencial para o caso nominal e estabelece a limitação última com um limite de erro explícito para o caso de perturbações limitadas persistentes.
• Validação Numérica: Valida a abordagem em dois sistemas de referência, demonstrando desempenho superior sobre métodos existentes.

Resultados Experimentais
O "Observador Persidskii-Koopman" (PKO) proposto foi testado contra um Filtro de Kalman Estendido (EKF) padrão e um observador Koopman linear (Lin-Koop) em duas referências:

1. Oscilador de Van der Pol: Sob ruído gaussiano e uma incompatibilidade de parâmetros de 15%, o PKO manteve um rastreamento apertado do ciclo limite, enquanto o observador Lin-Koop acumulou erros perto de regiões de comutação e o EKF exibiu divergência intermitente.
2. Braço Robótico Não Linear: Um braço de elo único com incerteza significativa de atrito (±30%) e ruído de medição foi utilizado. O PKo rastreou a velocidade angular de perto, enquanto o EKF e o Lin-Koop mostraram viés de amplitude persistente.

Resultados quantitativos em 100 ensaios mostraram que o PKO alcançou uma redução de 42% no Erro Quadrático Médio (RMSE) de estado estacionário comparado ao EKF e uma redução de 34–35% comparado ao observador Koopman linear. A variância do PKO também foi consistentemente menor, indicando robustez aprimorada. O custo computacional de resolver a LMI foi negligenciável (abaixo de 0,65 segundos em uma estação de trabalho padrão), confirmando a viabilidade prática da abordagem.

Significância e Alegações
O artigo afirma resolver o problema aberto de certificar a convergência do observador para preditores baseados em Koopman sob incompatibilidade de modelo. Ao alavancar as propriedades estruturais de sistemas Persidskii generalizados, os autores fornecem um certificado de estabilidade global rigoroso que está ausente nos projetos atuais de observadores baseados em dados.

A significância reside na capacidade de projetar observadores que não são apenas baseados em dados, mas também robustos às limitações inerentes das aproximações Koopman de dimensão finita. Os autores enfatizam que seu método oferece um projeto "provavelmente ISS" com um limite último explícito, superando tanto filtros não lineares tradicionais (EKF) quanto abordagens Koopman linearizadas sem aumentar a complexidade computacional além de uma otimização offline única. O trabalho sugere que extensões futuras poderiam aplicar esta estrutura de Lyapunov diagonal a sistemas multiagente e atrasos variantes no tempo, construindo sobre a conexão estabelecida entre dinâmicas Koopman e a teoria de estabilidade Persidskii.