基于类Lyapunov函数的非线性切换系统的Reach-While-Stay性质验证

doi:10.12341/jssms13770

系统科学与数学 ›› 2019, Vol. 39 ›› Issue (12): 1964-1971.DOI: 10.12341/jssms13770

基于类Lyapunov函数的非线性切换系统的Reach-While-Stay性质验证

戚妮¹，罗勇¹，林望²

1. 温州大学数理学院, 温州 325000;2. 浙江理工大学信息学院, 杭州 310081

出版日期:2019-12-25 发布日期:2020-03-20

PDF ( 74 ) 引用

戚妮，罗勇，林望. 基于类Lyapunov函数的非线性切换系统的Reach-While-Stay性质验证[J]. 系统科学与数学, 2019, 39(12): 1964-1971.

QI Ni, LUO Yong,LIN Wang. Verifying Reach-While-Stay Property of Nonlinear Switched System Based on Lyapunov-Like Function[J]. Journal of Systems Science and Mathematical Sciences, 2019, 39(12): 1964-1971.

Verifying Reach-While-Stay Property of Nonlinear Switched System Based on Lyapunov-Like Function

QI Ni¹, LUO Yong¹, LIN Wang²

1. 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-25 Published:2020-03-20

考虑了一类连续时间切换系统在任意切换信号下的Reach-While-Stay 性质验证问题, 提出了基于类Lyapunov函数的验证方法. 首先, 利用不变集构建了新的RWS性质判定准则, 将RWS性质验证问题转化为关于类Lyapunov函数的非线性约束求解问题, 然后运用平方和松弛进行编码, 进而将其转化为双线性矩阵不等式问题并应用迭代的半定规划进行求解. 最后, 通过实例表明了该方法的可行性和有效性.

关键词： 切换系统, Reach-While-Stay性质, 类Lyapunov函数, 平方和松弛.

This paper presents a Lyapunov-like function based method for verifying the reach-while-stay property of continuous-time switched systems with arbitrary switching. It first utilizes invariant sets to construct a new type of Lyapunov-like functions, whose existence guarantees the reach-while-stay specification. It then gives a computational approach, combining sum of squares relaxation with sequential semidefinite programming, to solve the constrained optimization problem coming from verification conditions of Lyapunov-like functions. An illustrative example is presented to demonstrate the effectiveness of the proposed method.

分享此文:

[1]	赵云波，姚俊毅，倪洪杰. 多径路由网络化控制系统的路径调度与控制器协同设计[J]. 系统科学与数学, 2019, 39(4): 507-521.
[2]	高晓华，翟金刚，冯恩民. 一类基因调控批式流加发酵的时滞切换系统多目标优化[J]. 系统科学与数学, 2019, 39(3): 378-395.
[3]	杨璐，张成科，朱怀念. 带泊松跳的线性Markov切换系统的随机微分博弈及在金融市场中的应用[J]. 系统科学与数学, 2018, 38(5): 537-552.
[4]	孙海龙，段丹丹. 多干扰切换系统的抗干扰容错控制[J]. 系统科学与数学, 2017, 37(9): 1893-1903.
[5]	尹家宁，翟金刚，冯恩民. 基因调控非耦联批式流加发酵切换系统的路径辨识[J]. 系统科学与数学, 2017, 37(9): 1999-2017.
[6]	李莉莉，于悦，罗静文. 一类基于广义无源性的随机切换时滞系统的异步输出调节问题[J]. 系统科学与数学, 2017, 37(7): 1566-1579.
[7]	胡倩倩，翟金刚，冯恩民. 基于灵敏度函数的连续发酵混杂系统的最优控制[J]. 系统科学与数学, 2017, 37(6): 1413-1426.
[8]	仇翔，俞立，刘安东. 时滞供应链网络系统的牛鞭效应切换控制方法[J]. 系统科学与数学, 2016, 36(6): 810-821.
[9]	周海英，张成科，朱怀念，宾宁. 切换系统的随机零和博弈及~$H_{\infty }$ 控制:噪声依赖状态与控制[J]. 系统科学与数学, 2016, 36(12): 2200-2210.
[10]	慕小武，刘凯. 含有未知输入及非强可检测子系统的线性切换系统的观测器设计[J]. 系统科学与数学, 2015, 35(6): 645-656.
[11]	胡颖慧，张雷明，田恩刚. 基于驻留概率信息方法的离散切换系统的鲁棒$ H_{ \infty}$控制[J]. 系统科学与数学, 2015, 35(4): 372-384.
[12]	王鑫，马丹. 离散时间线性切换系统的事件触发控制[J]. 系统科学与数学, 2015, 35(4): 419-428.
[13]	陈宏田，袁月华，田恩刚. 驻留概率信息方法的离散切换系统$H_\infty$滤波器设计[J]. 系统科学与数学, 2015, 35(4): 429-438.
[14]	王硕，禹梅，谭文. 具有丢包补偿网络化控制系统的量化反馈稳定性分析[J]. 系统科学与数学, 2015, 35(3): 287-297.
[15]	杨浩，姜斌. 带有不稳定模态的非线性切换系统镇定方法综述[J]. 系统科学与数学, 2014, 34(12): 1451-1464.

阅读次数

全文

摘要