此文主要介绍一种有限时间镇定分数阶控制器,针对仿射非线性自治系统和仿射非线性非自治系统分别设计了控制率。其中针对仿射非线性自治系统实现在指定时间收敛到原点;对于带有扰动切系统结构存在未知的的非自治系统也可实现在指定时间内收敛。
一、预备知识
1.1 自治系统和非自治系统
对于一个微分系统,如果:
(1)系统中f与t无关,或者说中不显含时间变量t,则系统称为自治系统;
(2)如果f中显含时间变量t,则系统称为非自治系统。
1.2 仿射非线性系统
仿射非线性系统为一种特定的非线性系统,其对控制是线性的,可表示为:
当系统的输入是以的形式出现的,则系统是仿射系统,当系统的输入是以 或等形式出现,则系统是非仿射系统。
1.3 数学符号定义
表示实数集;表示正实数集;表示非负实数集;表示矩阵A的转置;表示向量的欧几里得范数。
:。
K类函数:原点处值为0,定义域内函数连续且严格递增。
局部利普希茨,利普希茨连续:存在常数K,使得|f(a)-f(b)|<=K|a-b|,K称为f的利普希茨常数,若K<1,f称为收缩映射。要求函数在区间中不能有超过线性的增长,即限制了函数增长的速度。
有界凸集:集合内的每一对点,连接该对点的直线段上的每个点也在该集合内。
Barbalat引理:若函数f(t)一阶连续可导,且(1)当时,f(t)存在有限的极限,即(C为有限的常数);(2)一致连续或有界。则可以得到,时,。
Lyapunov-like Lemma:若标量函数满足:(1)V(x)有下界;(2)半负定;(3)对时间一致连续。则可以得到,时,。
二、分数阶反馈控制相关定义
全局有限时间稳定(Global Finite-Time Stability):如果对于一个系统是全局渐进稳定的,同时对于任意状态在有限时间内均可以到达平衡点,则称此系统为全局有限时间收敛。即,对于系统有,,其中,是稳定时间的上限。
强有限时间稳定(Strong Finite-Time Stable):对于系统若满足以下条件,则称其为强有限时间稳定:1)系统是全局有限时间稳定的;2)存在系统稳定时间的上界。取决于已知的系统参数α,并且可通过对给定的α提前进行评估;3)在满足设定条件下,更改系统参数α,可以任意的调整系统的稳定时间;4)对于任意给定的α,稳定时间满足。
弱有限时间稳定(Weak Finite-Time Stable):对于系统若满足以下条件,称其为弱有限时间稳定:1)系统是全局有限时间稳定的;2)存在系统稳定时间的上界。取决于已知的系统参数α,并且可通过对给定的α提前进行评估;3)在满足设定条件下,更改系统参数α,可以任意的调整系统的稳定时间;4)对于任意给定的α,稳定时间满足。
三、非线性自治系统有限时间分数阶控制器
3.1 控制器设计
设计的控制器针对带有仿射输入的非线性系统,即:
(3.1)
其中,和分别为系统状态向量和系统控制输入向量。和为光滑映射。
定义控制器跟踪误差:
。 (3.2)
设计分数阶控制输入:
(3.3)
其中,和为控制器参数。n和m为正奇数,且n<m。
假设1:此控制输入适用于已知结构的系统中,即和是已知的光滑非线性函数。此外,跟踪的期望轨迹是已知的,且导数存在。
将公式(3.1)和公式(3.3)带入公式(3.2)求导可得:
基于理论1,可得系统为强有限时间收敛。
理论1:系统在平衡点e=0是强有限时间收敛,若满足以下情形:
1)和是K类函数;
2)存在正常数,,和,且奇数n和,满足n<m;
3)存在李雅普诺夫函数满足:,。
3.2 强有限时间收敛证明
令正定函数: (3.4)
对V(e)求导,可得:
整理可得:
(3.5)
由公式(3.5)可知,为负定的。
为了证明在平衡点为全局强有限时间收敛,公式(3.5)可以重写为:
对两边分别求取积分可得:
两边同时取e的指数幂,可得:
令,,变形可得
(3.6)
定义稳定时间为系统由初始状态至期望状态,因此:
根据公式(3.6)可得:
(3.7)
由公式(3.4)可知李雅普诺夫函数V为正定的,由公式(3.5)可知其对应的导数为负定的,结合公式(3.7),可以推断对于任意的,均有:
(3.8)
通过以上证明可知,系统是全局有限时间稳定的,且收敛时间可通过设定,在任意,均有。
四、带有未知结构的非线性非自治系统有限时间分数阶控制器
4.1 控制器设计
考虑一类典型的带有仿射输入的非线性非自治系统,其可描述为:
(4.1)
其中,和分别为系统状态和控制输入。和为在x和t中的局部利普希茨连续,和为有界凸集,且,。定义系统的跟踪误差为:
(4.2)
表示期望状态,控制器设计目标为使系统弱有限时间稳定,设计如下:
(4.3)
其中,及均为正数,奇数,和。
假设2:与3.1中的假设不同,此处假设和为部分未知的光滑非线性函数,是已知恒定的参考状态量。
将(4.1)和(4.3)带入(4.2)中求导可得:
(4.4)
可以推断系统是弱有限时间稳定,通过理论2。
理论2:系统平衡点是全局弱有限时间稳定,如果以下条件被满足:
1)和是K类函数;
2)存在正数和奇数p和q满足;
3)存在李雅普诺夫函数满足:,
4.2 弱有限时间稳定证明
构建正定的李雅普诺夫函数:
(4.5)
基于柯西-施瓦茨不等式,李雅普诺夫的导数可求得:
(4.6)
选择一个足够大的,以满足:
(4.7)
基于(4.6)和(4.7)可得:
(4.8)
选择满足:
(4.9)
可基于(4.8)和(4.9)进一步获得:
(4.10)
其中,为K类函数,公式(4.10)可写为:
(4.11)
通过公式(4.11)可以得到,连续且半负定。因此,可以利用Lyapunov-like Lemma,则可以得到。结合公式(4.8)进而得到时,,即公式(4.4)对应误差渐进稳定。
为了证明系统为全局弱有限时间稳定,构建以下函数:
(4.12)
整理公式(4.12)可以得到:
(4.13)
进而可以得到:
(4.14)
令:
,
(4.15)
对于一个非自治系统,考虑系统从初始时间至其后的任意时间,则对至t积分可得:
(4.16)
整理上式,可得李雅普诺夫函数满足:
(4.17)
其中,
,,
通过令上述李雅普诺夫等式为0,可获得稳定时间为:
(4.18)
由于包含时间t,且,则可以得到:
,
当时间满足:
结合公式(4.5)李雅普诺夫函数为正,公式(4.11)李雅普诺夫导数为负,公式证明完毕。
五、带有未知结构且伴有扰动的有限时间分数阶控制器
考虑系统具有未知结构和外部扰动,系统动力学方程可被总结为以下:
(5.1)
其中,和是未知光滑函数和对应的微扰,为外部环境的扰动。
理论3:系统平衡点为全局弱有限时间稳定,如果以下情况满足:
1)、和的存在且未知;
2),和为类函数;
3)存在正数且奇数和满足;
4)存在李雅普诺夫函数,满足:
证明:RFEFC控制策略如公式(4.3),其中:
其余证明步骤与理论2相似。