Abstract: This article presents the design and analysis of a safe lane-keeping controller based on a kinematic single-track vehicle model. A control barrier function (CBF) is derived for the ...