2. 哈尔滨工业大学(威海)理学院,山东 威海 264209
分数阶微积分是对任意阶导数和积分的探索,从数学上讲,它是对经典微积分学的延伸[1]。分数阶导数具有历史记忆的特性,也越来越多地出现在控制科学和工程领域的应用之中。对分数阶系统的稳定和控制问题进行深入研究是十分必要的,现已有大量相关成果[2-8]。例如,文献[2]研究了针对分数阶系统的二次型李雅普诺夫函数,文献[3]将李雅普诺夫直接法推广到非线性分数阶系统,并给出了分数阶系统的Mittag-Leffler稳定的定义及充分判据,文献[4]研究了时滞分数阶神经网络的Mittag-Leffler同步问题,文献[5-6]研究了分数阶广义系统的镇定问题。
滑模控制是研究鲁棒控制问题的一种有效方法[9-10]。近年来,滑模控制也被应用到分数阶系统中,提出了各种分数阶滑模控制策略和方法[11-15]。文献[11-12]研究了针对分数阶混沌系统的鲁棒滑模控制器设计问题。文献[13]将滑模控制用于线性多变量分数阶系统的鲁棒调节问题。文献[14]设计了基于扰动观测器的分数阶系统的滑模控制器。文献[15]研究了分数阶系统的高阶滑模观测器问题。现有的分数阶滑模控制经常采用整数阶滑模控制的方法,即对滑模切换函数和李雅普诺夫函数求取一阶导数,进而获得等效控制并研究滑动模态的稳定性。然而,研究并发展分数阶的滑模控制方法和分数阶稳定性理论似乎会更有意义,例如构造分数阶型的切换函数并求分数阶导数。
无源性理论可以保持系统内部的稳定,这在控制理论中起着非常重要的作用。基于李雅普诺夫函数的稳定性理论也可以用无源性来解释,可以说是对稳定性的一种更高层次的抽象。然而,以往关于无源性的讨论主要集中在整数阶系统的情况下[16-18]。据作者了解,分数阶广义系统的无源性分析尚未得到研究,本文首次尝试对具有时变不确定参数的分数阶广义系统进行鲁棒无源性分析。
针对一类含扰动的不确定分数阶广义系统,本文基于滑模方法讨论了其具有无源性能的鲁棒可容许性问题。本文工作的主要贡献可概括为以下两方面:
(1) 对带外部扰动的不确定分数阶广义系统设计分数阶积分型切换函数,利用分数阶稳定性理论对滑动模态进行稳定性分析并给出充分条件。
(2) 首次给出不确定分数阶广义系统鲁棒无源可容许性的充分性判据。
1 问题描述考虑一类时变不确定分数阶广义系统
| $ \left\{\begin{array}{l} \boldsymbol{E}_0^C D_t^\alpha \boldsymbol{x}(t)=\boldsymbol{A}(t) \boldsymbol{x}(t)+\boldsymbol{B}_1(\boldsymbol{u}(t)+\boldsymbol{h}(t, \boldsymbol{x}(t)))+\boldsymbol{B}_2 \boldsymbol{\omega}(t), \\ \boldsymbol{y}(t)=\boldsymbol{C}(t) \boldsymbol{x}(t)+\boldsymbol{D} \boldsymbol{\omega}(t), \end{array}\right. $ | (1) |
式中:α∈0,1;奇异矩阵E∈Rn×n的秩为r≤n;x(t)∈Rn是状态变量,u(t)∈Rm是控制输入,y(t)∈Rl是输出变量,ω(t)∈Rp是范数有界的外部扰动;A(t)=A1+ΔA1(t),C(t)=C1+ΔC1(t),矩阵A1、B1、B2、C1和D均是已知的且具有合适的维数。ΔA1(t)和ΔC1(t)是时变的未知矩阵,代表系统的参数不确定性,满足ΔA1(t)=M1F(t)N,ΔC1(t)=M2F(t)N,矩阵M1、M2和N具有合适的维数,F(t)∈Ri×j是已知的有界函数,满足FT(t)F(t)≤I。此外,未知的非线性函数h(t, x(t))∈Rm满足‖h(t, x(t))‖≤ι‖x(t)‖,其中常数ι>0。
定义1[5] 分数阶广义系统
| $ \boldsymbol{E}_0^C D_t^\alpha \boldsymbol{x}(t)=\boldsymbol{A} \boldsymbol{x}(t), \alpha \in(0, 1) $ | (2) |
被称为是
(Ⅰ)正则的,如果存在常数s0使得
(Ⅱ)无脉冲的,如果
(Ⅲ)渐近稳定性的,如果
(Ⅳ)可容许的,如果系统同时是正则的、无脉冲的和渐近稳定的。
定义2 分数阶广义系统(1)被称为是鲁棒无源的,当u(t)=0时,如果存在常数γ>0使得下式
| $ -\gamma \int_0^{t^*} \boldsymbol{\omega}^{\mathrm{T}}(t) \boldsymbol{\omega}(t) \mathrm{d} t \leqslant 2 \int_0^{t^*} \boldsymbol{\omega}^{\mathrm{T}}(t) \boldsymbol{y}(t) \mathrm{d} t $ |
对任意t*>0和任意可容许的系统不确定性在零初始情况下都成立。
定义3 分数阶广义系统被称为是具有无源性能的鲁棒可容许的,如果系统对任何可容许的不确定性同时满足鲁棒无源性和可容许性。
引理1[2] 对于分数阶系统
| $ { }_0^C D_t^\alpha \boldsymbol{x}(t)=\boldsymbol{f}(\boldsymbol{x}(t)), \alpha \in(0, 1), $ | (3) |
如果x(t)=0是系统的平凡解,则系统(3)被称为是
(Ⅰ)稳定的,如果任意x(t)≠0使得xT(t)·f(x(t))≤0成立;
(Ⅱ)渐近稳定的,如果任意x(t)≠0使得xT(t)·f(x(t)) < 0成立。
引理2[19] Y和Z是具有合适维数的实矩阵,对任何满足VTV≤I的矩阵V及常数ε>0,不等式
| $ \boldsymbol{Y} \boldsymbol{V} \boldsymbol{Z}+(\boldsymbol{Y} \boldsymbol{V} \boldsymbol{Z})^{\mathrm{T}} \leqslant \varepsilon^{-1} \boldsymbol{Y} \boldsymbol{Y}^{\mathrm{T}}+\varepsilon \boldsymbol{Z}^{\mathrm{T}} \boldsymbol{Z} $ |
成立。
2 主要结果本节针对分数阶广义系统设计了分数阶积分型切换函数和分数阶滑模控制方法,依次解决下面三个问题:
(1) 如何设计分数阶积分型切换函数并得到滑动模态方程?
(2) 如何确保滑动模态具有鲁棒无源性和可容许性,给出对应的充分条件,并确定控制反馈增益矩阵?
(3) 如何设计滑模控制律使状态轨迹可以到达预设的切换面?
2.1 分数阶积分型切换函数分数阶积分型切换函数设计如下:
| $ \boldsymbol{s}(t)=\boldsymbol{G} \boldsymbol{E} \boldsymbol{x}(t)-\boldsymbol{G}\left(\boldsymbol{A}_1+\boldsymbol{B}_1 \boldsymbol{K}\right)_0 \boldsymbol{I}_t^\alpha \boldsymbol{x}(t), $ | (4) |
式中:G∈Rm×n需满足GB1可逆;K∈Rm×n是控制反馈增益矩阵,将在后文给定。
根据分数阶微积分的性质[1],Ex(t)可改写为
| $ \begin{gathered} \boldsymbol{E x}(t)=\boldsymbol{E x}(0)+\boldsymbol{E}_0 \boldsymbol{I}_t^{\alpha } {}_0^c D_t^\alpha \boldsymbol{x}(t)= \\ \boldsymbol{E x}(0)+{ }_0 I_t^\alpha\left[\boldsymbol{A}(t) \boldsymbol{x}(t)+\boldsymbol{B}_1(\boldsymbol{u}(t)+\right. \\ \left.\boldsymbol{h}(t, \boldsymbol{x}(t)))+\boldsymbol{B}_2 \boldsymbol{\omega}(t)\right] 。\end{gathered} $ | (5) |
将式(5)代入式(4),积分型切换函数变形为
| $ \begin{gathered} \boldsymbol{s}(t)=\boldsymbol{G} \boldsymbol{E} \boldsymbol{x}(0)+{ }_0 I_t^\alpha\left[\boldsymbol{G} \Delta \boldsymbol{A}_1(t) \boldsymbol{x}(t)+\boldsymbol{G B}_1(\boldsymbol{u}(t)+\right. \\ \left.\boldsymbol{h}(t, \boldsymbol{x}(t))-\boldsymbol{K} \boldsymbol{x}(t))+\boldsymbol{G} \boldsymbol{B}_2 \boldsymbol{\omega}(t)\right] \end{gathered} $ |
对s(t)求α阶导数得
| $ \begin{gathered} _0^C D_t^\alpha \boldsymbol{s}(t)=\boldsymbol{G} \Delta \boldsymbol{A}_1(t) \boldsymbol{x}(t)+\boldsymbol{G} \boldsymbol{B}_1(\boldsymbol{h}(t, \boldsymbol{x}(t))+ \\ \boldsymbol{u}(t)-\boldsymbol{K} \boldsymbol{x}(t))+\boldsymbol{G} \boldsymbol{B}_2 \boldsymbol{\omega}(t) 。\end{gathered} $ | (6) |
令
| $ \begin{gathered} \boldsymbol{u}_{\mathrm{eq}}(t)=-\left(\boldsymbol{G} \boldsymbol{B}_1\right)^{-1} \boldsymbol{G}\left(\Delta \boldsymbol{A}_1(t) \boldsymbol{x}(t)+\boldsymbol{B}_2 \boldsymbol{\omega}(t)\right)- \\ \boldsymbol{h}(t, \boldsymbol{x}(t))+\boldsymbol{K} \boldsymbol{x}(t) 。\end{gathered} $ | (7) |
将式(7)代入式(1),滑动模态被表示为
| $ \begin{aligned} \boldsymbol{E}_0^C D_t^\alpha \boldsymbol{x}(t)= & \left(\boldsymbol{A}_1+\boldsymbol{B}_1 \boldsymbol{K}\right) \boldsymbol{x}(t)+\left[\boldsymbol{I}-\boldsymbol{B}_1\left(\boldsymbol{G} \boldsymbol{B}_1\right)^{-1} \boldsymbol{G}\right] \cdot \\ & \left(\Delta \boldsymbol{A}_1(t) \boldsymbol{x}(t)+\boldsymbol{B}_2 \boldsymbol{\omega}(t)\right) 。\end{aligned} $ | (8) |
为方便表示,下文将符号简记为:
因此,滑动模态(8)和系统(1)中的输出方程可写作
| $ \left\{\begin{array}{l} \boldsymbol{E}_0^C D_t^\alpha \boldsymbol{x}(t)=\overline{\boldsymbol{A}}(t) \boldsymbol{x}(t)+\overline{\boldsymbol{B}} \boldsymbol{\omega}(t) \\ \boldsymbol{y}(t)=\boldsymbol{C}(t) \boldsymbol{x}(t)+\boldsymbol{D} \boldsymbol{\omega}(t) \end{array}。\right. $ | (9) |
本小节研究式(9)中滑动模态和输出方程的鲁棒无源性和可容许性问题,具体分为两步:第一步,假设系统(9)中包含矩阵K在内的所有矩阵都是已知的,给出系统(9)在满足无源性条件下的鲁棒可容许充分判据。第二步,确定控制反馈增益矩阵K,使系统(9)实现具有无源性能的鲁棒可容许性。
定理1 给定常数γ>0,分数阶系统(9)是具有无源性能的鲁棒可容许的,如果存在矩阵P∈Rn×n和常数ε>0,使得
| $ \begin{gathered} \boldsymbol{P}^{\mathrm{T}} \boldsymbol{E}=\boldsymbol{E}^{\mathrm{T}} \boldsymbol{P} \geqslant 0, \\ {\left[\begin{array}{ccc} \mathit{\boldsymbol{\varPi}}_1 & \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{B}}-\boldsymbol{C}_1^{\mathrm{T}} & \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{M}}_1 \\ * & -\gamma \boldsymbol{I}-\boldsymbol{D}-\boldsymbol{D}^{\mathrm{T}} & -\boldsymbol{M}_2 \\ * & * & -\varepsilon \boldsymbol{I} \end{array}\right]<0} \end{gathered} $ | (10) |
成立,其中,
证明 首先考虑标称情况,当系统(9)中的不确定项ΔA1(t)=0和ΔC1(t)=0时,系统(9)被写作
| $ \left\{\begin{array}{l} \boldsymbol{E}_0^C D_t^\alpha \boldsymbol{x}(t)=\widetilde{\boldsymbol{A}} \boldsymbol{x}(t)+\overline{\boldsymbol{B}} \boldsymbol{\omega}(t) \\ \boldsymbol{y}(t)=\boldsymbol{C}_1 \boldsymbol{x}(t)+\boldsymbol{D} \boldsymbol{\omega}(t) \end{array}。\right. $ | (11) |
构造李雅普诺夫函数
| $ V(\boldsymbol{x}(t)) \triangleq \boldsymbol{x}^{\mathrm{T}}(t) \boldsymbol{P}^{\mathrm{T}} \boldsymbol{E} \boldsymbol{x}(t) 。$ |
对V(x(t))求α阶导数,可以得到
| $ \begin{gathered} { }_0^C D_t^\alpha V(\boldsymbol{x}(t))={ }_0^C D_t^\alpha\left(\boldsymbol{x}^{\mathrm{T}}(t) \boldsymbol{P}^{\mathrm{T}} \boldsymbol{E} \boldsymbol{x}(t)\right) \leqslant \\ 2 \boldsymbol{x}^{\mathrm{T}}(t) \boldsymbol{P}^{\mathrm{T}}(\widetilde{\boldsymbol{A}} \boldsymbol{x}(t)+\overline{\boldsymbol{B}} \boldsymbol{\omega}(t)) 。\end{gathered} $ |
令
| $ \boldsymbol{\chi}=\left[\begin{array}{cc} \boldsymbol{P}^{\mathrm{T}} \widetilde{\boldsymbol{A}}+\widetilde{\boldsymbol{A}}^{\mathrm{T}} \boldsymbol{P} & \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{B}}-\boldsymbol{C}_1^{\mathrm{T}} \\ * & -\boldsymbol{\gamma} \boldsymbol{I}-\boldsymbol{D}-\boldsymbol{D}^{\mathrm{T}} \end{array}\right], \boldsymbol{\varphi}(t)=\left[\begin{array}{c} \boldsymbol{x}(t) \\ \boldsymbol{\omega}(t) \end{array}\right] 。$ |
结合式(10)可知χ < 0,因此
| $ \begin{gathered} { }_0^C D_t^\alpha V(\boldsymbol{x}(t))-2 \boldsymbol{\omega}^{\mathrm{T}}(t) \boldsymbol{y}(x)-\gamma \boldsymbol{\omega}^{\mathrm{T}}(t) \boldsymbol{\omega}(t) \leqslant \\ \boldsymbol{\varphi}^{\mathrm{T}}(t) \boldsymbol{\chi} \boldsymbol{\varphi}(t)<0 。\end{gathered} $ | (12) |
对上式不等号两侧作关于t的[0,t*](∀t*>0)区间上的一阶积分,由于V(x(t))>0,故
| $ \begin{gathered} { }_0 I_{t^*}^1{ }_0^C D_t^\alpha V(\boldsymbol{x}(t))={ }_0 I_{t^*}^{1-\alpha}{ }_0 I_{t^*}^\alpha{ }_0^C D_t^\alpha V(\boldsymbol{x}(t))= \\ { }_0 I_{t^*}^{1-\alpha} V(\boldsymbol{x}(t))=\frac{1}{\mathit{\Gamma }(1-\alpha)} \int_0^{t^*} \frac{V(\boldsymbol{x}(\zeta))}{\left(t^*-\zeta\right)^\alpha} \mathrm{d} \sigma>0 \end{gathered} $ | (13) |
在零初始条件下成立。因此,对∀t*>0,
| $ -\gamma \int_0^{t^*} \boldsymbol{\omega}^{\mathrm{T}}(t) \boldsymbol{\omega}(t) \mathrm{d} t \leqslant 2 \int_0^{t^*} \boldsymbol{\omega}^{\mathrm{T}}(t) \boldsymbol{y}(t) \mathrm{d} t $ |
在零初始情况下成立,故分数阶系统(11)是鲁棒无源的。
另一方面,对矩阵P和
| $ \left[\begin{array}{cc} \circledast & \circledast \\ \circledast & \boldsymbol{P}_{22}^{\mathrm{T}} \widetilde{\boldsymbol{A}}_{22}+\widetilde{\boldsymbol{A}}_{22}^{\mathrm{T}} \boldsymbol{P}_{22} \end{array}\right]<0, $ |
其中
并且,当ω(t)=0时,根据式(12)和引理1,可知系统(11)同时是渐近稳定的,由定义1进而实现可容许性。
下面考虑一般情况。用A(t)和C(t)代替
| $ \begin{array}{c} & \hat{\boldsymbol{\chi}}(t) \triangleq\left[\begin{array}{cc} \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{A}}(t)+\overline{\boldsymbol{A}}^{\mathrm{T}}(t) \boldsymbol{P} & \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{B}}-\boldsymbol{C}^{\mathrm{T}}(t) \\ * & -\gamma \boldsymbol{I}-\boldsymbol{D}-\boldsymbol{D}^{\mathrm{T}} \end{array}\right]= \\ & \boldsymbol{\chi}+\left(\left[\begin{array}{cc} \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{M}}_1 \\ -\boldsymbol{M}_2 \end{array}\right] \boldsymbol{F}(t)\left[\begin{array}{ll} \boldsymbol{N} & \bf{0} \end{array}\right]\right)+ \\ &\left(\left[\begin{array}{c} \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{M}}_1 \\ -\boldsymbol{M}_2 \end{array}\right] \boldsymbol{F}(t)\left[\begin{array}{ll} \boldsymbol{N} & \bf{0} \end{array}\right]\right)^{\mathrm{T}} \end{array} $ | (14) |
代替χ。根据引理2可知
| $ \begin{gathered} \hat{\boldsymbol{\chi}}(t) \leqslant \widetilde{\boldsymbol{\chi}} \triangleq \boldsymbol{\chi}+\boldsymbol{\varepsilon}\left[\begin{array}{l} \boldsymbol{N}^{\mathrm{T}} \\ \bf{0} \end{array}\right]\left[\begin{array}{ll} \boldsymbol{N} & \bf{0} \end{array}\right]+ \\ \frac{1}{\varepsilon}\left[\begin{array}{c} \boldsymbol{P}^{\mathrm{T}} \overline{\boldsymbol{M}}_1 \\ -\boldsymbol{M}_2 \end{array}\right]\left[\begin{array}{ll} \overline{\boldsymbol{M}}_1^{\mathrm{T}} \boldsymbol{P} & -\boldsymbol{M}_2^{\mathrm{T}} \end{array}\right] 。\end{gathered} $ | (15) |
结合Schur补定理,由式(10)可知
注1 无源性问题早已被研究过,但它们的结果是在整数阶情况下建立的[16-18]。需要注意的是,为分数阶广义系统构建适当的无源性标准并不是一项简单的任务。本文巧妙地利用区间参数和分数阶微积分的性质,解决了参数间切换的复杂性。
注2 当定理1的条件满足时,系统(9)可以实现具有无源性能的鲁棒可容许性,但实际上矩阵
定理2 给定常数γ>0,系统(9)是具有无源性能的鲁棒可容许的,如果存在常数ε>0,矩阵H∈Rm×n和L∈Rn×n,使得
| $ \left[\begin{array}{cccc} \mathit{\boldsymbol{\varPi}}_2 & \overline{\boldsymbol{B}}-\boldsymbol{L}^{\mathrm{T}} \boldsymbol{C}_1^{\mathrm{T}} & \overline{\boldsymbol{M}}_1 & \boldsymbol{\varepsilon} \boldsymbol{L}^{\mathrm{T}} \boldsymbol{N}^{\mathrm{T}} \\ * & -\gamma \boldsymbol{I}-\boldsymbol{D}-\boldsymbol{D}^{\mathrm{T}} & -\boldsymbol{M}_2 & \bf{0} \\ * & * & -\varepsilon \boldsymbol{I} & \bf{0} \\ * & * & * & -\varepsilon \boldsymbol{I} \end{array}\right]<0 $ | (16) |
成立,其中,
证明 结合Schur补定理,由式(16)可得
| $ \left[\begin{array}{ccc} \mathit{\boldsymbol{\varPi}}_2+\varepsilon \boldsymbol{L}^{\mathrm{T}} \bf{N}^{\mathrm{T}} \boldsymbol{N} \boldsymbol{L} & \overline{\boldsymbol{B}}-\boldsymbol{L}^{\mathrm{T}} \boldsymbol{C}_1^{\mathrm{T}} & \overline{\boldsymbol{M}}_1 \\ * & -\gamma \boldsymbol{I}-\boldsymbol{D}-\boldsymbol{D}^{\mathrm{T}} & -\boldsymbol{M}_2 \\ * & * & -\boldsymbol{\varepsilon} \boldsymbol{I} \end{array}\right]<0 。$ | (17) |
利用diag{L-T,I,I}对式(17)做合同变换,因合同变换不改变负定性质,再结合H=KL可得
| $ \left[\begin{array}{ccc} \mathit{\boldsymbol{\varPi}}_3 & \boldsymbol{L}^{-\mathrm{T}} \overline{\boldsymbol{B}}-\boldsymbol{C}_1^{\mathrm{T}} & \boldsymbol{L}^{-\mathrm{T}} \overline{\boldsymbol{M}}_1 \\ * & -\gamma \boldsymbol{I}-\boldsymbol{D}-\boldsymbol{D}^{\mathrm{T}} & -\boldsymbol{M}_2 \\ * & * & -\varepsilon \boldsymbol{I} \end{array}\right]<0, $ |
其中,
本小节设计了滑模控制器,使系统(1)中的状态轨迹在其作用下可以到达切换面。
定理3 切换函数s(t)由式(4)给出,s(t)中的矩阵G满足GB1可逆,矩阵K由定理2得到。设计滑模控制器如下:
| $ \begin{gathered} \boldsymbol{u}(t)=\boldsymbol{K} \boldsymbol{x}(t)-\left(\boldsymbol{G B}_1\right)^{-1}\left(\left\|\boldsymbol{G M}_1\right\|\|\boldsymbol{N} \boldsymbol{x}(t)\|+\right. \\ \left.\iota \left\|\boldsymbol{G} \boldsymbol{B}_1\right\|\|\boldsymbol{x}(t)\|+\left\|\boldsymbol{G} \boldsymbol{B}_2\right\|\|\boldsymbol{\omega}(t)\|+\rho\right) \cdot \\ \operatorname{sgn}(\boldsymbol{s}(t)), \end{gathered} $ | (18) |
式中ρ>0,系统(1)的状态轨迹可以到达切换面s(t)=0。
证明 将u(t)代入到式(6)中得到
| $ \begin{gathered} { }_0^C D_t^\alpha \boldsymbol{s}(t)=\boldsymbol{G} \Delta \boldsymbol{A}_1(t) \boldsymbol{x}(t)-\left(\left\|\boldsymbol{G} \boldsymbol{M}_1\right\|\|\boldsymbol{N} \boldsymbol{x}(t)\|+\right. \\ \left.\iota \left\|\boldsymbol{G} \boldsymbol{B}_1\right\|\|\boldsymbol{x}(t)\|+\left\|\boldsymbol{G} \boldsymbol{B}_2\right\|\|\boldsymbol{\omega}(t)\|+\rho\right) \cdot \\ \quad \operatorname{sgn}(\boldsymbol{s}(t))+\boldsymbol{G} \boldsymbol{B}_1 \boldsymbol{h}(t, \boldsymbol{x}(t))+\boldsymbol{G} \boldsymbol{B}_2 \boldsymbol{\omega}(t) 。\end{gathered} $ | (19) |
选取李雅普诺夫候选函数
| $ \mathit{\boldsymbol{\psi }}(t)=\frac{1}{2} \boldsymbol{s}^{\mathrm{T}}(t) \boldsymbol{s}(t) 。$ |
对Ψ(t)求α阶导数,从而得到
| $ \begin{gathered} { }_0^C D_t^\alpha \mathit{\boldsymbol{\psi }}(t) \leqslant \boldsymbol{s}^{\mathrm{T}}(t){ }_0^C D_t^\alpha \boldsymbol{s}(t)=\boldsymbol{s}^{\mathrm{T}}(t)\left(\boldsymbol{G} \Delta \boldsymbol{A}_1(t) \boldsymbol{x}(t)+\right. \\ \boldsymbol{G} \boldsymbol{B}_1 \boldsymbol{h}(t, \boldsymbol{x}(t))+\boldsymbol{G} \boldsymbol{B}_2 \boldsymbol{\omega}(t)-\boldsymbol{s}^{\mathrm{T}}(t)\left(\left\|\boldsymbol{G} \boldsymbol{M}_1\right\|\|\boldsymbol{N} \boldsymbol{x}(t)\|+\right. \\ \left.\iota \left\|\boldsymbol{G B}_1\right\|\|\boldsymbol{x}(t)\|+\left\|\boldsymbol{G B}_2\right\|\|\boldsymbol{\omega}(t)\|+\rho\right) \operatorname{sgn}(\boldsymbol{s}(t)) \leqslant \\ \|\boldsymbol{s}(t)\|\left(\left\|\boldsymbol{G} \boldsymbol{M}_1\right\|\|\boldsymbol{N} \boldsymbol{x}(t)\|+\iota \left\|\boldsymbol{G} \boldsymbol{B}_1\right\|\|\boldsymbol{x}(t)\|+\right. \\ \left.\left\|\boldsymbol{G B}_2\right\|\|\boldsymbol{\omega}(t)\|\right)-\boldsymbol{s}^{\mathrm{T}}(t)\left(\left\|\boldsymbol{G M}_1\right\|\|\boldsymbol{N} \boldsymbol{x}(t)\|+\right. \\ \left.\iota\left\|\boldsymbol{G B}_1\right\|\|\boldsymbol{x}(t)\|+\left\|\boldsymbol{G} \boldsymbol{B}_2\right\|\|\boldsymbol{\omega}(t)\|\right) \operatorname{sgn}(\boldsymbol{s}(t))- \\ \rho \boldsymbol{s}^{\mathrm{T}}(t) \operatorname{sgn}(\boldsymbol{s}(t)) \leqslant-\rho\|\boldsymbol{s}(t)\|<0, \end{gathered} $ | (20) |
其中sT(t)sgn(s(t))≥‖s(t)‖。因此,状态轨迹可以到达切换面。
3 数值算例对不确定分数阶广义系统(1)赋予如下参数:
| $ \begin{aligned} \boldsymbol{E}=\left[\begin{array}{lll} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 0 \end{array}\right], \boldsymbol{A}_1=\left[\begin{array}{ccc} -1.5 & 0.4 & 0.2 \\ 0.3 & -0.6 & 0.4 \\ 0.9 & 0.6 & 1.1 \end{array}\right], \\ \boldsymbol{B}_1=\left[\begin{array}{c} 1 \\ 0.7 \\ 1 \end{array}\right], \boldsymbol{B}_2=\left[\begin{array}{c} 0.4 \\ 0.5 \\ 1 \end{array}\right], \boldsymbol{C}_1=\left[\begin{array}{lll} 1.4 & 2 & 1.7 \end{array}\right], \\ \boldsymbol{M}_1=\left[\begin{array}{ccc} 0.5 & 0 & 0.2 \\ 0.3 & 0.6 & 0.1 \\ 0.4 & 0.2 & 0.3 \end{array}\right], \boldsymbol{N}=\left[\begin{array}{ccc} 0.2 & 0.1 & 0.2 \\ 0.3 & 0.4 & 0.2 \\ 0.1 & 0.3 & 0.8 \end{array}\right], \\ \boldsymbol{D}=0.4, \boldsymbol{M}_2=\left[\begin{array}{lll} 0.3 & 0.4 & 0.3 \end{array}\right], \boldsymbol{G}=\left[\begin{array}{lll} 0.85 & 1 & 0 \end{array}\right] 。\end{aligned} $ |
此外,令α=0.85,函数h(t, x(t))=0.1e-tx(t),即ι=0.1,外部扰动
利用MATLAB软件对定理2中的式(16)进行求解,可得ε=0.6,矩阵
| $ \begin{aligned} & \boldsymbol{H}=\left[\begin{array}{cccccc} 0.476 0 & 0.423 8 & -0.571 2 \end{array}\right], \\ & \boldsymbol{L}=\left[\begin{array}{rrl} 0.7816 & 0.2899 & 0 \\ 0.2899 & 0.8573 & 0 \\ -0.8378 & -1.0203 & 0.184 \end{array}\right] \text {, } \end{aligned} $ |
从而K=[-1.750 4 -2.607 1 -3.103 3]。取参数ρ=0.01,给定初始条件x0=[-10 6.8 9.5]。结合上述所有给出的条件,仿真结果如图 1~3所示,图 1代表的是状态轨迹x(t),图 2描述的是切换函数s(t),图 3表示的是控制器u(t)。
|
图 1 状态向量轨迹x(t) Fig. 1 State vector trajectories x(t) |
|
图 2 切换曲面函数s(t) Fig. 2 Switching surface function s(t) |
|
图 3 滑模控制器u(t) Fig. 3 Sliding mode controller u(t) |
本文针对带外部扰动的不确定分数阶广义系统设计了分数阶积分型切换函数,计算了切换函数的分数阶导数并使其为0,得到了等效控制,设计了滑模控制器使状态轨迹到达切换面。利用区间参数和分数阶微积分的性质,通过线性矩阵不等式首次给出了滑动模态具有无源性能的鲁棒可容许性的充分性判据,并且解决了滑动模态的鲁棒无源化问题。本文给出的鲁棒无源分析方法也可尝试推广到分数阶奇异摄动系统和分数阶时滞系统。
| [1] |
Kilbas A A, Srivastava H M, Trujillo J J. Theory and Applications of Fractional Differential Equations[M]. Amsterdam: Elsevier, 2006.
( 0) |
| [2] |
Aguila-Camacho N, Duarte-Mermoud M A, Gallegos J A. Lyapunov functions for fractional order systems[J]. Communications in Nonlinear Science and Numerical Simulation, 2014, 19(9): 2951-2957. DOI:10.1016/j.cnsns.2014.01.022 ( 0) |
| [3] |
Li Y, Chen Y Q, Podlubny I. Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability[J]. Computers & Mathematics with Applications, 2010, 59(5): 1810-1821. ( 0) |
| [4] |
Kao Y G, Li Y, Park J H, et al. Mittag-Leffler synchronization of delayed fractional memristor neural networks via adaptive control[J]. IEEE Transactions on Neural Networks and Learning Systems, 2021, 32(5): 2279-2284. DOI:10.1109/TNNLS.2020.2995718 ( 0) |
| [5] |
Yu Y, Jiao Z, Sun C Y. Sufficient and necessary condition of admissibility for fractional-order singular system[J]. Acta Automatica Sinica, 2013, 39(12): 2160-2164. DOI:10.1016/S1874-1029(14)60003-3 ( 0) |
| [6] |
Zhang Q H, Lu J G. H∞ control for singular fractional-order interval systems: The 0 < α < 1 case[J]. ISA Transactions, 2021, 110: 105-116. DOI:10.1016/j.isatra.2020.10.003 ( 0) |
| [7] |
Wang Z, Xue D Y, Pan F. Observer-based robust control for singular switched fractional order systems subject to actuator saturation[J]. Applied Mathematics and Computation, 2021, 411: 126538. DOI:10.1016/j.amc.2021.126538 ( 0) |
| [8] |
Zhan T, Liu X Z, Ma S P. A new singular system approach to output feedback sliding mode control for fractional order nonlinear systems[J]. Journal of the Franklin Institute, 2018, 355(14): 6746-6762. DOI:10.1016/j.jfranklin.2018.06.039 ( 0) |
| [9] |
侯明冬, 王印松. 一类非线性大滞后系统自适应积分滑模控制[J]. 控制理论与应用, 2019, 36(7): 1182-1188. Hou M D, Wang Y S. An adaptive integral sliding mode control for a class of nonlinear large-lag systems[J]. Control Theory & Applications, 2019, 36(7): 1182-1188. ( 0) |
| [10] |
Sun G H, Wu L G, Kuang Z A, et al. Practical tracking control of linear motor via fractional-order sliding mode[J]. Automatica, 2018, 94: 221-235. DOI:10.1016/j.automatica.2018.02.011 ( 0) |
| [11] |
Yin C, Zhong S M, Chen W F. Design of sliding mode controller for a class of fractional-order chaotic systems[J]. Communications in Nonlinear Science and Numerical Simulation, 2012, 17(1): 356-366. DOI:10.1016/j.cnsns.2011.04.024 ( 0) |
| [12] |
Aghababa M P. Robust stabilization and synchronization of a class of fractional-order chaotic systems via a novel fractional sliding mode controller[J]. Communications in Nonlinear Science and Numerical Simulation, 2012, 17(6): 2670-2681. DOI:10.1016/j.cnsns.2011.10.028 ( 0) |
| [13] |
Pisano A, Rapaic M R, Jelicic Z D, et al. Sliding mode control approaches to the robust regulation of linear multivariable fractional-order dynamics[J]. International Journal of Robust and Nonlinear Control, 2010, 20(18): 2045-2056. DOI:10.1002/rnc.1565 ( 0) |
| [14] |
Wang J, Shao C F, Chen Y Q. Fractional order sliding mode control via disturbance observer for a class of fractional order systems with mismatched disturbance[J]. Mechatronics, 2018, 53: 8-19. ( 0) |
| [15] |
Belkhatir Z, Laleg-Kirati T M. High-order sliding mode observer for fractional commensurate linear systems with unknown input[J]. Automatic, 2017, 82: 209-217. DOI:10.1016/j.automatica.2017.04.035 ( 0) |
| [16] |
Wu L G, Zheng W X. Passivity-based sliding mode control of uncertain singular time-delay systems[J]. Automatica, 2009, 45(9): 2120-2127. DOI:10.1016/j.automatica.2009.05.014 ( 0) |
| [17] |
Sang H, Zhao J. Passivity and passification for switched T-S fuzzy systems with sampled-data implementation[J]. IEEE Transactions on Fuzzy Systems, 2020, 28(7): 1219-1229. ( 0) |
| [18] |
Subramaniam R, Joo Y H. Passivity-based fuzzy ISMC for wind energy conversion systems with PMSG[J]. IEEE Transactions on Systems Man Cybernetics-systems, 2021, 51(4): 2212-2220. DOI:10.1109/TSMC.2019.2930743 ( 0) |
| [19] |
Khargonekar P P, Petersen I R, Zhou K. Robust stabilization of uncertain linear systems: Quadratic stabilizability and H∞ control theory[J]. IEEE Transactions on Automatic Control, 1990, 35(3): 356-361. DOI:10.1109/9.50357 ( 0) |
2. School of Science, Harbin Institute of Technology (Weihai), Weihai 264209, China
2023, Vol. 53



0)