既然并没有证明是真的稳定,自然不能说一定有李雅普诺夫函数。系统稳定性需要数学证明,经验上的验证,不能取代数学证明(尽管经验上的验证在工程上往往就足够了)。
如果实在找不到李雅普诺夫函数,也可以用些笨办法。但是那个复杂度……如果你的状态变量加输出变量超过三个……还是算了吧……