An Update to the Level Set Theorems in Hamilton-Jacobi Reachability Analysis

Resumo Técnico: Uma Atualização dos Teoremas de Conjuntos de Nível na Análise de Alcançabilidade de Hamilton-Jacobi

Declaração do Problema
A Alcançabilidade de Hamilton-Jacobi (HJR) é um arcabouço estabelecido para sintetizar controladores para sistemas não lineares de segurança crítica sob incerteza, tipicamente formulado como jogos diferenciais. O processo envolve converter uma tarefa de controle qualitativa (ex: desvio de obstáculos ou alcance de objetivos) em um "jogo de grau", resolvendo a equação diferencial parcial de Hamilton-Jacobi (HJ) associada para obter uma função de valor e, finalmente, interpretar esta função de valor para definir o conjunto de estados iniciais seguros ou inseguros. Este passo final depende de "Teoremas de Conjuntos de Nível".

Os autores identificam que a literatura existente contém erros técnicos e ambiguidades em relação a estes teoremas, especificamente no que diz respeito às condições sob as quais os conjuntos de nível da função de valor correspondem corretamente aos conjuntos de vitória do jogo. Estes problemas têm causado confusão na comunidade, particularmente em relação à interpretação de estados que residem exatamente no conjunto de nível zero da função de valor. O artigo postula que formulações anteriores frequentemente negligenciam suposições topológicas e de convexidade necessárias, levando a caracterizações incorretas de conjuntos de segurança e alcançabilidade.

Metodologia
O artigo emprega uma abordagem matemática rigorosa fundamentada na teoria de jogos diferenciais e na topologia. Os autores:

1. Formalizam a Configuração do Jogo: Eles definem um jogo diferencial de horizonte finito com um jogador controlador e um jogador de perturbação adversária. A dinâmica do sistema é governada por $\dot{x} = f(x, a, b)$, onde $a$ e $b$ são sinais de controle e perturbação, respectivamente. O jogador de perturbação utiliza estratégias não antecipativas.
2. Estabelecem Suposições: A análise baseia-se em cinco suposições:
   • Continuidade padrão e compacidade das dinâmicas e conjuntos de controle (Suposições 1-3).
   • Convexidade da dinâmica de perturbação: Para cada estado e controle, o conjunto de vetores de dinâmica possíveis induzidos pelo conjunto de perturbação $B$ deve ser convexo (Suposição 4).
   • Fechamento dos modos de falha: O conjunto de trajetórias de falha $F(t)$ deve ser fechado no espaço das trajetórias contínuas (Suposição 5).
3. Derivam um Teorema Geral: Eles provam um Teorema de Conjunto de Nível generalizado (Teorema 1) que vincula a função de valor $v(x,t)$ aos conjuntos seguros ($L(t)$) e inseguros ($G(t)$). O teorema estabelece que $L(t) = \{x \mid v(x,t) > 0\}$ e $G(t) = \{x \mid v(x,t) \leq 0\}$, desde que o funcional $J$ que define os modos de falha seja contínuo e limitado.
4. Constroem Contraexemplos: Para demonstrar a necessidade das novas suposições, os autores constroem dois contraexemplos específicos:
   • Falta de Convexidade: Um jogo de desvio de obstáculos onde o conjunto de perturbação $B$ é não-convexo (pontos discretos). Eles mostram que, sem a Suposição 4, um estado no conjunto de nível zero ($v=0$) pode não pertencer ao conjunto inseguro, contradizendo interpretações padrão.
   • Conjuntos Alvo Fechados: Um jogo de alcance de objetivo onde o conjunto alvo é fechado em vez de aberto. Eles demonstram que, sem a Suposição 5 (que implica que os alvos devem ser abertos), um estado no conjunto de nível zero pode não pertencer ao conjunto seguro, novamente contradizendo interpretações padrão.
5. Técnicas de Prova: As provas utilizam o Lema de Filippov para estabelecer a existência de sinais de perturbação mensuráveis, e argumentos topológicos envolvendo a compacidade dos conjuntos de trajetórias e planos de perturbação não antecipativos (usando o Teorema de Tychonoff e ordenação lexicográfica) para provar o teorema principal.

Principais Contribuições

1. Correção de Erros Técnicos: O artigo identifica e corrige falhas técnicas em Teoremas de Conjuntos de Nível anteriores encontrados na literatura, apontando especificamente a omissão da condição de convexidade na dinâmica (Suposição 4) e o requisito de conjuntos de falha fechados (Suposição 5).
2. Teorema de Conjunto de Nível Geral: Os autores fornecem um teorema unificado e conciso aplicável a todos os jogos de horizonte finito de interesse em HJR, esclarecendo a desigualdade estrita para o conjunto seguro ($v > 0$) e a desigualdade não estrita para o conjunto inseguro ($v \leq 0$).
3. Esclarecimento da Ambiguidade do Conjunto de Nível Zero: Através de contraexemplos, o artigo explica por que pontos no conjunto de nível zero da função de valor são ambíguos quando as suposições padrão são violadas. Nesses casos, o resultado do jogo (vitória/derrota) para esses pontos específicos não pode ser determinado apenas pela função de valor sendo zero; o controlador pode vencer para alguns pontos na fronteira enquanto a perturbação vence para outros.
4. Rigor Topológico: O trabalho faz a ponte entre HJR e argumentos topológicos usados em teoria da viabilidade e barreiras semi-permeáveis, oferecendo uma base teórica mais robusta para a interpretação de funções de valor.

Resultados
O resultado primário é o Teorema 1, que define rigorosamente os conjuntos seguros e inseguros com base na função de valor sob as suposições especificadas. O artigo demonstra que:

• Se a dinâmica de perturbação não for convexa (ex: conjuntos de perturbação discretos), a interpretação padrão de que $v(x,t) \leq 0$ implica que o estado é inseguro falha para pontos na fronteira.
• Se o conjunto alvo for fechado (violando o requisito de alvos abertos em jogos de alcançabilidade), a interpretação padrão de que $v(x,t) > 0$ implica que o estado é seguro falha para pontos na fronteira.
• Sob as suposições corrigidas, a função de valor fornece uma caracterização precisa dos conjuntos vencedores, com o jogador de perturbação detendo uma "vantagem instantânea" que necessita da divisão de desigualdade estrita/não estrita.

Significância
Os autores afirmam que, embora esses problemas técnicos possam não impactar imediatamente os praticantes que dependem de ferramentas de software existentes, sua resolução teórica é "interessante e matizada". O artigo visa dissipar a confusão na comunidade causada por erros técnicos anteriores. Ao fornecer um teorema geral corrigido e explicar a origem das discrepâncias via contraexemplos, o trabalho garante que os fundamentos teóricos da Alcançabilidade de Hamilton-Jacobi sejam sólidos. Isso é particularmente relevante para pesquisadores que desenvolvem métodos de HJR baseados em aprendizagem ou que estendem o arcabouço para tarefas complexas e em camadas, pois esclarece as condições precisas necessárias para que a função de valor certifique corretamente a segurança e a vivacidade.