控制李亚普诺夫函数(control-Lyapunov function)[1]是在控制理论中,针对动态系统及控制输入的李亚普诺夫函数。
原始的李亚普诺夫函数是要判断动力系统是否稳定(更严格的要求是渐近稳定),也就是说,系统若启始条件是在某一区域D中的状态,最后是否可以持续的维持在区域D内。若要判断渐近稳定,则要判断系统最后是否会回到。
控制李亚普诺夫函数是判断系统是否可以回授稳定(feedback stabilizable),也就是针对每一个状态x,是否存在一控制输入可以将系统带回到原点。
考虑以下的独立控制系统
其中
- 为状态向量,
- 为控制向量
目标是可以在区域内将其回授稳定到。
控制李亚普诺夫函数是指函数具有连续可微、正定(也就是在位置为0,其余位置都是正值)的特性,而且使下式成立
最后一个条件是关键:对于每一个状态x,可以找到可以降低能量V的控件u。直觉上,若对于每一个状态都可以找到方法降低能量,就可以将能量降到零,因此可以让系统停止。这是透过Artstein定理证明的。
Artstein定理:动态系统有可微分控制李亚普诺夫函数的充份必要条件是存在一个可以稳定系统的回授u(x)。
特定系统的控制李亚普诺夫函数不一定好找,不过若是找到了这种函数,回授稳定化问题可以作相当的精简,可以简化为静态的非线性最优化问题
对于每一个状态x都成立。
有关控制李亚普诺夫函数是由Z. Artstein和Eduardo D. Sontag在1980年代及1990年代所提出的。
以下是一个将李亚普诺夫候选函数应用在控制问题中的例子。
考虑一个非线性的质量-弹簧-阻尼系统,其弹簧是硬化弹簧,而质量和位置有关,方程式为
现在假定想要的状态、实际状态、误差,定义函数为
以下是一个候选的控制李亚普诺夫函数
若, ,上述函数皆为正定。
再计算的时间导数
其目的是使时间导数满足下式
若是全域的正定,上式则为全域的指数稳定。
因此会希望最右边的括弧
满足以下条件
用动力系统中的取代,可以得到
求解可以得到控制律
其中和都远大于0,为可调整性能的参数。
控制律会确保全域的指数稳定性,因为透过时间导数的替换,可以如预期的,使下式成立
是线性一阶微分方程,其解为
因此误差及误差率(记得)都会指数衰减到零。
若希望由上式调整出特定的响应,需要将响应替换中的内容,然后求解,头几步为
可以由任何求解线性微分方程式的方式来求解。