考虑非时变常微分方程，其形式如下其中formula_1是勒贝格测度有本质确界的外部输入，且 formula_2是利普希茨连续函数。这可以确保系统()有唯一绝对连续的解。若要定义ISS以及其他相关的性质，需要引入以下的分类。令formula_3（K类函数）为连续递增函数formula_4，且formula_5形成的集合，令formula_6为无界函数formula_7，再令formula_8（KL类函数）为若formula_9在所有的formula_10都成立，而且针对所有的formula_11，fo