Analysis of Non-Square Nonlinear MIMO Systems using Scaled Relative Graphs

1. Problema e Motivação

Os métodos gráficos de análise de controle, como os diagramas de Nyquist e Bode, são fundamentais para sistemas Lineares e Invariantes no Tempo (LTI) de entrada única e saída única (SISO). No entanto, estender essas ferramentas para sistemas Multivariáveis (MIMO) e Não-Lineares permanece um desafio aberto.

A ferramenta proposta recentemente, o Grafo Relativo Escalado (SRG - Scaled Relative Graph), oferece uma abordagem gráfica no domínio da frequência para analisar sistemas não-lineares SISO, fornecendo condições suficientes para estabilidade e limites de ganho $L_2$ (incremental e não-incremental).

O Desafio Específico:
Embora existam esforços recentes para generalizar a análise SRG para sistemas MIMO, todas as abordagens atuais são restritas a sistemas quadrados (onde o número de entradas é igual ao número de saídas). Isso ocorre devido à estrutura intrínseca do espaço de Hilbert subjacente à definição do SRG.

• Quando os operadores não são quadrados (sistemas "tall" com mais saídas que entradas, ou "wide" com mais entradas que saídas), o espaço de Hilbert de entrada difere do espaço de saída.
• Tentativas ingênuas de tornar o sistema quadrado (adicionando entradas ou saídas artificiais) levam a um conservadorismo excessivo na análise de estabilidade e desempenho, podendo até destruir propriedades como passividade ou estabilidade do laço de realimentação.

O objetivo deste trabalho é desenvolver um método de análise SRG que acomode operadores não-quadrados sem introduzir conservadorismo desnecessário.

---

2. Metodologia Proposta

A abordagem central do artigo baseia-se em uma técnica de embebedamento (embedding) inteligente combinada com restrições de espaço de entrada.

2.1. Embebedamento em Espaço de Operadores Quadrados

O método propõe embeber todos os operadores em uma interconexão em um espaço comum de operadores atuando em um único espaço de Hilbert (tornando-os quadrados).

• Operadores "Wide" ($p > q$): Adicionam-se saídas que mapeiam para zero.
• Operadores "Tall" ($p < q$): Adicionam-se entradas que são ignoradas na saída.

2.2. Restrição do Espaço de Entrada (Chave da Inovação)

A contribuição metodológica crucial é a restrição do espaço de sinais de entrada ao tamanho original da dimensão de entrada do sistema.

• Ao contrário de métodos anteriores que adicionam entradas/saídas não nulas artificiais, este método garante que o SRG seja calculado apenas sobre o subespaço relevante de entradas originais.
• Isso evita que o conservadorismo aumente devido às dimensões artificiais adicionadas para "quadrar" o sistema. O artigo demonstra que essa restrição pode preservar a passividade e a estabilidade que seriam perdidas em abordagens de "quadratura" ingênuas.

2.3. Generalização do Cálculo SRG

Os autores generalizam as regras de interconexão do SRG (soma, produto, inversão) para espaços de entrada restritos. Isso permite a análise modular de sistemas complexos, onde o SRG de um sistema interconectado é composto pelos SRGs dos subsistemas.

2.4. Representação Fracionária Linear (LFR)

A análise é focada em sistemas na forma de Representação Fracionária Linear (LFR), que consiste em um bloco LTI ($G$) interconectado com um bloco de não-linearidades estáticas ou dinâmicas ($\Phi$). O LFR é uma forma geral que abrange uma vasta classe de sistemas de controle e identificação.

---

3. Principais Contribuições Teóricas

1. Definição do SRG MIMO para Operadores Não-Quadrados:
   Introduz uma definição formal (Definição 1) que utiliza operadores de embebedamento ($\iota$) e projeção ($\pi$) para calcular o SRG de operadores $L_p^2 \to L_q^2$ sem alterar a dimensão efetiva do espaço de entrada.

