自主海洋航行器镇定、跟踪及协同编队
上QQ阅读APP看书,第一时间看更新

2.2 预备知识

2.2.1 稳定性定义

定义2.1[132,133]:若系统在某平衡点李雅普诺夫稳定,且在时间t趋于无穷大时收敛到该平衡状态,且此过程中不脱离该区域,则称系统在该平衡点渐近稳定。若对任意条件,此性质皆成立,则称系统在该平衡点全局渐近稳定。

定义2.2[140-142]:考虑系统.z=ftz),其中zRn是系统状态,函数fURn关于t分段连续,URn是包含原点z=0的一个域,并且原点为该系统平衡点,即ft,0)=0,∀t≥0。若该系统渐近稳定,且存在常数Γ,满足∀tt0,都有,则称该系统在平衡点z=0指数稳定,且具有常衰减度α。在其基础上,若Ω=U=Rn,则系统为全局指数稳定。

定义2.3[91]:考虑如下系统

其中,U为包括x=0的一个开邻域,fx)为一连续的向量场,f(0)=0,若式(2-3)在平衡点x=0处满足李雅普诺夫稳定性,且对于任意的初值x(0)∈U,存在Tx),使式(2-3)的解xx(0),t)在[0,T]有定义且满足,且满足对∀tTx),均有xx(0),t)=0,则式(2-3)为有限时间稳定的,若U=Rn,则式(2-3)是全局有限时间稳定的,若对于任意的初值x(0)∈UTx)皆有界,则式(2-3)为固定时间稳定的,若U=Rn,则式(2-3)是全局固定时间稳定的。

定义2.4[92]:考虑非线性动态系统式(2-3),假定x=0是其平衡点,如果存在连续可微的函数Vx),满足下列条件:

(1)Vx)正定,径向无界;

(2),∀xU1\{0},U1为包括原点的开邻域,l>0且0<α<1;那么x=0是该系统局部有限时间稳定的平衡点,且稳定时间T满足下式

定义2.5[93]:设fx)=[f1x),…,fmx)]T为一向量函数,若对∀ε>0,∃(r1,…,rnTRn,使得成立,其中ri>0,i=1,2,…,nk≥-max(ri),i=1,2,…,n,则称fx)关于(r1,…,rn)有齐次度k

定义2.6[93]:称标量函数Vx):RnR,关于(r1,…,rn),ri>0,i=1,2,…,n,具有齐次度σ,若对∀ε>0,∀xRn,有成立。

定义2.7[88]:考虑如下非线性系统

其中,x=[x1x2,…,xn]TRn为状态向量,fx):RnRn为非线性函数。如果fx)相对(r0k0f0)具有零极限齐次性,相对(rkf)具有无穷极限齐次性,此外,如果系统及近似系统是全局渐近稳定的,那么

(1)当k>0>k0满足时,系统的原点是固定时间稳定平衡点;

(2)当为正实数时,那么(1≤in)。存在连续正定函数VRnR+,使得函数相对具有无穷极限齐次性,且函数是负定的,满足

其中,kv为正实数,函数定义为abR+

2.2.2 稳定性证明相关引理

引理2.1[88]:(有限时间稳定)考虑如下非线性系统

其中,fx)是一个连续向量函数,且对于扩张(r1,…,rm)的齐次度为对于任意t满足。如果x=0是系统的渐近平衡点,且对于任意t存在i=1,…,m,那么x=0是式(2-7)的一个局部有限时间平衡点。此外,如果式(2-7)既是全局渐近稳定又是局部有限时间稳定,那么该系统是全局有限时间稳定。

引理2.2[89]:(Young's不等式)针对任意实数∀xyR,下述不等式成立

其中,a>0,p>1,q>1,且(p-1)(q-1)=1。

引理2.3[90]:假设存在一个正常数kaR,如果xR且|x|<|ka|,则下面不等式成立

引理2.4[92]:考虑如下一阶系统

c是正实数,且α∈(0,1)时,那么该系统是全局有限时间稳定的。针对任意初始值xt0),该有限稳定时间ts满足ts≤|xt01[c(1)]。始值xt0),该有限稳定时间ts满足ts≤|xt0)|1[c(1)]。

引理2.5[94]:考虑下面一个标称系统

其中,α>0,β>0,mnpq为正奇数,且满足mnpq。那么式(2-9)将在固定时间内收敛到x=0且一直保持下去,稳定时间T具有确定上界

此外,如果ε=[qm-n)/nq-p)≤1],可得到一个保守性较小的收敛时间上界

引理2.6[95]:存在ε1ε2,…,εm≥0,那么

引理2.7[94,96]:针对系统沿着轨迹x,如果存在正则,正定和径向无界的函数Vx):RnR+∪{0},且

(1)Vx)=0⇔x=0;

(2),其中α>0,β>0,0<p<1,q>1,那么,当ϑ=0时,系统是全局固定时间稳定,并且稳定时间T满足

ϑ∈(0,∞)时,系统是实际固定时间稳定的,系统的解满足

其中,θ为一个标量满足0<θ<1。系统收敛到稳定域的时间满足

引理2.8[151]:设z:[0,∞)→R为连续一阶可导,且当t→∞时有极限,若t∈[0,∞)上一致连续,则

引理2.9[241]:对于一个二阶非线性系统

一定存在一个正的C1函数Cθ1),满足,其中为虚拟输入。

2.2.3 障碍李雅普诺夫函数

定义2.8[234]:考虑系统,其中zRn是系统状态,函数fURn关于t分段连续。D为包含原点的开区间,Vz)为定义在D上的关于该系统的正定标量函数。Vz)可称为该系统的障碍李雅普诺夫函数,若其具有以下特性:

(1)在D上的每个点一阶偏导数存在;

(2)当z趋向于D边界时,Vz)→∞;

(3)当zt0)∈D时,∀t>0,Vz)≤bb为正常数。

BLF的特点为当状态趋向于约束边界时,所设计李雅普诺夫函数的值会趋于无穷大。因此,可通过李雅普诺夫函数的有界性保证系统状态不违反约束条件。为使用障碍李雅普诺夫函数(BLF)解决偏航约束问题,本章引入相关理论。

引理2.10[235]:对状态z与正实数a,函数为状态z的障碍李雅普诺夫函数。

引理2.11[235]:对状态z与任意实数a,函数为状态z的障碍李雅普诺夫函数,且满足

2.2.4 RBF神经网络

RBF[236-240]神经网络由隐含层和输出层构成,隐含层实现神经网络输入的非线性映射,即隐含层将输入空间映射到一个新的空间,输出层则将隐含层的输出进行线性组合。因此,RBF神经网络可以表示成线性参数化形式

其中,χ=[χ1χ2,…,χm]TΩχRm是神经网络的输入向量;W=[w1w2,…,wl]TRl是神经网络的权值向量,l>1是神经网络的节点数;ϕjχ)∈Rj=1,2,…,l)称为基函数,ϕχ)=[ϕ1χ),ϕ2χ),…,ϕlχ)]TRl是基函数向量,通常选取ϕjχ)为高斯函数

其中,κj=[κj1κj2,…,κjm]TRmhjR分别是高斯函数的中心和宽度。

一般而言,如果节点数l选取的足够大,RBF神经网络WTϕχ)能够在有界闭集ΩχRm上以任意精度逼近连续函数fχ)∈R,其数学表达式为

其中,WRl是神经网络的理想权值向量,根据下式选取

在有界闭集ΩχRm上,权值向量W是有界的,且激励函数ϕχ)也有界,即

其中,Wmϕ*为正常数。