Before revision: Artstein's theorem states that a dynamical system has a differentiable Control-Lyapunov function if and only if there exists a regular stabilizing feedback u(x) .
After revision: Artstein's theorem states that a dynamical system has a differentiable Control-Lyapunov function if and only if there exists a regular stabilizing feedback .