Constrained Control of PDE Traffic Flow via Spatial Control Barrier Functions

Resumen Técnico: Control Restringido de Flujo de Tráfico mediante Ecuaciones en Derivadas Parciales (PDE) vía Funciones de Barrera de Control Espaciales

Planteamiento del Problema
Los sistemas de gestión de tráfico buscan reducir la congestión y regular la densidad del tráfico hacia un perfil deseado. Sin embargo, las estrategias de control existentes a menudo no imponen explícitamente restricciones de estado, tales como evitar que la densidad del tráfico exceda los límites de seguridad prescritos o evitar velocidades extremas. Si bien el control de Límite de Velocidad Variable (VSL) es un mecanismo común para influir en los modelos de flujo de tráfico basados en Ecuaciones en Derivadas Parciales (PDE), la mayoría de los enfoques o bien discretizan la PDE en Ecuaciones Diferenciales Ordinarias (ODE) para el diseño del controlador, o bien se centran únicamente en la regulación sin garantizar que el sistema permanezca dentro de un rango operativo seguro. Existe la necesidad de un marco de control que opere directamente al nivel de la PDE para lograr simultáneamente la estabilización hacia un perfil deseado y la imposición de restricciones de seguridad mediante la invariancia hacia adelante.

Metodología
Los autores desarrollan un marco de control unificado que extiende las teorías de la Función de Lyapunov de Control (CLF) y la Función de Barrera de Control (CBF) desde sistemas ODE hacia el control en el dominio de las PDE.

1. Modelo de Tráfico: El estudio utiliza el modelo de Lighthill–Whitham–Richards (LWR), una ecuación de conservación hiperbólica de primer orden que describe la densidad del tráfico ($\rho$) y el flujo ($q$). El modelo emplea un diagrama fundamental triangular. La actuación de VSL se incorpora modificando el diagrama fundamental con una relación de límite de velocidad que varía espacial y temporalmente, $b(z,t)$. El control de entrada se define como el gradiente espacial de la relación VSL, $u = \partial \Delta b / \partial z$.
2. Control de Estabilización (CLF): Los autores extienden la teoría CLF a las PDE definiendo una función de Lyapunov $V(t)$ como la desviación cuadrática de la densidad de tráfico respecto a un perfil deseado. Se deriva una ley de control de retroalimentación para asegurar que la derivada temporal de $V$ sea definida negativa, impulsando el sistema hacia la densidad deseada.
3. Control de Seguridad (sCBF): Para imponer la seguridad, se adapta el concepto de Funciones de Barrera de Control para las PDE mediante la introducción de Funciones de Barrera de Control espaciales (sCBF). El conjunto seguro se define por un límite superior de densidad que varía espacial y temporalmente, $\lambda(z,t)$. Se construye una sCBF para asegurar la invariancia hacia adelante de este conjunto, evitando que la densidad exceda el límite prescrito.
4. Marco de Optimización Unificado: Las CLF de estabilización y las sCBF de seguridad se unifican dentro de un marco de Programación Cuadrática (QP). El controlador resuelve un problema de optimización en cada punto del espacio y el tiempo para minimizar la desviación respecto a la entrada de control deseada, satisfaciendo al mismo tiempo la condición de estabilidad de la CLF y la condición de seguridad de la sCBF. Se incluye una variable de relajación para asegurar la capacidad de resolución del problema.

Contribuciones Clave

• Extensión de CLF/CBF a las PDE: El artículo extiende los fundamentos teóricos de las CLF y CBF, previamente establecidos para sistemas ODE, a sistemas de dimensión infinita gobernados por PDE.
• Funciones de Barrera de Control Espacialmente Variables: Se introduce una formulación novedosa de sCBF que permite que las restricciones de seguridad se definan e impongan directamente al nivel de la PDE, en lugar de depender de aproximaciones basadas en la discretización.
• Control Restringido Unificado: Los autores presentan un controlador basado en QP que logra simultáneamente la regulación hacia un perfil de densidad de tráfico deseado y la imposición de restricciones de estado (seguridad) en un único paso de optimización.
• Control VSL en el Dominio: El marco se aplica específicamente al control de VSL en el dominio del modelo LWR, ofreciendo un método directo para regular el flujo de tráfico manteniendo la seguridad.

Resultos
Los controladores propuestos fueron validados mediante un estudio de caso de simulación en una carretera circular (longitud $L=1000$ m) con condiciones de contorno periódicas. Se compararon tres escenarios:

1. Control solo con CLF: Logró conducir la densidad hacia el perfil deseado, pero violó el límite de seguridad (límite de densidad) cuando el perfil deseado o las condiciones iniciales empujaban el sistema hacia la congestión.
2. Control solo con sCBF: Logró mantener la densidad dentro del conjunto seguro reduciendo los límites de velocidad, pero falló en conducir el sistema hacia la densidad deseada, resultando en una desviación significativa respecto al objetivo.
3. Control Combinado CLF+sCBF: Este enfoque logró equilibrar ambos objetivos. Cuando el perfil deseado estaba dentro del conjunto seguro, el controlador actuaba principalmente como un estabilizador. Cuando el perfil deseado o la dinámica del sistema amenazaban con violar la restricción de seguridad, la restricción de la sCBF se volvía activa, forzando una reducción en los límites de velocidad para mantener la seguridad mientras se acercaba lo máximo posible al perfil deseado.

Los resultados demostraron que la incorporación de control restringido afectó mínimamente la entrada de control de estabilización cuando la seguridad no estaba en riesgo, pero intervino eficazmente para mantener la densidad dentro del conjunto seguro definido cuando fue necesario.

Significancia y Reivindicaciones
El artículo afirma proporcionar una formulación novedosa para la imposición de restricciones críticas de seguridad directamente al nivel de la PDE, evitando las posibles imprecisiones de los enfoques basados en la discretización. Al unificar las teorías CLF y sCBF, los autores ofrecen un método para garantizar que la densidad del tráfico permanezca dentro de los límites prescritos mientras se regula simultáneamente el sistema hacia un estado deseado. El trabajo destaca que, si bien las funciones de barrera están bien establecidas para ODE (por ejemplo, en el control de crucero adaptativo), su aplicación a sistemas PDE para el control en el dominio está poco explorada. Los autores posicionan este trabajo como un paso hacia una gestión de tráfico robusta y con garantías de seguridad, señalando que el trabajo futuro se centrará en desarrollar sCBF dependientes de las entradas de control y la velocidad de los vehículos, y en aplicar estos métodos al diseño de controladores óptimos.