1. 引言
近年来,各种领域的学者对复杂网络的研究表现出浓厚的兴趣,包括社会学、生物学和物理学等。在我们日常生活中,存在着很多复杂系统,大多可抽象为复杂网络的形式,如社交网络,交通网络和金融网络等。这些网络通常由大量的节点和复杂的连接关系组成,其中,节点之间通过各种方式相互耦合,这种耦合关系可能导致网络系统出现复杂的动力学行为,如Internet网络发生数据堵塞[1]、交通网络故障[2]和谣言传播等。因此,对于复杂网络的构成和动态特性有必要进行深度的分析与研究。由于网络系统的稳定性是保证其能够正常运行的前提,因此动态特性中最重要的特性是它的稳定性。通过研究网络系统的稳定性,可以揭示系统在外部干扰下的恢复能力以及信息传播的效率等重要特性。
然而,依据熵增定律,事物在没有施加任何形式限制的情况下总会走向无序的发展,这是一个熵增的复杂过程。为了实现稳定性,需要运用控制理论来设计控制器,这样可以在该控制器的帮助下,确保网络在遭受外部干扰时能够保持预期的同步稳定状态。为了应对这个问题,多种有效的控制方法已经被提出了。比如,牵引控制[3]、脉冲控制[4]、滑模控制[5]和间歇控制[6]等。合理使用这些控制方法的确可以提高系统的性能,但这些方法有利有弊。
在实际控制系统的应用场景中,多种不同因素经常会对系统的稳定性造成干扰和影响。例如外界环境、负载情况以及系统自身特性等。脉冲不仅是众多影响因素中的一个,而且在我们的日常生活中也是一个普遍的现象。例如,收音机或者发射器在受到强干扰后发生信号短暂接收异常,交通网络突然瘫痪,这些状态在短时间内发生变化的现象,都可以通过脉冲来刻画。包含这些脉冲行为的系统被普遍称作脉冲系统,常采用脉冲微分方程来构建脉冲系统的数学模型,接着设计一个满足要求的脉冲控制器,从而确保整个系统能够成功实现预设目的。脉冲控制还具有低成本、高效率、可靠性强的优点,已被广泛应用于多个领域[7]。
在过去的几十年来,对于具有状态约束的连续时间系统,施加脉冲控制,研究系统稳定性的成果很多。Liu等人[8]利用脉冲微分方程稳定性理论和Laplacian矩阵特征,研究一类具有输入饱和的Lipschitz非线性多智能体系统的指数一致性。Li等人[9]基于时变动力网络系统,提出了两种状态约束脉冲控制方案,包括完全状态约束和部分状态约束,以解决系统的指数稳定性问题。Xie等人[10]在饱和脉冲输入的条件下,用Lyapunov函数,得到神经网络稳定性的充分条件。周金连等人[11]针对竞争网络,采用脉冲控制,推导多智能体系统一致性的充分条件。谢巧玲等人[12]针对时滞动力系统且具有逻辑选择的脉冲效应,利用半张量积和脉冲微分不等式,研究该系统的全局指数稳定性。
不过,在特定的应用场景里,解决一些较为复杂问题的需求常常需要依赖于离散脉冲控制系统。例如,在采样控制装置,数值分析及有限元数学这类学术领域中,研究者大多利用离散控制系统来推进与之相关的研究工作。连续系统所使用的研究方法往往不适应离散型的系统了,针对离散脉冲控制系统进行深入研究以及分析变得尤为重要。而目前研究成果中将具有约束条件的脉冲控制器应用到离散系统以及复杂网络稳定分析问题的还比较少。而执行器饱和现象作为常见的一种非线性约束限制,对系统产生的影响是不可忽略的。同时,时滞对系统的影响也是不能忽略的。因此,为了更好的研究实际控制系统的稳定性,在脉冲控制器中引入时滞和执行器饱和,研究离散系统的稳定控制问题,具有重要的意义,也更加符合实际应用的背景。
本文以离散耦合复杂网络系统为研究对象。首先,采用Kronecker (克罗内克)积将复杂网络模型的状态方程的形式简化;其次,设计脉冲控制器,在控制器中添加时滞项和饱和两个约束条件,采用凸包分析法处理饱和函数项;然后,基于Lyapunov稳定性理论对该系统遭受突变时的稳定性进行了分析;最后,在仿真部分验证了理论结果的正确性。为离散耦合复杂网络系统全状态约束控制问题的稳定性求解提供了可行方法。
2. 模型描述和准备
在一个由N个同质节点构建的离散耦合复杂网络的情境下,每一节点实际上构成了一个n维的动态系统,
(1)
式中:
表示第i个节点在时刻k的状态,
,
;
表示连接矩阵;
是满足适当条件的非线性向量值函数,
是权重矩阵;
是两节点间的内耦合矩阵;p是耦合强度;
为耦合配置矩阵,其中
的定义为:
(2)
且
。
将式(1)转化为Kronecker积形式:
(3)
传统控制输入是任意的,无约束的。事实上,在实际工程系统中,存在着人为或物理的约束。此外,工业控制过程中,常见的是具有不同程度的滞后性的系统,具有延迟特性的控制系统的控制难度,随着滞后程度的增加而增加。因此,有必要考虑控制过程中的时间延迟。
为研究系统(3)的稳定性,构造(3)的由时间序列
给出的时滞脉冲控制律,并满足
,且
。
表示在脉冲时刻
,
处的控制输入。其工作原理如图1所示。时滞
,假设
。根据延时脉冲控制系统的原理图,脉冲控制系
统的状态满足下式:
(4)
式中:
表示k时刻的状态;
是输出状态;
为初始条件。
Figure 1. Delay pulse control figure
图1. 时滞脉冲控制图
令
,在系统中输入饱和时滞脉冲,表达式如下:
(5)
式中:
为饱和函数;
为狄拉克函数;
是脉冲时滞;
;假定
,定义
。
对于控制输入,在脉冲时刻
时,设计并选取反馈控制律为:
。因此在时刻
对应状态描述为:
。
基于此,得到具有时滞脉冲饱和的离散耦合复杂网络系统模型:
(6)
假设 存在非负常数
,能够使得
,且令
。
定义1 [13] 如果存在常数
,
使得
,
,则系统(1)的零解是指数稳定的。
引理1 [14]
是一个
维矩阵,
是一个
维矩阵,存在一个
维矩阵
使得
,其中
。此外,
是
维常数矩阵,当
,
时,
,
成立。同理,
,
,
,
。
定义2 [14] 对于一组点
,这些点构成的凸包如下:
(7)
引理2 [14] 设
,
,若
,
,则可得到:
(8)
引理3 [14] 令
,
,
,对
,都有
,则:
(9)
其中
为饱和函数,D是一个集合,包含了由
个
维对角元素为1或0的对角矩阵。当
时,
(10)
假设有两个反馈矩阵
且
,由引理3可得到
,即存在
,且
,使
。
引理4 [15] 对
,
,
,不等式
成立。
引理5 [16] 离散时间非线性时不变系统状态方程为:
若存在一个相对于离散状态
的标量函数
,使对任意
满足:
1)
正定;
2)
,
或
的情况下,当
时,对任意
,在
时
不恒为零,称系统在原点处渐进稳定;若同时满足当
,
时,系统大范围渐进稳定;
3)
,
时,则系统不稳定。
3. 稳定性判据
在这一节中,将针对系统(6),导出指数稳定准则。结合引理1,系统(6)可改写成如下形式:
(11)
本节采用凸包分析法来处理饱和项,基于此,分别导出系统中脉冲效应为脉冲控制和脉冲扰动情况下的指数稳定准则。
令
,其中
为常数矩阵,根据引理3可知,若
,则存在常数
,
,
,使得:
(12)
此时,系统重新描述为:
(13)
3.1. 具有时滞的脉冲控制下稳定性判据
定理1 假定脉冲间隔
,假设存在一个函数
及
,
,
令
,
,且给定
维矩阵
和
,使得以下条件成立:
1)
;
2)
;
则在控制器饱和与时滞脉冲两个约束条件下,离散耦合复杂网络系统(13)是指数稳定的且当
,收敛速率为
。
证明 考虑Lyapunov函数:
(14)
为方便起见,令
。
情况一:当
时,
,
(15)
所以,
(16)
由引理4.1知:
,故得下式:
(17)
由引理4.1知:
,故得下式:
(18)
由假设和引理4.1知:
,故得下式:
(19)
利用引理4.2,可得式(16)第四项:
(20)
所以,
(21)
同理,式(16)第五项:
(22)
所以,
(23)
同理,式(16)第六项:
(24)
所以,
(25)
由式(17)~(25)可得:
(26)
所以令
,故:
(27)
故
时,由定理条件1)可知:
(28)
情况二:当脉冲时刻发生,即
,
时,结合凸分析法,由定理条件2)可得:
(29)
所以当
时,
。
综上,
。
由数学归纳法可知当
,
时,下式成立:
(30)
令
且
,则,
(31)
式(31)左右两边同时取对数得:
(32)
注意到当
时,
(33)
所以,
(34)
又因
,
,
,继而,
(35)
故对
,
,
(36)
所以:
(37)
根据式(14)可知:
(38)
故:
(39)
代入式(37)中得:
(40)
所以:
(41)
故当
,
,满足定义1,结论成立,证毕。
由定理1知,当原系统可能不稳定时,加入脉冲控制可使不稳定的离散耦合复杂网络系统在满足一些条件下达到指数稳定。
3.2. 具有时滞的脉冲扰动下稳定性判据
定理2 假定脉冲间隔
,假设存在一个函数
及
,
,
,令
,
,且给定
维矩阵
和
,使得如下条件成立:
1)
;
2)
;
则在控制器饱和与时滞脉冲两个约束条件下,离散耦合复杂网络系统(13)是指数稳定的,当
,收敛速率为
。
证明 设Lyapunov函数为:
(42)
为方便起见,令
。
情况一:当
时,
时,由定理1知
仍成立,其中
。
情况二:当
,
时,由定理1知
仍成立,
综上,
。
由定理1知,不等式
依然成立,
注意到当
时,
(43)
所以:
(44)
又因为
,
,
,继而,
(45)
故对
,
时,
(46)
所以:
(47)
根据式(42)可知:
(48)
故:
(49)
代入式(47)中得:
(50)
所以:
(51)
故当
,
时,满足定义1,证毕。
由定理2知,当原系统可能稳定时,加入脉冲控制可能会破坏系统稳定性,需离散耦合复杂网络系统满足一定条件时仍然达到指数稳定。
4. 数值仿真
在本节中,利用两个由两个节点组成离散复杂网络实例来证明先前得出的结论是准确且有效的,其中每个节点都构成一个一维的动态系统。
4.1. 针对原系统不稳定的情况举例分析
考虑由两个节点组成的系统。
(52)
式中:
,
,
,
。
假设非线性向量值函数为:
,
,显然,
满足假设且
。
给定
,
,
,
,因此,可以计算出
,
,
,继而可得:
。
接着设计脉冲控制器函数为:
。选取:
,
;
,
,
,
;
,
,
,
;
因此:
满足(
)。
因为
,所以当
时,系统是指数稳定的。
在图2中依次表示了系统(52)的状态向量
没有受到控制,脉冲间隔
时和
时的演化轨迹图。可以发现,未加控制时,原系统本身不稳定,当
满足定理1的条件2)时,系统在脉冲控制下稳定;而在
时,系统在控制下不稳定。
Figure 2. Evolution trajectory figure of the system under different controls
图2. 系统在不同控制下的演化轨迹图
4.2. 针对原系统稳定的情况举例分析
考虑由两个节点组成的系统。
(53)
式中:
,
,
,
。
假设非线性向量值函数为:
,
,显然,
满足假设且
。
给定
,
,
,
,因此,可以计算出
,
,
,继而可得:
。
接着设计脉冲控制器函数为:
。选取:
,
;
,
,
,
;
,
,
,
;
因此:
满足(
)。
因为
,所以当
时,系统是指数稳定的。
在图3中依次表示了系统(53)的状态向量
没有受到控制,脉冲间隔
时和
时的演化轨迹图。可以发现,未加控制时,原系统本身稳定,当
满足定理2的条件2)时,系统在脉冲扰动下稳定;而在
时,系统在控制下不稳定。
Figure 3. Evolution trajectory diagram of the system under different controls
图3. 系统在不同控制下的演化轨迹图
5. 结语
基于Lyapunov稳定性理论设计脉冲控制器,在控制器中添加时滞项和饱和两个约束条件,采用凸包分析法处理脉冲饱和控制器中的饱和项,得到了此系统在状态突变时的指数稳定性判据。最后,通过数值模拟实验,验证了具有时滞饱和脉冲输入的离散复杂网络,当施加脉冲控制或扰动效应时,在满足定理条件下,系统满足指数型的稳定性判据。不久的将来,将考虑把饱和时滞脉冲控制引入到不同的系统中,对系统同步性等进行分析。
基金项目
NOTES
*通讯作者。