平方和松弛相关论文
切换系统是一类重要的混成系统,由有限个子系统和协调子系统之间的切换信号组成.切换系统在航空航天、交通运输、智能控制等安全攸......
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性.首先,为L......
期刊
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方......
