3.2. 模糊学习观测器的稳定性分析
定理1:在假设1~7下考虑系统(3)。给定一个实标量,在以下
性能下,学习模糊观测器能够保证时变动态的渐近稳定性,即
(8)
如果存在实标量h,
,
,
和对称正定矩阵
,
,
,
,
,
,和合适的矩阵
和
,使得(9)~(11)成立:
(9)
(10)
(11)
其中
其中
然后,观测器增益矩阵可以相应地计算为
(12)
注1:对于误差动态系统(7),我们可以知道新的矩阵
,
和
是已知的矩阵,并且矩阵
和
是必须设计的。当
时,所提出的模糊学习观测器能够保证带有时变状态时滞的误差动态系统(7)的渐近稳定性;否则,必须满足
性能(8)。
证明:在本文中,Lyapunov-Krasovskii函数泛函是在如下形式下构造的:
(13)
(14)
(15)
(16)
(17)
那么,可以得到
的时间导数
(18)
(19)
考虑假设2,我们有
(20)
(21)
(22)
令
,然后我们就能得到
(23)
把(7)式代入到不等式(23)式中,得到
(24)
根据引理1,
(25)
考虑(9)式和(25)式,得到
(26)
接下来,
(27)
正如我们所知,R是正定的,则
(28)
(29)
(30)
将(7)式代入
,则
(31)
则
(32)
(33)
(34)
因此
(35)
根据引理2,我们得到
(36)
将(13),(17),(21),(30)和(31)代入到Lyapunov函数的导数中,得到
(37)
给定
然后,令
(38)
我们知道,如果对于任意的标量
,有
,那么
。通过Schur补,(33)可以写成如下形式:
(39)
如果条件(9)和条件(10)成立,则
其中,
,
因此,当
,
成立时,在Lyapunov稳定性理论下
将收敛到一个小的集合
,从而
是一致有界的,这表明系统(7)的渐近稳定性。证明完毕。
注2:我们需要将定理1中的方程(8)转化为下面的低阶优化问题,通过MATLAB的LMI工具箱可以很容易地求解。
Min
, s.t.
(40)
定理2:考虑系统(2),对于给定的实标量h,
,
,
和
,误差动态系统是渐近稳定的(其中
),且满足给定的性能(8),如果存在对称正定矩阵
,
,
,
,
,
和合适的矩阵
和
,使得下列条件成立:
(41)
(42)
(43)
其中
其中
,
,
,
定理2的证明与本文定理1类似。