Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

Resumo Técnico: Certificação da Atratividade de Conjuntos para Sistemas Chaveados Não Lineares Incertos em Tempo Discreto

Enunciado do Problema
O artigo aborda o desafio de certificar a atratividade local robusta de conjuntos para sistemas chaveados não lineares incertos em tempo discreto, onde a lei de chaveamento atua como uma variável de decisão. Embora exista literatura extensa sobre a análise de estabilidade de sistemas chaveados lineares e livres de incertezas (tanto em tempo contínuo quanto discreto), e algum trabalho cubra sistemas lineares incertos, o problema permanece uma questão aberta significativa para sistemas chaveados não lineares incertos. Os métodos existentes baseados em Lyapunov são frequentemente não triviais de aplicar a sistemas não lineares, e as abordagens baseadas em teoria de conjuntos, fundamentadas em conjuntos invariantes, ainda não forneceram resultados gerais para atratividade na presença de incertezas para esta classe específica de sistemas.

Metodologia
Os autores propõem um quadro teórico centrado em uma nova classe de funções denominadas Funções de Garantia de Atratividade (AG). A metodologia prossegue através das seguintes etapas lógicas:

1. Definição das Funções AG: Uma função AG é um relaxamento do conceito de função de Lyapunov de controle. É uma função não negativa $L: X \to \mathbb{R}_{\geq 0}$ que se anula em um conjunto alvo $\Omega$ e satisfaz uma condição específica de decréscimo. Especificamente, para estados dentro de um certo conjunto de nível, deve existir um modo de chaveamento tal que o supremo do valor da função sobre todas as realizações possíveis de incertezas diminua por uma margem dependente da distância ao conjunto $\Omega$.
2. Vínculo Teórico com Atratividade: O artigo prova (Proposição 2) que a existência de uma função AG associada a um conjunto $\Omega$ garante a atratividade local robusta desse conjunto.
3. Abordagem Construtiva via Conjuntos Contrativos: Para abordar a dificuldade de encontrar funções AG diretamente para sistemas não lineares, os autores propõem um método construtivo baseado em Conjuntos Contrativos de Controle Robusto (RCCS). Um RCCS é um conjunto onde, para cada estado, existe um modo de chaveamento que leva o sistema para o interior do conjunto (considerando todas as incertezas).
4. Prova de Existência: Os autores demonstram (Proposição 5) que, se um RCCS compacto existir, é possível construir explicitamente uma função AG por partes constantes baseada na "distância" de um estado do conjunto alvo, medida pelo número de passos necessários para alcançar o conjunto via conjuntos controláveis.
5. Implementação Algorítmica:
   • Para sistemas lineares com incerteza aditiva, os autores adaptam um algoritmo existente (Fiacchini e Jungers, 2014) para calcular recursivamente conjuntos controláveis robustos usando diferenças de Minkowski. Isso permite o cálculo fora de linha de uma lei de chaveamento estabilizadora.
   • Para sistemas não lineares, propõe-se um procedimento numérico para aproximar os conjuntos controláveis e verificar a condição de contratividade ($\Omega \subset \text{int}_X(C(\Omega))$) usando uma abordagem baseada em grade.

Contribuições Principais

• Introdução das Funções AG: O artigo define as funções AG como uma ferramenta para certificar a atratividade de conjuntos com requisitos mais fracos do que as funções de Lyapunov tradicionais, acomodando especificamente as descontinuidades decorrentes do chaveamento.
• Garantia Teórica: Estabelece uma cadeia lógica rigorosa: a existência de um Conjunto Contrativo de Controle Robusto (RCCS) $\implies$ existência de uma função AG $\implies$ atratividade local robusta do conjunto.
• Método Construtivo: O artigo fornece um método concreto para gerar funções AG a partir de RCCSs, definindo a função com base no índice de passo dos conjuntos controláveis robustos ($C_k(\Omega)$).
• Síntese da Lei de Chaveamento: Uma lei de chaveamento estabilizadora explícita é derivada (Equação 16) que seleciona o modo minimizando o índice de passo até o conjunto alvo, garantindo que a trajetória do sistema permaneça dentro do domínio de atração e convirja para o conjunto.
• Validação Linear e Não Linear: O quadro teórico é validado em sistemas chaveados lineares com incerteza aditiva e aplicado a um estudo de caso não linear.

Resultados

• Caso Linear: O algoritmo proposto identifica com sucesso RCCSs e leis de chaveamento estabilizadoras para sistemas lineares com incertezas limitadas. Em um exemplo, o método identificou uma lei estabilizadora onde a análise sem incertezas sugeria estabilidade, mas a presença de incertezas impediu a identificação de um conjunto contrativo, destacando a necessidade da abordagem robusta.
• Estudo de Caso Não Linear (Resistência Antimicrobiana): O quadro foi aplicado a um modelo em tempo discreto da dinâmica de populações bacterianas (cepas suscetíveis e resistentes) sob resposta imune e tratamento com antibióticos.
  • Os autores identificaram RCCSs para cargas bacterianas iniciais específicas (por exemplo, carga total $b_0 \leq 10.000$).
  • Simulações numéricas demonstraram que, para essas cargas, o sistema possui um conjunto atrativo, significando que a população bacteriana pode ser levada a um estado de baixa carga, apesar das incertezas na discretização e nos parâmetros do modelo.
  • Para cargas iniciais mais altas ($b_0 = 120.000$), a condição de contratividade falhou, indicando os limites do protocolo de terapia para altas cargas bacterianas.

Significado e Alegações
O artigo alega fornecer o primeiro resultado geral para certificar a atratividade de conjuntos em sistemas chaveados não lineares incertos. Seu significado reside em:

• Preenchimento de uma Lacuna: Estende os métodos de controle baseados em teoria de conjuntos de sistemas lineares/livres de incertezas para o domínio mais complexo de sistemas não lineares incertos.
• Relevância Prática: A aplicação à resistência antimicrobiana (RAM) demonstra a utilidade da abordagem em sistemas biológicos, especificamente na avaliação das limitações fundamentais dos protocolos de terapia com antibióticos com base na carga bacteriana inicial.
• Robustez: A metodologia considera explicitamente as incertezas, fornecendo um certificado geométrico de estabilidade assintótica e satisfação de restrições que é robusto a variações de modelo e erros de discretização.

Os autores observam que a abordagem está atualmente limitada à atratividade local e que a construção da lei de chaveamento pode ser computacionalmente intensiva para sistemas não lineares gerais devido à necessidade de calcular conjuntos controláveis fora de linha. Eles sugerem que trabalhos futuros devem focar em condições menos conservadoras para a existência de funções AG e em estratégias de chaveamento orientadas ao desempenho.