Control barrier function based quadratic programs with application to bipedal robotic walking.