数学物理学报, 2023, 43(2): 549-562

具有半马尔可夫跳跃的时变时滞系统的滑模控制研究

付亲宏,, 熊良林,*, 张海洋, 秦娅, 权沈爱

云南民族大学数学与计算机科学学院 昆明 650500

Sliding Mode Control for Time-Varying Delay Systems with Semi-Markov Jump

Fu Qinhong,, Xiong Lianglin,*, Zhang Haiyang, Qin Ya, Quan Shenai

School of Mathematics and Computer Science, Yunnan Minzu University, Kunming 650500

通讯作者: *熊良林,E-mail: lianglin_5318@126.com

收稿日期: 2022-01-29   修回日期: 2022-10-17  

基金资助: 国家自然科学基金(12061088)

Received: 2022-01-29   Revised: 2022-10-17  

Fund supported: NSFC(12061088)

作者简介 About authors

付亲宏,E-mail:2435650934@qq.com

摘要

该文研究具有半马尔可夫跳跃的不确定连续时变时滞系统的滑模控制器设计问题. 首先, 通过研究系统的动力学特性, 结合滑模面, 建立描述滑模完整动力学的奇异系统. 然后, 充分考虑时滞信息, 构造符合系统特性的 Lyapunov 泛函, 给出滑模面存在的充分条件, 保证滑模动力学系统的随机稳定性. 基于此, 设计滑模控制器, 使闭环系统最终收敛到滑模面. 最后, 通过一个数值算例验证该文方法的有效性.

关键词: 半马尔可夫跳跃; 滑模控制; 奇异系统方法; 时变时滞系统; 随机稳定性

Abstract

This paper studies the sliding mode controller design problem for uncertain continuous time-varying delay systems with the semi-Markov jump. Firstly, by studying the dynamic characteristics of the system, combined with the sliding mode surface, a singular system is established to describe the holonomic dynamics of the sliding mode. Then, building an appropriate Lyapunov functional by taking into account more information about time delay, a sufficient condition that guarantees the existence of sliding mode surface and the stochastic stability of sliding mode dynamics is given. Based on this, a sliding mode controller is designed to make the closed-loop system finally converge to the sliding mode surface. Finally, a numerical example is given to show the effectiveness of the developed approach.

Keywords: Semi-Markov jump; Sliding mode control; Singular system approach; Time-varying delay systems; Stochastic stability

