Similar with the CLF method, Wieland and Allgöwer in [8] have proposed the construction of Control Barrier Functions (CBF), where the Lyapunov function is interchanged with the Barrier certificate studied in [3]. Using a CBF as in [8], one can design a universal feedback law for steering the states from the set of initial conditions to the set of terminal conditions, without violating the set o...