control Lyapunov function