Artstein's theorem
Encyclopedia
Artstein's theorem states that a dynamical system has a differentiable control-Lyapunov function
if and only if there exists a regular stabilizing feedback
.
Control-Lyapunov function
In control theory, a control-Lyapunov function V is a generalization of the notion of Lyapunov function V used in stability analysis. The ordinary Lyapunov function is used to test whether a dynamical system is stable...
if and only if there exists a regular stabilizing feedback
.