1. 引言
近几十年来,非线性系统在工程、生物等各领域展现出巨大的应用潜力,其稳定性问题一直是学者们关注的焦点。在实际应用中,许多非线性系统如Mackey-Glass模型 [1] 和蔡氏电路系统 [2] 中存在的时滞可能导致不稳定、振荡和混沌等复杂的动力学行为 [3]。为了使非线性时滞系统达到稳定,目前大多采用状态反馈控制 [4]、牵引控制 [5]、自适应控制 [6] 等控制方法。
上述连续或分段连续控制方法虽然能保证系统控制性能,但是控制成本高。此外,在某些情况下如卫星轨道转换系统 [7] 无法接受连续控制。因此,作为一种只在某些时刻输入到系统中的离散控制方法,脉冲控制被广泛应用于各个领域 [8] [9]。Yang等 [10] 将脉冲控制应用到非线性时滞系统中,并给出了脉冲控制下非线性时滞系统指数稳定的充分条件。Tang等 [11] 基于脉冲控制方法分析了一类参数不匹配的领导跟随系统的有界同步行为。Guan等 [12] 研究了分布式脉冲控制下两种不同类型时滞的复杂动态网络的同步问题。由于在网络系统中控制每个节点的成本高,Sun等 [13] [14] 基于脉冲牵引控制讨论了强连通、非强连通网络和混杂网络的同步问题。
在脉冲控制中脉冲作用时刻是由时间决定的,也就是说,所有的采样点是按照时间周期提前设置好的,与系统状态无关,这可能会导致通信带宽、计算资源的浪费。事件触发控制是由系统状态决定的,只有当系统状态误差超过规定的阈值时才执行 [15]。由于它能有效弥补脉冲控制按周期触发的不足,提高资源利用率而受到学者们的广泛关注。Dimarogonas等 [16] 研究了集中式事件触发和分散式事件触发控制下多智能体系统的一致性问题,并证明了多智能体系统在两种事件触发控制下都不存在Zeno现象。Lu等 [17] 基于两种不同的事件触发控制讨论了耦合动力系统的同步问题。
近年来,事件触发控制和脉冲控制相结合形成的事件触发脉冲控制是控制领域研究的热点之一。其脉冲时刻是由一些与系统状态相关的条件决定的,在一定程度上减少了数据采样次数,这一优势使得相关研究不断增加。Zhu等 [18] 讨论了事件触发脉冲控制下线性、非线性动力系统的稳定性问题,以及主从记忆网络系统的同步问题。Sun等 [19] 研究了事件触发脉冲控制下异构网络系统的有界同步问题。目前这些研究成果建立在没有时滞的理想状态下,然而,在实际应用过程中由于信息传递速度、通信时间有限等因素,时滞是不可避免的 [20] [21] [22]。因此,本文在已有工作的基础上,研究了变时滞系统在事件触发脉冲控制下的稳定性问题,证明了系统不存在Zeno现象。此外,我们得到了变时滞系统在提出的事件触发脉冲控制下指数稳定的充分条件。最后,数值仿真验证了理论方案的有效性。
2. 问题描述及预备知识
考虑以下非线性变时滞微分方程:
(1)
式中
是方程的状态向量,对角矩阵
为正定矩阵,A,B为
阶常数矩阵。非线性函数
,
为连续可微函数且
。
为有界变时滞函数,即
。时滞系统初值函数
,其中
是从
到
的连续映射。
为控制输入。
为了减少数据采样次数,提高资源利用率,本文采用以下事件触发脉冲控制:
(2)
式中K,L为增益矩阵,
表示Dirac函数,
,事件触发脉冲时刻
满足
。
因此,在控制(2)的作用下,(1)式可以转化为:
(3)
其中
且
,
。定义变时滞方程(3)的测量误差为
,I为单位矩阵,则(3)式可以进一步表示为:
(4)
为了研究变时滞微分方程(1)的稳定性,本文给出以下假设、引理和定义:
假设1 [11] 对
非线性函数
满足Lipschitz条件:
为Lipschitz常数。
假设2 [11] 假设
有界,即对于任意的初值
,
,存在正数
,
使得对每一个
有
。
引理1 [20] 若
,则对任意
以及
阶矩阵A,不等式
成立。
引理2 [10] 令
,假设存在常数m,n,p使得
满足:
且
若
时
,则当
时仍有
成立,其中
。
定义1 [18] 若存在常数
使得
则系统(1)在事件触发脉冲控制(2)下不存在Zeno现象,即事件触发脉冲控制在有限时间段内不会无限次采样。
定义2 [10] 对于事件触发脉冲控制(2)下的系统(1),若存在常数
,
使得系统(1)的解
满足:
则系统(1)在事件触发脉冲控制(2)的作用下达到指数稳定,其中
为
上的范数。
3. 主要结果
定理1 针对变时滞系统(1),若假设1,2成立且存在对称正定矩阵
,正数
,
,
,使得:
(5)
(6)
(7)
(8)
则在下面的事件触发条件下:
(9)
系统(1)不存在Zeno现象且指数稳定。
证明 首先,我们证明系统(1)不存在Zeno现象。
令
,由于
则对
求导得:
其中
。
由于
,计算从
到t的积分可得
由触发条件(9)可知
其中
。若
则
。由于
,显然有
,则
,这与
相矛盾,故
。令
,因而
因此,
,即系统不存在Zeno现象。
下面证明在控制输入(2)的作用下系统(1)指数稳定。构造Lyapunov函数
,当
时,沿着系统(3)的轨线对函数
求导得:
由假设1及引理1得:
由事件触发条件(9)可知,当
时,
因此,
时,
其中
。
当
时,由
及
可得
对任意
,设
是下列时滞方程的唯一解:
式中
为矩阵P的最大特征值。当
时
,由引理2得,当
时
。设
是线性方程组
的Cauchy矩阵,则
因为
,
,所以
(10)
由参数变分公式得,
时
(11)
因此,
时
(12)
其中
。
定义
,则对于连续函数
由(7)式可得
,
且
,故
存在唯一解
。那么当
,
且
时,
(13)
下面证明,当
时
(14)
若不等式(14)在
时不成立,则存在
使得
(15)
当
时,
(16)
由
及不等式(12)、(16)得:
这与(15)矛盾,故当
时,
。因此,当
时,
,其中
为
的解,即系统(1)在事件触发脉冲控制(2)的作用下指数稳定。定理得证。
4. 数值仿真
考虑以下非线性变时滞系统 [11]:
(17)
其相应的系数矩阵为:
,
,
,状态向量
,非线性函数
,
,且式子中
,变时滞函数
。图1(a)给出了变时滞系统初值为
时的相图,图1(b)为其状态轨迹,可以看出在没有控制的情况下状态向量
不稳定。
在事件触发脉冲控制下,参数设置为:
,
,
,
,
,
。图2(a)、图3(a)分别为系统(17)在事件触发脉冲控制和脉冲控制下系
统的状态轨迹图,图2(b)、图3(b)分别为两种控制方法下系统的采样时间间隔图。从图2(a)、图3(a)中可以看出,在两种控制方法下系统都可以稳定到原点。由图2(b)、图3(b)可以得到,在本文提出的事件触发脉冲控制下,系统数据采样次数为173,而在脉冲控制下,至少需要的采样次数为500。这说明事件触发脉冲控制方法只需要约34.6%的采样和信息传递次数就能使系统(17)指数稳定。
(a) (b)
Figure 1. The evolution of the time-varying delay system (17) in the absence of any control. (a) Phase diagram; (b) State trajectories
图1. 无控制时变时滞系统(17)的状态演化。(a) 相图;(b) 状态轨迹
(a) (b)
Figure 2. The evolution of the time-varying delay system (17) under the event-triggered impulsive control. (a) State trajectories; (b) The steps of samplings
图2. 事件触发脉冲控制下变时滞系统(17)的演化过程。(a) 状态轨迹;(b) 采样时间间隔
(a) (b)
Figure 3. The evolution of the time-varying delay system (17) under the impulsive control. (a) State trajectories; (b) The steps of samplings
图3. 脉冲控制下变时滞系统(17)的演化过程。(a) 状态轨迹;(b) 采样时间间隔图
5. 结论
本文为变时滞系统设计了一种事件触发脉冲控制方法,并讨论其稳定性问题。理论计算表明系统在事件触发脉冲控制下不存在Zeno现象。此外,我们通过理论分析得到了变时滞系统在提出的控制方法下指数稳定的充分条件。仿真结果表明本文设计的事件触发脉冲控制方法易于实现,稳定效果好,可以在一定程度上减少数据采样次数,提高资源利用率。今后,我们将进一步研究事件触发脉冲控制在更加复杂的网络环境下的协同问题。