Reach-avoid games for players with damped double integrator dynamics

Título: Jogos de Alcance-Evitação para Jogadores com Dinâmica de Integrador Duplo Amortecido

1. Problema Investigado

O artigo aborda um jogo diferencial de alcance-evitação (reach-avoid game) envolvendo dois agentes: um atacante (A) e um defensor (D).

• Objetivo do Atacante: Alcançar um alvo fixo (na origem $[0,0]^T$) sem ser capturado.
• Objetivo do Defensor: Interceptar o atacante antes que ele chegue ao alvo, maximizando a distância do ponto de captura em relação ao alvo.
• Dinâmica dos Jogadores: Diferente de modelos simplificados (como movimento simples ou carros de Dubins), ambos os jogadores possuem dinâmica de integrador duplo amortecido. As equações de movimento incluem um termo de amortecimento ($\mu > 0$) e limites na magnitude da aceleração ($u_{im}$).
  • $\dot{x}_i = v_i$, $\dot{v}_i = -\mu v_i + u_i [\cos \theta_i, \sin \theta_i]^T$.
• Premissa: Assume-se que o defensor é mais ágil ($u_{Dm} > u_{Am}$). O jogo termina quando o atacante é capturado (distância zero entre eles) ou quando o atacante atinge o alvo.

2. Metodologia

Os autores utilizam uma abordagem combinada de Teoria de Jogos Diferenciais e Análise Geométrica:

• Estratégia Ótima e Hamiltoniano: Derivam estratégias de feedback de estado ótimas baseadas no princípio do máximo e na equação de Hamilton-Jacobi-Isaacs (HJI). Mostram que, para este sistema, as estratégias ótimas envolvem aceleração máxima ($u_{im}$) com uma direção constante ($\theta_i$), definidas como "Estratégia Normal".
• Região de Múltiplos Alcances (MRR - Multiple Reachable Region):
  • Introduzem o conceito de isócronas (conjuntos de pontos alcançáveis em um tempo $t$). Devido ao amortecimento, as isócronas não são círculos concêntricos simples.
  • Demonstram que, para certos pontos no espaço, existem até três estratégias normais distintas que permitem alcançar o mesmo ponto em tempos diferentes ($t_1, t_2, t_3$).
  • Definem a Região de Múltiplos Alcances (MRR) como o conjunto de pontos onde o jogador pode ser alcançado por mais de uma estratégia normal.
  • Analisam a topologia da MRR, identificando fronteiras onde os tempos de chegada se igualam e pontos de auto-interseção das trajetórias.
• Novas Definições de Região de Domínio do Atacante:
  • ADR (Atacker's Dominance Region) Normal: Pontos onde o atacante chega antes do defensor usando estratégias normais.
  • Novo Tipo de Região de Domínio ($R_{III}$): Devido à complexidade da dinâmica amortecida, os autores identificam uma terceira região dentro da MRR do defensor. Nesta região, o atacante pode alcançar um ponto seguramente (sem ser capturado) se reduzir sua aceleração máxima ($u_A < u_{Am}$), permitindo que o tempo de chegada do atacante se ajuste para coincidir com o tempo de chegada do defensor, mas mantendo-se fora da região de captura até o momento final.

3. Contribuições Principais

1. Análise de Tempo de Chegada e MRR: A caracterização rigorosa da dinâmica de integrador duplo amortecido revela que um jogador pode alcançar um ponto de destino através de múltiplas trajetórias com tempos distintos, criando a Região de Múltiplos Alcances (MRR), um fenômeno inexistente em modelos de movimento simples.
2. Novo Tipo de Região de Domínio ($R_{III}$): A introdução de uma nova categoria de região de domínio para o atacante. Diferente dos modelos anteriores, onde a estratégia ótima é sempre usar aceleração máxima, aqui a estratégia ótima pode envolver reduzir a aceleração para explorar a MRR e escapar da captura em pontos que seriam inacessíveis com aceleração máxima.
3. Estratégias Ótimas Condicionais:
   • Estratégia ADR: Usada quando o ponto terminal está na fronteira das isócronas (interseção de tempos de chegada). Envolve aceleração máxima.
   • Estratégia MRR: Usada quando o ponto terminal está na região $R_{III}$. Envolve uma aceleração reduzida ($\hat{u}_A$) calculada para que o atacante e o defensor cheguem ao ponto simultaneamente, mas o atacante permanece fora da região de captura do defensor.
4. Condições de Otimalidade: Provas de que as estratégias propostas satisfazem as condições necessárias de otimalidade (equação HJI) para diferentes cenários de terminalidade.

4. Resultados e Simulações

O artigo apresenta três experimentos numéricos para validar as teorias:

• Caso 1 (Ponto na $R_I$): O ponto ótimo está na região de domínio normal. A estratégia de aceleração máxima (ADR) é ótima. Simulações mostram que desviar dessa estratégia (usando perseguição pura ou estratégias de jogos de perseguição-evasão padrão) resulta em um custo final pior (maior distância ao alvo para o atacante ou captura mais próxima).
• Caso 2 (Ponto na $R_{III}$): O ponto ótimo está na nova região de domínio. Se o atacante usar aceleração máxima, ele será capturado ou o ponto ótimo mudará dinamicamente. Ao adotar a Estratégia MRR (reduzindo a aceleração), o atacante consegue alcançar o ponto ótimo simultaneamente com o defensor, mas sem ser capturado, garantindo um resultado superior.
• Caso 3 (Cruzamento de Regiões): O atacante tenta cruzar uma região de domínio onde a captura é inevitável se não houver ajuste de estratégia. O resultado mostra que, sem a adaptação correta (ou se o defensor for agressivo demais), o atacante é capturado antes de atingir o alvo.

5. Significância e Conclusão

Este trabalho preenche uma lacuna importante na literatura de jogos diferenciais, estendendo a análise de alcance-evitação para dinâmicas mais realistas (integrador duplo com amortecimento), comuns em sistemas de controle de aeronaves, mísseis e robôs.

• Inovação Teórica: A descoberta de que a redução de controle (aceleração) pode ser uma estratégia ótima para escapar da captura em certas regiões do espaço de estados é um achado contra-intuitivo e significativo, desafiando a noção de que "mais força" é sempre melhor em jogos de perseguição.
• Aplicabilidade: As estratégias derivadas oferecem um framework para o projeto de sistemas de defesa ativa e navegação autônoma em ambientes dinâmicos onde a inércia e o amortecimento são fatores críticos.
• Limitações Futuras: Os autores apontam que a forma exata da região $R_{III}$ ainda não é totalmente determinada em todos os casos e que cenários com múltiplos pontos mínimos ou a necessidade de cruzar regiões de domínio de segundo tipo ($R_{II}$) merecem investigação futura.

Em resumo, o paper demonstra que a complexidade dinâmica introduzida pelo amortecimento altera fundamentalmente a topologia das regiões de domínio e as estratégias ótimas, exigindo uma análise geométrica sofisticada que considera múltiplos tempos de chegada e a possibilidade de estratégias de "aceleração reduzida".