1. 温州大学数理学院, 温州 325000;2. 浙江理工大学信息学院, 杭州 310081
出版日期:
2019-12-25发布日期:
2020-03-20Verifying Reach-While-Stay Property of Nonlinear Switched System Based on Lyapunov-Like Function
QI Ni1, LUO Yong1, LIN Wang21. School of Mathematics and Physics, Wenzhou University, Wenzhou 325000; 2. School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou 310081
Online:
2019-12-25Published:
2020-03-20摘要
图/表
参考文献
相关文章
编辑推荐
-->Metrics
本文评论
考虑了一类连续时间切换系统在任意切换信号下的Reach-While-Stay 性质验证问题, 提出了基于类Lyapunov函数的验证方法. 首先, 利用不变集构建了新的RWS性质判定准则, 将RWS性质验证问题转化为关于类Lyapunov函数的非线性约束求解问题, 然后运用平方和松弛进行编码, 进而将其转化为双线性矩阵不等式问题并应用迭代的半定规划进行求解. 最后, 通过实例表明了该方法的可行性和有效性.
分享此文: