Combining Control Lyapunov and Barrier Functions for constrained stabilization of nonlinear systems | IEEE Conference Publication | IEEE Xplore