Artstein定理指出一动态系统有可微分的控制李亚普诺夫函数的充份必要条件是存在稳定回授（stabilizing feedback）：formula_1.也就是对于以下的系统存在控制律可以使系统稳定。