Estimation of the input-to-state stability gain functions from finite-dimensional approximations

Título: Estimação das Funções de Ganho de Estabilidade Entrada-Estado (ISS) a partir de Aproximações de Dimensão Finita

Autores: Birgit Hillebrecht e Benjamin Unger

1. Problema e Motivação

O conceito de Estabilidade Entrada-Estado (ISS) é fundamental na teoria de controle para analisar a estabilidade de sistemas sob a influência de entradas externas. Embora bem estabelecido para sistemas de dimensão finita, a extensão rigorosa para sistemas de dimensão infinita (como equações diferenciais parciais - EDPs) com operadores de controle não limitados (especialmente controle de fronteira) apresenta desafios significativos.

• O Desafio: Existe uma lacuna na conexão rigorosa entre a ISS de um sistema infinito-dimensional com operador de controle não limitado e as propriedades de suas aproximações de dimensão finita.
• Motivação Prática: A necessidade de estimar ganhos de ISS surge no contexto de Redes Neurais Informadas pela Física (PINNs). Em aplicações de PINNs, o erro de fronteira atua como uma entrada não controlada. Para garantir limites de erro a posteriori válidos, é necessário um ganho de ISS ($\gamma$) rigoroso. Atualmente, tais ganhos são conhecidos apenas analiticamente para geometrias simples, limitando a aplicação em problemas de engenharia complexos.
• Objetivo: Desenvolver um framework rigoroso que permita calcular ou estimar as funções de ganho de ISS ($\beta$ e $\gamma$) para sistemas parabólicos com operadores de controle não limitados, utilizando apenas aproximações numéricas de dimensão finita.

2. Metodologia e Framework Teórico

Os autores utilizam a teoria de semigrupos e a análise funcional para estabelecer a conexão entre o sistema contínuo e suas discretizações.

2.1. Formulação do Problema

O sistema é modelado como:
$$\dot{x}(t) = Ax(t) + Bu(t), \quad x(0) = x_0$$
Onde:

• $A$ gera um semigrupo analítico em um espaço de Banach $X$.
• $B$ é um operador de controle não limitado, mapeando o espaço de entrada $U$ para um espaço de extrapolação $X_{-1}$ (ou um espaço de potência fracionária $X_{-1+\alpha}$).
• O foco é em Sistemas de Controle de Fronteira, onde a condição de contorno $Dx(t) = u(t)$ é transformada na forma acima usando o "Truque de Fattorini".

2.2. Aproximação Numérica

O sistema infinito é aproximado por uma sequência de sistemas de dimensão finita:
$$\dot{x}_n(t) = A_n x_n(t) + B_n u(t)$$
A convergência é garantida através de condições do tipo Trotter-Kato:

• Convergência forte dos semigrupos gerados por $A_n$ para o semigrupo gerado por $A$.
• Convergência das resoluventes.
• Convergência dos operadores de controle $B_n$ no sentido de operadores fortes para o espaço de potência fracionária adequado.

2.3. Estratégia de Estimação

Para obter o ganho de ISS $\gamma$, os autores decompõem a solução do sistema em duas partes:

1. Decaimento livre (sem entrada): Controlado pelo limite de crescimento do semigrupo ($M e^{\omega t}$).
2. Resposta forçada (com entrada): Controlada pela integral de convolução envolvendo o operador $B$.

A chave da metodologia é estimar a norma do operador $(-A)^{-1+\alpha}B$ e os parâmetros do semigrupo ($M, \omega$) e da resoluvente ($D$) diretamente a partir das matrizes e operadores discretos ($A_n, B_n$), provando que esses estimadores convergem para os valores reais do sistema contínuo quando $n \to \infty$.

3. Contribuições Principais

O artigo apresenta três contribuições teóricas fundamentais:

1. Estimação de ISS para Operadores Limitados em Espaços de Potência Fracionária (Teorema 4.1):

   • Demonstra que, para sistemas onde o operador de controle $B$ é conhecido e limitado em $X_{-1+\alpha}$, os ganhos de ISS podem ser obtidos como limites das funções de ganho das aproximações de dimensão finita.
   • Fornece fórmulas explícitas para calcular os limites superiores $\hat{\beta}$ e $\hat{\gamma}$ baseados nos parâmetros das aproximações ($M_n, \omega_n, D_n$).

2. Extensão para Sistemas de Controle de Fronteira (Teorema 4.1 e Seção 4):

   • Resolve o caso onde $B$ não é explicitamente conhecido, mas derivado de um sistema de controle de fronteira via o Truque de Fattorini.
   • Introduz o conceito de "discretização pré-fechamento de fronteira" (pre-boundary closure discretization). Esta é uma etapa intermediária crucial que preserva a estrutura do operador de fronteira antes de transformá-lo em um operador de controle distribuído.
   • Prova que, sob condições de consistência (convergência dos inversos direitos dos operadores de fronteira e limites uniformes), o operador de controle aproximado converge para o operador real no espaço de potência fracionária.

3. Validação Numérica com a Equação do Calor:

   • Aplica o framework teórico à equação do calor unidimensional com controle de Dirichlet.
   • Demonstra a convergência numérica dos parâmetros estimados ($\omega, D, \|B\|$) para os valores teóricos conhecidos na literatura.

4. Resultados Principais

• Convergência dos Ganhos: Foi provado que as funções de ganho de ISS calculadas a partir das aproximações de dimensão finita convergem para os ganhos reais do sistema infinito-dimensional.
• Fórmula do Ganho $\gamma$: O ganho de ISS para a parte forçada é dado por:
  $$\gamma(s) = \mu_e \kappa \lim_{n \to \infty} \|(-A_n)^{-1+\alpha} B_n\| s$$
  Onde $\kappa$ depende dos limites de crescimento do semigrupo e da resoluvente, calculados a partir das aproximações.
• Exemplo Numérico: Para a equação do calor com controle em ambas as fronteiras:
  • O ganho calculado foi $\gamma(s) \approx 0.8989 s$.
  • Este valor é comparável ao resultado analítico rigoroso para controle unilateral ($\gamma(s) \approx 0.8165 s$), validando a precisão do método de aproximação.
  • A convergência dos parâmetros $\omega_n$ (limite de crescimento) e $D_n$ (limite da resoluvente) foi observada numericamente conforme o refinamento da malha.

5. Significado e Impacto

• Ponte entre Análise Numérica e Teoria de Controle: O trabalho estabelece uma ligação rigorosa entre a análise numérica de EDPs e a teoria de estabilidade ISS, permitindo que engenheiros utilizem simulações numéricas para obter garantias de estabilidade teórica.
• Aplicabilidade em PINNs: O método elimina a necessidade de derivabilidade temporal da entrada (requisito de trabalhos anteriores) e remove a dependência de geometrias simples, tornando os estimadores de erro de PINNs aplicáveis a problemas de engenharia mais complexos.
• Abordagem Alternativa ao Riccati: Diferente de métodos que exigem a solução de equações de Riccati operacionais (difíceis de resolver numericamente), esta abordagem calcula os parâmetros diretamente da discretização do sistema, sendo mais viável computacionalmente.
• Generalidade: Embora focado em sistemas parabólicos com semigrupos analíticos, o framework de "discretização pré-fechamento de fronteira" oferece uma estrutura promissora para futuras extensões a problemas hiperbólicos e condições de contorno mistas.

Em resumo, o artigo fornece a primeira ferramenta rigorosa para calcular limites de estabilidade entrada-estado para sistemas de controle de fronteira complexos utilizando apenas dados de simulações numéricas de dimensão finita, superando a barreira da não-limitação dos operadores de controle.