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

Resumen Técnico: Una Actualización de los Teoremas de Conjuntos de Nivel en el Análisis de Alcanzabilidad de Hamilton-Jacobi

Planteamiento del Problema
La Alcanzabilidad de Hamilton-Jacobi (HJR) es un marco establecido para la síntesis de controladores para sistemas no lineales con criticidad de seguridad bajo incertidumbre, típicamente formulado como juegos diferenciales. El proceso implica convertir una tarea de control cualitativa (por ejemplo, evitación de obstáculos o alcance de un objetivo) en un "juego de grado", resolviendo la ecuación diferencial de Hamilton-Jacobi (HJ) asociada para obtener una función de valor y, finalmente, interpretar esta función de valor para definir el conjunto de estados iniciales seguros o inseguros. Este último paso depende de los "Teoremas de Conjuntos de Nivel".

Los autores identifican que la literatura existente contiene errores técnicos y ambigüedades con respecto a estos teoremas, específicamente sobre las condiciones bajo las cuales los conjuntos de nivel de la función de valor corresponden correctamente a los conjuntos ganadores del juego. Estos problemas han causado confusión en la comunidad, particularmente en cuanto a la interpretación de los estados que se encuentran exactamente en el conjunto de nivel cero de la función de valor. El artículo postula que las formulaciones previas a menudo pasan por alto supuestos topológicos y de convexidad necesarios, lo que conduce a caracterizaciones incorrectas de los conjuntos de seguridad y alcanzabilidad.

Metodología
El artículo emplea un enfoque matemático riguroso basado en la teoría de juegos diferenciales y la topología. Los autores:

1. Formalizan la configuración del juego: Definen un juego diferencial de horizonte finito con un jugador controlador y un jugador de perturbación adversario. La dinámica del sistema está gobernada por $\dot{x} = f(x, a, b)$, donde $a$ y $b$ son señales de control y perturbación, respectivamente. El jugador de la perturbación utiliza estrategias no anticipativas.
2. Establecen supuestos: El análisis se basa en cinco supuestos clave:
   • Continuidad y compacidad estándar de las dinámicas y los conjuntos de control (Supuestos 1-3).
   • Convexidad de la dinámica de la perturbación: Para cada estado y control, el conjunto de vectores de dinámica posibles inducidos por el conjunto de perturbación $B$ debe ser convexo (Supuesto 4).
   • Cierre de los modos de falla: El conjunto de trayectorias de falla $F(t)$ debe ser cerrado en el espacio de trayectorias continuas (Supuesto 5).
3. Derivan un Teorema General: Prueban un Teorema de Conjunto de Nivel generalizado (Teorema 1) que vincula la función de valor $v(x,t)$ con los conjuntos seguros ($L(t)$) e inseguros ($G(t)$). El teorema establece que $L(t) = \{x \mid v(x,t) > 0\}$ y $G(t) = \{x \mid v(x,t) \leq 0\}$, siempre que el funcional $J$ que define los modos de falla sea continuo y acotado.
4. Construyen Contraejemplos: Para demostrar la necesidad de los nuevos supuestos, los autores construyen dos contraejemplos específicos:
   • Falta de Convexidad: Un juego de evitación de obstáculos donde el conjunto de perturbación $B$ es no convexo (puntos discretos). Muestran que, sin el Supuesto 4, un estado en el conjunto de nivel cero ($v=0$) puede no pertenecer al conjunto inseguro, contradiciendo las interpretaciones estándar.
   • Conjuntos Objetivo Cerrados: Un juego de alcance de un objetivo donde el conjunto objetivo es cerrado en lugar de abierto. Demuestran que, sin el Supuesto 5 (que implica que los objetivos deben ser abiertos), un estado en el conjunto de nivel cero puede no pertenecer al conjunto seguro, nuevamente contradiciendo las interpretaciones estándar.
5. Técnicas de Demostración: Las demostraciones utilizan el Lema de Filippov para establecer la existencia de señales de perturbación medibles, y argumentos topológicos que involucran la compacidad de los conjuntos de trayectorias y los planes de perturbación no anticipativos (usando el Teorema de Tychonoff y el orden lexicográfico) para probar el teorema principal.

Contribuciones Clave

1. Corrección de Errores Técnicos: El artículo identifica y corrige fallas técnicas en los Teoremas de Conjuntos de Nivel previos encontrados en la literatura, señalando específicamente la omisión de la condición de convexidad en la dinámica (Supuesto 4) y el requisito de conjuntos de falla cerrados (Supuesto 5).
2. Teorema de Conjunto de Nivel General: Los autores proporcionan un teorema unificado y conciso aplicable a todos los juegos de horizonte finito de interés en HJR, aclarando la desigualdad estricta para el conjunto seguro ($v > 0$) y la desigualdad no estricta para el conjunto inseguro ($v \leq 0$).
3. Clarificación de la Ambigüedad del Conjunto de Nivel Cero: A través de contraejemplos, el artículo explica por qué los puntos en el conjunto de nivel cero de la función de valor son ambiguos cuando los supuestos estándar se violan. En tales casos, el resultado del juego (ganar/perder) para estos puntos específicos no puede determinarse únicamente por el hecho de que la función de valor sea cero; el controlador puede ganar para algunos puntos en la frontera mientras que la perturbación gana para otros.
4. Rigor Topológico: El trabajo cierra la brecha entre HJR y los argumentos topológicos utilizados en la teoría de la viabilidad y las barreras semipermeables, ofreciendo una base teórica más robusta para la interpretación de las funciones de valor.

Resultados
El resultado principal es el Teorema 1, que define rigurosamente los conjuntos seguros e inseguros basándose en la función de valor bajo los supuestos especificados. El artículo demuestra que:

• Si la dinámica de la perturbación no es convexa (por ejemplo, conjuntos de perturbación discretos), la interpretación estándar de que $v(x,t) \leq 0$ implica que el estado es inseguro falla para los puntos en la frontera.
• Si el conjunto objetivo es cerrado (violando el requisito de objetivos abiertos en juegos de alcanzabilidad), la interpretación estándar de que $v(x,t) > 0$ implica que el estado es seguro falla para los puntos en la frontera.
• Bajo los supuestos corregidos, la función de valor proporciona una caracterización precisa de los conjuntos ganadores, con el jugador de la perturbación poseyendo una "ventaja instantánea" que requiere la división de desigualdad estricta/no estricta.

Significado
Los autores afirman que, si bien estos problemas técnicos pueden no impactar inmediatamente a los profesionales que dependen de las herramientas de software existentes, su resolución teórica es "interesante y matizada". El artículo tiene como objetivo despejar la confusión en la comunidad causada por errores técnicos previos. Al proporcionar un teorema general corregido y explicar el origen de las discrepancias mediante contraejemplos, el trabajo asegura que los fundamentos teóricos de la Alcanzabilidad de Hamilton-Jacobi sean sólidos. Esto es particularmente relevante para investigadores que desarrollan métodos de HJR basados en aprendizaje o que extienden el marco a tareas complejas y estratificadas, ya que clarifica las condiciones precisas requeridas para que la función de valor certifique correctamente la seguridad y la vitalidad (liveness).