入-状态稳定性的特性。
ISS-李亚普诺夫函数.ISS-李亚普诺夫函数是验证输入-状态稳定性时的重要工具。光滑函数formula_33是系统()的ISS-李亚普诺夫函数，若formula_34, formula_35，以及正定函数formula_36，使得下式成立：以及formula_38，下式成立：函数formula_40称为李亚普诺夫增益（Lyapunov gain）。若系统()没有输入（也就是formula_41），则最后一式可以简化如下因此formul