具有半马尔可夫跳跃的时变时滞系统的滑模控制研究
Sliding Mode Control for Time-Varying Delay Systems with Semi-Markov Jump
Received: 2022-01-29 Revised: 2022-10-17
Fund supported: |
|
作者简介 About authors
付亲宏,E-mail:
该文研究具有半马尔可夫跳跃的不确定连续时变时滞系统的滑模控制器设计问题. 首先, 通过研究系统的动力学特性, 结合滑模面, 建立描述滑模完整动力学的奇异系统. 然后, 充分考虑时滞信息, 构造符合系统特性的 Lyapunov 泛函, 给出滑模面存在的充分条件, 保证滑模动力学系统的随机稳定性. 基于此, 设计滑模控制器, 使闭环系统最终收敛到滑模面. 最后, 通过一个数值算例验证该文方法的有效性.
关键词:
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:
本文引用格式
付亲宏, 熊良林, 张海洋, 秦娅, 权沈爱.
Fu Qinhong, Xiong Lianglin, Zhang Haiyang, Qin Ya, Quan Shenai.
1 引言
另一方面, 马尔可夫跳跃系统是一类系统模态受到马尔可夫链约束的特殊切换系统, 它可用于描述结构与参数发生突发性改变的各种系统. 众所周知, 马尔可夫过程的驻留时间服从指数分布且模态转移概率是定常的, 然而, 相比于马尔可夫过程, 半马尔可过程其驻留时间并不局限于指数分布, 它可以服从更一般的分布, 例如 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 泛函, 建立滑模面存在的充分条件, 保证滑模动力学系统的随机稳定性. 此外, 通过设计滑模控制器, 使闭环系统最终收敛到滑模面. 最后, 通过一个数值算例验证本文方法的有效性.
为了简化表述, 我们有必要做如下的符号说明:
2 问题描述
给定一个全概率空间
其中,
其中
对于每一个
其中,
有如下定义
1)对任意的
2)对任意的初始条件
则称系统 (2.5) 是随机稳定的.
引理 2.1[18] 若对称正定矩阵
其中
引理 2.2[19] 若对任意矩阵
本文的目的是用奇异系统方法设计一个线性滑模面, 使系统在滑模面上是随机稳定的. 通过设计一个滑模控制器, 使闭环系统的状态轨迹将最终到达滑模面.
对于半马尔可夫跳跃系统 (2.1), 我们设计如下滑模面
其中
对于系统 (2.1), 等式两边同时左乘
利用
其中
其中
值得注意的是, 将原系统 (2.11) 的第一个方程与滑模面 (2.9) 相结合, 滑模动力学系统可以用系统 (2.12) 来完全描述. 显然, 系统 (2.12) 的随机稳定性保证了指定的滑模面 (2.9) 的存在性. 因此, 我们将提出滑模面 (2.9) 存在的一个充分条件.
3 滑模面设计
定理 3.1 如果存在一组正定对称矩阵
其中
证 构造如下Lyapunov泛函
其中
并且
其中
根据引理 2.1, 我们有
其中
为了使矩阵
其中
然后根据
根据
因此, 我们可以得到
为使滑模面计算过程易于处理且有更低的保守性, 通过观察方程 (2.12) 中系统矩阵的内部结构, 可以发现滑模面参数
其中
然后把
根据系统 (2.12), 对于任意适当维数的矩阵
再根据引理 2.2, 对于任意的
由 (3.3)-(3.4)式, (3.10)-(3.17)式, 我们有
其中
利用 Schur 补引理和 (3.1) 式可得到
根据 Dynkin 公式, 我们得到
当
根据定义 2.1, 可得到系统 (2.12) 是随机稳定的, 即得到定理 3.1, 从而证明结束.
注 3.1 事实上, 使得
注 3.2 事实上 (2.10)式中变换矩阵
其中
或者, 等价地
其中
注 3.3 值得一提的是, 矩阵
由(3.25)式可知, 变换矩阵
注 3.4 值得注意的是, 与正则系统不同, 奇异系统的解可能是不容许的, 即解可能存在脉冲摄动. 因此, 在研究奇异系统的稳定性之前, 需要研究奇异系统的正则性和无脉冲性. 已知
令
然后, 我们证明系统 (2.12) 是正则且无脉冲的. 因为
因此, 由
这意味着
4 滑模控制器设计
定理 4.1 若考虑系统 (2.1), 滑模面 (2.9),
其中
k_{i}>0,i\in{l}是一个可调的小参数, 则闭环系统的状态轨迹将最终收敛到滑模面上.
证 由(2.1)(2.9)(4.1)式得到滑模面满足
构造如下 Lyapunov 函数
对于每一个
其中
5 仿真算例
考虑具有半马尔可夫跳跃的不确定时变时滞系统, 具体参数如下所示.
模态一
模态二
两种模态的半马尔可夫跳变过程的转移速率矩阵
考虑 Weibull 分布的性质, 我们得出(5.1)式中的转移速率函数对应的逗留时间可以利用 Weibull 分布进行模拟, 且概率密度函数
特别地, 当
对转移速率矩阵 (5.1) 中的其他元素采用同样的方法, 我们得到转移速率矩阵的数学期望为
取
基于以上数据, 求解 (3.1)式, 我们可以得到
取
因此, 可得到滑模面函数为
选取可调参数
我们考虑如下外界干扰信号
其中
取时滞
图1
图2
图3
图4
6 总结
针对具有半马尔可夫跳跃的不确定连续时变时滞系统的滑模控制器设计问题, 本文提出了一种新的滑模控制器设计方法.结合原系统的动力学特性和滑模面, 建立了描述滑模完整动力学的奇异系统. 通过构造 Lyapunov 函数, 充分考虑时滞信息, 给出了滑动模态动力学系统的随机稳定分析准则, 并确定了滑模面参数。此外, 设计了滑模控制器, 使闭环系统最终收敛到滑模面. 最后, 通过一个数值算例验证了该方法的有效性.遗憾的是, 该方法没有考虑具有干扰输入
参考文献
Coverage control for mobile sensor networks with time-varying communication delays on a closed curve
DOI:10.1016/j.jfranklin.2020.08.005 URL [本文引用: 1]
Robust stability and stabilization conditions for nonlinear networked control systems with network-induced delay via TS fuzzy model
Mitigating inter-area oscillation of an interconnected power system considering time-varying delay and actuator saturation
Distributed consensus tracking of multi-agent systems with time-varying input/output delays and mismatched disturbances
Robust observer-based adaptive synchronization control of uncertain nonlinear bilateral teleoperation systems under time-varying delay
Extended dissipative analysis for T-S fuzzy semi-Markov jump systems with sampled-data input and actuator fault
Finite-time stability and stabilization of semi-Markovian jump systems with time delay
DOI:10.1002/rnc.4000 URL [本文引用: 2]
A flexible terminal approach to stochastic stability and stabilization of continuous-time semi-Markovian jump systems with time-varying delay
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.
Event-triggered filtering for uncertain semi-Markov jump systems with time-varying delay by using quantized measurement
DOI:10.1016/j.jfranklin.2022.06.039 URL [本文引用: 2]
Sliding mode control for singular stochastic Markovian jump systems with uncertainties
DOI:10.1016/j.automatica.2017.01.002 URL [本文引用: 2]
Sliding-mode variable structure control for Markov jumping uncertain systems with time-varying delay
Stochastic admissibility of singular Markov jump systems with time-delay via sliding mode approach
A singular system approach to robust sliding mode control for uncertain Markov jump systems
DOI:10.1016/j.automatica.2009.07.027 URL [本文引用: 5]
State estimation and sliding mode control for semi-Markovian jump systems with mismatched uncertainties
DOI:10.1016/j.automatica.2014.10.065 URL [本文引用: 2]
Sliding mode control for semi-Markovian jump systems via output feedback
DOI:10.1016/j.automatica.2017.03.032 URL [本文引用: 4]
Robust stability and stabilization for singular systems with state delay and parameter uncertainty
DOI:10.1109/TAC.2002.800651 URL [本文引用: 1]
Delay-dependent passivity for singular Markov jump systems with time-delays
DOI:10.1016/j.cnsns.2012.08.017 URL [本文引用: 1]
Auxiliary function-based integral inequalities for quadratic functions and their applications to time-delay systems
DOI:10.1016/j.jfranklin.2015.01.004 URL [本文引用: 1]
Robust
DOI:10.1109/9.827358 URL [本文引用: 1]
Variable structure control: a survey
DOI:10.1109/41.184817 URL [本文引用: 1]
Terminal sliding mode control for rigid robots
DOI:10.1016/S0005-1098(97)00174-X URL
/
〈 |
|
〉 |
