Control Lyapunov function (CLF)