Abstract
We present a control barrier function (CBF) approach for headway management in fixed-line transit systems (FTLSs) through vehicular speed control. We frame headway management as a formal property in terms of vehicle time-differences. Using a dynamical model of vehicle speed control, we develop a combined CBF quadratic-programming (QP) supervisory approach. The CBF-QP supervises control speed inputs for forward-invariance of minimum and maximum time-differences between vehicles. While the need for vehicles to stop creates modeling error that can lead to property violations, the CBFs can recover back to satisfying the time-gap properties after violations. We present numerical experiments that compare the CBF-QP approach to other controllers. We find that the CBF-QP approach is able to supervise a poorly performing controller to achieve significantly improved headway regularity. We additionally compare the CBF-QP with an existing linear-quadratic control approach and find that the CBF-QP performs similarly or better.