Active Disturbance Rejection for Boundary Control Systems

Resumo Técnico: Rejeição Ativa de Distúrbios para Sistemas de Controle de Fronteira

Problema
Este artigo aborda a estabilização de sistemas lineares de dimensão infinita e equações diferenciais parciais (EDPs) sujeitos a distúrbios de entrada desconhecidos e não linearidades não modeladas. Especificamente, os autores consideram sistemas de controle de fronteira abstratos da forma:
$$\dot{x}(t) = Ax(t), \quad x(0) = x_0$$
$$Bx(t) = u(t) + d(t) + \phi_s(x(t)) + \phi_o(y(t))$$
$$y(t) = Cx(t)$$
onde $x$ é o estado, $u$ é a entrada de controle e $y$ é a saída. O sistema é corrompido por um sinal de distúrbio desconhecido $d(t)$ e não linearidades não modeladas $\phi_s$ (dependentes do estado) e $\phi_o$ (dependentes da saída). O objetivo é projetar um controlador que estime e rejeite o "distúrbio total" $d_{tot} = d + \phi_s(x) + \phi_o(y)$, conduzindo o estado $x$ a zero quando $t \to \infty$, garantindo simultaneamente a correção externa (well-posedness).

Metodologia
Os autores empregam a abordagem de Controle de Rejeição Ativa de Distúrbios (ADRC) dentro do arcabouço de sistemas de controle de fronteira abstratos. A metodologia central envolve:

1. Estimativa do Distúrbio Total: O controlador utiliza um sistema "invertido" para estimar o distúrbio total. Ao reinterpretar as condições de fronteira que definem a entrada como medições e os traços de saída como novas condições de fronteira, os autores constroem um estimador. Se o sistema invertido possuir uma dinâmica bem definida e estável, o erro de estimativa converge para zero.
2. Estrutura do Controlador: O controlador proposto consiste em três componentes principais:
   • Um Separador: Um bloco de pré-estabilização que remove a entrada de controle $u$ da dinâmica original do sistema antes da inversão.
   • Um Inversor: Um sistema dinâmico que inverte a relação entrada-saída para estimar a parte desconhecida da entrada ($d_{tot}$).
   • Um Observador do tipo Luenberger: Um observador linear para o sistema original que utiliza a estimativa do distúrbio $\hat{d}$ para aproximar a entrada desconhecida e cancelar assintoticamente seu efeito.
3. Arcabouço Matemático: A análise baseia-se na teoria de nós de fronteira bem definidos (well-posed boundary nodes) e sistemas lineares em espaços de Hilbert. Os autores definem soluções clássicas e generalizadas para o sistema de malha fechada, que inclui a planta e o controlador (este último sendo um sistema com um loop interno). Eles utilizam funções de transferência, teoria de semigrupos e estimativas de resolvente para estabelecer estabilidade e correção (well-posedness).

Principais Contribuições e Resultados
O artigo apresenta dois teoremas principais que estabelecem a fundamentação teórica para ADRC em sistemas de controle de fronteira abstratos:

• Teorema 3.2 (Correção Padrão/Well-Posedness): Sob suposições específicas relativas à correção do sistema invertido (especificamente, que o nó de fronteira invertido possui um mapa de saída bem definido), os autores provam:

  • A existência e unicidade de soluções clássicas e generalizadas para o sistema não linear de malha fechada.
  • A convergência exponencial do erro de estimativa de distúrbio ($\hat{d} - d_{tot}$) para zero.
  • A estabilidade exponencial do estado e da saída de malha fechada, desde que os semigrupos subjacentes sejam exponencialmente estáveis.
  • A correção incremental externa do sistema de malha fechada.

• Teorema 3.6 (Condições Relaxadas para Sistemas Parabólicos): Reconhecendo que os inversos de certos sistemas de EDPs (notadamente equações de calor) são mal definidos (ill-posed), os autores fornecem um resultado modificado. Eles substituem o requisito estrito de correção do sistema invertido por uma condição envolvendo a limitação uniforme de um produto específico de funções de transferência. Isso permite que o projeto ADRC seja aplicado a EDPs parabólicas onde a dinâmica inversa não é bem definida no sentido padrão, aproveitando o efeito de suavização dos modelos parabólicos.

Aplicações a EDPs
Os autores demonstram a aplicabilidade de seus resultados abstratos projetando controladores para:

1. Equação de Onda Unidimensional: Um sistema com entradas e saídas de fronteira colocalizadas. O controlador rejeita com sucesso distúrbios de fronteira e compensa não linearidades não modeladas, alcançando o decaimento exponencial de energia.
2. Equação do Calor Unidimensional: Um sistema onde o inverso é caracteristicamente mal definido. Os autores aplicam o Teorema 3.6 para mostrar que o controlador estabiliza o sistema e rejeita distúrbios, apesar da natureza mal definida da inversa, baseando-se nas propriedades de suavização parabólica.

Significância e Alegações
O artigo afirma avançar o estado da arte em ADRC para EDPs de várias maneiras específicas:

• Convergência Exponencial: Diferente de muitas referências existentes que mostram apenas convergência assintótica, este trabalho estabelece a convergência exponencialmente rápida tanto da estimativa do distúrbio quanto do estado controlado.
• Tratamento de Não Linearidades: O controlador é capaz de lidar com não linearidades de fronteira ($\phi_o \neq 0$), enquanto resultados anteriores frequentemente assumiam saídas lineares ou ignoravam não linearidades dependentes da saída.
• Correção Externa (External Well-Posedness): Os autores estabelecem a correção incremental externa para o sistema não linear de malha fechada, uma propriedade nem sempre garantida em projetos anteriores.
• Arcabouço Abstrato: A metodologia é desenvolvida para sistemas de controle de fronteira abstratos, fornecendo um arcabouço unificado que evita a complexidade de encontrar representações como sistemas lineares regulares ou nós de sistema.
• Condições Mais Fracas: O controlador garante a existência de soluções de malha fechada sob condições mais fracas do que as exigidas para o sistema de malha aberta, especificamente sem exigir propriedades de Lipschitz global para $\phi_s$, limites para a constante de Lipschitz de $\phi_o$, ou suposições de passividade/monotonicidade.

Os autores observam que, embora a teoria de sistemas de dimensão infinita tenha sido usada em ADRC para modelos específicos de EDP, esta metodologia não foi empregada anteriormente no contexto de sistemas de dimensão infinita abstratos. Os resultados fortalecem as conclusões existentes ao fornecer uma análise estrutural rigorosa e um conjunto de condições adequadas para o ajuste eficiente do controlador.