Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies

A continuación presento un resumen técnico detallado del artículo "Encirclement Guaranteed Finite-Time Capture against Unknown Evader Strategies" (Captura en Tiempo Finito con Garantía de Rodeo contra Estrategias de Evadidor Desconocidas), estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda un escenario de persecución-evasión en un entorno planar no acotado ($\mathbb{R}^2$) que involucra a un equipo de $n$ perseguidores y un único evadidor. El objetivo principal es diseñar estrategias para los perseguidores que logren dos metas simultáneas, sin conocer la velocidad instantánea ni el ángulo de rumbo del evadidor:

1. Garantía de Rodeo (Encirclement): Mantener al evadidor contenido dentro del casco convexo (convex hull) formado por las posiciones de los perseguidores en todo momento.
2. Captura en Tiempo Finito: Asegurar que al menos un perseguidor alcance una distancia de captura $r_c$ del evadidor en un tiempo finito $t_c$, independientemente de la estrategia que adopte el evadidor.

Supuestos clave:

• El evadidor comienza inicialmente dentro del casco convexo de los perseguidores.
• La velocidad máxima del evadidor ($\mu_m$) es conocida, pero su velocidad actual y dirección no lo son.
• Los perseguidores tienen velocidades unitarias ($v_i = 1$) y el evadidor es estrictamente más lento ($\mu_m < 1$).
• Se asume que hay al menos 3 perseguidores no redundantes ($n \geq 3$).

2. Metodología

Los autores proponen un enfoque descentralizado basado en el análisis de áreas triangulares y funciones de Lyapunov.

A. Enfoque Basado en Áreas para el Rodeo

El casco convexo se descompone en triángulos formados por el evadidor ($e$) y pares consecutivos de perseguidores ($p_j, p_k$). Se define el área $A_{jk}$ de estos triángulos.

• Condición de Rodeo: El evadidor está rodeado si todas las áreas $A_{jk}$ son no negativas. Si el evadidor toca un borde (activa una arista), el área correspondiente se vuelve cero. Para evitar la fuga, la derivada temporal de esta área debe ser no negativa ($\dot{A}_{jk} \geq 0$) cuando el evadidor está en el borde.
• Estrategia de Perseguidores Activos: Cuando una arista $p_j p_k$ se activa (el evadidor está sobre la línea que une a dos perseguidores), estos dos perseguidores cambian su estrategia de "persecución pura" a una estrategia de control angular específica. Se define un ángulo $\phi$ respecto a la dirección hacia el evadidor.
• Teorema 1: Establece que el rodeo está garantizado si y solo si los ángulos de control $\phi_j$ y $\phi_k$ de los perseguidores activos satisfacen una desigualdad que depende de sus velocidades, distancias al evadidor y la velocidad máxima del evadidor ($\mu_m$).
• Corolario 1: Proporciona un rango de ángulos $\phi \in [\sin^{-1}(\mu_m), \pi - \sin^{-1}(\mu_m)]$ que garantiza el rodeo sin necesidad de comunicación entre perseguidores, solo conociendo las posiciones relativas.

B. Estrategia de Captura en Tiempo Finito

Para garantizar la captura, se utiliza un análisis de estabilidad de Lyapunov.

• Función de Lyapunov: Se define $V = \sum_{i=1}^n \|p_i - e\|$, que representa la suma de las distancias entre los perseguidores y el evadidor.
• Fases de Persecución:
  1. Fase Interior: Si el evadidor está estrictamente dentro del casco convexo, todos los perseguidores siguen una estrategia de persecución pura (moverse directamente hacia el evadidor).
  2. Fase de Borde: Si el evadidor toca un borde, los perseguidores activos aplican la estrategia angular derivada en el Teorema 1 (con un subconjunto específico de ángulos $\phi$), mientras que los perseguidores no activos continúan con persecución pura.
• Teorema 2: Demuestra que bajo estas condiciones, la derivada de la función de Lyapunov es estrictamente negativa ($\dot{V} \leq -n(1-\mu_m)$), lo que implica que el sistema converge a la captura en tiempo finito.
• Cota Superior: Se deriva una cota analítica explícita para el tiempo de captura:
  $$t_c \leq \frac{V_0 - n r_c}{n(1 - \mu_m)}$$
  donde $V_0$ es la suma inicial de distancias.

3. Contribuciones Clave

1. Garantía Simultánea: Es uno de los primeros trabajos que proporciona garantías teóricas simultáneas de (i) mantenimiento del rodeo y (ii) captura en tiempo finito, sin conocer la política del evadidor.
2. Estrategia Descentralizada: Los perseguidores toman decisiones basadas únicamente en información local (posiciones de vecinos y evadidor), sin necesidad de un servidor centralizado.
3. Análisis Riguroso: Se establece una cota superior analítica para el tiempo de captura, a diferencia de enfoques previos que solo ofrecían garantías empíricas o requerían optimización en línea compleja.
4. Conexión Geométrica: Se introduce una relación novedosa entre la triangulación del casco convexo y la garantía de rodeo, utilizando el área de los triángulos como variable de estado crítica.

4. Resultados Numéricos

Los autores validaron la propuesta mediante simulaciones en MATLAB con 3 perseguidores y un evadidor ($\mu_m = 0.7$), probando contra cinco políticas de evasión:

• Políticas Probadas:
  • Greedy (GP): Huye del perseguidor más cercano.
  • Switching (SP): Alterna entre moverse hacia el borde más cercano y el interior.
  • Random (RP): Comportamiento errático (simulado por un humano).
  • Stationary (STP): Permanece quieto.
  • Closest Link (CLP): Se mueve y se mantiene en el borde más cercano.
• Desempeño: En todos los casos, el evadidor fue capturado manteniéndose siempre dentro del casco convexo. Los tiempos de captura reales fueron significativamente menores que la cota teórica (ej. 1.25s vs 3.10s teóricos para la política Greedy).
• Comparación: Se comparó el método propuesto con un enfoque de Control Predictivo Modelado (MPC) robusto basado en conjuntos sectoriales (EGSS) de la literatura [12].
  • El método propuesto capturó al evadidor en ~1.15 segundos.
  • El método MPC de referencia tardó ~42 segundos bajo la misma política de evasión.
  • El análisis estadístico (100 pruebas Monte Carlo) confirmó que el método propuesto es mucho más rápido (media de 1.04s vs 40.34s) debido a que las restricciones sectoriales del MPC limitan la capacidad de los perseguidores para moverse directamente hacia el objetivo durante la fase de borde.

5. Significado e Impacto

Este trabajo cierra una brecha importante en la teoría de juegos de persecución-evasión y robótica de enjambre.

• Aplicabilidad en Seguridad: Ofrece una solución robusta para escenarios de seguridad donde un intruso debe ser contenido y neutralizado por robots autónomos sin predecir sus movimientos.
• Eficiencia Computacional: Al ser una estrategia descentralizada con reglas de control simples (sin optimización en línea compleja), es altamente implementable en sistemas robóticos con recursos limitados.
• Garantías Teóricas: Proporciona una base matemática sólida para asegurar que un sistema de vigilancia no solo mantenga al objetivo bajo control, sino que también logre la captura en un tiempo predecible, lo cual es crucial para misiones críticas.

En resumen, el artículo presenta un marco teórico y práctico robusto para la captura de objetivos móviles desconocidos, superando las limitaciones de tiempo y complejidad de enfoques anteriores mediante el uso inteligente de geometría y análisis de estabilidad.