Resumo Técnico: Co-projeto Hierárquico de Controle e Topologia Baseado em Modelo e Baseado em Dados para Sistemas em Rede Robustos

1. Definição do Problema

O artigo aborda o desafio de projetar sistemas em rede de grande escala compostos por subsistemas lineares interconectados sujeitos a distúrbios externos. O objetivo central é sintetizar conjuntamente três componentes:

1. Controladores Locais: Leis de realimentação para subsistemas individuais.
2. Controladores Globais Distribuídos: Mecanismos de coordenação utilizando informações trocadas entre subsistemas vizinhos.
3. Topologia de Interconexão: A estrutura de comunicação ou física que liga os subsistemas.

O projeto deve garantir a dissipatividade global (uma métrica de robustez que abrange estabilidade, ganho $L_2$ e passividade) de entradas de distúrbio para saídas de desempenho, enquanto otimiza o custo da topologia de interconexão (por exemplo, a esparsidade da comunicação).

Uma limitação significativa na literatura existente é a dependência de conhecimento preciso da dinâmica dos subsistemas, que muitas vezes não está disponível em aplicações do mundo real. Além disso, muitos métodos existentes tratam a topologia como fixa ou exigem procedimentos de projeto centralizados, não convexos e iterativos que carecem de escalabilidade. Este artigo busca desenvolver um framework unificado que:

• Realize um co-projeto hierárquico (controladores locais $\to$ controladores globais + topologia).
• Opere sob suposições baseadas em modelo (dinâmica conhecida) e baseadas em dados (dinâmica desconhecida, dados de trajetória conhecidos).
• Mantenha a componibilidade e descentralizabilidade baseando-se em Desigualdades Matrizes Lineares (LMIs).

2. Metodologia

A abordagem proposta é estruturada hierarquicamente e é apresentada em duas trilhas paralelas: baseada em modelo e baseada em dados.

A. Fundamentos Teóricos

O framework baseia-se na teoria da dissipatividade, especificamente na $X$-dissipatividade, que generaliza propriedades como passividade e estabilidade $L_2$ de ganho finito.

• Nível Local: Cada subsistema é projetado para satisfazer um certificado de dissipatividade local ($X_i$-dissipatividade).
• Nível Global: Esses certificados locais são propagados para o nível de rede para garantir a dissipatividade global ($Y$-dissipatividade) via matriz de interconexão $M$.
• Ferramentas: O projeto utiliza o complemento de Schur, princípios de congruência e o Lema de S de Matriz (para lidar com restrições quadráticas em configurações baseadas em dados).

B. Co-projeto Hierárquico Baseado em Modelo

Esta abordagem assume o conhecimento total da dinâmica do subsistema ($A_i, B_i, C_i$).

1. Síntese do Controlador Local: Um controlador de realimentação de estado local ($K_i$) é projetado para cada subsistema para impor uma propriedade de dissipatividade local específica ($X_i$-dissipatividade) com restrições $X_{i}^{11} > 0$ e $X_{i}^{22} < 0$. Isso é formulado como um problema de LMI.
2. Projeto Local Refinado: O projeto local é aumentado com condições necessárias derivadas da LMI global para melhorar a viabilidade da etapa global subsequente. Isso envolve uma mudança de variáveis para enviesar os certificados de dissipatividade local em direção à compatibilidade global.
3. Co-projeto Global: Utilizando os certificados locais fixos, um controlador global distribuído ($K$) e a topologia de comunicação são co-projetados. O controlador global é definido como $\bar{u} = Ky$, onde a esparsidade de $K$ (e, portanto, dos links de comunicação) é otimizada. Esta etapa resolve um único problema de LMI para impor a dissipatividade global enquanto minimiza uma função objetivo que promove a esparsidade ($\| \bar{K} \|_1$) e otimiza os limites de desempenho.

C. Co-projeto Hierárquico Baseado em Dados

Esta abordagem assume que a dinâmica do subsistema é desconhecida, mas dados de trajetória de entrada-estado-saída ricos estão disponíveis.

