Steady-state response assignment for a given disturbance and reference: Sylvester equation rather than regulator equations

Título: Atribuição de Resposta em Regime Permanente para uma Perturbação e Referência Dadas: Equação de Sylvester em vez de Equações Reguladoras

1. Problema e Contexto

O artigo aborda o problema clássico de controle de sistemas lineares invariantes no tempo (LTI) multi-entrada-multi-saída (MIMO) sujeitos a perturbações e referências geradas por um sistema exógeno (gerador de sinal).

• Contexto Tradicional: Historicamente, o conceito de "momento" tem sido utilizado principalmente para redução de ordem de modelos, onde o objetivo é aproximar um sistema complexo preservando seus momentos (respostas em regime permanente) para um conjunto específico de excitações.
• O Problema: A literatura tradicional vê a alteração do momento devido ao feedback como uma falha a ser evitada (ou algo a ser preservado, como na "interpolacão em malha fechada"). O objetivo deste trabalho é inverter essa lógica: utilizar a alteração do momento induzida pelo feedback como uma ferramenta de projeto ativo.
• Objetivo: Desenvolver um quadro de projeto que permita atribuir ativamente uma resposta em regime permanente desejada ($M_{des}$) para uma dada perturbação/referência, garantindo simultaneamente a estabilidade do sistema em malha fechada. O trabalho busca substituir o uso complexo das "equações reguladoras" (regulator equations) pela mais simples e direta "equação de Sylvester".

2. Metodologia e Fundamentos Teóricos

A metodologia baseia-se na decomposição da dinâmica do sistema interconectado em uma variedade invariante.

A. Definição de Momento e Variedade Invariante

Para um sistema interconectado com um gerador de sinal $\dot{\omega} = S\omega$, se os espectros da matriz do sistema ($A$) e do gerador ($S$) forem disjuntos, existe uma variedade invariante $x = \Pi\omega$. O comportamento entrada-saída nesta variedade é descrito por um operador linear único, chamado de Momento ($M = C\Pi + DL$). Se $A$ for Hurwitz, essa variedade é atrativa, e o momento descreve completamente a resposta em regime permanente.

B. Decomposição do Momento em Malha Fechada

A observação central do artigo é que o momento em malha fechada ($M_{cl}$) de um sistema interconectado com um compensador dinâmico pode ser decomposto como:
$$M_{cl} = M_{open} + T_S(M_c)$$
Onde:

• $M_{open}$ é o momento em malha aberta do sistema original.
• $M_c$ é o momento do compensador (visto como um sistema aberto).
• $T_S(\cdot)$ é um Operador de Transferência de Momento, que mapeia o momento do compensador para a contribuição adicional no momento total do sistema.

Essa decomposição revela que o problema de projetar um compensador para atingir um momento desejado $M_{des}$ é equivalente a encontrar um momento do compensador $M_c$ tal que $T_S(M_c) = M_{des} - M_{open}$.

C. O Operador de Transferência de Momento ($T_S$)

Os autores definem formalmente o operador $T_S$, que é uma aplicação linear que mapeia o momento de entrada do compensador para o momento de saída do sistema.

• Condição de Atribuição: Um momento desejado $M_{des}$ é atribuível se e somente se a diferença $\Delta M = M_{des} - M_{open}$ estiver no espaço de imagem (range) do operador $T_S$.
• Relação com Zeros de Transmissão: A condição de solvabilidade está ligada aos zeros de transmissão do sistema. Se os autovalores do gerador de sinal coincidirem com zeros de transmissão do sistema, o espaço de momentos atribuíveis pode ser reduzido.

D. Estrutura Canônica do Compensador

O artigo propõe uma estrutura canônica para o compensador dinâmico que parametriza todos os controladores capazes de atribuir o momento desejado. A estrutura divide o estado do compensador em duas partes:

1. $\xi_a$: Responsável pela atribuição do momento (baseado em modelos canônicos de correspondência de momentos).
2. $\xi_b$: Estados redundantes dedicados exclusivamente à estabilização do sistema em malha fechada, sem alterar o momento atribuído.

3. Contribuições Principais

1. Mudança de Paradigma (Matching vs. Assignment): Transição do conceito passivo de "correspondência de momentos" (para redução de modelos) para "atribuição de momentos" (para controle ativo de perturbações e rastreamento).
2. Substituição das Equações Reguladoras: Demonstra que as complexas equações reguladoras da teoria de regulação de saída podem ser reformuladas e resolvidas inteiramente através da Equação de Sylvester. Isso simplifica drasticamente a síntese do controlador.
   • Insight: As equações reguladoras são, na verdade, a condição algébrica para que o momento do compensador $M_c$ satisfaça a equação de Sylvester necessária para cancelar a perturbação.
3. Condições Necessárias e Suficientes:
   • Estabelecimento de condições exatas para a atribuibilidade do momento (baseadas no operador $T_S$).
   • Estabelecimento de condições para estabilização em malha fechada: O sistema é estabilizável se e somente se o par $(A, B)$ for estabilizável e os pares $(C, A)$ e $(M_{open}, S)$ forem detectáveis.
4. Procedimento de Síntese Construtivo: Apresenta um algoritmo passo-a-passo para projetar o compensador:
   1. Calcular $M_c$ resolvendo a equação linear algébrica $T_S(M_c) = M_{des} - M_{open}$.
   2. Projetar um controlador de realimentação de saída padrão para estabilizar o sistema aumentado, utilizando parâmetros livres da estrutura canônica.

4. Resultados e Validação

• Exemplo Numérico: O método foi aplicado ao modelo de aeronave NASA HiMAT.
  • Cenário: Rejeição de uma perturbação constante (vento) e atenuação de uma perturbação oscilatória (rajada de 3 rad/s).
  • Objetivo: Atribuir um momento desejado que elimine o erro estático (momento zero para a componente constante) e reduza a amplitude da oscilação (momento não nulo, mas controlado, para a componente oscilatória).
  • Resultado: A simulação mostrou que o compensador proposto eliminou o viés constante e fez com que as oscilações convergissem exatamente para a trajetória em regime permanente atribuída pelo projetista, validando a eficácia do quadro teórico.

5. Significado e Impacto

• Unificação Conceitual: O trabalho unifica a regulação de saída clássica (onde $M_{des} = 0$) e a interpolação em malha fechada (onde $M_{des} = M_{open}$) sob uma única estrutura de "atribuição de momento".
• Interpretação Física: Oferece uma intuição física clara para a regulação de saída: o controlador deve gerar um momento específico que, quando somado ao momento da planta, resulte na resposta desejada.
• Simplicidade Computacional: Ao evitar as equações reguladoras (que são sistemas de equações algébricas e diferenciais acopladas) e usar apenas a equação de Sylvester (que é linear e bem estudada), o projeto torna-se computacionalmente mais eficiente e intuitivo.
• Caminho para Controle Baseado em Dados: Como os momentos podem ser extraídos diretamente de dados de entrada-saída sem conhecer as matrizes de estado completo, este framework abre caminho para regulação de saída baseada em dados (data-driven output regulation).
• Generalização: A estrutura sugere que essa abordagem pode ser estendida para sistemas não-lineares, híbridos e estocásticos, dado que o conceito de momento já foi generalizado para essas classes de sistemas na literatura recente.

Em resumo, o artigo propõe uma nova lente teórica para o controle de regime permanente, transformando um problema de estabilidade e rastreamento complexo em um problema algébrico de atribuição de momentos, resolvido de forma elegante e construtiva via equação de Sylvester.