Artstein's theorem states that a nonlinear dynamical system in the control-affine form x ˙ = f ( x ) + ∑ i = 1 m g i ( x ) u i {\displaystyle {\dot {\mathbf {x} }}=\mathbf {f(x)} +\sum _{i=1}^{m}\mathbf {g} _{i}(\mathbf {x} )u_{i}} has a differentiable control-Lyapunov function if and only if it admits a regular stabilizing feedback u(x), that is a locally Lipschitz function on Rn\{0}. The original 1983 proof by Zvi Artstein proceeds by a nonconstructive argument.
Artstein's theorem states that a nonlinear dynamical system in the control-affine form x ˙ = f ( x ) + ∑ i = 1 m g i ( x ) u i {\displaystyle {\dot {\mathbf {x} }}=\mathbf {f(x)} +\sum _{i=1}^{m}\mathbf {g} _{i}(\mathbf {x} )u_{i}} has a differentiable control-Lyapunov function if and only if it admits a regular stabilizing feedback u(x), that is a locally Lipschitz function on Rn\{0}. The original 1983 proof by Zvi Artstein proceeds by a nonconstructive argument.
Source: Wikipedia "Artstein's theorem" · CC BY-SA 4.0
Share this article: X · Bluesky