控制李亚普诺夫函数（control-Lyapunov function）是在控制理论中，针对动态系统及控制输入的李亚普诺夫函数。原始的李亚普诺夫函数是要判断动力系统是否稳定（更严格的要求是渐近稳定），也就是说，系统若启始条件是在某一区域D中的状态formula_1，最后是否可以持续的维持在区域D内。若要判断渐近稳定，则要判断系统最后是否会回到formula_2。控制李亚普诺夫函数是判断系统是否可以回授稳定（feedback stabilizable），也就是针对每一个状态"x"，是否存在一控制输入f