Safe Control of Feedback-Interconnected Systems via Singular Perturbations

Resumo Técnico

1. Problema e Motivação

O artigo aborda o desafio de projetar controladores de segurança para sistemas não lineares complexos que envolvem a interconexão por feedback de subsistemas que operam em escalas de tempo diferentes.

• Contexto: Em aplicações modernas (como robótica, onde partes elétricas e mecânicas interagem, ou em otimização em tempo real acoplada a plantas físicas), as dinâmicas rápidas (ex.: circuitos elétricos, algoritmos de otimização) e lentas (ex.: movimento mecânico) estão acopladas.
• Desafio: As restrições de segurança frequentemente dependem apenas de uma parte do sistema (geralmente a dinâmica lenta). Projetar Funções de Barreira de Controle (CBFs) diretamente para o sistema completo de alta dimensão é computacionalmente caro e matematicamente complexo, especialmente quando a dinâmica completa não é totalmente conhecida ou é de ordem elevada.
• Limitação Atual: Métodos existentes, como CBFs de Alta Ordem (HOCBFs) ou técnicas de backstepping, muitas vezes exigem estruturas específicas (como forma estrita de feedback) ou relativa grau uniforme, o que não se aplica a todas as interconexões modernas.

2. Metodologia Proposta

Os autores propõem um quadro formal baseado na teoria de perturbações singulares (separação de escalas de tempo) para "elevar" (lift) um certificado de segurança projetado para um modelo de ordem reduzida para o sistema interconectado completo.

• Estrutura do Sistema: O sistema é modelado como:

  • Sistema Lento: $\dot{x} = f(x, z, u)$
  • Sistema Rápido: $\epsilon \dot{z} = g(z, x, u)$
  • Onde $x$ é o estado lento, $z$ é o estado rápido, $u$ é a entrada e $\epsilon > 0$ é um parâmetro pequeno que modula a velocidade relativa.

• Premissas Fundamentais:

  1. Restrições de Segurança: Definidas apenas no subsistema lento ($x \in S_x$).
  2. Equilíbrio Rápido: O subsistema rápido possui uma função de equilíbrio $z_{eq}(x, u)$ que depende do estado lento e da entrada.
  3. Controlador Reduzido: Existe um controlador $\pi(x)$ que garante a segurança para o sistema reduzido (onde $z = z_{eq}$), com uma margem de segurança $\eta > 0$.
  4. Estabilidade da Camada Limite: O sistema de camada limite (erro rápido) é globalmente exponencialmente estável uniformemente em relação a $x$ e $u$.

• Construção da CBF Composta:
  Os autores definem uma nova função de barreira composta $V(x, z)$ que combina a CBF do sistema lento ($h(x)$) com uma função de Lyapunov do sistema rápido ($U$):
  $$V(x, z) := h(x) - U(z - z_{eq}(x, \pi(x)))$$
  Esta função penaliza o desvio do estado rápido em relação ao seu equilíbrio ideal, garantindo que, se $V \geq 0$, o sistema completo permanece seguro.

3. Contribuições Principais

1. Primeira Abordagem Formal: Estabelecem o primeiro quadro teórico que utiliza perturbações singulares especificamente para garantir a segurança (e não apenas estabilidade) em sistemas interconectados.
2. Condições Suficientes para Elevação de Segurança: Provam que, se a separação de escalas de tempo for suficiente (ou seja, $\epsilon$ for menor que um limite crítico $\bar{\epsilon}$), a segurança do modelo reduzido pode ser estendida formalmente para o sistema completo.
3. Simplificação Computacional: O filtro de segurança online precisa ser resolvido apenas para o modelo de ordem reduzida (baixa dimensão), reduzindo drasticamente a carga computacional, enquanto as garantias formais são mantidas para o sistema completo.
4. Generalidade: A abordagem não exige estruturas de cascata estritas nem leis de feedback baseadas em inversão restritivas, aplicando-se a uma ampla classe de dinâmicas não lineares.

4. Resultados e Validação

Os resultados foram validados através de simulações numéricas em dois cenários distintos:

• Cenário A: Braço Robótico com Dinâmica de Atuadores:

  • Um braço robótico de 2 graus de liberdade com dinâmicas mecânicas (lentas) e elétricas de motores (rápidas).
  • A CBF foi projetada apenas para a dinâmica mecânica reduzida.
  • Resultado: O sistema manteve-se seguro para valores de $\epsilon$ abaixo de um limiar crítico. Quando $\epsilon$ foi aumentado (reduzindo a separação de tempos), ocorreram violações de segurança, confirmando a dependência da teoria em relação à separação de escalas.

• Cenário B: Controle Seguro Subótimo (Otimização em Tempo Real):

  • Um sistema físico controlado por um algoritmo de otimização que busca minimizar uma função de custo sujeito a restrições de segurança.
  • O algoritmo de otimização atua como o subsistema rápido.
  • Resultado: A abordagem proposta manteve a segurança para $\epsilon$ pequeno, aproximando-se do desempenho de uma solução exata (QP de CBF), mas com menor complexidade computacional. Para $\epsilon$ grande, violações de segurança ocorreram.

5. Significado e Impacto

Este trabalho é significativo porque oferece uma ponte teórica robusta entre a simplicidade de projetar controladores para modelos reduzidos e a complexidade de sistemas físicos reais interconectados.

• Eficiência: Permite que engenheiros projetem filtros de segurança em modelos simplificados sem perder garantias formais, desde que a separação de tempos seja respeitada.
• Aplicabilidade: É particularmente relevante para a integração de algoritmos de aprendizado de máquina ou otimização complexa em loops de controle de sistemas físicos, onde a dinâmica do algoritmo é muito mais rápida que a do hardware.
• Segurança Formal: Transforma a intuição de que "sistemas rápidos convergem para o equilíbrio antes que o lento mude" em uma prova matemática rigorosa de invariância do conjunto seguro.

Em suma, o artigo fornece uma ferramenta poderosa para garantir a segurança em sistemas ciber-físicos complexos, permitindo o uso de modelos simplificados para síntese de controle sem sacrificar a garantia de segurança do sistema completo.