本工具是一款专业的 Lyapunov逼近与L1-ISS分析工具, 专为控制科学研究人员设计。支持 一般非线性系统 时变系统 切换系统 等多种模型的稳定性分析。 利用智能算法逼近 Lyapunov 函数,自动推导 L1-ISS (输入到状态稳定性) 条件, 显著提升您的 理论分析与验证效率。
针对复杂非线性系统,寻找或构造近似 Lyapunov 函数是判断稳定性的关键步骤。本工具辅助进行函数形式的选择与参数逼近。
输入到状态稳定性(ISS)描述了系统在有界输入下的状态行为。分析需验证是否存在 KL 类函数和 K 类函数满足 ISS 不等式。
支持一般自治系统、时变系统、切换系统以及带有参数不确定性的非线性系统模型。
请尽可能详细地提供系统的状态方程、平衡点信息以及输入变量的定义域。