1. Consistência de Dados: O conjunto de todos os modelos de sistema consistentes com os dados observados e distúrbios limitados é caracterizado usando uma Desigualdade de Matriz Quadrática (QMI).
2. Modelagem de Distúrbio: Assume-se que os distúrbios desconhecidos são limitados por uma desigualdade de matriz quadrática (relaxando os limites convencionais).
3. Síntese do Controlador Local: O controlador local é sintetizado diretamente a partir dos dados. O Lema de S de Matriz é empregado para converter o requisito de que o controlador deve funcionar para todos os modelos consistentes com os dados em uma LMI tratável. Isso garante robustez contra dinâmicas e distúrbios desconhecidos.
4. Co-projeto Global: Semelhante ao caso baseado em modelo, o controlador global e a topologia são co-projetados. As matrizes de sistema desconhecidas ($B$) na LMI global são tratadas através da reformulação do problema usando as QMIs de consistência de dados e o Lema de S de Matriz, resultando em uma condição LMI robusta que não requer identificação de sistema explícita.

3. Principais Contribuições

O artigo delineia quatro contribuições primárias:

1. Formulação de Co-projeto Hierárquico: Um novo framework para sistemas lineares em rede que sintetiza conjuntamente controladores locais, controladores globais distribuídos e topologias de interconexão sob restrições de dissipatividade global.
2. Framework LMI Baseado em Modelo: Um processo de projeto em duas etapas onde a realimentação local impõe a dissipatividade do subsistema, que é então aproveitada para co-projetar controladores distribuídos e topologias com garantias de nível de rede.
3. Contraparte Direta Baseada em Dados: Um método que deriva condições LMI robustas usando apenas dados de trajetória de subsistemas e limites de distúrbio quadráticos, contornando a necessidade de identificação explícita de sistemas.
4. Aplicação de Estudo de Caso: Demonstração dos métodos propostos em um problema de controle de Microrede DC (DCMG), visando regulação de tensão robusta e compartilhamento de corrente.

4. Resultados e Aplicação

O artigo valida os métodos propostos usando um estudo de caso de Microrede DC envolvendo múltiplos Geradores Distribuídos (DGs) e linhas resistivas.

• Objetivo: Alcançar regulação de tensão robusta e compartilhamento proporcional de corrente enquanto se projeta a topologia de comunicação.
• Comparação: O design baseado em dissipatividades proposto foi comparado a um controlador global estabilizador padrão.
• Descobertas:
  • O método proposto aplicou com sucesso os certificados de dissipatividade desejados (regulação de tensão e compartilhamento de corrente).
  • Otimização de Topologia: Ao contrário do controlador estabilizador de referência, que exigia uma topologia de comunicação totalmente conectada, o co-projeto hierárquico proposto gerou uma topologia de comunicação mais esparsa.
  • Desempenho: Ambos os controladores alcançaram a regulação de regime permanente desejada, mas o método proposto o fez com menos links de comunicação, demonstrando a eficidade da otimização conjunta de controle e topologia.

5. Significância e Alegações

O artigo afirma que sua principal significância reside em abordar a lacuna entre o projeto de controle escalável e a síntese de topologia para sistemas em rede.

• Escalabilidade e Componibilidade: Ao utilizar uma abordagem hierárquica baseada em dissipatividade, o método evita processos de projeto centralizados, não convexos e iterativos. Ele mantém a componibilidade, permitindo que garantias locais sejam sistematicamente propagadas para garantias globais.
• Robustez à Incerteza: A extensão baseada em dados é significativa porque fornece garantias teóricas para estabilidade e desempenho sem exigir modelos precisos de sistema, o que é crucial para sistemas complexos do mundo real onde a modelagem é difícil.
• Framework Unificado: O artigo fornece um framework unificado tratável (via LMIs) que lida com o projeto conjunto de controladores e topologia sob configurações tanto baseadas em modelo quanto baseadas em dados, uma combinação que os autores observam ter sido amplamente inexplorada na literatura existente.

Os autores mantêm um tom modesto, observando que, embora a versão preliminar deste trabalho tenha abordado análise e síntese de topologia, este artigo estende o escopo para incluir a síntese de controladores locais e o tratamento de dinâmicas desconhecidas via métodos baseados em dados. Os resultados são ilustrados em um exemplo específico de microrede DC, com a implicação de que a metodologia é aplicável a outros sistemas em rede, como pelotões de veículos e cadeias de suprimentos, embora resultados específicos para esses domínios não sejam apresentados neste texto.