Zehang Zhu | Searcharxiv

arXiv2026

Real-Time In-Domain Congestion Control for the LWR Traffic Model via Control Barrier Functions

This paper presents a control barrier function-based method for real-time in-domain congestion control of the Lighthill-Whitham-Richards traffic model. Traffic congestion is formulated as a distributed safety control problem, leading to a infinite-dimensional optimization problem. Through the discretization and Karush-Kuhn-Tucker (KKT) analysis, the problem is converted into a high-dimensional quadratic program. A structure-exploiting primal-dual active set algorithm is then developed to compute the safe control input in real time, with convergence guarantees. Numerical simulations with different nominal controllers demonstrate the effectiveness and real-time feasibility of the proposed approach.

eess.SY↗

arXiv2025

A Generalized Control Revision Method for Autonomous Driving Safety

Safety is one of the most crucial challenges of autonomous driving vehicles, and one solution to guarantee safety is to employ an additional control revision module after the planning backbone. Control Barrier Function (CBF) has been widely used because of its strong mathematical foundation on safety. However, the incompatibility with heterogeneous perception data and incomplete consideration of traffic scene elements make existing systems hard to be applied in dynamic and complex real-world scenarios. In this study, we introduce a generalized control revision method for autonomous driving safety, which adopts both vectorized perception and occupancy grid map as inputs and comprehensively models multiple types of traffic scene constraints based on a new proposed barrier function. Traffic elements are integrated into one unified framework, decoupled from specific scenario settings or rules. Experiments on CARLA, SUMO, and OnSite simulator prove that the proposed algorithm could realize safe control revision under complicated scenes, adapting to various planning backbones, road topologies, and risk types. Physical platform validation also verifies the real-world application feasibility.

cs.RO↗