Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
Este artículo propone una arquitectura de control en capas basada en certificados que opera en el espacio de creencias para resolver POMDPs de alcanzar-evitar, desacoplando la búsqueda de objetivos, la recolección de información y la seguridad mediante funciones de Lyapunov y barrera de control, logrando así garantías probabilísticas y rendimiento en tiempo real superior a los solucionadores existentes.