Equivalence of Finite- and Fixed-time Stability to Asymptotic Stability

Resumo Técnico: Equivalência entre Estabilidade Assintótica, de Tempo Finito e de Tempo Fixo

1. Problema e Motivação

O artigo aborda uma questão teórica fundamental na teoria de controle e otimização: qual é a relação entre as diferentes noções de taxas de convergência para sistemas dinâmicos, especificamente Estabilidade Assintótica (AS), Estabilidade Exponencial (ES), Estabilidade de Tempo Finito (FTS) e Estabilidade de Tempo Fixo (FxTS).

Embora seja conhecido que taxas de convergência mais rápidas (FTS e FxTS) oferecem maior robustez contra perturbações e são desejáveis em aplicações como aprendizado de máquina e controle, a maioria dos resultados existentes sobre a equivalência entre essas noções limita-se a classes específicas de sistemas (como fluxos de gradiente) ou exige a existência de uma função de Lyapunov diferenciável e estritamente positiva. O objetivo deste trabalho é generalizar esses resultados, demonstrando que, sob transformações geométricas adequadas, a estabilidade assintótica global (GAS) pode ser convertida em estabilidade de tempo fixo, relaxando a exigência de funções de Lyapunov diferenciáveis.

2. Metodologia

O autor utiliza uma abordagem baseada em princípios de invariância do tipo LaSalle e análise não suave (non-smooth analysis) para sistemas dinâmicos gerais. A metodologia é estruturada da seguinte forma:

• Análise Não Suave: Em vez de depender de funções de Lyapunov diferenciáveis, o trabalho utiliza funções localmente Lipschitz contínuas e regulares. São empregadas derivadas generalizadas (derivadas de Lie em conjunto, denotadas por $\tilde{L}_f V$) para lidar com pontos de não diferenciabilidade.
• Princípios de Invariância: O trabalho estende o princípio de invariância de LaSalle para garantir a convergência a um conjunto invariante dentro de um tempo finito ou fixo, sem exigir que a função $V$ seja estritamente positiva definida em todo o domínio, mas sim que suas derivadas ao longo das trajetórias satisfaçam certas condições de decaimento.
• Transformação de Dinâmica (Normalização/Escala): A técnica central proposta é a modificação da dinâmica do sistema original $\dot{x} = f(x)$ através de uma normalização baseada na norma da função vetorial $f(x)$. O sistema modificado assume a forma:
  $$\dot{x} = \left( \frac{1}{\|f(x)\|^p} + \frac{1}{\|f(x)\|^q} \right) f(x)$$
  onde $0 < p < 1$ e $q < 0$. Essa transformação altera a velocidade de convergência do sistema original.

3. Principais Contribuições

O artigo apresenta duas contribuições principais:

1. Novos Critérios de Lyapunov Não Suaves para FTS e FxTS:

   • O autor estabelece condições de primeira e segunda ordem para convergência de tempo finito e tempo fixo.
   • Teorema 2: Fornece condições para FTS/FxTS baseadas em uma função $V$ (não necessariamente positiva definida, mas com subníveis compactos) e uma função escalar $\phi$. Se a derivada de Lie satisfaz $\max \tilde{L}_f V(x) \leq -\phi(V(x))$, a convergência ocorre em tempo finito. Se a integral de $1/\phi$ é limitada uniformemente, a convergência é de tempo fixo.
   • Teorema 3: Estende o resultado para a derivada segunda da função de Lyapunov, permitindo condições de convergência baseadas na dinâmica do sistema $f$ e sua derivada, sem exigir que $V$ seja diferenciável, apenas que sua derivada de Lie seja bem-comportada.

2. Prova de Equivalência Geral (Teoremas 4 e 5):

   • Demonstra-se que qualquer sistema dinâmico com um ponto de equilíbrio Globalmente Assintoticamente Estável (GAS) pode ser transformado em um sistema com Estabilidade de Tempo Fixo (FxTS) através de uma escala adequada.
   • Teorema 4: Aplica-se a sistemas gerais onde a matriz $H(x) = -(\nabla f(x) + \nabla f(x)^T)$ satisfaz condições de positividade (definida ou semidefinida com condições de ortogonalidade). Mostra-se que a normalização do sistema original converte a estabilidade GAS em FxTS.
   • Teorema 5: Especializa o resultado para campos de gradiente ($f(x) = -\nabla V(x)$), mostrando que fluxos de gradiente assintoticamente estáveis podem ser convertidos em sistemas de tempo fixo estável através de uma dinâmica por partes (piecewise) ou normalizada.

4. Resultados Chave

• Relaxamento de Hipóteses: Os resultados não exigem que a função de Lyapunov seja diferenciável, permitindo a aplicação em problemas de otimização não suave e sistemas com descontinuidades controladas.
• Conversão de Taxas de Convergência: É provado que a estabilidade assintótica (AS) e exponencial (ES) são equivalentes à estabilidade de tempo finito (FTS) e tempo fixo (FxTS) sob uma transformação de tempo/escala específica.
• Limites de Tempo de Assentamento (Settling Time): O trabalho fornece limites explícitos para o tempo de convergência $T$. Para o sistema modificado, o tempo de assentamento é limitado superiormente por uma constante $T_M$ independente da condição inicial, garantindo a propriedade de tempo fixo.
• Evitação de Chattering: Diferente de métodos de controle por modos deslizantes clássicos que podem causar chattering devido a descontinuidades, a dinâmica proposta neste artigo é contínua, tornando-a aplicável a um leque mais amplo de problemas práticos.

5. Significado e Impacto

Este trabalho é significativo por várias razões:

• Unificação Teórica: Fortalece a hipótese de que todas as taxas de convergência (AS, ES, FTS, FxTS) são interconectadas através de transformações adequadas, unificando conceitos que anteriormente eram tratados de forma isolada ou restrita a classes específicas de sistemas.
• Aplicabilidade em Otimização e Controle: Ao generalizar os resultados para sistemas não lineares gerais e não suaves, o trabalho abre caminho para o desenvolvimento de algoritmos de otimização mais rápidos e robustos, bem como controladores com garantias de convergência em tempo fixo.
• Ferramentas Analíticas: A introdução de critérios de Lyapunov de segunda ordem não suaves baseados em princípios de invariância oferece novas ferramentas para a análise de estabilidade de sistemas complexos onde funções de Lyapunov clássicas são difíceis de construir.

Em conclusão, o artigo demonstra que a estabilidade de tempo fixo não é uma propriedade intrínseca exclusiva de sistemas especiais, mas sim uma característica acessível a qualquer sistema assintoticamente estável através de uma reescalonamento adequado de sua dinâmica, desde que se utilizem as ferramentas corretas de análise não suave.