Towards Co-Designed Event-Triggered Extremum Seeking

Resumo Técnico: Rumo à Busca de Extremos com Gatilho de Eventos Co-projetada

Formulação do Problema
Este artigo aborda o controle de mapas estáticos não lineares com incerteza politópica de Hessiano por meio de uma abordagem de busca de extremos (ES - Extremum Seeking) livre de modelo. O objetivo é conduzir a saída do sistema ao seu extremo enquanto minimiza o uso de recursos (computação e comunicação) através de um controle de gatilho de evento (ETC - Event-Triggered Control).

Os métodos existentes de ES com gatilho de evento tipicamente dependem de um design baseado em "emulação", onde o ganho do controlador é fixado primeiro (frequentemente como uma matriz diagonal) e o mecanismo de gatilho de evento (ETM) é sintetizado subsequentemente. Essa abordagem sequencial restringe o desempenho passível de ser alcançado em malha fechada, pois o controlador e a lei de gatilho não podem ser otimizados simultaneamente. Além disso, restringir o ganho do controlador a uma estrutura diagonal ignora o acoplamento entre as variáveis de otimização induzido pela matriz Hessiana, levando a condições de gatilho conservadoras e comunicações desnecessárias.

O artigo foca especificamente em mapas estáticos quadráticos multivariáveis onde a matriz Hessiana $H^*$ é desconhecida, mas pertence a um domínio politópico definido pelos vértices $\{H_1, \dots, H_N\}$. O sistema opera sob um retenção de ordem zero (ZOH - Zero-Order Hold) com atualizações de controle discretas disparadas por uma condição dependente da estimativa do gradiente e do erro de transmissão.

Metodologia
A abordagem proposta introduz um framework de co-projeto que sintetiza conjuntamente a matriz de ganho do controlador $K$ e o mecanismo de gatilho de evento (ETM). Diferente de trabalhos anteriores, este framework permite ganhos de controlador de matriz completa, aproveitando assim os acoplamentos transversais induzidos pelo Hessiano, em vez de ser restrito a ganhos diagonais.

A metodologia técnica procede da seguinte forma:

1. Modelagem do Sistema: O sistema ES é modelado usando sinais de sondagem (probing) e demodulação para estimar o gradiente. A dinâmica de malha fechada é expressa em termos do erro de estimativa e do erro de transmissão.
2. Análise de Média: Para lidar com os sinais de perturbação periódicos e a natureza descontínua das atualizações de gatilho, os autores empregam a teoria de média. Isso transforma o sistema original não autônomo e descontínuo em um sistema médio autônomo. A estabilidade do sistema original é então inferida a partir da estabilidade deste sistema médio.
3. Condição de Co-projeto: O problema de síntese conjunta é formulado como um problema de otimização convexa sujeito a restrições de Desigualdades Matrizes Lineares (LMI).
   • Estabilidade: Uma análise baseada em Lyapunov estabelece que, se LMIs específicas (envolvendo variáveis de decisão para o ganho $K$ e matrizes de gatilho $Q_G, Q_e$) forem satisfeitas, o sistema médio de malha fechada é exponencialmente estável com uma taxa de decaimento prescrita $\eta$.
   • Otimização: Para reduzir a comunicação, os autores formulam um problema de otimização que minimiza o traço das variáveis de decisão (relacionadas aos limiares de gatilho). Isso maximiza o erro de transmissão admissível, aumentando os intervalos de tempo entre eventos e reduzindo o número de gatilhos.
4. Ausência de Zeno: O artigo prova que os intervalos entre eventos são limitados inferiormente por um valor positivo, garantindo que o sistema esteja livre de comportamento de Zeno (gatilhos infinitos em tempo finito).

Principais Contribuições

• Framework de Co-projeto Unificado: O artigo propõe um método para projetar simultaneamente o ganho do controlador e o mecanismo de gatilho, indo além das limitações dos designs sequenciais baseados em emulação.
• Utilização de Ganho de Matriz Completa: O framework suporta explicitamente ganhos de controlador de matriz completa. Os autores demonstram que o uso de elementos fora da diagonal (informação de acoplamento) permite limiares de gatilho mais amplos em comparação com designs diagonais.
• Tratamento de Incerteza Politópica: A abordagem acomoda a incerteza do Hessiano modelada como um domínio politópico, garantindo robustez através de toda a gama de valores de curvatura possíveis.
• Garantias Teóricas: O artigo fornece provas rigorosas para a estabilidade exponencial do sistema médio de malha fechada, a convergência do sistema original para o ótimo (dentro de limites de ordem $O(a + 1/\omega)$) e a exclusão de comportamento de Zeno.

Resultados
Simulações numéricas foram conduzidas em um mapa não linear bidimensional com um limite de incerteza de Hessiano $\bar{\sigma}$.

• Comparação de Estruturas de Ganho: Ao resolver o problema de otimização de co-projeto para vários níveis de incerteza, o design de ganho de matriz completa consistentemente apresentou valores menores para a função objetivo (representando menos transmissões) em comparação com o design de ganho diagonal.
• Viabilidade: Em casos de teste específicos (ex: $\bar{\sigma}=0.6$, taxa de decaimento $\eta=1$), o co-projeto com ganho de matriz completa foi viável, enquanto o design de ganho diagonal falhou em satisfazer simultaneamente a mesma taxa de decaimento e as restrições de limiar de gatilho.
• Desempenho: O controlador co-projetado de matriz completa alcançou a taxa de convergência exponencial prescrita com significativamente menos eventos de gatilho (ex: 38 atualizações vs. 104 atualizações para diferentes vértices do Hessiano) em comparação com cenários onde ganhos diagonais seriam necessários para atender critérios de estabilidade semelhantes.
• Impacto da Incerteza: Os resultados ilustraram que, conforme o tamanho do polítopo de incerteza aumenta, o número de transmissões necessárias também aumenta, destacando o valor de uma informação prévia precisa sobre a curvatura.

Significância
O artigo afirma que sua principal significância reside em demonstrar que a informação prévia sobre a curvatura da função objetivo (especificamente a estrutura do Hessiano) não é apenas útil para garantir a estabilidade, mas é crítica para reduzir as cargas de comunicação. Ao explorar o acoplamento entre as variáveis de otimização através de ganhos de matriz completa dentro de um framework de co-projeto, o método proposto alcança um desempenho de gatilho superior. Os resultados indicam que ganhos diagonais são insuficientes para alcançar as mesmas taxas de decaimento e limiares de gatilho que os ganhos de matriz completa, mesmo quando ambos são sintetizados usando a mesma metodologia de co-projeto. Isso sugere que os "graus de liberdade extras" fornecidos pelas estruturas de matriz completa são essenciais para otimizar o compromisso entre velocidade de convergência e eficiência de comunicação na busca de extremos com gatilho de evento.