![自主海洋航行器镇定、跟踪及协同编队](https://wfqqreader-1252317822.image.myqcloud.com/cover/637/41398637/b_41398637.jpg)
2.2 预备知识
2.2.1 稳定性定义
定义2.1[132,133]:若系统在某平衡点李雅普诺夫稳定,且在时间t趋于无穷大时收敛到该平衡状态,且此过程中不脱离该区域,则称系统在该平衡点渐近稳定。若对任意条件,此性质皆成立,则称系统在该平衡点全局渐近稳定。
定义2.2[140-142]:考虑系统.z=f(t,z),其中z∈Rn是系统状态,函数f:U→Rn关于t分段连续,U⊂Rn是包含原点z=0的一个域,并且原点为该系统平衡点,即f(t,0)=0,∀t≥0。若该系统渐近稳定,且存在常数Γ,满足∀t≥t0,都有,则称该系统在平衡点z=0指数稳定,且具有常衰减度α。在其基础上,若Ω=U=Rn,则系统为全局指数稳定。
定义2.3[91]:考虑如下系统
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/32_05.jpg?sign=1738935992-XiytDXPRBPcRO4aKx2GQrCCyntsYLc5N-0-ab7a0db72610e11ac0a4f72fa6b20dc8)
其中,U为包括x=0的一个开邻域,f(x)为一连续的向量场,f(0)=0,若式(2-3)在平衡点x=0处满足李雅普诺夫稳定性,且对于任意的初值x(0)∈U,存在T(x),使式(2-3)的解x(x(0),t)在[0,T]有定义且满足,且满足对∀t≥T(x),均有x(x(0),t)=0,则式(2-3)为有限时间稳定的,若U=Rn,则式(2-3)是全局有限时间稳定的,若对于任意的初值x(0)∈U,T(x)皆有界,则式(2-3)为固定时间稳定的,若U=Rn,则式(2-3)是全局固定时间稳定的。
定义2.4[92]:考虑非线性动态系统式(2-3),假定x=0是其平衡点,如果存在连续可微的函数V(x),满足下列条件:
(1)V(x)正定,径向无界;
(2),∀x∈U1\{0},U1为包括原点的开邻域,l>0且0<α<1;那么x=0是该系统局部有限时间稳定的平衡点,且稳定时间T满足下式
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/33_02.jpg?sign=1738935992-hxwD6qyxBwgZ1ZQSHTd2syOKxWAtIdVy-0-6034da23703cae6ea6542d37cb46465a)
定义2.5[93]:设f(x)=[f1(x),…,fm(x)]T为一向量函数,若对∀ε>0,∃(r1,…,rn)T∈Rn,使得成立,其中ri>0,i=1,2,…,n;k≥-max(ri),i=1,2,…,n,则称f(x)关于(r1,…,rn)有齐次度k。
定义2.6[93]:称标量函数V(x):Rn→R,关于(r1,…,rn),ri>0,i=1,2,…,n,具有齐次度σ,若对∀ε>0,∀x∈Rn,有成立。
定义2.7[88]:考虑如下非线性系统
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/33_05.jpg?sign=1738935992-ppPMU93oQgy8hys4b0ubkn3pwvEkTDtK-0-3674966fe8bd5688c47ba15e65873642)
其中,x=[x1,x2,…,xn]T∈Rn为状态向量,f(x):Rn→Rn为非线性函数。如果f(x)相对(r0,k0,f0)具有零极限齐次性,相对(r∞,k∞,f∞)具有无穷极限齐次性,此外,如果系统及近似系统
和
是全局渐近稳定的,那么
(1)当k∞>0>k0满足时,系统的原点是固定时间稳定平衡点;
(2)当和
为正实数时,那么
且
(1≤i≤n)。存在连续正定函数V:Rn→R+,使得函数
相对
及
具有无穷极限齐次性,且函数
是负定的,满足
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/33_17.jpg?sign=1738935992-UYLya06hXxyxoS2jimh1NECsQksToRqd-0-7f697401a8e861bd6df586005eebe89b)
其中,kv为正实数,函数定义为
,a,b∈R+。
2.2.2 稳定性证明相关引理
引理2.1[88]:(有限时间稳定)考虑如下非线性系统
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/33_20.jpg?sign=1738935992-xNfS2ItZdmIm2gYCMi9IImxgv2xJXg7p-0-7e1c4e0924a5efa92a2bcbab0d0c61d2)
其中,f(x)是一个连续向量函数,且对于扩张(r1,…,rm)的齐次度为对于任意t满足
。如果x=0是系统
的渐近平衡点,且对于任意t存在
,i=1,…,m,那么x=0是式(2-7)的一个局部有限时间平衡点。此外,如果式(2-7)既是全局渐近稳定又是局部有限时间稳定,那么该系统是全局有限时间稳定。
引理2.2[89]:(Young's不等式)针对任意实数∀x,y∈R,下述不等式成立
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_04.jpg?sign=1738935992-EyqbI1uGps3tb6CYOQYcAekwq5k0JjcV-0-073e5a3af0f1b1bb9d8552cbef90142d)
其中,a>0,p>1,q>1,且(p-1)(q-1)=1。
引理2.3[90]:假设存在一个正常数ka∈R,如果x∈R且|x|<|ka|,则下面不等式成立
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_05.jpg?sign=1738935992-OmYUFUgBFLj9IJiVrBV6jB52oqmnDwPM-0-c0d79144e499c9b95f4c4982eef1b47f)
引理2.4[92]:考虑如下一阶系统
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_06.jpg?sign=1738935992-vFGqP9n17ufuKvtsCPhcyIs9qDK9fa0i-0-86eb58690d35d7b3bd1c7761e31681cc)
若c是正实数,且α∈(0,1)时,那么该系统是全局有限时间稳定的。针对任意初始值x(t0),该有限稳定时间ts满足ts≤|x(t0)1-α[c(1-α)]。始值x(t0),该有限稳定时间ts满足ts≤|x(t0)|1-α[c(1-α)]。
引理2.5[94]:考虑下面一个标称系统
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_07.jpg?sign=1738935992-VGujYxiwo4hTZ1pTiy04f59HtaJhMqye-0-3f6d91a7104b9827f8105682f4cc76f0)
其中,α>0,β>0,m、n、p、q为正奇数,且满足m>n,p<q。那么式(2-9)将在固定时间内收敛到x=0且一直保持下去,稳定时间T具有确定上界
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_08.jpg?sign=1738935992-95RkyYs5FGgsPeyNE0JyL359NzcLaEOu-0-d5baf8ca27becb38f0715f61e42758c9)
此外,如果ε=[q(m-n)/n(q-p)≤1],可得到一个保守性较小的收敛时间上界
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_09.jpg?sign=1738935992-v3NLyGybW68rlDVgNWTmetArbqHf1qZ6-0-a4ebce92ab175a086c462f5dbe34d005)
引理2.6[95]:存在ε1,ε2,…,εm≥0,那么
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/34_10.jpg?sign=1738935992-yZR6mqDFKvsMjHX7HWrIiOSpddvUT9il-0-488af0558d0aea2948a9b2d7316af3b3)
引理2.7[94,96]:针对系统沿着轨迹x,如果存在正则,正定和径向无界的函数V(x):Rn→R+∪{0},且
(1)V(x)=0⇔x=0;
(2),其中α>0,β>0,0<p<1,q>1,那么,当ϑ=0时,系统是全局固定时间稳定,并且稳定时间T满足
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/35_01.jpg?sign=1738935992-lI0dvwA8yKD8ISpZeGIPFVrlfAAK1RCP-0-7ff28326bbadd14c35496d7162a58140)
当ϑ∈(0,∞)时,系统是实际固定时间稳定的,系统的解满足
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/35_02.jpg?sign=1738935992-NwfUmGalJvBaIvxsS2daKbHb1yvADqbA-0-df9cddf5ecbebcd4a331f119506d0b48)
其中,θ为一个标量满足0<θ<1。系统收敛到稳定域的时间满足
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/35_03.jpg?sign=1738935992-6CdgRb98aiVynimhunPzNaoGKyjBN4fW-0-28e1b65d4c7c337eea0521665a313374)
引理2.8[151]:设z:[0,∞)→R为连续一阶可导,且当t→∞时有极限,若在t∈[0,∞)上一致连续,则
。
引理2.9[241]:对于一个二阶非线性系统
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/35_06.jpg?sign=1738935992-QKYbO9Z7fFr0S7OkRJjxdGhVISIcrEmn-0-40e4c3827e8e917df100694778d60858)
一定存在一个正的C1函数C(θ1),满足,其中
为虚拟输入。
2.2.3 障碍李雅普诺夫函数
定义2.8[234]:考虑系统,其中z∈Rn是系统状态,函数f:U→Rn关于t分段连续。D为包含原点的开区间,V(z)为定义在D上的关于该系统的正定标量函数。V(z)可称为该系统的障碍李雅普诺夫函数,若其具有以下特性:
(1)在D上的每个点一阶偏导数存在;
(2)当z趋向于D边界时,V(z)→∞;
(3)当z(t0)∈D时,∀t>0,V(z)≤b,b为正常数。
BLF的特点为当状态趋向于约束边界时,所设计李雅普诺夫函数的值会趋于无穷大。因此,可通过李雅普诺夫函数的有界性保证系统状态不违反约束条件。为使用障碍李雅普诺夫函数(BLF)解决偏航约束问题,本章引入相关理论。
引理2.10[235]:对状态z与正实数a,函数与
为状态z的障碍李雅普诺夫函数。
引理2.11[235]:对状态z与任意实数a,函数为状态z的障碍李雅普诺夫函数,且满足
。
2.2.4 RBF神经网络
RBF[236-240]神经网络由隐含层和输出层构成,隐含层实现神经网络输入的非线性映射,即隐含层将输入空间映射到一个新的空间,输出层则将隐含层的输出进行线性组合。因此,RBF神经网络可以表示成线性参数化形式
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/36_01.jpg?sign=1738935992-spGPlSZI8DkkulkObP8wjwP3HVcozg0P-0-2996ca4b0ed7244c0641ed7ffb86f6e8)
其中,χ=[χ1,χ2,…,χm]T∈Ωχ⊂Rm是神经网络的输入向量;W=[w1,w2,…,wl]T∈Rl是神经网络的权值向量,l>1是神经网络的节点数;ϕj(χ)∈R(j=1,2,…,l)称为基函数,ϕ(χ)=[ϕ1(χ),ϕ2(χ),…,ϕl(χ)]T∈Rl是基函数向量,通常选取ϕj(χ)为高斯函数
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/36_02.jpg?sign=1738935992-RushXpXqKFDUsfhFZWdDIDh7duScefL7-0-1be627ec923d1d70f28ed118918e9452)
其中,κj=[κj1,κj2,…,κjm]T∈Rm和hj∈R分别是高斯函数的中心和宽度。
一般而言,如果节点数l选取的足够大,RBF神经网络WTϕ(χ)能够在有界闭集Ωχ∈Rm上以任意精度逼近连续函数f(χ)∈R,其数学表达式为
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/36_03.jpg?sign=1738935992-3sMiDiR9xr5g9tHGunR2SschmwH4qqym-0-d65ac95f74a74caac4851393df8f017a)
其中,W∈Rl是神经网络的理想权值向量,根据下式选取
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/36_04.jpg?sign=1738935992-L2vt2cjkQsb3nbaWPnUmfwKigbizVIZi-0-4c4257720ea8bf65396601dbb7d7ab49)
在有界闭集Ωχ⊂Rm上,权值向量W是有界的,且激励函数ϕ(χ)也有界,即
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/36_05.jpg?sign=1738935992-9K0ne0fLoyLCVXSZuzmYlYJwkTJMMskK-0-06fe3e0454407dc01d6fb2608ab86f80)
其中,Wm,ϕ*为正常数。