PDF (780KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

付亲宏, 熊良林, 张海洋, 秦娅, 权沈爱. 具有半马尔可夫跳跃的时变时滞系统的滑模控制研究[J]. 数学物理学报, 2023, 43(2): 549-562

Fu Qinhong, Xiong Lianglin, Zhang Haiyang, Qin Ya, Quan Shenai. Sliding Mode Control for Time-Varying Delay Systems with Semi-Markov Jump[J]. Acta Mathematica Scientia, 2023, 43(2): 549-562

1 引言

时滞广泛存在于许多实际系统中, 例如通信系统[1]、 网络控制系统[2]、电力系统[3]、多智能体系统[4]、双边遥系统[5]等. 时滞的存在使系统的分析与综合变得更加复杂和困难, 同时也导致系统性能变差, 甚至不稳定. 此外, 系统中不确定性的引入, 更准确地描述了模型和实际对象之间的不一致性, 更真实地反映了系统参数变动和干扰的存在. 因此, 研究不确定时滞系统的镇定性问题具有十分重要的理论意义和实际应用价值.

另一方面, 马尔可夫跳跃系统是一类系统模态受到马尔可夫链约束的特殊切换系统, 它可用于描述结构与参数发生突发性改变的各种系统. 众所周知, 马尔可夫过程的驻留时间服从指数分布且模态转移概率是定常的, 然而, 相比于马尔可夫过程, 半马尔可过程其驻留时间并不局限于指数分布, 它可以服从更一般的分布, 例如 Weibull 分布, Gaussian 分布, Laplace 分布等, 且转移概率为时变的, 这使得研究半马尔可夫跳跃系统的镇定性问题更具一般性. 近年来, 具有半马尔可夫跳跃的时变时滞系统受到越来越多研究者的关注[6-9]. 文献[7]通过状态反馈控制的方法研究了半马尔可夫跳跃时滞系统的有限时间镇定问题. 文献[8]通过柔性终端方法研究了一类具有时变时滞的连续半马尔可夫跳跃系统的随机稳定性和镇定性问题. 文献[9]通过事件触发和量化的方法研究了一类不确定半马尔可夫跳变系统的扩展耗散滤波器设计问题. 尽管如此, 目前针对这类系统还没有得到充分的研究, 特别是用滑模控制的方法研究具有半马尔可夫跳跃的时变时滞系统的镇定性问题的研究还鲜有提及, 这也是本文的第一个研究动机.

从控制策略的角度来看, 滑模控制方法因其对模型不确定性、参数变化、抗干扰、完全自适应、鲁棒性强、降维、易于实现等优点, 引起了国内外控制界的强烈兴趣. 滑模控制方法适用于连续和离散系统、线性和非线性系统以及确定性和不确定性系统. 近年来, 对马尔可夫跳跃系统的滑模控制已经有了许多研究[10-13]. 文献[11]研究了一类具有时变时滞马尔可夫跳跃不确定系统的滑模控制问题, 基于简约型系统的方法, 给出了随机稳定滑模面存在的充分条件. 文献[12]针对具有时变时滞的奇异马尔可夫跳跃系统的滑模控制问题, 基于积分滑模控制的方法, 给出了一组新的充分条件, 既保证了滑模动力学的随机容许性, 又确定了积分型滑模面函数中的所有参数矩阵, 进而构造趋近控制律. 文献[13]研究了含参数不确定和未知非线性函数的马尔可夫跳变系统的鲁棒滑模控制问题. 基于奇异系统方法和线性矩阵不等式, 给出了线性切换面存在和滑模动力学随机稳定性的充分条件. 设计了滑模控制器, 使闭环系统在有限时间内收敛到切换面. 尽管如此, 文献[10-13]均没有考虑具有半马尔可夫跳跃参数的模型. 与文献[11]类似的方法, 文献[14]研究了半马尔可夫跳跃系统的状态估计和滑模控制器设计问题. 文献[15]研究了一类不确定连续半马尔可夫跳跃系统的输出反馈滑模控制器设计问题. 通过线性变换把原系统变为一个奇异系统, 用奇异系统的方法设计一个线性滑模面, 使滑模面上是随机稳定的, 然后设计一个滑模控制器, 使闭环系统状态轨迹在有限时间内到达切换面.

基于上述文献的比较分析可以发现, 一般滑模控制器的设计是基于两种方法, 一种方法是基于简约型系统的方法, 是用非奇异线性变换的方法将原系统转化为简约型系统, 再对简约型系统进行分析, 这种方法相对复杂和困难, 详见文献[11,14];另一种方法是基于积分滑模控制的方法[12], 即通过构建一个积分型滑模面函数, 根据滑模控制理论, 获得滑模动力学系统, 再对滑模动力学系统进行分析, 设计积分型滑模控制器, 而针对这种方法, 抖振的处理是一个难点, 如果处理不好会造成资源的浪费甚至不稳定. 而相较于这两种普遍的方法, 奇异系统方法[13,15]则相对简单和易于处理, 而且控制效果良好, 即通过研究原系统的动力学特性, 结合设计的滑模面, 建立描述滑模完整动力学的奇异系统, 再对奇异系统进行分析, 这种方法不像简约型系统方法那样复杂, 而且抖振的处理较于简单, 只需将符号函数的可调参数取小即可, 因此, 用奇异系统方法研究具有半马尔可夫跳跃的不确定连续时变时滞系统的滑模控制器设计问题具有重要的理论和实际意义. 尽管如此, 文献[13,15]的模型均没有考虑时滞因素的影响, 而在考虑时滞因素的情况下, 构造考虑更多时滞信息和奇异系统特性的李雅普诺夫泛函, 以及证明奇异系统是正则且无脉冲的, 进一步得到奇异系统的随机稳定性也是一个难点, 这也是本文的第二个研究动机.

因此本文研究具有半马尔可夫跳跃的不确定连续时变时滞系统的滑模控制器设计问题. 首先, 通过研究原系统的动力学特性, 结合滑模面, 建立描述滑模完整动力学的奇异系统. 然后, 通过构造含有时滞的 Lyapunov 泛函, 建立滑模面存在的充分条件, 保证滑模动力学系统的随机稳定性. 此外, 通过设计滑模控制器, 使闭环系统最终收敛到滑模面. 最后, 通过一个数值算例验证本文方法的有效性.

为了简化表述, 我们有必要做如下的符号说明:$Sym\{A\}$ 表示 $A+A^{T}$;${\rm E\left\{\cdot\right\}}$ 表示数学期望;$\left\|\cdot\right\|$ 是指向量的欧几里得范数或矩阵的欧几里得范数.

2 问题描述

给定一个全概率空间 $(\Omega,F,P)$, 考虑如下具有半马尔可夫跳跃的不确定时变时滞系统

$\begin{matrix}\left\{\begin{array}{ll}\dot{x}(t)&= (A(r(t))+\Delta A(t,r(t)))x(t)+(A_{d}(r(t))+\Delta A_{d}(t,r(t)))x(t-d(t))\\ &\quad+B(r(t))(u(t)+f(t,x(t),r(t))),\\x(t)&= \varphi(t),t\in[-d,0], \end{array}\right. \end{matrix}$

其中, $x(t)\in R^{n_{x}}$ 是系统的状态向量;$u(t)\in R^{n_{u}}$ 是控制输入;$\varphi(t)$$R\longrightarrow R^{n_{x}}$ 上的连续函数;$d(t)$ 表示时变时滞, 满足 $ 0<d(t)\leq d < \infty$, $\dot{d}(t)\leq\mu $; $\{r(t),t \geq 0\}$ 是具有右连续轨迹的半马尔可夫过程, 并且其在有限集合 $l=\{1,2,\cdots,N\}$ 内取值, 其转移概率与转移速率的关系定义如下

$\begin{matrix} {\rm Pr}\{r(t+h)=j|r(t)=i\}=\left\{\begin{array}{ll}\lambda_{ij}(h) h+ o(h), \quad\quad &i \neq j,\\1+\lambda_{ij}(h) h+ o(h),\quad& i=j, \\ \end{array}\right.\end{matrix}$

其中$h>0$, ${{\lim\limits_{h \to 0}}(o(h)/h)=0}$, $\lambda_{ij} (h)\geq 0$, $j\neq i$, 表示系统由 ${t}$ 时刻模态 ${i}$ 跳跃到 ${t+h}$ 时刻模态 ${j}$ 的转移速率, 而 $\lambda_{ii} (h)=-\sum\limits_{j=1,j\neq i}^{N} \lambda_{ij} (h)$ 表示系统在 $t+h$ 时刻依然停留在模态 $i$ 的转移速率.

对于每一个$r(t)=i$, $i\in {l}$, 我们有 $A(r(t))=A_{i}$, $A_{d}(r(t))=A_{di}$, $B(r(t))=B_{i}$, $\Delta{A(t,r(t))}=\Delta{A(t,i)}$, $\Delta{A_{d}(t,r(t))}=\Delta{A_{d}(t,i)}$, 其中系统矩阵 $A(r(t))\in{R^{{n_{x}}\times{n_{x}}}}$, $A_{d}(r(t))\in{R^{{n_{x}}\times{n_{x}}}}$, $B(r(t))\in{R^{{n_{x}}\times{n_{u}}}}$, 为已知的实常数矩阵, 且 $0<n_{u}<n_{x}$, $f(t,x(t),r(t))\in{R^{n_{u}}}$ 是外界干扰信号; $\Delta{A(t,i)}$$\Delta{A_{d}(t,i)}$ 分别表示非匹配参数不确定性, 且满足范数有界, 本文假设这种不确定性满足以下条件

$\begin{matrix} [\Delta{A(t,i)} \ \ \Delta{A_{d}(t,i)}]=U_{i} \Delta_{i}(t)[W_{i}\ \ W_{di}],\end{matrix}$
$\begin{matrix}\left\|{f(t,x(t),i)}\right\| \leq {f_{i}}\left\|{x(t)}\right\|, \end{matrix}$

其中,${f_{i}}$ 为已知有界正数, ${U_{i}}$${W_{i}}$${W_{di}}$ 是已知的具有适当维数的实常数矩阵, ${\Delta_{i}(t)}$ 是时变未知矩阵, 满足 ${\Delta_{i}^{T}(t)}{\Delta_{i}(t)}\leq {I}$.

定义 2.1[16,17] 给定的标量 $d>0$, 对于奇异半马尔可夫跳跃时滞系统

$\begin{matrix}\left\{\begin{array}{ll}{E_{i}}{\dot{x}(t)}= {A_{i}x(t)}+{A_{di}x(t-d(t))},\\x(t)=\varphi(t),t\in[-d,0],\end{array}\right.\end{matrix}$

有如下定义

1)对任意的 ${i\in{l}}$, 如果 $(E_{i},A_{i})$ 是正则的和无脉冲的, 时变时滞 ${d(t)}$ 满足 ${0<d(t)\leq{d}<{\infty}}$, 则称系统 (2.5) 是正则的和无脉冲的.

2)对任意的初始条件 ${\varphi(t)\in{R^{n_{x}}}}$${r_{0}\in{l}}$, 使得系统 (2.5) 满足

$\begin{matrix}{ E}\left\{\int_{0}^{\infty}{\left\|{x(t)}\right\|}^{2}{\rm d}t|\varphi(t),r_{0}\right\}<{\infty},\end{matrix}$

则称系统 (2.5) 是随机稳定的.

引理 2.1[18] 若对称正定矩阵 ${R>0}$, ${x(t)}$ 是一个可微函数:$[a,b]\longrightarrow{R^{n}}$, 则下列不等式成立

$\begin{matrix} {\int_{a}^{b}{x^{T}(s){R}x(s){\rm d}s}}\geq{{\frac{1}{b-a}}\bigg(\int_{a}^{b}{x(s){\rm d}s}\bigg)^{T}{R}\bigg(\int_{a}^{b}{x(s){\rm d}s}\bigg)+{\frac{3}{b-a}}{\Omega}^{T}{R}{\Omega}}, \end{matrix}$

其中 $\Omega={\int_{a}^{b}{x(s){\rm d}s}-{\frac{2}{b-a}}\int_{a}^{b}\int_{\beta}^{b}x(s){\rm d}s{\rm d}\beta}.$

引理 2.2[19] 若对任意矩阵 $D\in{R}^{n\times{n_{f}}}$, $E\in{R}^{{n_{f}}\times n}$, $F\in{R}^{n_{f}\times{n_{f}}}$, 有 $\left\|{F}\right\|\leq{1}$, 标量 $\varepsilon>0$, 则有下列不等式成立

$\begin{matrix}DFE+{E^{T}}{F^{T}}{D^{T}}\leq{\varepsilon^{-1}D{D^{T}}+\varepsilon{E^{T}}E}.\end{matrix}$

本文的目的是用奇异系统方法设计一个线性滑模面, 使系统在滑模面上是随机稳定的. 通过设计一个滑模控制器, 使闭环系统的状态轨迹将最终到达滑模面.

对于半马尔可夫跳跃系统 (2.1), 我们设计如下滑模面

$\begin{matrix}s(t,r(t))=C(r(t))x(t)=0,\end{matrix}$

其中 $C_{i}\in{R^{{n_{u}}\times{n_{x}}}}$, 对于系统 (2.1), 注意到 $B_{i}\in{R^{{n_{x}}\times{n_{u}}}}$ 为列满秩矩阵, 则总存在一个行满秩矩阵 $Q_{i}\in{R^{{(n_{x}-n_{u})}\times{n_{x}}}}$ 使得 $Q_{i}B_{i}=0$.于是, 我们可以构造一个非奇异矩阵 ${\rm T}_{i}\in{R^{{n_{x}}\times{n_{x}}}}$, 对于任意的 $i\in{l}$ 都有${{\rm T}_{i}}=\left[\begin{array}{ccc} Q_{i}\\ B_{i}^{T} \end{array}\right]$. 因此, ${Q_{i}}{{\rm T}_{i}^{-1}}=\left[\begin{array}{ccc} I\ & 0_{(n_{x}-n_{u})\times{n_{u}}} \end{array}\right]$.

对于系统 (2.1), 等式两边同时左乘 ${{\rm T}_{i}}$ 可得

$\begin{matrix}{{\rm T}_{i}}\dot{x}(t)&=& {{\rm T}_{i}}(A_{i}+\Delta A(t,i))x(t)+{{\rm T}_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t))\\&&+{{\rm T}_{i}}B_{i}(u(t)+f(t,x(t),i)),\end{matrix}$

利用 ${Q_{i}}{B_{i}}=0$, 可以得到

$\begin{matrix}\left\{\begin{array}{ll}{Q_{i}}\dot{x}(t)= {Q_{i}}(A_{i}+\Delta A(t,i))x(t)+{Q_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t)),\\{B_{i}^{T}}\dot{x}(t)= {B_{i}^{T}}(A_{i}+\Delta A(t,i))x(t)+{B_{i}^{T}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t))\\ \qquad\quad\quad\quad+{B_{i}^{T}}B_{i}(u(t)+f(t,x(t),i)),\end{array}\right.\end{matrix}$

