Reach-avoid games for players with damped double integrator dynamics

Titolo

Giochi di raggiungimento-evasione (Reach-avoid) per giocatori con dinamica a doppio integratore smorzato.

1. Problema

Il lavoro affronta un gioco differenziale di tipo "reach-avoid" (raggiungere-e-vivere) tra due agenti: un attaccante (A) e un difensore (D).

• Obiettivo dell'attaccante: Raggiungere un obiettivo fisso (situato nell'origine $[0,0]^T$) senza essere catturato.
• Obiettivo del difensore: Catturare l'attaccante il più lontano possibile dall'obiettivo.
• Dinamica dei giocatori: Entrambi i giocatori sono modellati con una dinamica a doppio integratore smorzato. Le equazioni del moto includono un termine di smorzamento ($\mu > 0$) che agisce sulla velocità, rendendo il modello più realistico rispetto ai semplici modelli cinematici o a doppio integratore puro.
  $$\dot{v}_{ix} = -\mu v_{ix} + u_i \cos \theta_i, \quad \dot{v}_{iy} = -\mu v_{iy} + u_i \sin \theta_i$$
  dove $u_i$ è l'accelerazione (con limite massimo $u_{im}$) e $\theta_i$ è la direzione. Si assume che il difensore abbia una massima accelerazione superiore a quella dell'attaccante ($u_{Dm} > u_{Am}$).
• Condizione di vittoria: Il gioco termina quando l'attaccante viene catturato (distanza zero tra i giocatori) prima di raggiungere l'obiettivo, oppure quando l'attaccante raggiunge l'obiettivo. La funzione di costo è la distanza finale dell'attaccante dall'obiettivo.

2. Metodologia

Gli autori combinano la teoria dei giochi differenziali (equazione di Hamilton-Jacobi-Isaacs - HJI) con un'analisi geometrica avanzata per derivare strategie ottimali a retroazione dello stato.

• Analisi delle Traiettorie e Isochrone:
  Viene analizzato il moto di un singolo giocatore. Si definisce l'isocrona $I_i(t)$ come l'insieme dei punti raggiungibili al tempo $t$ utilizzando una strategia "normale" (accelerazione massima costante e direzione costante). A differenza dei modelli a moto semplice (dove le isochrone sono cerchi concentrici), per il doppio integratore smorzato le isochrone sono cerchi il cui raggio e centro evolvono in modo non banale.
• Regione Multi-Raggiungibile (MRR - Multiple Reachable Region):
  Un contributo fondamentale è l'introduzione della MRR. A causa della dinamica smorzata, un punto nello spazio può essere raggiunto da un giocatore attraverso più strategie distinte (fino a tre) in tempi diversi ($t_1, t_2, t_3$).
  • $t_1$ e $t_3$ corrispondono a tempi di raggiungimento locali minimi.
  • $t_2$ corrisponde a un tempo di raggiungimento locale massimo (il punto è "interno" alla regione coperta dall'isocrona in quel lasso di tempo).
• Nuova Definizione di Regione di Dominio dell'Attaccante (ADR):
  Gli autori estendono il concetto classico di regione di dominio. Oltre alla regione classica dove l'attaccante arriva prima del difensore, introducono una terza tipologia di regione di dominio ($R_{III}$). Questa regione si trova all'interno della MRR del difensore ma permette all'attaccante di raggiungere un punto in sicurezza riducendo la propria accelerazione massima ($u_A < u_{Am}$) per sincronizzare l'arrivo con il difensore in un istante specifico, evitando la cattura.
• Derivazione delle Strategie:
  Utilizzando l'equazione HJI e le condizioni di ottimalità, vengono derivate le strategie ottimali basate sulla posizione del punto di terminazione rispetto alle regioni di dominio identificate.

3. Contributi Chiave

1. Analisi della Regione Multi-Raggiungibile (MRR): Dimostrazione che per la dinamica a doppio integratore smorzato, un punto può essere raggiunto con fino a tre strategie diverse, introducendo discontinuità e complessità non presenti nei modelli a moto semplice.
2. Introduzione della Terza Regione di Dominio ($R_{III}$): Identificazione di una nuova area di sicurezza per l'attaccante. In questa regione, l'attaccante può vincere non arrivando "prima" in senso assoluto, ma adattando la propria accelerazione per sfruttare le finestre temporali in cui il difensore non può garantire la cattura, anche se il punto è teoricamente raggiungibile dal difensore con accelerazione massima.
3. Strategie Ottimali Verificate: Proposta di due strategie distinte:
   • Strategia ADR: Per punti sulla frontiera classica, dove si usa l'accelerazione massima.
   • Strategia MRR: Per punti in $R_{III}$, dove l'attaccante riduce l'accelerazione per soddisfare le condizioni di ottimalità necessarie (equazione HJI).
     Viene dimostrato che queste strategie soddisfano le condizioni necessarie per l'ottimalità (principio del massimo di Pontryagin/condizioni HJI).

4. Risultati

• Simulazioni Numeriche: Sono stati condotti tre esperimenti per validare la teoria:
  1. Caso 1 (Regione $R_I$): Quando il punto ottimale è nella regione di dominio classica, la strategia proposta (ADR) è superiore rispetto a strategie di inseguimento puro (pure-pursuit) o strategie ottimali per giochi di inseguimento-evasione standard.
  2. Caso 2 (Regione $R_{III}$): Quando il punto ottimale si trova nella nuova regione $R_{III}$, l'uso della strategia ADR classica fallisce (il punto ottimale si sposta nel tempo). L'adozione della strategia MRR (con accelerazione ridotta) permette all'attaccante di raggiungere il punto ottimale in sicurezza, massimizzando il costo per il difensore.
  3. Caso 3 (Attraversamento di $R_{II}$): Dimostrazione che se l'attaccante ignora la possibilità di essere catturato attraversando la regione di dominio intermedia ($R_{II}$), verrà catturato prima di raggiungere l'obiettivo.
• Confronto Teorico: Le simulazioni confermano che ignorare la complessità della MRR e la possibilità di ridurre l'accelerazione porta a strategie sub-ottimali o alla sconfitta dell'attaccante.

5. Significato e Implicazioni

Questo lavoro è significativo perché colma un divario nella letteratura sui giochi differenziali:

• Realismo Fisico: Passa da modelli cinematici semplificati a modelli dinamici più realistici (doppio integratore smorzato), cruciali per applicazioni come missili, droni o veicoli autonomi soggetti a resistenza aerodinamica o attrito.
• Nuova Complessità Strategica: Rivela che la semplice regola "chi arriva prima vince" non è sufficiente. La capacità di un giocatore di variare la propria accelerazione per sfruttare le proprietà geometriche delle regioni multi-raaggiungibili crea nuove opportunità tattiche.
• Implicazioni per la Progettazione: Fornisce un framework analitico per progettare sistemi di difesa attiva e navigazione autonoma in scenari competitivi, dimostrando che l'ottimalità può richiedere di non usare la massima accelerazione disponibile, ma di adattarla dinamicamente in base alla geometria del gioco.

In sintesi, il paper dimostra che per sistemi dinamici complessi, la definizione di "sicurezza" e "dominio" deve essere ridefinita includendo la possibilità di raggiungere lo stesso punto con diverse strategie temporali, aprendo la strada a strategie di gioco più sofisticate ed efficaci.