An approach to the LQG/LTR design problem with specifications for finite-dimensional SISO control systems

Resumo Técnico: Uma Abordagem para o Problema de Projeto LQG/LTR com Especificações para Sistemas de Controle SISO de Dimensão Finita

Enunciado do Problema
O artigo aborda uma limitação fundamental na teoria de controle Linear Quadrático Gaussiano (LQG): embora o filtro de Kalman–Bucy (KBF) garanta sensibilidade mínima e o Regulador Quadrático Linear (LQR) garanta margens de robustez, essas propriedades não se estendem automaticamente ao compensador LQG (feedback de estimativa de estado). Embora a técnica de Recuperação de Transferência de Malha (LTR - Loop Transfer Recovery) tenha sido desenvolvida para "restaurar" essas propriedades de robustez, a abordagem convencional frequentemente falha em atender simultaneamente a especificações específicas de desempenho em baixa frequência (rastreamento/rejeição de distúrbios) e robustez em alta frequência (atenuação de ruído).

Além disso, os autores observam que, embora os métodos de otimização de norma de espaço de Hardy $H_\infty$ e outros ofereçam um arcabouço rigoroso para especificações no domínio da frequência, eles frequentemente envolvem alta complexidade computacional e exigem a formulação de problemas de otimização de controle complexos. Por outro lado, muitas aplicações de LQG/LTR existentes dependem de ajustes de parâmetros heurísticos e não sistemáticos, tornando difícil para os profissionais verificarem formalmente os projetos ou mapearem os parâmetros de projeto para características específicas de modelagem de malha (loop-shaping), particularmente para sistemas de Entrada Única/Saída Única (SISO) de dimensão finita.

Metodologia
A abordagem proposta reformula o problema de projeto LQG integrando especificações de projeto dependentes da frequência diretamente no arcabouço LTR através de aumento por ponderação (weighting augmentation). A metodologia central procede da seguinte forma:

1. Formulação da Planta Aumentada: A planta nominal $G_0(s)$ é aumentada com duas funções de ponderação dinâmica, $W_1(s)$ e $W_2(s)$, posicionadas na entrada de controle e na entrada de ruído de medição, respectivamente.

   • $W_1(s)$ é projetada para moldar a malha para o controlador de feedback de estado LQR (afetando a atenuação de ruído em alta frequência).
   • $W_2(s)$ é projetada para moldar a malha para o KBF (afetando a sensibilidade em baixa frequência).
   • Os autores utilizam funções de transferência de tipo avanço (lead) e atraso (lag) de ordem superior para estas ponderações, definidas pelos coeficientes $\tau_{j1}$ e $\tau_{j2}$.

2. Princípio da Separação e Recuperação Assintótica: O projeto baseia-se no princípio da separação e na premissa de que a planta é de fase mínima. Sob a condição de que o parâmetro de ponderação LQR $\rho \to \infty$, a função de transferência de malha aberta do LQG recupera assintoticamente as propriedades da função de transferência da malha do KBF.

3. Solução Algébrica para Especificações: Em vez de resolver um problema de otimização complexo, os autores traduzem as especificações de projeto em malha fechada (limites na função de sensibilidade $S(s)$ e na sensibilidade ao ruído do controlador $K(s)S(s)$) em restrições de malha aberta sobre os ganhos de ponderação.

   • Especificações de baixa frequência (rastreamento) são mapeadas para restrições em $|W_2(i\omega)|$.
   • Especificações de alta frequência (atenuação de ruído) são mapeadas para restrições em $|W_1(i\omega)|$.
   • Esta tradução resulta em um sistema de desigualdades algébricas não lineares (ou igualdades, se os limites de projeto forem tratados como alvos estritos) em relação aos coeficientes de ponderação $\tau_{j1}, \tau_{j2}$.

4. Procedimento de Projeto Iterativo: O processo de projeto torna-se um procedimento algébrico para encontrar pares de coeficientes adequados que satisfaçam as desigualdades derivadas. Os autores enfatizam que a existência de soluções depende da atingibilidade dos limites especificados, destacando a natureza iterativa do projeto.

Principais Contribuições