其中${B_{i}^{T}}{B_{i}}$ 是可逆的, 又因为 ${B_{i}}$ 是列满秩的. 根据滑模控制理论[20], 显然, 系统 (2.11) 的第一个方程表征了系统(2.1) 的部分滑模动力学, 再结合 $s(t,r(t))=0$, 得到了完整的滑模动力学方程, 即

$\begin{matrix}{E_{i}}\dot{x}(t)=\left[\begin{array}{ccc} \bar{A}_{i}(t) & \bar{A}_{di}(t) \end{array}\right] \left[\begin{array}{ccc} x(t)\\ x(t-d(t)) \end{array}\right],\quad i\in{l}, \end{matrix}$

其中

$\begin{matrix}\label{eq:13} {E_{i}}:=\left[\begin{array}{ccc} Q_{i}\\ 0 \end{array}\right],\quad \left[\begin{array}{ccc} \bar{A}_{i}(t) & \bar{A}_{di}(t) \end{array}\right]= \left[\begin{array}{ccc} {Q_{i}}(A_{i}+\Delta A(t,i)) & {Q_{i}}(A_{di}+\Delta A_{d}(t,i))\\ {C_{i}} & 0 \end{array}\right]. \end{matrix}$

值得注意的是, 将原系统 (2.11) 的第一个方程与滑模面 (2.9) 相结合, 滑模动力学系统可以用系统 (2.12) 来完全描述. 显然, 系统 (2.12) 的随机稳定性保证了指定的滑模面 (2.9) 的存在性. 因此, 我们将提出滑模面 (2.9) 存在的一个充分条件.

3 滑模面设计

定理 3.1 如果存在一组正定对称矩阵 $R_{1},R_{2},R_{3},P_{1i},i\in{l}$ 和任意适当维数矩阵 $N_{1},N_{2}$, 标量 $\varepsilon{_{1}}>0,\varepsilon{_{2}}>0,\varepsilon{_{3}}>0,\varepsilon{_{4}}>0,\varepsilon{_{5}}>0,\varepsilon{_{6}}>0,d>0,0\leq{\mu}<{1}$ 使得 (3.1) 式成立, 则方程(2.12) 是随机稳定的.

$\begin{matrix}\bar{\Omega}=\left[\begin{array}{ccc} \bar{\Omega}_{1} & 0 & \bar{\Omega}_{4} \\\ast & \bar{\Omega}_{2} & 0 \\\ast & \ast & \bar{\Omega}_{3} \end{array}\right]<0,\end{matrix}$

其中${C_{i}}={P_{2i}^{-T}}\bar{C_{i}}$, ${P_{2i}}$ 为任意非奇异矩阵.

