中立型分数阶微分滑模系统的稳定性.pdf

应 用 数 学 A【THEMATICA APPLICATA 2015，28(3)：701—705 中立型分数阶微分滑模系统的稳定性 王智，蒋威 (安徽大学数学科学学院，安徽合肥230039) 摘要： 文章主要讨论中立型分数阶微分滑模控制系统的稳定性问题．首先介绍分 数阶积分、微分及广义GronwaiI3％等式的一些定义，然后构造切换面，给出控制 律，最后通过李雅普诺夫定理来证明切换面存在，并得出系统的稳定性成立． 关键词：分数阶微分方程；滑模系统；中立型；广义Gronwall不等式 中图分类号：O231．1 AMS(2000)主题分类：34D20 文献标识码：A 文章编号：i001—9847(2015)03-0701—05 1．引言 随着数学在众多领域中的应用，以及相关学科的发展，人们发现整数阶积分和微分已经不 能很好的解释众多科学领域中出现的问题，于是兴起了对分数阶微积分与分数阶微分系统的 课题研究…1．其中滑模控制系统是这类问题中非常重要的部分之，一，对其探讨就显得十分重要． 然而对n维线性的分数阶微分滑模控制系统，通过L变换，得到系统的通解，对于不同的系统，所 构造的切换面是不一样的，所以对分数阶微分滑模控制系统稳定性研究很有意义．目前对整数 阶微分滑模控制系统的研究已取得了很多成果z【-sJ．较分数阶滑模控制系统稳定性的研究，其 比整数阶滑模控制系统稳定性的研究复杂得多，且 目前对中立 分数阶滑模控制系统稳定性 的研究还 尚少．本文主要考虑下面的中立型控制系统： JD ()=Ax(t)+Bx(t一7-)+CD (亡一下)+G (t)，t0， ，11、 l )= 0)， t∈m【,r，0】， - 、… 这里D 是Ot阶分数阶微分算子(0Q1)，x(t)∈R“是状态变量，(t)∈R 是输出控制变 量．，， G∈R似 是常数矩阵．时滞7-O是常参数，连续微分函数 (t)定义在区间[_7-，O】． 2．预备知识 定义2．1【1函数 (t)∈Ll[a，b】(t∈a【，hi)的a阶Riemann-Liouville积分定义为： ()：==南 Jo(一下)一x(r)dr，0a1· 这里 (．)为Gamma函数． 定义2．2 【】 口阶Caputo导数定义为： GD ) ． 0／(一s)-of(s)ds=Ii-of(t)． 引理2．1。【】若 (t)与re(t)都是[0，上连续的实函数，()≥O，在0【，上可积且成立 x(t) m(t)+ ()／(t—s)一x(s)ds． 收稿 日期：2014-l0_22 基金项 目：国家自然科学基金 ，国家自然科学基金 作者简介：王智，男，汉族，安徽人，研究方向：泛函微分方程． 通讯作者：蒋威． 702 应 用 数 学 2015 贝U必有 ㈣ 雹 ( 删dsj． 若加上m(t)非减，则成Ax(t) m(t)E．(h(Or(a)t)，0 tT，这里五 (2)为Mittag-Leffier 函数． 3．主要结果 构造切换面：．，=．【(t)：(茁(t))=0， (t))∈R )，以及 @(t))=SI1--v~x(t)一SCI1--ax(t一丁)， (3．1) 其中S为常数矩阵，若系统在滑模面上是一个闭环，那么矩阵S满足下面的假设． 假设1矩阵 G (SG∈Rm )非负． 考虑滑模控制： (t)：u。(t)+ d(t)，这里 d(t)是切换控制，。(t)为等价控制． 对方程(3．1)求导，可得 ((t))=s杀(一。(t)一 一。 一7-))