• Procedimento Algébrico Sistemático: O artigo apresenta um método completamente algébrico para determinar as funções de transferência do compensador LQG para sistemas SISO. Ele evita a necessidade de resolvedores de otimização de controle iterativos, baseando-se na resolução de equações algébricas derivadas de especificações no domínio da frequência.
• Modelagem de Frequência Explícita: A abordagem vincula explicitamente os coeficientes das funções de ponderação a objetivos de projeto específicos de baixa e alta frequência, desmistificando o "mapeamento" de parâmetros de projeto para características de malha que costuma ser opaco nos métodos heurísticos de LTR.
• Foco em SISO: O trabalho visa especificamente sistemas SISO de dimensão finita, um domínio onde os autores argumentam que exemplos de projeto LQG/LTR práticos e teoricamente fundamentados são escassos na literatura em comparação com casos complexos de MIMO.
• Análise de Atingibilidade: O método incorpora naturalmente o conceito de atingibilidade, demonstrando que nem todas as combinações de especificações de desempenho e robustez são simultaneamente alcançáveis, e fornece um arcabouço para identificar regiões de projeto viáveis.

Resultos
A metodologia é validada através de um exemplo de projeto detalhado: o controle de torque de um motor DC com eixo de saída montado elasticamente.

• Modelo da Planta: Uma função de transferência racional de 4ª ordem derivada de dados experimentais, que é estável e de fase mínima.
• Casos de Projeto: Os autores testaram três ordens de ponderação ($m, p$).
  • Caso 1 ($m=p=1$): Nenhum par de solução adequado foi encontrado para os limites especificados, ilustrando os limites da atingibilidade com ponderações de ordem inferior.
  • Caso 2 ($m=p=2$): Soluções foram encontradas, mas a especificação de atenuação de ruído em alta frequência não pôde ser totalmente atendida.
  • Caso 3 ($m=3, p=2$): Uma solução adequada foi encontrada, satisfazendo simultaneamente todos os limites de baixa e alta frequência.
• Desempenho: O compensador resultante atingiu os limites desejados de sensibilidade ($|S|$) e sensibilidade ao ruído ($|KS|$). No entanto, o projeto inicial exibiu um pico de sensibilidade na faixa da frequência de cruzamento, levando a uma resposta ao degrau levemente amortecida e margens de robustez reduzidas (margem de ganho $\approx 1,9$ dB).
• Refinamento: Ao relaxar os limites de sensibilidade ao ruído de alta frequência (aumentando a magnitude permitida), os autores redesenharam com sucesso os coeficientes de ponderação. Esta modificação reduziu o pico de sensibilidade, melhorando significamente a margem de ganho (para $\approx 4,8$ dB) e a margem de fase (para $\approx 35,2^\circ$), mantendo o desempenho aceitável.

Significância e Alegações
Os autores posicionam este trabalho como uma contribuição expositiva destinada a não especialistas e profissionais. Eles alegam que sua abordagem:

• Fornece uma alternativa "direta e sistemática" tanto para o ajuste heurístico de LTR quanto para a otimização intensiva de $H_\infty$ computacional.
• Preenche a lacuna entre a intuição clássica de modelagem de malha (loop shaping) e o arcabouço LQG/LTR.
• Oferece um procedimento prático para sistemas SISO onde a "riqueza de experiência" para aplicar LTR é, conforme relatado, pequena.

O artigo reconhece modestamente que os resultados matemáticos em si não são novos, pois baseiam-se na teoria e nos princípios de separação estabelecidos do LQG/LTR. A novidade reside na aplicação específica do aumento por ponderação para criar um sistema algébrico resolúvel para o projeto SISO. Os autores declaram explicitamente que a abordagem assume plantas de fase mínima e não lida atualmente com atrasos de tempo ou sistemas de fase não mínima, apontando estes como extensões naturais para trabalhos futuros. Eles também identificam a complexidade computacional de resolver os sistemas algébricos não lineares para ponderações de ordem superior como um desafio para estudos futuros. Por fim, observam que a verificação experimental do compensador está em andamento, mas ainda não foi incluída no artigo.