$\begin{matrix}&&\bar{\Omega}_{1}=\left[\begin{array}{ccc} \bar{\Omega}_{1,1} & \bar{\Omega}_{1,2} & {-{E_{i}}^{T}N_{1}^{T}}+{A_{i}^{T}}{Q_{i}^{T}}{N_{2}} \\\ast & \bar{\Omega}_{2,2} & {A_{di}^{T}}{Q_{i}^{T}}{N_{2}} \\\ast & \ast & {-N_{2}^{T}}-{N_{2}} \end{array}\right],\quad\bar{\Omega}_{2}=\left[\begin{array}{ccc}-{R_{1}} & 0 & 0\\\ast & {-4}{d^{2}R_{3}} & {6d^{2}R_{3}}\\ \ast & \ast & {-12}{d^{2}R_{3}}\end{array}\right],\\&&\bar{\Omega}_{4}=\left[\begin{array}{ccccccc} {Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{U_{i}} & {Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{U_{i}} & {E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{U_{i}} & {E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{U_{i}} & 0 & 0\\0 & 0 & 0 & 0 & 0 & 0\\0 & 0 & 0 & 0 & {N_{2}^{T}}{Q_{i}}{U_{i}} & {N_{2}^{T}}{Q_{i}}{U_{i}}\end{array}\right],\\&&\bar{\Omega}_{3}={\rm diag}\{{-\varepsilon_{1}I},{-\varepsilon_{2}I},{-\varepsilon_{3}I},{-\varepsilon_{4}I},{-\varepsilon_{5}I},{-\varepsilon_{6}I} \}, \\&&\bar{\Omega}_{1,1}=\sum\limits_{j=1}^{N}\bar{\lambda}_{ij}{Q_{j}^{T}}{P_{1j}}{Q_{j}}+Sym\{{Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{A_{i}}+({Q_{i}^{T}}{H^{T}}+{B_{i}})\bar{C_{i}}+{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{A_{i}}\} \\&&+{R_{1}}+{R_{2}}+{\varepsilon_{1}{W_{i}^{T}}{W_{i}}}+{\varepsilon_{3}{W_{i}^{T}}{W_{i}}}+{\varepsilon_{5}{W_{i}^{T}}{W_{i}}}+d^{2}{R_{3}},\\&&\bar{\Omega}_{1,2}={Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{A_{di}}+{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{A_{di}},\\&&\bar{\Omega}_{2,2}=-(1-\mu){R_{2}}+{\varepsilon_{2}{W_{di}^{T}}{W_{di}}}+{\varepsilon_{4}{W_{di}^{T}}{W_{di}}}+{\varepsilon_{6}{W_{di}^{T}}{W_{di}}}.\end{matrix}$

构造如下Lyapunov泛函

$\begin{matrix}V(x(t),r(t),t)=V_{1}(x(t),r(t),t)+V_{2}(x(t),r(t),t)+V_{3}(x(t),r(t),t),\end{matrix}$

其中

$V_{1}(x(t),r(t),t)={x^{T}(t)}{E^{T}(r(t))}{P(r(t))}{x(t)},$
$V_{2}(x(t),r(t),t)={\int_{t-d}^{t}{x^{T}(s)}R_{1}x(s){\rm d}s}+{\int_{t-d(t)}^{t}{x^{T}(s)}R_{2}x(s){\rm d}s},$
$V_{3}(x(t),r(t),t)=d{\int_{-d}^{0}\int_{t+\beta}^{t}{x^{T}(s)}R_{3}x(s){\rm d}s{\rm d}\beta},$

并且 ${E^{T}(r(t))}{P(r(t))}={P^{T}(r(t))}{E(r(t))}\geq{0},R_{1}>0,R_{2}>0,R_{3}>0$ 可知 $V(x(t),r(t),t)>0$. 另一方面, 采用文献[15]中相同的弱无穷小算子 $L$, 则 $V(x(t),r(t),t)$ 沿系统 (2.12) 的导数被计算如下

$\begin{matrix}L[V(x(t),r(t),t)]&=&L[V_{1}(x(t),r(t),t)]+L[V_{2}(x(t),r(t),t)]+L[V_{3}(x(t),r(t),t)]\\&\leq&{x^{T}(t)\sum\limits_{j=1}^{N}\bar{\lambda}_{ij}{E_{j}^{T}}{P_{j}}x(t)}+2x^{T}(t){E_{i}^{T}}{P_{i}}\dot{x}(t)+x^{T}(t)(R_{1}+R_{2})x(t)\\&&-x^{T}(t-d)R_{1}x(t-d)-(1-\mu)x^{T}(t-d(t))R_{2}x(t-d(t))\\&&+d^{2}x^{T}(t)R_{3}x(t)-d\int_{t-d}^{t}x^{T}(s)R_{3}x(s){\rm d}s,\end{matrix}$

其中 $\bar{\lambda}_{ij}:=E\{\lambda_{ij}(h)\}=\int_{0}^{\infty}{\lambda_{ij}(h)}{g_{i}(h)}{\rm d}h$, ${g_{i}(h)}$ 为逗留时间 $h$ 在模态 $i$ 时的概率密度函数.

根据引理 2.1, 我们有

$\begin{matrix}-d{\int_{t-d}^{t}{x^{T}(s){R_{3}}x(s){\rm d}s}}\leq-\int_{t-d}^{t}{x^{T}(s){\rm d}s{R_{3}}\int_{t-d}^{t}{x(s){\rm d}s}-3{\Theta}^{T}{R_{3}}{\Theta}},\end{matrix}$

其中 $\Theta={\int_{t-d}^{t}{x(s){\rm d}s}-{\frac{2}{d}}\int_{t-d}^{t}\int_{\theta}^{t}x(s){\rm d}s{\rm d}\theta}.$

为了使矩阵 $\left[\begin{array}{ccc} \bar{A}_{i}(t) & \bar{A}_{di}(t) \end{array}\right]$$E_{i}$ 中的块一致, 我们将 $P_{i}$ 划分为

$\begin{matrix}{P_{i}}:=\left[\begin{array}{ccc} P_{1i} & P_{3i}\\ P_{4i} & P_{2i} \end{array}\right]{\rm T}_{i},\end{matrix}$

其中$P_{1i}\in{R^{{(n_{x}-n_{u})}\times{(n_{x}-n_{u})}}}$, $P_{2i}\in{R^{{(n_{u})}\times{(n_{u})}}}$, $P_{3i}\in{R^{{(n_{x}-n_{u})}\times{(n_{u})}}}$, $P_{4i}\in{R^{{(n_{u})}\times{(n_{x}-n_{u})}}}$.

然后根据 ${E^{T}(r(t))}{P(r(t))}={P^{T}(r(t))}{E(r(t))}\geq{0}$

$\begin{matrix}{{\rm T}_{i}^{-T}}\left[\begin{array}{ccc} Q_{i}^{T} & 0 \end{array}\right]P_{i}{\rm T}_{i}^{-1}={{\rm T}_{i}^{-T}}P_{i}^{T}{\left[\begin{array}{ccc} Q_{i}^{T} & 0 \end{array}\right]}^{T}{\rm T}_{i}^{-1}\geq{0}.\end{matrix}$

根据 ${{\rm T}_{i}}=\left[\begin{array}{ccc} Q_{i}\\ B_{i}^{T} \end{array}\right]$, 可得

$\begin{matrix}\left[\begin{array}{ccc} I_{(n_{x}-n_{u})} & 0\\0 & 0 \end{array}\right]\left[\begin{array}{ccc} P_{1i} & P_{3i}\\ P_{4i} & P_{2i} \end{array}\right]={\left[\begin{array}{ccc} P_{1i} & P_{3i}\\ P_{4i} & P_{2i} \end{array}\right]}^{T}\left[\begin{array}{ccc} I_{(n_{x}-n_{u})} & 0\\0 & 0 \end{array}\right]\geq{0}.\end{matrix}$

因此, 我们可以得到 $P_{1i}\geq{0},P_{3i}={0}$, 且 $P_{4i}$ 可为任意矩阵, 因为 (3.5)-(3.7)式为等价变换, 且 $P_{i}$ 非奇异, 则有 $P_{1i}>{0}$, 因此, 在这种情况下, $P_{i},i\in{l}$ 可以直接表示为

$\begin{matrix}{P_{i}}:=\left[\begin{array}{ccc} P_{1i} & 0\\ P_{4i} & P_{2i} \end{array}\right]{\rm T}_{i},\quad\quad P_{1i}>0,i\in{l}.\end{matrix}$

为使滑模面计算过程易于处理且有更低的保守性, 通过观察方程 (2.12) 中系统矩阵的内部结构, 可以发现滑模面参数 $C_{i},i\in{l}$ 在滑模系统矩阵 $\left[\begin{array}{ccc} \bar{A}_{i}(t) & \bar{A}_{di}(t) \end{array}\right]$ 的第一行中不存在, 我们可以进一步将 $P_{i},i\in{l}$ 表示为

$\begin{matrix}{P_{i}}:=\left[\begin{array}{ccc} P_{1i} & 0\\ P_{2i}H & P_{2i} \end{array}\right]{\rm T}_{i},\quad\quad P_{1i}>0,i\in{l},\end{matrix}$

其中 $H\in{R^{{(n_{u})}\times{(n_{x}-n_{u})}}}$ 为任意矩阵.

然后把 $P_{i}$代入(3.3) 式中的 $2x^{T}(t){E_{i}^{T}}{P_{i}}\dot{x}(t)$, 又因为 ${E^{T}(r(t))}{P(r(t))}={P^{T}(r(t))}{E(r(t))}\geq{0}$, 我们有

$\begin{matrix}&&2x^{T}(t){P_{i}^{T}}\left[\begin{array}{ccc} \bar{A}_{i}(t) & \bar{A}_{di}(t) \end{array}\right]\left[\begin{array}{ccc} x(t)\\x(t-d(t)) \end{array}\right]\\&=&2x^{T}(t){Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}({A_{i}}+\Delta{A(t,i)})x(t)+2x^{T}(t)({Q_{i}^{T}}H^{T}{P_{2i}^{T}}+B_{i}{P_{2i}^{T}})C_{i}x(t)\\&&+2x^{T}(t){Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}({A_{di}}+\Delta{A_{d}(t,i)})x(t-d(t)).\end{matrix}$

根据系统 (2.12), 对于任意适当维数的矩阵 $N_{1}$$N_{2}$, 有下面的不等式成立

$\begin{matrix}0&=&2(x^{T}(t){E_{i}^{T}N_{1}^{T}}+({Q_{i}}\dot{x}(t))^{T}{N_{2}^{T}})(-{Q_{i}}\dot{x}(t)+{Q_{i}}(A_{i}+\Delta A(t,i))x(t)\\&&+{Q_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t)))\\&=&-2x^{T}(t)E_{i}^{T}{N_{1}^{T}}({Q_{i}}\dot{x}(t))-2({Q_{i}}\dot{x}(t))^{T}{N_{2}^{T}}({Q_{i}}\dot{x}(t))\\&&+2x^{T}(t)E_{i}^{T}{N_{1}^{T}}{Q_{i}}(A_{i}+\Delta A(t,i))x(t)\\&&+2x^{T}(t)E_{i}^{T}{N_{1}^{T}}{Q_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t))\\&&+2({Q_{i}}\dot{x}(t))^{T}{N_{2}^{T}}{Q_{i}}(A_{i}+\Delta A(t,i))x(t)\\&&+2({Q_{i}}\dot{x}(t))^{T}{N_{2}^{T}}{Q_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t)).\end{matrix}$

再根据引理 2.2, 对于任意的 $\varepsilon_{1}>0,\varepsilon_{2}>0,\varepsilon_{3}>0,\varepsilon_{4}>0,\varepsilon_{5}>0,\varepsilon_{6}>0$, 有

$\begin{aligned}2 x^T(t) Q_i^T P_{1 i}^T Q_i \Delta A(t, i) x(t) \leq & \varepsilon_1^{-1} x^T(t) Q_i^T P_{1 i}^T Q_i U_i U_i^T Q_i^T P_{1 i} Q_i x(t) \\& +\varepsilon_1 x^T(t) W_i^T W_i x(t)\end{aligned}$
$\begin{aligned}2 x^T(t) Q_i^T P_{1 i}^T Q_i \Delta A_d(t, i) x(t-d(t)) \leq & \varepsilon_2^{-1} x^T(t) Q_i^T P_{1 i}^T Q_i U_i U_i^T Q_i^T P_{1 i} Q_i x(t) \\& +\varepsilon_2 x^T(t-d(t)) W_{d i}^T W_{d i} x(t-d(t)),\end{aligned}$
$\begin{aligned}& 2 x^T(t) E_i^T N_1^T Q_i \Delta A(t, i) x(t) \leq \varepsilon_3^{-1} x^T(t) E_i^T N_1^T Q_i U_i U_i^T Q_i^T N_1 E_i x(t) \\& +\varepsilon_3 x^T(t) W_i^T W_i x(t), \\&\end{aligned}$
$\begin{aligned}2 x^T(t) E_i^T N_1^T Q_i \Delta A_d(t, i) x(t-d(t)) \leq & \varepsilon_4^{-1} x^T(t) E_i^T N_1^T Q_i U_i U_i^T Q_i^T N_1 E_i x(t) \\& +\varepsilon_4 x^T(t-d(t)) W_{d i}^T W_{d i} x(t-d(t)), \\\end{aligned}$
$\begin{aligned}2\left(Q_i \dot{x}(t)\right)^T N_2^T Q_i \Delta A(t, i) x(t) \leq & \varepsilon_5^{-1}\left(Q_i \dot{x}(t)\right)^T N_2^T Q_i U_i U_i^T Q_i^T N_2\left(Q_i \dot{x}(t)\right) \\& +\varepsilon_5 x^T(t) W_i^T W_i x(t), \\ \end{aligned}$
$\begin{aligned}2\left(Q_i \dot{x}(t)\right)^T N_2^T Q_i \Delta A_d(t, i) x(t-d(t)) \leq & \varepsilon_6^{-1}\left(Q_i \dot{x}(t)\right)^T N_2^T Q_i U_i U_i^T Q_i^T N_2\left(Q_i \dot{x}(t)\right) \\& +\varepsilon_6 x^T(t-d(t)) W_{d i}^T W_{d i} x(t-d(t)).\end{aligned}$

由 (3.3)-(3.4)式, (3.10)-(3.17)式, 我们有

$\begin{matrix}L[V(x(t),r(t),t)]\leq{\xi^{T}(t)\Omega\xi(t)},\end{matrix}$

其中

${\Omega}=\left[\begin{array}{ccccccc} \Omega_{1,1} & \Omega_{1,2} & \Omega_{1,3} & 0 & 0 & 0 \\\ast & \Omega_{2,2} & {A_{di}^{T}}{Q_{i}^{T}}{N_{2}} & 0 & 0 & 0 \\\ast & \ast & \Omega_{3,3} & 0 & 0 & 0 \\\ast & \ast & \ast & -{R_{1}} & 0 & 0 \\\ast & \ast & \ast & \ast & {-4}{d^{2}R_{3}} & {6}{d^{2}R_{3}}\\\ast & \ast & \ast & \ast & \ast & {-12}{d^{2}R_{3}} \end{array}\right],$
$\xi(t)={\left[\begin{array}{cccccc} \xi_{1}(t) & \xi_{2}(t) \end{array}\right]}^{T}, \xi_{1}(t)=\left[\begin{array}{cccccc} x^{T}(t) & x^{T}(t-d(t)) & ({Q_{i}}\dot{x}(t))^{T} & x^{T}(t-d) \end{array}\right], $
$\xi_{2}(t)=\left[\begin{array}{cccccc} \frac{1}{d}{\int_{t-d}^{t}{x^{T}(s){\rm d}s}} & \frac{1}{d^{2}}{\int_{t-d}^{t}\int_{\theta}^{t}{x^{T}(s){\rm d}s{\rm d}\theta}} \end{array}\right], $
$\begin{matrix}&&\Omega_{1,1}=\sum\limits_{j=1}^{N}\bar{\lambda}_{ij}{Q_{j}^{T}}{P_{1j}}{Q_{j}}+Sym \{{Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{A_{i}}+({Q_{i}^{T}}{H^{T}}+{B_{i}}){P_{2i}^{T}}{C_{i}}+{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{A_{i}}\}\\&&\quad\quad\quad+\varepsilon_{1}{W_{i}^{T}}{W_{i}}+\varepsilon_{1}^{-1}{Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{P_{1i}}{Q_{i}}+\varepsilon_{2}^{-1}{Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{P_{1i}}{Q_{i}}\\&&\quad\quad\quad+\varepsilon_{3}^{-1}{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{N_{1}}{E_{i}}+\varepsilon_{4}^{-1}{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{N_{1}}{E_{i}}+\varepsilon_{5}{W_{i}^{T}}{W_{i}} \\&&\quad\quad\quad+\varepsilon_{3}{W_{i}^{T}}{W_{i}}+{R_{1}}+{R_{2}}+d^{2}{R_{3}},\\&&\Omega_{1,2}={Q_{i}^{T}}{P_{1i}^{T}}{Q_{i}}{A_{di}}+{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{A_{di}},\quad{\Omega}_{1,3}={-{E_{i}}^{T}N_{1}^{T}}+{A_{i}^{T}}{Q_{i}^{T}}{N_{2}},\\&&{\Omega}_{2,2}=-(1-\mu){R_{2}}+{\varepsilon_{2}{W_{di}^{T}}{W_{di}}}+{\varepsilon_{4}{W_{di}^{T}}{W_{di}}}+{\varepsilon_{6}{W_{di}^{T}}{W_{di}}},\\&&{\Omega}_{3,3}={-N_{2}^{T}}-{N_{2}}+\varepsilon_{5}^{-1}{N_{2}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{N_{2}}+\varepsilon_{6}^{-1}{N_{2}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{N_{2}}.\end{matrix}$

利用 Schur 补引理和 (3.1) 式可得到 ${\Omega}<0$. 那么对于任意的 $i\in{l}$, 有 $L[V(x(t),r(t),t)]<0$, 因此, 存在一个常数 $c>0$, 使得

$\begin{matrix}L[V(x(t),r(t),t)]<-c{\left\|x(t)\right\|}^{2},\end{matrix}$

根据 Dynkin 公式, 我们得到

$\begin{matrix}{\rm E}\{V(x(t),i,t)\}-V(\varphi(t),r_{0},t_{0})<-c{\rm E}\left\{\int_{0}^{t}{\left\|x(s)\right\|}^{2}{\rm d}s\right\},\end{matrix}$

$t\rightarrow{\infty}$ 时, 可以得到

$\begin{matrix}{\rm E}\left\{\int_{0}^{\infty}{\left\|x(s)\right\|}^{2}{\rm d}s\right\}<\frac{1}{c}V(\varphi(t),r_{0},t_{0})<{\infty},\end{matrix}$

根据定义 2.1, 可得到系统 (2.12) 是随机稳定的, 即得到定理 3.1, 从而证明结束.

注 3.1 事实上, 使得 $Q_{i}B_{i}=0$$Q_{i}$ 并不是唯一的, 本文选择 $Q_{i}\in{R^{{(n_{x}-n_{u})}\times{n_{x}}}}$, 是为了构造 ${{\rm T}_{i}}=\left[\begin{array}{ccc} Q_{i}\\ B_{i}^{T} \end{array}\right]$ 为一个非奇异矩阵.

注 3.2 事实上 (2.10)式中变换矩阵 ${{\rm T}_{i}}$ 的构造并不是唯一的. 研究系统(2.12) 中这些变换矩阵的选择对滑模动力学稳定性的影响具有重要的意义.为此, 对于任意满足 ${\cal T}_{i}B_{i}={\left[\begin{array}{ccc} 0_{(n_{x}-n_{u})\times{n_{u}}} & {\cal B}_{i}^{T} \end{array}\right]}^{T}$ 的非奇异矩阵 ${\cal T}_{i}$, 其中 ${\cal B}_{i}\in R^{{n_{u}}\times{n_{u}}}$是非奇异的, 则 ${\cal T}_{i}$ 可以被参数化为

$\begin{matrix}{\cal T}_{i}=\left[\begin{array}{ccc} \phi_{1i} & 0\\ \phi_{3i} & \phi_{2i} \end{array}\right]{\rm T}_{i},\end{matrix}$

其中 $\phi_{1i}\in{{\cal R}^{(n_{x}-n_{u})\times{(n_{x}-n_{u})}}}$$\phi_{2i}\in{{\cal R}^{n_{u}\times{n_{u}}}}$ 是任意可逆矩阵, 一般矩阵 $\phi_{3i}\in{{\cal R}^{n_{u}\times{(n_{x}-n_{u})}}}$, 将 ${\cal T}_{i}$ 与系统 (2.1) 左右两边相乘, 并考虑 $s(t,r(t))=0$, 将滑模动力学方程重新表示为

$\begin{matrix}\left\{\begin{array}{ll}\phi_{1i}{Q_{i}}\dot{x}(t)= \phi_{1i}{Q_{i}}(A_{i}+\Delta A(t,i))x(t)+\phi_{1i}{Q_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t)),\\0=C_{i}x(t),\end{array}\right.\end{matrix}$

或者, 等价地

$\begin{matrix}\left\{\begin{array}{ll}{{\cal Q}_{i}}\dot{x}(t)= {{\cal Q}_{i}}(A_{i}+\Delta A(t,i))x(t)+{{\cal Q}_{i}}(A_{di}+\Delta A_{d}(t,i))x(t-d(t)),\\0=C_{i}x(t),\end{array}\right.\end{matrix}$

其中 ${{\cal Q}_{i}}=\phi_{1i}{Q_{i}}$, 由于 $\phi_{1i}$ 的可逆性, 根据奇异系统理论可知, 系统 (3.24) 的稳定性与系统 (2.12) 的稳定性等价.

注 3.3 值得一提的是, 矩阵 $Q_{i}$${\rm T}_{i}$ 的选择对定理 3.1 中结果的可行性没有影响. 具体来说, 根据(3.8)和(3.22)式中的定义, 我们将 Lyapunov 矩阵重新赋值为

$\begin{matrix}{\cal P}_{i}=\left[\begin{array}{ccc} \phi_{1i}^{-T}P_{1i} & 0\\P_{2i}H & P_{2i} \end{array}\right]{\rm T}_{i}=\left[\begin{array}{ccc} {\phi_{1i}^{-T}}P_{1i}{\phi_{1i}^{-1}} & 0\\P_{2i}{\phi_{2i}^{-1}}(\phi_{2i}H-\phi_{3i}){\phi_{1i}^{-1}} & P_{2i}{\phi_{2i}^{-1}} \end{array}\right]{\cal T}_{i}:=\left[\begin{array}{ccc} \bar{{\cal P}}_{1i} & 0\\\bar{{\cal P}}_{2i}\bar{H}_{i} & \bar{{\cal P}}_{2i} \end{array}\right]{\cal T}_{i}.\end{matrix}$

由(3.25)式可知, 变换矩阵 ${\cal T}_{i}$ 中的松弛变量 $\phi_{1i}$$\phi_{2i}$ 可以包含在变量 ${\cal P}_{i}$$\bar{{\cal P}}_{1i}$$\bar{{\cal P}}_{2i}$ 中, 其公式与 (3.9) 式类似. 与定理 3.1 的证明类似, 可以立即得出结论, 定理 3.1 中结果的可解性与 ${\cal T}_{i}$ 的选择无关.

注 3.4 值得注意的是, 与正则系统不同, 奇异系统的解可能是不容许的, 即解可能存在脉冲摄动. 因此, 在研究奇异系统的稳定性之前, 需要研究奇异系统的正则性和无脉冲性. 已知 $L[V(x(t),r(t),t)]<0$, 由 (3.3)-(3.4)式, (3.10)-(3.17)式, 可以得到

$\begin{matrix}&&\sum\limits_{j=1}^{N}\bar{\lambda}_{ij}{E_{j}^{T}}{P_{j}}+Sym\{{P_{i}^{T}}\bar{A}_{i}(t)+E_{i}^{T}{N_{1}^{T}}{Q_{i}}A_{i}\}+R_{1}+R_{2}+d^{2}R_{3}+\varepsilon_{3}{W_{i}^{T}}{W_{i}}\\&&+\varepsilon_{3}^{-1}{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{N_{1}}{E_{i}}+\varepsilon_{4}^{-1}{E_{i}}^{T}{N_{1}^{T}}{Q_{i}}{U_{i}}{U_{i}^{T}}{Q_{i}^{T}}{N_{1}}{E_{i}}+\varepsilon_{5}{W_{i}^{T}}{W_{i}}<0,\end{matrix}$

${N_{1}^{T}}{Q_{i}}A_{i}=G_{i}$, 又因为 ${E_{i}^{T}}{P_{i}}={P_{i}^{T}}{E_{i}}\geq{0}$, 因此, 我们有

$\begin{matrix}&\bar{\lambda}_{ii}{E_{i}^{T}}{P_{i}}+Sym\{{P_{i}^{T}}\bar{A}_{i}(t)+E_{i}^{T}G_{i}\}<0.\end{matrix}$

然后, 我们证明系统 (2.12) 是正则且无脉冲的. 因为 $rank(E_i)=r<n_{x}$, 因此存在两个非奇异矩阵 $F_i$$V_i$, 使得

$\begin{matrix}&&{\tilde{E}_{i}}={F_i}{E_i}{V_i}=\left[\begin{array}{ccc} I_{r} & 0\\ 0 & 0 \end{array}\right],\quad\tilde{\bar{A}}_{i}(t)={F_i}{\bar{A}}_{i}(t){V_i}=\left[\begin{array}{ccc} {\tilde{\bar{A}}(t)}_{i11} & {\tilde{\bar{A}}(t)}_{i12}\\ {\tilde{\bar{A}}(t)}_{i21} & {\tilde{\bar{A}}(t)}_{i22} \end{array}\right],\\&&{\tilde{P}_{i}}={F_{i}^{-T}}{P_i}{V_i}=\left[\begin{array}{ccc} {\tilde{P}_{i11}} & {\tilde{P}_{i12}}\\ {\tilde{P}_{i21}} & {\tilde{P}_{i22}} \end{array}\right],\quad{\tilde{G}_{i}}={F_{i}^{-T}}{G_i}{V_i}=\left[\begin{array}{ccc} {\tilde{G}_{i11}} & {\tilde{G}_{i12}}\\ {\tilde{G}_{i21}} & {\tilde{G}_{i22}} \end{array}\right].\end{matrix}$

因此, 由 ${E_{i}^{T}}{P_{i}}={P_{i}^{T}}{E_{i}}$ 可知 ${\tilde{P}_{i12}}=0$, 然后, 对 (3.27) 式左乘右乘 ${V_{i}^{T}}$${V_{i}}$, 可以得到

$\begin{matrix}{\tilde{P}_{i22}^{T}}{\tilde{\bar{A}}(t)}_{i22}+{\tilde{\bar{A}}(t)}_{i22}^{T}{\tilde{P}_{i22}^{T}}<0,\end{matrix}$

这意味着 ${\tilde{\bar{A}}(t)}_{i22}$ 是非奇异的, 因此 $(E_{i},{\bar{A}}_{i}(t))$ 是正则且无脉冲的, 因此根据定义 2.1, 可得到系统 (2.12) 是正则且无脉冲的.

4 滑模控制器设计

定理 4.1 若考虑系统 (2.1), 滑模面 (2.9), $C_{i}$ 可通过定理 3.1 计算得到, 从而可以设计滑模控制器为

$\begin{matrix}u(t)=u_{i}(t)&=&-(C_{i}B_{i})^{-1}C_{i}A_{i}x(t)-(C_{i}B_{i})^{-1}C_{i}A_{di}x(t-d(t))\\&&-\frac{1}{2}(C_{i}B_{i})^{T}\sum\limits_{j=1}^{N}\bar{\lambda}_{ij}(C_{j}B_{j})^{-T}\cdot (C_{j}B_{j})^{-1}s(t,i)\\&&-\rho_{i}(t)sgn((C_{i}B_{i})^{-1}s(t,i)),\end{matrix}$

其中

$\begin{matrix}\rho_{i}(t)&=&{\left\|(C_{i}B_{i})^{-1}C_{i}U_{i}\right\|}{\left\|W_{i}x(t)\right\|}+{\left\|(C_{i}B_{i})^{-1}C_{i}U_{i}\right\|}{\left\|W_{di}x(t-d(t))\right\|}\\&&+f_{i}{\left\|x(t)\right\|}+0.25k_{i},\end{matrix}$

$k_{i}>0,i\in{l}$是一个可调的小参数, 则闭环系统的状态轨迹将最终收敛到滑模面上.

由(2.1)(2.9)(4.1)式得到滑模面满足

$\begin{matrix}\dot{s}(t,r(t))&=&C_{i}(A_{i}+\Delta A(t,i))x(t)+C_{i}(A_{di}i+\Delta A_{d}(t,i))x(t-d(t))\\&&+C_{i}B_{i}f(t,x(t),i)-C_{i}A_{i}x(t)-C_{i}A_{di}x(t-d(t))\\&&-\rho_{i}(t)C_{i}B_{i}sgn((C_{i}B_{i})^{-1}s(t,i))\\&&-\frac{1}{2}C_{i}B_{i}(C_{i}B_{i})^{T}\sum\limits_{j=1}^{N}\bar{\lambda}_{ij}(C_{j}B_{j})^{-T}\cdot (C_{j}B_{j})^{-1}s(t,i).\end{matrix}$

构造如下 Lyapunov 函数

$\begin{matrix}V(t,s(t,r(t)))=\frac{1}{2}s^{T}(t,r(t))(C_{i}B_{i})^{-T}(C_{i}B_{i})^{-1}s(t,r(t)),\end{matrix}$

对于每一个 $i\in{l}$, 沿着 (4.3) 式解的轨迹求弱无穷小算子, 可得

$\begin{matrix}L[V(t,s(t,r(t)))]&=&s^{T}(t,i)(C_{i}B_{i})^{-T}(C_{i}B_{i})^{-1}C_{i}U_{i}\Delta(t,i)W_{i}x(t)\\&&+s^{T}(t,i)(C_{i}B_{i})^{-T}(C_{i}B_{i})^{-1} C_{i}U_{i}\Delta(t,i)W_{di}x(t-d(t))\\&&+s^{T}(t,i)(C_{i}B_{i})^{-T}f(t,x(t),i)\\&&-\rho_{i}(t)s^{T}(t,i)(C_{i}B_{i})^{-T}sgn((C_{i}B_{i})^{-1}s(t,i))\\&\leq &{\left\|s^{T}(t,i)(C_{i}B_{i})^{-T}\right\|}{\left\|(C_{i}B_{i})^{-1}C_{i}U_{i}\right\|}{\left\|W_{i}x(t)\right\|}\\&&+{\left\|s^{T}(t,i)(C_{i}B_{i})^{-T}\right\|}{\left\|(C_{i}B_{i})^{-1}C_{i}U_{i}\right\|}{\left\|W_{di}x(t-d(t))\right\|}\\&&+{\left\|s^{T}(t,i)(C_{i}B_{i})^{-T}\right\|}{\left\|f(t,x(t),i)\right\|}-\rho_{i}(t){\left\|s^{T}(t,i)(C_{i}B_{i})^{-T}\right\|}\\&\leq &({\left\|(C_{i}B_{i})^{-1}C_{i}U_{i}\right\|}{\left\|W_{i}x(t)\right\|}+{\left\|(C_{i}B_{i})^{-1}C_{i}U_{i}\right\|}{\left\|W_{di}x(t-d(t))\right\|}\\&&+f_{i}{\left\|x(t)\right\|}-\rho_{i}(t)){\left\|(C_{i}B_{i})^{-1}s(t,i)\right\|}\\&=&-\bar{k}_{i}\sqrt{V(t,s(t,r(t)))}<0,\end{matrix}$

其中$\bar{k}_{i}=\frac{\sqrt{2}}{4}{k}_{i}$, 因此, 根据文献[引理 2] 可知, 由系统 (2.1) 和滑模控制器 (4.1) 组成的闭环系统的状态轨迹将最终到达滑模面, 即得到定理 4.1, 从而证明结束.

5 仿真算例

考虑具有半马尔可夫跳跃的不确定时变时滞系统, 具体参数如下所示.

模态一

${A_{1}}=\left[\begin{array}{ccc} -0.9 & 0 & 2.1\\ 0 & -2.1 & -2.3\\ 2.7 & 1.3 & 3.9 \end{array}\right],{A_{d1}}=\left[\begin{array}{ccc} -0.1 & 0 & 0.3\\ 0 & -0.2 & -0.2\\ 0.3 & 0.1 & 0.4 \end{array}\right],{B_{1}}=\left[\begin{array}{ccc} 0\\ 0 \\ 1 \end{array}\right],{U_{1}}=\left[\begin{array}{ccc} 0.1\\ 0.2 \\ 0.1 \end{array}\right],$
${W_{1}}=\left[\begin{array}{ccc} 0.05 & 0.02 & 0.05 \end{array}\right],{W_{d1}}=\left[\begin{array}{ccc} 0.005 & 0.002 & 0.005 \end{array}\right],f_{1}=0.4;$

模态二

${A_{2}}=\left[\begin{array}{ccc} -1.9 & 1.2 & 0\\ 3.1 & 1.5 & 1.5\\ 0 & 2.3 & -1.7 \end{array}\right], {A_{d2}}=\left[\begin{array}{ccc} -0.2 & 0.1 & 0\\ 0.3 & 0.1 & 0.1\\ 0 & 0.2 & -0.2 \end{array}\right], {B_{2}}=\left[\begin{array}{ccc} 0\\ 1 \\ 0 \end{array}\right], {U_{2}}=\left[\begin{array}{ccc} 0.2\\ 0 \\ 0.3 \end{array}\right],$
${W_{2}}=\left[\begin{array}{ccc} 0.01 & 0.2 & 0.05 \end{array}\right], {W_{d2}}=\left[\begin{array}{ccc} 0.001 & 0.02 & 0.005 \end{array}\right], f_{2}=0.2;$

两种模态的半马尔可夫跳变过程的转移速率矩阵 $\lambda_{ij}(h)$ 被描述为

$\begin{matrix}[\lambda_{ij}(h)]=\left[\begin{array}{ccc} -2h & 2h\\3h^{2} & -3h^{2} \end{array}\right].\end{matrix}$

考虑 Weibull 分布的性质, 我们得出(5.1)式中的转移速率函数对应的逗留时间可以利用 Weibull 分布进行模拟, 且概率密度函数

$g(h)=(\beta/\alpha^{\beta})h^{\beta-1}\exp[-(h/\alpha)^{\beta}],h\geq{0}.$

特别地, 当 $i=1$ 时, 转移速率函数 $2h$ 可以用尺度参数 $\alpha=1$, 形状参数 $\beta=2$ 的 Weibull 分布来表示, 即 $g_{1}(h)=2he^{-h^{2}}$.$i=2$ 时, 转移速率函数 $3h^{2}$ 可以用尺度参数 $\alpha=1$, 形状参数 $\beta=3$ 的 Weibull 分布来表示, 即 $g_{2}(h)=3h^{2}e^{-h^{3}}$.因此转移速率 $\lambda_{12}(h)$ 的数学期望就可以表示为

${\rm E}\{\lambda_{12}(h)\}=\int_{0}^{\infty}2hg_{1}(h){\rm d}h=\int_{0}^{\infty}4h^{2}e^{-h^{2}}{\rm d}h=1.7725.$

对转移速率矩阵 (5.1) 中的其他元素采用同样的方法, 我们得到转移速率矩阵的数学期望为

$\begin{matrix}{\rm E}\{\lambda_{ij}(h)\}=\left[\begin{array}{ccc} -1.7725 & 1.7725\\2.7082 & -2.7082 \end{array}\right],\end{matrix}$

${Q_{1}}=\left[\begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0 \end{array}\right]$, ${Q_{2}}=\left[\begin{array}{ccc} 1 & 0 & 0\\ 0 & 0 & 1 \end{array}\right]$, $H=\left[\begin{array}{ccc} 1 & 0 \end{array}\right]$, $\mu=0.97$, $d=5$.

基于以上数据, 求解 (3.1)式, 我们可以得到

${P_{11}}=\left[\begin{array}{ccc} 2650.6 & 748.4 \\ 748.4 & 1059.5 \end{array}\right],{P_{12}}=\left[\begin{array}{ccc} 1977.9 & 266.5 \\ 266.5 & 1189.7 \end{array}\right],\\$
${\bar{C}_{1}}=\left[\begin{array}{ccc} -1813.7 & 2382.4 & -4224.8 \end{array}\right],{\bar{C}_{2}}=\left[\begin{array}{ccc} -1108.1 & -4455.2 & -1030.4 \end{array}\right],\\$
$\varepsilon_{1}=1803.1,\varepsilon_{2}=1829.5,\varepsilon_{3}=1503.0,\varepsilon_{4}=1531.6,\varepsilon_{5}=1505.3,\varepsilon_{6}=2032.0,$

$P_{21}=P_{22}=1$, 得到

${C_{1}}=\left[\begin{array}{ccc} -1813.7 & 2382.4 & -4224.8 \end{array}\right],{C_{2}}=\left[\begin{array}{ccc} -1108.1 & -4455.2 & -1030.4 \end{array}\right].$

因此, 可得到滑模面函数为

$s(t,1)=\left[\begin{array}{ccc} -1813.7 & 2382.4 & -4224.8 \end{array}\right]x(t),$
$s(t,2)=\left[\begin{array}{ccc} -1108.1 & -4455.2 & -1030.4 \end{array}\right]x(t),$

选取可调参数 $k_{1}=k_{2}=0.04$, 滑模控制器通过 (4.1) 设计为

$u(t)=\left\{\begin{array}{ll}u_{1}(t)=&-\left[\begin{array}{ccc} 2.3136 & 2.4842 & 6.0985 \end{array}\right]x(t)-\left[\begin{array}{ccc} 0.2571 & 0.2128 & 0.6416 \end{array}\right]x(t-d(t))\\&-2.1132\times{10^{-5}}s(t,1)-(0.0302\left\|\left[\begin{array}{ccc} 0.05 & 0.02 & 0.05 \end{array}\right]x(t)\right\|\\&+0.0302\left\|\left[\begin{array}{ccc} 0.005 & 0.002 & 0.005 \end{array}\right]x(t-d(t))\right\|0.4\left\|x(t)\right\|\\&+0.01)sgn(-2.3670\times{10^{-4}}s(t,1)), \quad i=1,\\u_{2}(t)=&-\left[\begin{array}{ccc} 2.6274 & 2.3304 & 1.1068 \end{array}\right]x(t)-\left[\begin{array}{ccc} 0.2503 & 0.1711 & 0.0537 \end{array}\right]x(t-d(t))\\&+3.4048\times{10^{-5}}s(t,2)-(0.1191\left\|\left[\begin{array}{ccc} 0.01 & 0.2 & 0.05 \end{array}\right]x(t)\right\|\\&+0.1191\left\|\left[\begin{array}{ccc} 0.001 & 0.02 & 0.005 \end{array}\right]x(t-d(t))\right\|0.2\left\|x(t)\right\|\\&+0.01)sgn(-2.2446\times{10^{-4}}s(t,2)), \quad i=2.\end{array}\right.$

我们考虑如下外界干扰信号

$f(t,x(t),1)=0.4\sin{x_{1}(t)}+0.4{x_{2}(t)}+0.2\sin{x_{3}(t)},$
$f(t,x(t),2)=0.2\sin\sqrt{{x_{1}^{2}(t)}+{x_{2}^{2}(t)}}+0.2\sin{x_{3}(t)},$

其中

$\left\|f(t,x(t),1)\right\|\leq 0.4 \left\| x(t) \right\|,\quad \left\|f(t,x(t),2)\right\|\leq 0.2 \left\| x(t) \right\|.$

取时滞 $d(t)=4.03+0.97\sin{t}$,初值 $x(0)=\left[\begin{array}{ccc} -2 & 1 & -3 \end{array}\right]$,$\mid{\Delta(t,1)}\mid\leq{1}$,$\mid{\Delta(t,2)}\mid\leq{1}$,利用 Matlab 工具箱对具有半马尔可夫跳跃的不确定连续时变时滞的开环系统和闭环系统的状态轨迹分别进行了仿真.结果如图 1-4所示, 图1图2分别给出了开环系统和闭环系统的状态轨迹 $x_{1}(t),x_{2}(t),x_{3}(t)$, 即表明了没有控制器作用下的开环系统是不稳定的, 但在本文设计的控制器作用下形成的闭环系统是鲁棒随机稳定的. 图 $3$ 和图 $4$ 分别给出了滑模面函数 $s(t,r(t))$ 和控制输入 $u(t)$ 的轨迹.

图1

图1   开环系统的状态$x(t)$的响应曲线


图2

图2   闭环系统的状态$x(t)$的响应曲线


图3

图3   滑模面函数$s(t,r(t))$的响应曲线


图4

图4   控制输入$u(t)$的响应曲线


6 总结

针对具有半马尔可夫跳跃的不确定连续时变时滞系统的滑模控制器设计问题, 本文提出了一种新的滑模控制器设计方法.结合原系统的动力学特性和滑模面, 建立了描述滑模完整动力学的奇异系统. 通过构造 Lyapunov 函数, 充分考虑时滞信息, 给出了滑动模态动力学系统的随机稳定分析准则, 并确定了滑模面参数。此外, 设计了滑模控制器, 使闭环系统最终收敛到滑模面. 最后, 通过一个数值算例验证了该方法的有效性.遗憾的是, 该方法没有考虑具有干扰输入 $\nu(t)$ 的情况, 也没有考虑事件触发的滑模控制问题, 这将在未来进一步研究.另一方面, 该方法还可以推广到经典的中立型系统、奇异系统等的滑模控制问题上, 这也将在未来进一步研究.

参考文献

Qu Y, Xu H P, Song C, Fan Y.

Coverage control for mobile sensor networks with time-varying communication delays on a closed curve

Journal of the Franklin Institute, 2020, 357(17): 12109-12124

DOI:10.1016/j.jfranklin.2020.08.005      URL     [本文引用: 1]

Zhao T, Huang M, Dian S.

Robust stability and stabilization conditions for nonlinear networked control systems with network-induced delay via TS fuzzy model

IEEE Transactions on Fuzzy Systems, 2019

[本文引用: 1]

Sengupta A, Das D K.

Mitigating inter-area oscillation of an interconnected power system considering time-varying delay and actuator saturation

Sustainable Energy, Grids and Networks, 2021, 27: 100484

[本文引用: 1]

Wei J, Charalambous T.

Distributed consensus tracking of multi-agent systems with time-varying input/output delays and mismatched disturbances

IFAC-PapersOnLine, 2021, 54(9): 787-794

[本文引用: 1]

Mehrjouyan A, Menhaj M B, Khosravi M A.

Robust observer-based adaptive synchronization control of uncertain nonlinear bilateral teleoperation systems under time-varying delay

Measurement, 2021: 109542

[本文引用: 1]

Yu H, Ma Y, Liu J, et al.

Extended dissipative analysis for T-S fuzzy semi-Markov jump systems with sampled-data input and actuator fault

Nonlinear Analysis: Hybrid Systems, 2021, 40: 101010

[本文引用: 1]

Li Z, Li M, Xu Y, et al.

Finite-time stability and stabilization of semi-Markovian jump systems with time delay

International Journal of Robust and Nonlinear Control, 2018, 28(6): 2064-2081

DOI:10.1002/rnc.4000      URL     [本文引用: 2]

Zhang D, Cheng J, Ahn C K, et al.

A flexible terminal approach to stochastic stability and stabilization of continuous-time semi-Markovian jump systems with time-varying delay

Applied Mathematics and Computation, 2019, 342: 191-205

DOI:10.1016/j.amc.2018.09.035      [本文引用: 2]

This paper addresses the stochastic stability and stabilization problems for a class of semi-Markovian jump systems (SMJSs) with time-varying delay, where the time-varying delay tau(t) is assumed to satisfy tau 1 <= tau(t) <= tau(2). Based on the flexible terminal approach, the timevarying delay t(t) is first transformed such that tau(1)(t) <= tau(t) <= tau 2 (t). By utilizing a novel semi-Markovian Lyapunov Krasoviskii functional (SMLKF) and an improved reciprocally convex inequality (RCI), sufficient conditions are established to guarantee a feasible solution. Two illustrated examples are shown the effectiveness of the main results. (c) 2018 Elsevier Inc.

Xia W, Li Y, Li Z, et al.

Event-triggered filtering for uncertain semi-Markov jump systems with time-varying delay by using quantized measurement

Journal of the Franklin Institute, 2022, 359(13): 7091-7114

DOI:10.1016/j.jfranklin.2022.06.039      URL     [本文引用: 2]

Zhang Q, Li L, Yan X G, et al.

Sliding mode control for singular stochastic Markovian jump systems with uncertainties

Automatica, 2017, 79: 27-34

DOI:10.1016/j.automatica.2017.01.002      URL     [本文引用: 2]

Yan M, Song C, Wang P.

Sliding-mode variable structure control for Markov jumping uncertain systems with time-varying delay

Proceedings of the 30th Chinese Control Conference, IEEE, 2011: 2549-2554

[本文引用: 5]

Tao R, Ma Y, Wang C.

Stochastic admissibility of singular Markov jump systems with time-delay via sliding mode approach

Applied Mathematics and Computation, 2020, 380: 125282

[本文引用: 4]

Ma S, Boukas E K.

A singular system approach to robust sliding mode control for uncertain Markov jump systems

Automatica, 2009, 45(11): 2707-2713

DOI:10.1016/j.automatica.2009.07.027      URL     [本文引用: 5]

Li F, Wu L, Shi P, et al.

State estimation and sliding mode control for semi-Markovian jump systems with mismatched uncertainties

Automatica, 2015, 51: 385-393

DOI:10.1016/j.automatica.2014.10.065      URL     [本文引用: 2]

Wei Y, Park J H, Qiu J, et al.

Sliding mode control for semi-Markovian jump systems via output feedback

Automatica, 2017, 81: 133-141

DOI:10.1016/j.automatica.2017.03.032      URL     [本文引用: 4]

Xu S, Van Dooren P, Stefan R, et al.

Robust stability and stabilization for singular systems with state delay and parameter uncertainty

IEEE Transactions on automatic control, 2002, 47(7): 1122-1128

DOI:10.1109/TAC.2002.800651      URL     [本文引用: 1]

Wu Z G, Park J H, Su H, et al.

Delay-dependent passivity for singular Markov jump systems with time-delays

Communications in Nonlinear Science and Numerical Simulation, 2013, 18(3): 669-681

DOI:10.1016/j.cnsns.2012.08.017      URL     [本文引用: 1]

Park P G, Lee W I, Lee S Y.

Auxiliary function-based integral inequalities for quadratic functions and their applications to time-delay systems

Journal of the Franklin Institute, 2015, 352(4): 1378-1396

DOI:10.1016/j.jfranklin.2015.01.004      URL     [本文引用: 1]

Yong Y C, Lam J.

Robust $H_{\infty}$ control of uncertain Markovian jump systems with time-delay

IEEE transactions on automatic control, 2000, 45: 77-83

DOI:10.1109/9.827358      URL     [本文引用: 1]

Hung J Y, Gao W.

Variable structure control: a survey

IEEE Transactions on Industrial Electronics, 1993, 40(1): 2-22

DOI:10.1109/41.184817      URL     [本文引用: 1]

Tang Y.

Terminal sliding mode control for rigid robots

Automatica, 1998, 34(1): 51-56

DOI:10.1016/S0005-1098(97)00174-X      URL    

/