1. 引言
同步是自然界和社会中普遍存在着的一种现象,例如钟摆的同步摆动、萤火虫的同步发光以及剧场中人们掌声的同步等。复杂网络同步 [1] 的研究已经引起了各个领域研究者们的广泛兴趣,例如通信、工程、物理学、数学、和社会学等。耦合振荡器的同步现象不仅可以解释实际生活中的许多现象 [2],而且具有许多实际应用,例如图像处理 [3]、保密通信 [4] 等。在过去几十年,各种同步种类被广泛研究,例如完全同步、投影同步、相同步、滞后同步、反同步、聚类同步等 [5] - [10]。许多研究者讨论了切换网络的同步问题,其中含有渐近同步和指数同步的研究 [11] [12]。然而,在实际工程中,人们总是希望使切换复杂系统在有限时间或者固定时间内达到同步,理由之一是想避免一些例如信息遗漏的损失。因此,越来越多的人研究切换复杂网络的有限时同步或者固定时同步。例如,文献 [13] 中,作者建立了一个有限时同步准则,该准则可以用于多权重的切换复杂动态网络。另一个例子是,李等人研究了切换网络的有限时同步问题 [14]。
值得注意的是,之前的工作中已经提出了许多种控制策略,例如牵制控制、基于观测者控制、样本数据控制、反馈控制、自适应控制、间歇控制、脉冲控制等 [15] - [21]。反馈控制是一种常用的控制方法,它很容易在工程中得以使用。因此,我们利用反馈控制技巧来设计控制器。循环切换网络是一种特殊的切换网络,这意味着切换序列具有循环的结构。对比于之前部分研究考虑的切换复杂网络的渐近同步和指数同步,有限时同步不仅具有更快的收敛速度,而且更符合实际应用的需求。而固定时比有限时具有更强的收敛性、更快的收敛速度,是一种特殊的有限时同步。研究固定时同步可以使系统具有更好的抗干扰性以及鲁棒性。固定时同步有助于确定网络在一个固定的时间段确保系统已经实现同步,这意味着通过设计适当的控制器,受控系统的轨道可以在固定的时间内趋于平衡状态。基于之前的相关文献,本文研究反馈控制下循环切换网络的固定时同步问题。
2. 初步
2.1. 模型描述
考虑如下的切换复杂网络模型:
(1)
其中
是系统第i个节点的状态向量,
和
是耦合强度,
是系统的切换信号,它是一个分段右连续的常函数。对于
,
是对角内部耦合矩阵。
是外部耦合结构矩阵。激活函数
连续,
代表耦合权重,当且仅当图中节点i和节点j之间无连接时
,并且
满足行和为零的扩散耦合条件。系统(1)的初始条件设为
。本文我们总假设系统(1)存在唯一解。下面我们主要目标是利用反馈控制实现循环切换复杂网络的固定时同步。
我们把上述的系统(1)看作驱动系统,参照系统(1),可以给出对应的响应系统为
(2)
其中
是响应系统第i个节点的状态向量,
指响应系统第i个节点的连续控制输入。响应系统的初值设为
。
将同步误差向量记为
,误差系统的初始条件为
,
。根据驱动系统(1)以及相应的响应系统(2),我们有如下的误差系统
其中,
,f、u都连续。我们设计如下的反馈控制器:
(3)
其中,
,
都为正数,
,
。
是符号函数,并且
。本文我们所设计的该切换不连续反馈控制器含
有网络的切换序列、设计的李雅普诺夫矩阵以及右端不连续的符号函数。它的优势不仅在于可以减小网络周期循环的影响,而且可以结合所设计的李雅普诺夫函数,帮助误差系统在固定时稳定,从而实现驱动响应系统的固定时同步。本文我们仅仅考虑没有芝诺现象的情况。
2.2. 数学准备
在这一部分,我们给出一个假设,三个定义以及两个引理,以帮助获得本文的主要结果。
假设1 假设存在正定对角矩阵
和
,使得
;对某个
,
,
。
注1 许多著名的混沌系统,包括蔡氏振荡器、Rossler系统、Lorenz系统、Chen系统和Lu系统,都满足假设1 [22]。
定义1 切换驱动系统(1)和切换响应系统(2)称为实现固定时同步,如果对于一个恰当反馈控制器(3),存在常数
,使得
并且当
时,有
。
定义2 对于满足假设1的所有切换序列
,定义
为第j个循环所经历的时间段。若存在
使得
,则
称为切换序列
的切换停留时间。
定义3 切换序列
称作是循环的,如果存在正整数g使得
。由此可得在区间
上,
得以激活,而在
时,
得以激活
。
引理1 [23] 假设
是一个连续、径向无界函数,并且如下两个条件成立:
1)
;
2) 误差系统的解满足
;
则误差系统的原点可以实现固定时稳定并且
。
引理2 [24] 若
且
,则
。
3. 主要结论
在这个部分,我们给出一个充分性准则。通过施加一个反馈控制器(3)实现循环切换驱动系统(1)和切换响应系统(2)之间的固定时同步。
定理1 若假设1成立,则循环切换驱动系统(1)和相应的循环驱动响应系统(2)可以在固定时间内实现同步,若存在对角矩阵
,使得如下条件成立:对于
,
1)
;
2) 循环停留时间
满足
其中,
,
,
,
,并且停时的上界为
h是满足
的正整数。
证明 定义切换李雅普诺夫函数为
。根据
的定义可以得出
,并且
(4)
其中
。进一步,我们可以有
(5)
其中
,而
为对角矩阵,由定理的条件(1)可知如下的不等式成立:
(6)
根据引理2可得
(7)
将(6)和(7)式代入(5)式,可以得出
。
考虑到网络的周期循环性,由引理1,
(8)
由定理中循环停留时间
的假设,
。结合上式我们有,若
则在第一个循环之后,
不小于
。通过数学归纳,我们可以得出,对于第
个循环,若
,则
(9)
当
之后,不等式(8)和(9)总会成立。若
,则存在一个正整数h满足
,在第h个循环之后,
,由不等书(4)可得
,其中
。由此可得收敛时间
。若
,则
。综合以上分析,停时的上界为
其中h是满足
的正整数。因此,根据定义1,驱动系统(1)和响应系统(2)可以实现固定时同步。这样就完成了证明。
注2 由定理中的循环停留时间以及固定时停时可以看出该反馈控制器的精度和准确性。
4. 结论
本文详细地研究了一类循环切换复杂网络的固定时同步问题。我们考虑无芝诺现象的情形。基于李雅普诺夫稳定性理论和固定时控制技巧,我们设计出一种反馈控制器来帮助该网络实现固定时同步。同时,我们分析出循环停留时间满足具体条件时,停时的上界。我们考虑的切换模式是时间依赖的情形,进一步,我们还可以研究采取状态依赖模式的循坏切换网络,如何通过反馈控制来实现该网络的固定时同步。