2. 安徽大学 计算智能与信号处理教育部重点实验室,合肥 230601
2. Key Laboratory of Intelligent Computing & Signal Processing of Ministry of Education, Anhui University, Hefei 230601, China
切换系统被称为一类特殊类型的混杂系统, 它被广泛应用于传输系统、网络控制系统和通信工业中.切换系统可以由有限个子系统和协调这些子系统的切换信号组成.近年来, 结合多李亚普诺夫函数和平均停留时间方法, 研究者们深入研究了切换系统的稳定性问题, 并取得了一些有价值的结果[1-2].同时, 考虑到系统建模过程中存在的时滞和非线性特性[3-4], 研究者们进一步研究了切换系统的鲁棒性和控制器设计问题[5-7].
作为一种鲁棒控制方法, 滑模控制方法一直是学术界的研究热点.滑模控制可以处理系统建模过程中的不确定参数和外部干扰的不敏感性[8-9].近年来, 滑模控制方法也被应用到切换系统领域[10-12].需要指明的是, 针对切换系统设计的滑模控制器主要是基于无限时间区间的, 这对工业过程中的暂态性, 或者短时间控制问题, 并不奏效.
针对短时间控制问题, Dorato[13]做了许多开创性的工作.同时, 有限时间稳定、有界、镇定、控制等问题也得到了研究人员的广泛研究, 并取得了较好的成果[14-18].近年来, 有限时间稳定、有界和镇定等概念也扩展到滑模控制的研究中[19-22].如文献[20]中, 基于观测器方法研究马尔可夫跳变系统的有限时间滑模控制问题.需要指出的是, 基于平均驻留时间的非线性时滞切换系统的有限时间滑模控制存在的问题并没有得到根本解决.
本文针对一类具有时滞和非线性参数的切换系统, 研究其有限时间滑模控制问题.基于有限时间有界和滑模控制理论, 设计带有状态时滞的滑模控制器, 以确保每个子系统状态的轨迹在规定的时间内能够被驱使到相关的滑模面上.通过应用多李亚普诺夫函数和平均驻留时间方法, 给出使得滑模趋近段和滑模动态系统是有限时间有界的充分条件.最后, 通过仿真算例验证了本文设计方法的可行性.
1 系统描述考虑如下一类时滞非线性切换系统:
(1) |
其中:x(t)∈Rn, x(t-τ)∈Rn是系统的时滞向量, u(t)∈Rp是系统控制输入, ω(t)∈Rq是具有能量有界的外部干扰, 即ω(t)∈
当t∈[tk, tk+1)时, 第σ(tk)子系统被激活.假设σ(t) =i, i∈I, 则矩阵Aσ(t), Adσ(t), Bσ(t), Fσ(t), Hσ(t), K1σ(t), K2σ(t)可表示为Ai, Adi, Bi, Fi, Hi, K1i, K2i.
假设1 在本文中, 考虑在时间范围[t1, t2]内的扰动信号满足如下不等式:
(2) |
假设2 系统状态x(t)在切换时刻不发生跳变, 这意味着系统状态轨迹x(t)是连续的.
假设3 对于∀i∈I, 非线性函数fi(x(t), x(t-τ))满足如下条件:
(3) |
其中U1i和U2i是已知的Lipschitz常系数矩阵.
定义1[2] 对于t∈[0, Tf], Nσ(t, Tf)表示σ(t)在时间间隔[t, Tf]内的切换次数.如果Nσ(t, Tf)≤N0+(Tf-t)/τa, 则τa称为平均驻留时间, 其中τa>0, N0≥ 0.为了计算方便, 一般选择抖振界N0=0.
定义2[14] 对于时间间隔T∈[0, Tf], 给定正常数c1, c2, h和正定对称矩阵R, 其中c2>c1>0, 切换系统(1)是关于(c1, c2, T, R, h)有限时间有界(Finite-time Bounded, FTB)的, 如果如下条件对系统状态x(t)成立:
(4) |
本文的主要目的是设计一个合适的滑模控制器u(t), 确保切换系统(1)的状态轨迹能在时间T*内被驱使到设定的滑模面si(t)=0上, 其中Tf≥ T*, 并且滑模趋近段和滑动模态是FTB的.基于此, 构造如下的滑模函数:
(5) |
其中K1i和K2i是需要设计的控制器增益.令Li=BiTXi, Bi为列满秩矩阵, 通过选择适当的矩阵Xi>0, 使得LiBi是非奇异的.对于切换系统(1), 构造如下滑模控制器:
(6) |
其中
引理1[5] 对于适当维数的矩阵X, Y, 正定对称矩阵T和正标量ρ, 有以下矩阵不等式成立:
(7) |
为了使得系统在趋近段和到达后的状态都满足FTB, 引入如下分段策略的引理.
引理2[21] 对于具有指定参数(c1, c2, T, R, h)的切换系统(1), 当且仅当存在一个辅助标量c*满足c1 < c* < c2, 使得闭环切换系统在趋近段是关于(c1, c*, T1, R, h)FTB的, 同时使得到达后的滑模动态系统是关于(c*, c2, T2, R, h)FTB的, 则闭环系统可被确保是关于(c1, c2, T, R, h)FTB的.其中: T∈[0, Tf],
2 主要结果 2.1 滑模动态可达性的分析下面将对滑模动态可达性进行证明, 切换系统的滑模动态可达性条件为
(8) |
定理1 对于切换系统(1)和滑模函数(5), 切换系统(1)的状态轨迹能在时间T*内被驱使到给定的滑模面si(t)=0上, 其中Tf≥ T*, 如果存在合适的滑模控制律(6), 则鲁棒项
(9) |
其中
并且标量ξi>0, 满足如下条件:
(10) |
证明 构造如下多李亚普诺夫函数:
(11) |
沿着滑模函数(5)的轨迹对V1i(t)求导, 可得
(12) |
考虑到‖si(t)‖≤‖si(t)‖1, 式(12)可改写为如下形式:
(13) |
通过对式(11)使用Rayleigh's不等式, 可得
(14) |
结合不等式(13)和(14), 可得如下不等式:
(15) |
其中
对不等式(15)进行积分, 可得如下不等式:
(16) |
因为V1i(t)≥ 0, 不等式(16)可被改写为
(17) |
对于t≥ T*时刻, V1i(t)=0, 所以si(t)=0.
将si(0)=Lix(0)代入不等式(17), 并结合条件(10), 可得
(18) |
这意味着对于任意给定的时间Tf≥ T*, 切换系统(1)的状态轨迹能在滑模控制律(6)的驱使下在有限时间T*内到达滑模面si(t)=0上, 并维持在其上运动, 其中Tf≥ T*.
2.2 滑模趋近段的FTB分析将滑模控制律(6)代入到切换系统(1)中, 可得如下的闭环切换系统:
(19) |
其中:Ai=Ai+BiK1i, Adi=Adi+BiK2i.
令
(20) |
在下面的定理中, 将证明闭环系统(19)在趋近段是关于(c1, c*, T1, R, h)FTB的.
定理2 对于任意i, j∈I, i≠j, 给定常数c1> 0, h>0, α>0, β>0, μ≥ 1, νi>0, 闭环切换系统(19)是关于(c1, c*, T1, R, h)FTB的(其中R>0), 如果存在正定对称矩阵Pi∈Rn×n, Qi∈Rn×n, W1i∈Rn×n, W2i∈Rn×n和正标量c*, ζi使得如下不等式成立:
(21) |
(22) |
(23) |
(24) |
(25) |
(26) |
(27) |
并且切换信号σ(t)的平均驻留时间满足如下条件:
(28) |
其中
证明 构造如下的多李亚普诺夫函数:
(29) |
沿着闭环系统(19)的轨迹对V2i求导, 结合条件(21) ~ (28)并经过一系列复杂计算可得
(30) |
由定义2和引理2可知, 闭环切换系统(19)是关于(c1, c*, T1, R, h)FTB的.
2.3 滑模动态的FTB分析由滑模控制理论可知, 当系统状态轨迹到达滑模面si(t)=0上时, 会有情形si(t)=0和
(31) |
将等价控制律ueq代入切换系统(1)中, 可得如下的滑模动态系统:
(32) |
其中
下面将证明滑模动态系统(32)是FTB的.
定理3 对于任意i, j∈I, i≠j, 给定常数Tf >0, c2>0, h>0, α>0, β>0, μ≥1, 滑模动态系统(32)是关于(c*, c2, T2, R, h)FTB的, 如果存在正定对称矩阵Pi∈Rn×n, Qi∈Rn×n和正标量c*, εi, χi使得如下不等式成立:
(33) |
(34) |
(35) |
(36) |
并且切换信号σ(t)的平均驻留时间满足如下条件:
(37) |
其中
证明 构造如下的多李亚普诺夫函数:
(38) |
沿着滑模动态系统(32)的轨迹对V3i求导, 结合条件(33) ~ (37)并经过一系列复杂计算可得
(39) |
由定义2和引理2可知, 滑模动态系统(32)是关于(c*, c2, T2, R, h)FTB的.
2.4 控制器增益K1i, K2i求解定理4 对于任意i, j∈I, i≠j, 给定常数Tf>0, c1>0, c2>0, h>0, α>0, β>0, μ≥ 1, 闭环切换系统(19)是关于(c1, c2, T, R, h)FTB的, 如果存在正常数c*, ζi, εi, χi, 正定对称矩阵X1i∈Rn×n, Zi∈Rn×n, Mi∈Rn×n, Z1i∈Rn×n, Z2i∈Rn×n和矩阵Y1i∈Rp×n, Y2i∈Rp×n使得如下矩阵不等式成立:
(40) |
(41) |
(42) |
(43) |
(44) |
(45) |
(46) |
(47) |
(48) |
且切换信号σ(t)的平均驻留时间满足如下条件:
(49) |
其中
证明 为了使得定理2和定理3同时成立, 对不等式(21)和(33)运用Schur补引理并经过计算, 给出如下不等式:
(50) |
以及条件(22) ~ (27)和条件(36), 其中
矩阵(50)两边同乘diag{Pi-1, Qi-1, I, I, I, I, I, I, I, I, I}, 并定义X1i=Pi-1, Zi=Qi-1, Y1i=K1iX1i, Y2i = K2iZi, Mi=X1iQiX1i, Z1i=W1i-1, Z2i=W2i-1, 可得到不等式(40).
另一方面, 取X1i=R1/2X1iR1/2, Zi=R1/2ZiR1/2,
(51) |
可保证不等式(27)成立.同理, 不等式
(52) |
可保证不等式(36)成立.再结合Schur补引理, 式(47)可以由不等式(51)容易得到.
3 数值仿真假设切换系统(1)存在如下两个子系统, 其系数分别为
仿真参数选择为α=0.03, β=0.19, ν1=7, ν2 =4, τ=0.1, h=0.6, Tf=4, c1=1, c2=5, μ=1.016;非线性项选为
根据假设3, 可取Lipschitz常数矩阵为
同理, 可得
求解矩阵不等式(40) ~ (48), 可得c*=2.727 5, τa*=1.086 6, 据此, 选择τa=1.2.
由不等式(10)可得, ξ1≥ 0.144 3, ξ2≥ 0.143 0, 本文选择ξ1=0.3, ξ2=0.2.
为了抑制抖振现象, 符号函数sign[si(t)]用si(t)/(0.005+‖si(t)‖)代替.选取初始状态为x0=[0.6 0.5]T, 则仿真结果如图 1和图 2所示.由图 1可知, 闭环系统的状态轨迹在控制器的作用下是收敛的.由图 2可知, 闭环系统状态轨迹满足FTB条件.
本文针对一类含有非线性和时滞参数的切换系统, 研究了其有限时间滑模控制问题.首先, 设计了积分型滑模面和合适的滑模控制器, 以确保系统状态的有限时间可达性; 然后, 基于矩阵不等式和平均驻留时间方法, 得到了滑模趋近段和滑模动态FTB的充分条件; 最后, 通过仿真示例验证了本文设计方法的有效性和可行性.
[1] |
Branicky M S. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems[J]. IEEE Trans on Automatic Control, 1998, 43(4): 475-482. DOI:10.1109/9.664150 |
[2] |
Liberzon D. Switching in systems and control[M]. Boston: Birkhauser, 2003: 53-89.
|
[3] |
Wu Z G, Shi P, Su H, et al. Asynchronous L2-L∞ filtering for discrete-time stochastic Markov jump systems with randomly occurred sensor nonlinearities[J]. Automatica, 2014, 50(1): 180-186. DOI:10.1016/j.automatica.2013.09.041 |
[4] |
Li H, Gao Y, Shi P, et al. Observer-based fault detection for nonlinear systems with sensor fault and limited communication capacity[J]. IEEE Trans on Automatic Control, 2016, 61(9): 2745-2751. DOI:10.1109/TAC.2015.2503566 |
[5] |
Wang Y, Xie L, de Souza C E. Robust control of a class of uncertain nonlinear systems[J]. System and Control Letters, 1992, 19(2): 139-149. DOI:10.1016/0167-6911(92)90097-C |
[6] |
Chen W H, Zheng W X. Delay-dependent robust stabilization for uncertain neutral systems with distributed delays[J]. Automatica, 2007, 43(1): 95-104. DOI:10.1016/j.automatica.2006.07.019 |
[7] |
Zong G, Ren H, Hou L. Finite-time stability of interconnected impulsive switched systems[J]. IET Control Theory and Applications, 2016, 10(6): 648-654. DOI:10.1049/iet-cta.2015.0617 |
[8] |
Xia Y Q, Jia Y M. Robust sliding mode control for uncertain time-delay systems: An LMI approach[J]. IEEE Trans on Automatic Control, 2003, 48(6): 1086-1091. DOI:10.1109/TAC.2003.812815 |
[9] |
Kao Y, Xie J, Wang C, et al. A sliding mode approach to H∞ non-fragile observer-based control design for uncertain Markovian neutral-type stochastic systems[J]. Automatica, 2015, 52(2): 218-226. |
[10] |
Lian J, Zhao J. Robust H∞ control of uncertain switched systems: A sliding mode control design[J]. Acta Automatica Sinca, 2009, 35(7): 965-970. |
[11] |
Lian J, Zhao J. Sliding mode control of uncertain switched delay systems with nonlinear perturbations: Average dwell time approach[J]. Nonlinear Dynamics, 2010, 62(4): 791-798. DOI:10.1007/s11071-010-9763-x |
[12] |
肖会敏, 刘振. 一类不确定切换中立型系统的鲁棒滑模控制[J]. 控制与决策, 2016, 31(3): 521-527. (Xiao H M, Liu Z. Robust sliding mode control for a class of uncertain switched neutral systems[J]. Control and Decision, 2016, 31(3): 521-527.) |
[13] |
Dorato P. Short time stability in linear time-varying systems[C]. Proc of the IRE Int Convention Record, Part 4. New York, 1961: 83-87.
|
[14] |
Amato F, Ariola M, Dorato P. Finite-time control of linear systems subject to parametric uncertainties and disturbances[J]. Automatica, 2001, 37(9): 1459-1463. DOI:10.1016/S0005-1098(01)00087-5 |
[15] |
Lin X, Du H, Li S. Finite-time boundedness and L2 gain analysis for switched delay systems with norm-bounded disturbance[J]. Applied Mathematics and Computation, 2011, 217(12): 5982-5993. DOI:10.1016/j.amc.2010.12.032 |
[16] |
Shen M, Yan Y, Tang Z, et al. Finite-time H∞ filtering of Markov jump systems with incomplete transition probabilities: A probability approach[J]. IET Signal Processing, 2015, 9(7): 572-578. DOI:10.1049/iet-spr.2014.0376 |
[17] |
Zong G D, Wang R H, Zheng W X, et al. Finite-time H∞ control for discrete-time switched nonlinear systems with time delay[J]. Int J of Robust and Nonlinear Control, 2015, 25(6): 914-936. DOI:10.1002/rnc.v25.6 |
[18] |
He S, Liu F. Finite-time H∞ control of nonlinear jump systems with time-delays via dynamic observer-based state feedback[J]. IEEE Trans on Fuzzy Systems, 2012, 20(4): 605-614. DOI:10.1109/TFUZZ.2011.2177842 |
[19] |
He S, Song J. Finite-time sliding mode control design for a class of uncertain conic nonlinear systems[J]. IEEE/CAA J of Automatica Sinica, 2017, 4(4): 809-816. DOI:10.1109/JAS.2017.7510643 |
[20] |
Gao L, Jiang X, Wang D. Observer-based robust finite time H∞ sliding mode control for Markovian switching systems with mode-dependent time-varying delay and incomplete transition rate[J]. ISA Trans, 2016, 61(3): 29-48. |
[21] |
Song J, Niu Y G, Zou Y Y. Finite time stabilization via sliding mode control[J]. IEEE Trans on Automatic Control, 2017, 62(3): 1478-1483. DOI:10.1109/TAC.2016.2578300 |
[22] |
Zhao H J, Niu Y G, Jia T G. Finite time boundedness of switched delay systems by sliding mode technique[C]. Proc of the 36th Chinese Control Conf. Piscataway: IEEE, 2017: 3829-3834.
|