本项目专注于切换动力学系统的建模、稳定性验证及控制器设计。系统核心功能包含两个主要模块:首先是基于线性矩阵不等式(LMI)的判据求解模块,利用Lyapunov稳定性理论,针对切换系统设计共同Lyapunov函数或依赖于模态的Lyapunov函数,通过调用MATLAB LMI工具箱中的feasp或mincx求解器,自动搜索能够保证系统在特定切换规则下全局渐近稳定的正定矩阵解。其次是动态仿真模块,该模块支持用户自定义多个子系统的状态空间矩阵,并能模拟在任意切换信号、给定周期切换或状态相关切换策略下的系统运行轨