CBFs #Ames, et al. Control Barrier Function Based Quadratic Programs for Safety Critical Systems. TAC 2017