Abstract: This paper develops a control methodology that unifies control barrier functions and control Lyapunov functions through quadratic programs. The result is demonstrated on adaptive cruise ...