2. Teoremas de Estabilidade para Interconexões Não-Quadradas:

   • Teorema 1: Estabelece condições para bem-posedness (corretude), causalidade e estabilidade incremental $L_2$ para interconexões de feedback simples com operadores não-quadrados.
   • Teorema 2: Estende esses resultados para sistemas em forma LFR, fornecendo limites de ganho incremental para o sistema em malha fechada.

3. Algoritmos de Cálculo de SRG:

   • Operadores LTI Estáveis: Fornece um algoritmo computacionalmente tratável para calcular exatamente o SRG de operadores LTI MIMO (quadrados ou não), utilizando a interseção de discos no plano complexo baseada em valores singulares.
   • Não-Linearidades Estáticas: Fornece limites para SRGs de blocos não-lineares diagonais e estáticos, bem como para certos blocos não-lineares não-quadrados.

4. Ferramentas de Cálculo (Cálculo de SRG):
   Desenvolve regras para adicionar "cordas" (chords) e "arcos" (arcs) aos limites do SRG de forma otimizada (Lema 9), permitindo a composição de limites para interconexões em série e paralelo com menor conservadorismo.

---

4. Resultados e Exemplos

Os autores validam a teoria através de quatro exemplos numéricos, demonstrando vantagens sobre métodos existentes:

1. Sistema de Lur'e Não-Quadrado:

   • Comparação entre a abordagem proposta e a "quadratura ingênua" (adicionar entradas/saídas não nulas).
   • Resultado: A abordagem proposta reduziu drasticamente o conservadorismo. Enquanto o método ingênuo falhou em provar estabilidade para certos parâmetros ou forneceu limites de ganho $L_2$ extremamente altos (ex: 12.5 vs 0.4), o método proposto provou estabilidade e forneceu limites precisos. Além disso, preservou a propriedade de passividade que foi destruída pela quadratura ingênua.

2. Sistema SISO com Múltiplas Não-Linearidades:

   • Comparação com a abordagem de [15] (que usa ferramentas SRG SISO).
   • Resultado: A abordagem MIMO proposta forneceu um limite de ganho incremental $L_2$ mais apertado (2.33 vs 4.81) e provou automaticamente causalidade e bem-posedness, propriedades que precisavam ser assumidas no trabalho anterior.

3. Sistema Massa-Mola-Amortecedor MIMO Não-Linear:

   • Análise de um sistema físico com duas massas e molas não-lineares.
   • Resultado: Demonstrou a aplicabilidade do método em sistemas físicos complexos com múltiplas não-linearidades acopladas, calculando limites de ganho viáveis.

4. Comparação com Resultados Baseados em IQC:

   • Comparação com um exemplo de [7] que utiliza Análise de Integral Quadrática de Restrições (IQC).
   • Resultado: O método SRG proposto obteve resultados idênticos para a análise de estabilidade não-incremental e um limite de ganho significativamente melhor (1.79 vs ~4.05) para o sistema em malha fechada total.

---

5. Significado e Impacto

Este trabalho preenche uma lacuna crítica na teoria de controle não-linear e multivariável:

• Generalização Realista: Permite a aplicação de ferramentas gráficas poderosas (SRG) a uma classe muito mais ampla de sistemas práticos, que frequentemente são não-quadrados (ex: sistemas com mais sensores que atuadores, ou vice-versa).
• Redução de Conservadorismo: A técnica de restrição de espaço de entrada elimina o conservadorismo artificial introduzido por métodos anteriores de "quadratura", tornando a análise mais precisa e menos restritiva para o projeto de controladores.
• Ferramenta Computacional: Os autores disponibilizam uma caixa de ferramentas em Julia (SrgTools.jl) que implementa esses algoritmos, facilitando a adoção prática por engenheiros e pesquisadores.
• Versatilidade: Embora focado em LFR, o framework é modular e pode ser aplicado a qualquer interconexão de sistemas MIMO, oferecendo uma estrutura unificada para análise de estabilidade e desempenho.

Em resumo, o artigo estabelece um novo padrão para a análise de estabilidade e desempenho de sistemas não-lineares MIMO não-quadrados, combinando rigor matemático com aplicabilidade prática e eficiência computacional.