Control Barrier Functions are safety certificates that can be used to design add-on control units that filter the control action provided to the system. The objective is to modify the input command as ...