![自主海洋航行器镇定、跟踪及协同编队](https://wfqqreader-1252317822.image.myqcloud.com/cover/637/41398637/b_41398637.jpg)
3.4 变周期方法
上一节给出分数幂控制结构,以保证系统收敛速度。虽可得到连续控制律,但光滑性难以保证。
传统周期控制方法通过引入时变项cost或sint,为状态ϑ2的稳定提供持续激励,但该方法不能保证状态ϑ2在原点附近的收敛速度。为此,本节引入变周期方法,通过引入与状态相关的周期频率改善提高系统收敛速度。
引理3.3:存在如下光滑控制律
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_01.jpg?sign=1739348077-amlRWWxyAk4BvvKe5niCppH54ITCOkg3-0-ef9e1124862426239834eed24d926724)
可保证系统式(3-8b)全局渐近稳定,其中,κ1>0、κ2>0
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_02.jpg?sign=1739348077-37GES971Kx4dR1vG1jKmVUFZqWNSjmL2-0-a1df77a635aab3697babedf7b2103fe2)
此处,α>0、β>0、λ≠0为待选参数。
证明:为清晰阐述结论,本节将引理3.3的证明分为光滑性与稳定性两部分。
首先,证明控制律式(3-54)光滑,即T(t)光滑。定义
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_03.jpg?sign=1739348077-6VNyAnOvqKwPuN0SafbKguchi8hlITwU-0-9648366f1ed1ccb927a96c006e9b891f)
则函数T(t)可描述为如下形式:
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_04.jpg?sign=1739348077-YKIM5A5ccYinq9A3cHe2UzzmMvWOVbyF-0-3d380851dfc824e95bfbf0a61c2d1860)
状态ϑ2连续,因此f(t)连续,可得T(t)连续,即ϖ1和ϖ2连续,据系统式(3-8b)可知,和
连续。对函数T(t)求导可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_07.jpg?sign=1739348077-Nfn9yKRUblQsxCclJPhqTJcZHoNjfu4W-0-20076f2bac8ee1187280078a6aa631d5)
其中,为f(t)的导数,可表述为
,因
连续,可知
连续,即
和
连续,对系统式(3-8b)中各状态求导,可得
和
连续。对函数
求导可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_17.jpg?sign=1739348077-NnH1ub5XXJ3HBAiO1b4TZh6gg5kJyhsq-0-c33d4fd75bf690f1e3a6af5749e30949)
其中,可表述为
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_19.jpg?sign=1739348077-cVKubODYpEiMeSRJQX3hmYFl5Kl9Msvt-0-5034d203acd9eb5af6f02a6a3e52aaff)
因连续,可知
连续,即
和
连续,继而得出
和
连续。以此类推可知ϖ1和ϖ2无穷阶可导,控制律式(3-54)的光滑性证明完毕。
接下来,证明闭环系统的稳定性。将控制律式(3-54)代入系统式(3-8b)可得如下结论:
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/48_26.jpg?sign=1739348077-DdrZPSHxHU9MuAONuZp34Y91qaWgzCqj-0-c09447c362306416abfb2076ec2c3064)
定义如下李亚普诺夫函数
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_01.jpg?sign=1739348077-NxKqZJNjeCs5YODyTEhRJimW8YBixYW9-0-2ee37ec7152617d4d128cfb62b1af230)
对其求导,据式(3-61)可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_02.jpg?sign=1739348077-JXqAuLywAXSSzpZxMQ1s1hEKsRHGy2Tv-0-186ea1e97f92464dc17f56a4c372e21c)
式(3-63)说明V3单调递减且有界,所以V3存在极小值,且状态ϑ2、ϑ3和ϑ6有界,又因为系统式(3-61)中,状态ϑ5的动态特性满足,且T(t)有界,可得状态ϑ5有界。因此,状态ϑ2、ϑ3、ϑ5和ϑ6有界。对式(3-63)左右两边同时求导,可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_04.jpg?sign=1739348077-vwsatuRlTnabxwt1bcjPDYJ6brpxLbVY-0-7419769441e6def3f628a7bb97c05470)
因状态ϑ2、ϑ3、ϑ5和ϑ6有界,可得连续且有界。因此
一致连续,据引理2.8
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_07.jpg?sign=1739348077-8wEL867R8d36Sx12PkQNmjbSJexpvSQX-0-534e916ced6227f70f3df4d13cad940b)
结合式(3-63)和式(3-65)可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_08.jpg?sign=1739348077-zp8tlz8voMd2SqWfGRwGQgJd8PHQ1gRn-0-4d92f3377e64985df95978d5e2dee513)
又因闭环系统式(3-61)中,ϑ6的动态特性满足
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_09.jpg?sign=1739348077-h6cH0f0rucAt9hpdo48wOnzUNAk227Qb-0-bfc2fad1b913ff56e862a7edb3c81243)
因此连续,对
求导
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_12.jpg?sign=1739348077-LD5o1jHwSPp7Wi3YV925IzXcSz4rIJ2l-0-8e6edb2d33099675ffe64e747f1a7795)
结合ϑ2、ϑ5和ϑ6有界的结论,式(3-68)说明连续且有界,因此
一致连续,根据引理2.8可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_15.jpg?sign=1739348077-qtegN4hiF9NMNcR9mMjV8nX390vjQyOW-0-a1ae8983f1b73fd03905743dfb37b137)
据式(3-66)可知,结合式(3-69)
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_17.jpg?sign=1739348077-gt3IFvWpDkn4poAbtOXOKZUoge7KtCFg-0-001481912dc346cc871cc90a0d6f1be5)
又因ϑ2ϑ5+ϑ3的导数为。可得
连续,等式两边同时求导可得如下结论
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/49_20.jpg?sign=1739348077-ncQKgHysEyereFgd46qC1UZWue0Vnjpi-0-85994f5dcdd4a3e2b5926caa0a58dfdb)
据前文可知,状态ϑ2、ϑ3、ϑ5、ϑ6、T(t)、和
连续有界,因此d2(ϑ2ϑ5+ϑ3)/dt2连续有界,因此
一致连续,根据引理2.8,可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_01.jpg?sign=1739348077-DBlua55H0rSr0HIEJ95hsUGqQmqxHst7-0-731663eec53d1e4046f9595ce0f683d2)
因,且状态ϑ5有界,式(3-72)说明
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_03.jpg?sign=1739348077-0JdJYPUnRneJOkoXyTsbP1BLxAxRKWK7-0-6e7bcef62b1aa65a0f58f3fb94f334d8)
对式(3-73)两边同时求导可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_04.jpg?sign=1739348077-FJiJ3g2zEQml6XQeuxSxsC9GKlZCM2ho-0-b6ac112d7f1213bea49ea9b5632995c0)
因此连续。再对式(3-74)两边求导
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_06.jpg?sign=1739348077-BdW87vOeNym6ys1GOVAPKiahxmX5LcIi-0-63a50ea57bf80f4cdbdc71c65979ba04)
据前文推导结果可知,状态ϑ2、ϑ3、ϑ5、ϑ6、T(t)、、
和
连续有界,因此
连续有界。则
一致连续,据引理2.8
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_12.jpg?sign=1739348077-zkkqPsUmxppWLVGk8LBvRhyhgahz921W-0-52e8bf28663b5ef455bc745ddc390039)
即
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_13.jpg?sign=1739348077-HOfu4WLOAfs40s3qykLps0hJvJ7jJ5Nj-0-0d54d3cc10094edc1ce59265efb9e25c)
因为,且状态ϑ2和ϑ5有界,且据式(3-77)可知
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_15.jpg?sign=1739348077-Qs1jFdCRUKTp5ZDAWrpU8Dk9WEN1gVyF-0-485933dd1574fecf6c1940254e053042)
所以,式(3-78)说明
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_16.jpg?sign=1739348077-M68XLnzK13YwXHPrCgc9Re1Q3iLTARkv-0-4773379fa0e5b8a70534d1e190004d26)
即
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/50_17.jpg?sign=1739348077-Ek3QlfeIVb3MUgtkmP1K5ejeg9qRRiJU-0-780b821550d1baba61792a6990ba3178)
据式(3-80)可得
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/51_01.jpg?sign=1739348077-h9jUTzFPojFLMuBgJYUoKwfwC5YeqSZy-0-4fe34d5d1032ec4b3cae83c93fe1b610)
因此对于系统式(3-8b),控制律式(3-54)可使状态全局渐近收敛。此外,在闭环系统式(3-61)中,状态ϑ5动态特性为,状态ϑ2全局渐近收敛,则必有
。根据闭环系统式(3-61)可知
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/51_04.jpg?sign=1739348077-EaUciUbNbtaAob5EhBUNli3NinjMbie8-0-a1f5c5b0f79ea1b78e833d023641854f)
因为,可得
。综上所述,状态ϑ2、ϑ3、ϑ5和ϑ6全局渐近收敛到0,引理3.3证明完毕。
附注3.3:闭环系统式(3-61)中,状态ϑ5为状态ϑ2收敛提供持续激励。由于,随着状态ϑ2收敛到0,状态ϑ5提供的激励逐渐降低。状态ϑ2越靠近原点,该问题越明显,为此本节提出变周期控制方法。其特点为:函数T(t)频率因状态ϑ2收敛而增加,并满足
。当ϑ2收敛到原点附近邻域时,函数T(t)的频率主要由参数β和λ决定,
取值越大,函数T(t)频率越大。幅值不变的情况下,函数T(t)频率越大,状态ϑ5为ϑ2提供的激励越大,状态ϑ2收敛越快。相反,当|ϑ2|较大时,系统频率受β和|ϑ2|共同影响,T(t)频率较小,以此减小执行器的负担。和参考文献[46]中的方法相比,本节引入变周期时变项T(t)代替cost,通过实时调整周期频率解决状态ϑ2在原点附近收敛缓慢的问题。和参考文献[46]相比,本节方法避免使用反步法,结构更简单。
定理3.3:存在光滑控制律如下:
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/51_10.jpg?sign=1739348077-973bzvmNnG7vHnGjwi0a2L4CoNXcriDi-0-90a0dbb802ed4ddb4a3583ee86238d49)
可保证系统式(3-8)全局渐近稳定,其中
![](https://epubservercos.yuewen.com/6D5D0D/21570842901306706/epubprivate/OEBPS/Images/51_11.jpg?sign=1739348077-O63XW9bKoeuSB8iSK17Tr7pEuQUnNQcz-0-d37937ac1b29ae9686437a158d5061f2)
此处,α>0、β>0、κ1>0、κ2>0、λ≠0是待选参数。
证明:由引理3.3可知,控制律式(3-54)使系统式(3-8b)全局渐近稳定。结合引理3.1与引理3.2可知,控制律式(3-54)可保证系统式(3-1)全局渐近稳定。同时考虑输入变换,计算可得,控制律式(3-83)可保证系统式(3-1)全局渐近稳定。定理3.3证明完毕,由于空间和篇幅有限,不再赘述。