State-space fading memory

Título: State-space fading memory (Memória de Esquecimento em Espaço de Estados)

Autores: Gustave Bainier, Antoine Chaillet, Rodolphe Sepulchre, Alessio Franci.

1. Problema e Contexto

O conceito de Memória de Esquecimento (Fading Memory - FM), introduzido originalmente por Boyd e Chua, descreve a propriedade de sistemas onde a influência de entradas passadas sobre a saída atual diminui gradualmente com o tempo.

• Contexto Atual: A definição original de Boyd e Chua é baseada em uma abordagem de operadores (input-output), focando na continuidade do funcional de memória em relação a uma norma de entrada que "desvanece". Essa abordagem é fundamental para a teoria de aproximação de sistemas e para redes neurais recorrentes (RNNs).
• A Lacuna: Existe uma desconexão entre essa definição de operadores e as noções modernas de estabilidade incremental em espaço de estados (como Estabilidade Incremental Entrada-Estado - $\delta$ISS e Entrada-Saída - $\delta$IOS). A comunidade de controle foca em estabilidade em espaço de estados, mas falta uma definição de FM diretamente nesse domínio que permita aplicar os teoremas de aproximação de Boyd e Chua a modelos não lineares de espaço de estados.
• Objetivo: O artigo visa preencher essa lacuna, propondo uma definição de FM em espaço de estados e estabelecendo sua relação com a estabilidade incremental, permitindo assim a aplicação de teoremas de representação canônica a sistemas não lineares gerais.

2. Metodologia

Os autores desenvolveram uma nova definição formal de FM baseada em desigualdades de estabilidade incremental, utilizando funções de classe $\mathcal{K}$, $\mathcal{K}_\infty$ e $\mathcal{KL}$.

• Definição Proposta (FM em Espaço de Estados): Um sistema não linear $\dot{x} = f(x, u), y = g(x)$ possui FM se a diferença entre duas saídas ($y_a, y_b$) geradas por duas entradas distintas ($u_a, u_b$) e condições iniciais distintas for limitada por:

  1. Um termo de dissipação $\mathcal{KL}$ que depende da diferença das condições iniciais e do tempo (estabilidade incremental assintótica).
  2. Um termo que depende da diferença das entradas, ponderado por um núcleo de memória (memory kernel) $w(\Delta t)$ que decai com o tempo.
  • Formalmente: $\|y_a(t) - y_b(t)\| \leq \beta(\|x_a(0)-x_b(0)\|, t) + \gamma(\text{ess sup}_{s \in [0,t]} w(t-s)\|u_a(s)-u_b(s)\|)$.

• Conexão Teórica:

  • Os autores demonstram que essa definição é essencialmente uma extensão da Estabilidade Incremental Entrada-Saída ($\delta$IOS) com um mecanismo de desvanecimento explícito.
  • Estabelecem a equivalência entre a definição de operadores de Boyd e Chua (sob condições de continuidade uniforme e entradas bem-comportadas) e a nova definição em espaço de estados.
  • Investigam se a propriedade $\delta$ISS (que garante estabilidade interna e externa) implica na propriedade de FM.

3. Principais Contribuições

1. Definição Unificada de FM em Espaço de Estados: Introdução de uma definição rigorosa que incorpora um núcleo de memória explícito, conectando a teoria de operadores de Boyd e Chua com a teoria de estabilidade incremental moderna.
2. Implicação $\delta$ISS $\Rightarrow$ FM: Demonstração de que, para sistemas invariantes no tempo com entradas equilibradas (equibounded), a propriedade de $\delta$ISS implica a propriedade de FM semi-globalmente (em qualquer conjunto compacto de condições iniciais).
3. Teorema de Aproximação para $\delta$ISS: Consequência direta da implicação acima: modelos de espaço de estados que são $\delta$ISS podem ser aproximados arbitrariamente bem por um sistema linear invariante no tempo (LTI) seguido de uma leitura não linear estática (o resultado clássico de Boyd e Chua).
4. Aplicação Prática (Memristores): O artigo aplica a teoria a memristores acionados por corrente, mostrando que, sob condições de Lipschitz e $\delta$ISS, o modelo do memristor possui a propriedade de FM.

4. Resultados Chave

• Equivalência de Definições: Sob entradas Lipschitz contínuas e equilibradas, a definição de FM de operadores (Boyd & Chua) e a definição de FM em espaço de estados são equivalentes. A diferença principal reside na exigência de continuidade uniforme na definição de operadores, que é naturalmente satisfeita em conjuntos compactos de espaço de estados.
• Teorema 4 (Implicação Semi-global): Se um sistema é globalmente $\delta$ISS e as entradas são equilibradas, o sistema possui FM em qualquer conjunto compacto de condições iniciais. Isso permite usar critérios de Lyapunov existentes para $\delta$ISS para garantir FM.
• Propriedades de Entrada-Saída: Sistemas com FM herdam propriedades desejáveis como:
  • CICO: Entradas convergentes produzem saídas convergentes.
  • PIPO: Entradas periódicas produzem saídas que convergem para trajetórias periódicas.
• Memristores: Foi provado que o modelo de espaço de estados de um memristor acionado por corrente possui FM se a dinâmica interna for $\delta$ISS e a memristância for Lipschitz contínua. Isso valida o uso de modelos de memória de esquecimento para dispositivos memristivos.

5. Significado e Impacto

• Ponte Teórica: O trabalho conecta dois mundos que estavam desconectados: a teoria de aproximação de operadores (fundamental para aprendizado de máquina e identificação de sistemas) e a teoria de estabilidade incremental de sistemas não lineares (fundamental para controle robusto).
• Justificativa para RNNs e Reservoir Computing: Reforça a base teórica de por que arquiteturas como RNNs e Computação de Reservatório (Reservoir Computing) são eficazes: elas exploram a propriedade de FM, que agora está formalmente ligada à estabilidade incremental ($\delta$ISS).
• Generalização de Resultados de Aproximação: Permite que o teorema de representação de Boyd e Chua (que originalmente se aplicava a operadores) seja aplicado diretamente a modelos físicos não lineares descritos por equações diferenciais de espaço de estados, desde que satisfaçam condições de estabilidade incremental.
• Perspectivas Futuras: O artigo sugere a extensão dessas ideias para sistemas interconectados (condição de pequeno ganho), teoria de dissipatividade e a caracterização de "miopia" (contraparte espacial da FM) em equações diferenciais parciais.

Em resumo, o artigo formaliza a "memória de esquecimento" como uma propriedade intrínseca de sistemas estáveis incrementalmente, fornecendo uma ferramenta poderosa para analisar, aproximar e projetar sistemas não lineares complexos, incluindo dispositivos de hardware neuromórfico como memristores.