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