Artstein定理指出一動態系統有可微分的控制李亞普諾夫函數的充份必要條件是存在穩定回授(stabilizing feedback): u ( x ) {\displaystyle u(x)} .[1]
也就是對於以下的系統
存在控制律
可以使系統穩定。