Artstein's theorem

Artstein's theorem states that a dynamical system has a differentiable control-Lyapunov function if and only if there exists a regular stabilizing feedback: ${\displaystyle u(x)}$.[1]