Multiplayer Reach-Avoid Differential Games with Defender-Side Information Delay

Resumo Técnico: Jogos Diferenciais de Alcance-Evasão Multiagente com Atraso de Informação do Lado do Defensor

Formulação do Problema
Este artigo investiga uma classe de jogos diferenciais de alcance-evasão envolvendo múltiplos defensores e múltiplos atacantes movendo-se em um plano bidimensional com velocidades limitadas. O desafio central abordado é a presença de atraso de informação do lado do defensor. Neste cenário, enquanto os atacantes possuem informações de estado em tempo real, cada defensor $D_i$ observa os estados de outros agentes (tanto outros defensores quanto atacantes) com um atraso de tempo constante $\tau_i$. Consequentemente, os defensores baseiam suas decisões de controle nas posições passadas dos atacantes ($t-\tau_i$) em vez de suas posições atuais.

O jogo envolve $N$ defensores e $M$ atacantes. Os atacantes visam alcançar uma região alvo convexa e fechada $T$, enquanto os defensores visam capturar os atacantes (dentro de um raio $r_i$) antes que eles alcancem $T$. Se um atacante for capturado, os defensores buscam maximizar a distância do ponto de captura em relação a $T$, enquanto o atacante busca minimizar essa distância. O jogo termina quando todos os atacantes são ou capturados ou entram na região alvo. Os autores assumem condições iniciais específicas para garantir que o jogo seja bem formulado: os defensores estão inicialmente estacionários durante o intervalo de atraso, os atacantes começam fora da região alvo, os defensores são mais rápidos que os atacantes ($\bar{v}_D > \bar{v}_A$) e as distâncias iniciais são suficientes para evitar captura imediata antes que o período de atraso termine.

Metodologia
Os autores empregam uma abordagem geométrica combinada com análise convexa e conceitos de equilíbrio da teoria dos jogos para resolver o problema.

1. Análise de Um Atacante e Um Defensor:

   • Caracterização da Região de Ataque: Os autores primeiro derivam uma caracterização analítica explícita da "região de ataque atrasada" ($R_{total}^A$). Esta região representa o conjunto de pontos que um atacante pode garantir alcançar não mais tarde que o defensor, considerando o atraso de reação do defensor.
   • Prova de Convexidade: Usando uma análise de curvatura específica da fronteira definida pelas restrições de distância e parâmetros de atraso, o artigo prova que esta região de ataque é um conjunto convexo sob suposições moderadas.
   • Estratégias Ótimas: Com base na região de ataque convexa, os autores formulam um problema de otimização convexa para encontrar o ponto de captura (o ponto na região de ataque mais próximo da região alvo). As estratégias ótimas para ambos os jogadores são derivadas como mover-se na velocidade máxima em linha reta em direção a este ponto de captura.
   • Verificação de Equilíbrio: O artigo estabelece que estas estratégias constituem um equilíbrio de Nash perfeito em subjogos (SPNE). Isso é provado dividindo o jogo em dois estágios (antes e depois do defensor entrar no jogo) e usando indução reversa para mostrar a otimalidade em cada estágio.

2. Extensão para Cenários Multiagente:

   • Um Atacante e Múltiplos Defensores: A região de ataque é definida como a interseção das regiões de ataque individuais entre o atacante e cada defensor. O ponto de captura é determinado resolvendo um problema de otimização convexa sujeito a restrições de todos os defensores. Os autores observam que, consistente com trabalhos anteriores, no máximo dois defensores são suficientes para determinar o ponto de captura sob jogo ótimo.
   • Múltiplos Atacantes e Múltiplos Defensores: O problema é estendido para um cenário geral de $N$-contra-$M$. Os autores incorporam "relações de vitória pareadas conscientes do atraso" (determinando se um defensor específico pode garantir a captura de um atacante específico) em uma formulação de emparelhamento máximo. Isso permite a atribuição ótima de defensores a atacantes para maximizar o número de capturas.

Principais Contribuições
O artigo apresenta as seguintes contribuições específicas:

1. Formulação Matemática: Propõe uma formulação rigorosa de jogos de alcance-evasão onde os defensores operam com informações atrasadas sobre as posições dos atacantes.
2. Caracterização Analítica: Para o caso um-contra-um, deriva uma representação analítica explícita da região de ataque atrasada e prova sua convexidade, um resultado não trivial dada a dinâmica de atraso temporal.
3. Estratégias Ótimas e Equilíbrio: Deriva estratégias ótimas para ambos os jogadores e prova que elas formam um equilíbrio de Nash perfeito em subjogos, abordando a natureza sequencial do jogo induzida pelo atraso.
4. Escalabilidade: O framework é estendido para cenários de um-atacante-múltiplos-defensores e cenários multiagente gerais, fornecendo estratégias para computação do ponto de captura e atribuição de defensor-atacante via emparelhamento máximo.

Resultados
Simulações numéricas foram conduzidas usando MATLAB para validar os achados teóricos através de três cenários:

• Um-contra-Um: As simulações confirmaram que as estratégias ótimas propostas superam tanto as políticas de referência de ataque puro quanto de defesa pura. Especificamente, desvios unilaterais por qualquer jogador resultaram em resultados piores para o jogador que desviou, validando a natureza de equilíbrio das estratégias.
• Um-contra-Múltiplos: Simulações com um atacante e dois defensores demonstraram que estratégias cooperativas entre defensores poderiam alcançar um melhor desempenho (minimizando a distância do atacante até o alvo) comparado a um único defensor agindo sozinho.
• Multiagente: Um cenário de três atacantes e três defensores ilustrou a eficácia da abordagem de emparelhamento máximo. A simulação mostrou defensores atribuindo-se com sucesso aos atacantes que poderiam garantir capturar, enquanto o atacante não atribuído alcançou com sucesso a região alvo.

Significância e Alegações
O artigo afirma ser o primeiro a fornecer estratégias ótimas para jogos de alcance-evasão especificamente sob a condição de atraso de informação do lado do defensor. Embora trabalhos anteriores tenham abordado atrasos em atacantes ou jogos de alcance-evasão padrão, este trabalho preenche uma lacuna na literatura sobre como defensores podem mitigar de forma ótima a degradação de desempenho quando sua informação é inerentemente atrasada.

Os autores enfatizam que sua abordagem vai além da dificuldade de resolver diretamente a equação de Hamilton-Jacobi-Isaacs (HJI) de alta dimensão. Em vez disso, ao aproveitar a estrutura geométrica da região de ataque atrasada e sua convexidade, eles fornecem um framework analítico tratável baseado em verificação. Isso permite a computação eficiente de condições de vitória e estratégias de equilíbrio em cenários que seriam de outra forma intratáveis analiticamente. O trabalho posiciona-se como um passo em direção à modelagem mais realista de sistemas adversários (como aplicações militares ou aeroespaciais) onde latências de comunicação e processamento são inevitáveis.