DSC Dynamical Systems and Control 2325-677X Scientific Research Publishing 10.12677/DSC.2024.131003 DSC-79475 DSC20240100000_35899302.pdf 工程技术 符号图时变延迟神经网络的有限和固定时间控制 Finite/Fixed-Time Controls of Time-Varying Delayed Neural Networks in a Signed Graph 华波 2 1 2 1 湖北师范大学数学与统计学院,湖北 黄石 null 18 01 2024 13 01 21 32 © Copyright 2014 by authors and Scientific Research Publishing Inc. 2014 This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

本文探究了在符号图中具有时变延迟神经网络有限和固定时间控制问题。通过设计有限和固定时间的控制器,利用在符号图中的矩阵M、稳定性理论和其它的一些不等式,得到时变延迟神经网络实现有限和固定时间的二分同步的充分条件以及达到同步的估计停时。最后,给出了一个数值例子验证了所设计有限和固定时间控制器的有效性。 In this paper, we explore the finite and fixed time controls of neural networks with time-varying delay in signed graphs. By designing finite and fixed time controllers and using matrix M defined in signed graph, stability theory and some other inequalities, the sufficient conditions and estimated time to achieve bipartite synchronization in finite and fixed time are obtained. Finally, a numerical example is given to verify the effectiveness of the designed finite and fixed time controllers.

有限和固定时间控制,时变延迟,符号图,神经网络, Finite/Fixed-Time Controls Time-Varying Delayed Signed Graph Neural Networks
摘要

本文探究了在符号图中具有时变延迟神经网络有限和固定时间控制问题。通过设计有限和固定时间的控制器,利用在符号图中的矩阵M、稳定性理论和其它的一些不等式,得到时变延迟神经网络实现有限和固定时间的二分同步的充分条件以及达到同步的估计停时。最后,给出了一个数值例子验证了所设计有限和固定时间控制器的有效性。

关键词

有限和固定时间控制,时变延迟,符号图,神经网络

Finite/Fixed-Time Controls of Time-Varying Delayed Neural Networks in a Signed Graph<sup> </sup>

Huabo Yang, Wen Sun

School of Mathematics and Statistics, Hubei Normal University, Huangshi Hubei

Received: Dec. 11th, 2023; accepted: Jan. 10th, 2024; published: Jan. 19th, 2024

ABSTRACT

In this paper, we explore the finite and fixed time controls of neural networks with time-varying delay in signed graphs. By designing finite and fixed time controllers and using matrix M defined in signed graph, stability theory and some other inequalities, the sufficient conditions and estimated time to achieve bipartite synchronization in finite and fixed time are obtained. Finally, a numerical example is given to verify the effectiveness of the designed finite and fixed time controllers.

Keywords:Finite/Fixed-Time Controls, Time-Varying Delayed, Signed Graph, Neural Networks

Copyright © 2024 by author(s) and beplay安卓登录

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

近年来,人们已经广泛研究了神经网络的同步控制 [ 1 ] [ 2 ] 。例如, [ 3 ] 提出了神经网络同步的自适应控制。但是由于控制器是连续的会占用许多通信频道, [ 4 ] 提出了神经网络的周期间歇同步控制。这个控制器应用的方式是周期采样,显然可以减少占用通信频道。 [ 5 ] 提出了事件触发神经网络的同步控制,该控制器不仅可以避免周期采样而且可以减少占用通信频道。由于上述神经网络的同步控制都不能估计到达同步的时间, [ 6 ] 提出了有限时间神经网络的同步控制。虽然可以知道神经网络实现同步的估计时间,但是估计的同步时间严重依赖于初值。固定时间神经网络的同步控制 [ 7 ] 很好的解决了这个问题,其同步估计的时间与初值完全无关。因此,固定时间神经网络的同步控制显然更具有应用价值。

以上文献设计神经网络的同步控制所对应矩阵的连接权重都是无符号的 [ 8 ] ,即连接权重都是正的。因为现实中对应矩阵的连接权重普遍为有正有负,从而无符号图神经网络的同步控制有着极大的局限性。由于符号图神经网络同步控制所对应的矩阵的连接权重可以是正的和负的,因此符号图神经网络的同步控制 [ 9 ] 有着更重要的现实意义 [ 10 ] 。提出了带有常时延神经网络的有限和固定时间的二分同步控制。遗憾的是时延为常数,而更有挑战的时变时延没有考虑 [ 11 ] [ 12 ] 。

基于上述考虑,本文研究了符号图时变时延神经网络的有限和固定时间同步控制。尽管 [ 10 ] 已使用规范变形的方法来研究结构平衡的符号图线性系统,但该方法对于结构不平衡的符号图非线性系统不适用。本文通过定义在符号图下的M矩阵,克服使用规范变形的局限性。此外, [ 10 ] 中的时延为常数时延,而本文研究的为有界时变时延,显然更具实际意义。

2. 模型描述

对于 C ∈ R n × n , ‖ C ‖ 表示它的谱范数。对于 k = ( k 1 , ⋯ , k n ) T ∈ R n , ‖ k ‖ 代表它的二范数, d i a g ( k ) = d i a g ( k 1 , ⋯ , k n ) , | k | = ∑ l = 1 n | k l | , s i g n ( k ) = ( s i g n ( k 1 ) , ⋯ , s i g n ( k n ) ) T , | k | γ = ∑ l = 1 n | k l | γ ,

s i g γ ( k ) = ( s i g γ ( k 1 ) , ⋯ , s i g γ ( k n ) ) T 和 s i g γ ( k l ) = | k l | γ s i g n ( k l ) , | k l | ≥ 0 , l = 1 , ⋯ , n 。函数 s i g n ( ⋅ ) 满足 s i g n ( k l ) = 1 当 k l > 0 , s i g n ( k l ) = − 1 当 k l < 0 和 s i g n ( k l ) = 0 当 k l = 0 。

我们考虑下面的延迟神经网络

x ˙ i ( t ) = − A x i ( t ) + B 1 f ( x i ( t ) ) + B 2 g ( x i ( t − τ ( t ) ) ) + u i ( t ) ,   i = 1 , 2 , ⋯ , N , (1)

其中 x i ( t ) ∈ R n 是状态变量, A = d i a g ( a 1 , a 2 , ⋯ , a n ) 是正对角矩阵, B 1 ∈ R n × n 是连接权重矩阵和 B 2 ∈ R n × n 是延迟连接权重矩阵, f ( x i ( t ) ) = ( f 1 ( x i 1 ( t ) ) , ⋯ , f n ( x i n ( t ) ) ) T 和 g ( x i ( t − τ ( t ) ) ) = ( g 1 ( x i 1 ( t − τ ( t ) ) ) , ⋯ , g n ( x i n ( t − τ ( t ) ) ) ) T 是激活函数, τ ( t ) 是时变延迟并满足 | τ ( t ) | ≤ τ ,   τ > 0 和 u i ( t ) 是我们之后设计的控制输入。为了之后的便利,令a满足 a = min { a 1 , ⋯ , a n } 。

控制输入 u i ( t ) 为

u i ( t ) = d 1 ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) + d 2 s i g α ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) + d 3 s i g n ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) ‖ x ( t − τ ( t ) ) ‖ , (2)

其中 d 1 ,   d 2 和 d 3 是耦合强度和 α 满足 0 < α < 1 。

令 x ( t ) = ( x 1 T ( t ) , ⋯ , x N T ( t ) ) T ∈ R N n 且将(2)代入(1)得:

x ˙ ( t ) = − A ˜ x ( t ) + B ˜ 1 f ˜ ( x ( t ) ) + B ˜ 2 g ˜ ( x ( t − τ ) ) + u ( t ) , (3)

其中一些符号分别为

A ˜ = I n ⊗ A , B ˜ 1 = I n ⊗ B 1 , B ˜ 2 = I n ⊗ B 2 , f ˜ ( x ( t ) ) = ( f T ( x 1 ( t ) ) , ⋯ , f T ( x N ( t ) ) ) T , g ˜ ( x ( t − τ ( t ) ) ) = ( g T ( x 1 ( t − τ ( t ) ) ) , ⋯ , g T ( x N ( t − τ ( t ) ) ) ) T 和 u ( t ) = ( u 1 T ( t ) , ⋯ , u N T ( t ) ) T 。

激活函数 f ( ⋅ ) ,   g ( ⋅ ) 满足下面的假设1和 f ( 0 ) = 0 ,   g ( 0 ) = 0 。

假设1 [ 13 ] 对于任意的 k 1 ,   k 2 ∈ R ,存在 μ j > 0 , ν j > 0 , j = 1 , ⋯ , n 使得下面的不等式

| f j ( k 1 ) − θ f j ( k 2 ) | ≤ μ j | k 1 − θ k 2 | ,   | g j ( k 1 ) − θ g j ( k 2 ) | ≤ ν j | k 1 − θ k 2 |

成立,其中 θ 满足 θ = ± 1 。

为了之后的便利,我们令 μ = max 1 ≤ j ≤ n { μ j } 和 ν = max 1 ≤ j ≤ n { ν j } 。

对于任意的初值 x i ( r ) ,   r ∈ [ − τ , 0 ] ,假设系统(3)的解是存在的。

定义1 [ 14 ] 对于任意的初值 x i ( 0 ) ,如果

lim t → T ( x ( 0 ) ) ( x i ( t ) − θ i j x j ( t ) ) = 0 ,

x i ( t ) − θ i j x j ( t ) = 0 ,   θ i j = ± 1 ,   t ≥ T ( x ( 0 ) ) ,   i , j = 1 , ⋯ , N

成立,其中 T ( x ( 0 ) ) 有界,则系统(3)将实现有限时间的二分同步。

定义2 [ 14 ] 对于任意的初值 x i ( 0 ) ,如果 lim t → T ( x i ( t ) − θ i j x j ( t ) ) = 0 和

x i ( t ) − θ i j x j ( t ) = 0 ,     θ i j = ± 1 ,   t ≥ T ,   i , j = 1 , ⋯ , N

成立,其中T有界,则系统(3)将实现固定时间的二分同步。

注1:若在定义1和2中的 θ i j = 0 ,则有限时间和固定时间的二分同步将分别退化为有限时间和固定时间的稳定。

由于控制器(2)是不连续的,为了之后的需要,我们引入集值李导数 [ 2 ] 的定义。

1) 考虑这个系统 d x / d t = f ( x ) ,若函数 f ( ⋅ ) 是不连续的,我们定义f的Filippov集值映射

F ( x ) = ∩ δ > 0 ∩ u ( M ) = 0 K [ f ( B ( x , δ ) \ Ω ) ] ,其中 K ( E ) 表示集合E的凸包, B ( x , δ ) 为 B ( x , δ ) = { y : ‖ y − x ‖ ≤ δ } 和

u ( Ω ) 表示集合 Ω ⊂ R n 的Lebesgue测度。

2) 令 Ω V ⊂ R n 表示函数 V ( x ) 所有不可微点的集合,我们定义 V ( x ) 的广义梯度 ∂ V ( x ) : R n → B ( R n ) ,

∂ V ( x ) = c o { lim i → ∞ ∇ V ( x i ) : x i → x , x i ∉ S ∪ Ω V } ,其中 c o ( ⋅ ) 是凸包, S ⊂ R n 表示0测度集和 B ( R n ) 为 B ( R n ) = ∪ Δ ⊂ R n Δ 。

结合1)和2),函数 V ( x ) 关于f在x处的集值李导数定义为

L f V ( x ) = { a ∈ R : ∃ ω ∈ F ( x ) ,   ω T ς = a ,   ∀ ς ∈ ∂ V ( x ) } .

神经网络间信息交流的结构可以通过符号图 G = ( V , E , C ) 来刻画,其中 V = { v 1 , ⋯ , v N } 表示神经网络

的集合, E ⊂ V × V 表示神经网络相互交流边的集合和 C = [ c i j ] N × N 表示连接矩阵。在本文中,若 ( v i , v j ) ∈ E

成立,则定义 c i j 为 c i j = ± 1 。否则,定义 c i j 为 c i j = 0 。在G中没有自环,即 c i i 为 c i i = 0 ,   i = 1 , ⋯ , N 。此外,矩阵C的对称元素满足 c i j c j i ≥ 0 ,   i , j = 1 , ⋯ , N 。与G相对应的拉普拉斯矩阵L中的元素定义为

l i i = ∑ j = 1 N | c i j |   ,     l i j = − c i j ,   i ≠ j .

定义3 [ 15 ] 如果V满足 V = Γ 1 ∪ Γ 2 和 Γ 1 ∩ Γ 2 = ∅ 且当 ( v i , v j ) ∈ Γ k × Γ k , k = 1 , 2 , c i j ≥ 0 和当 ( v i , v j ) ∈ Γ k 1 × Γ k 2 , k 1 ≠ k 2 , k 1 ,   k 2 ∈ { 1 , 2 } , c i j ≤ 0 成立,则G是结构平衡的。否则,G是结构不平衡的。

假设2 [ 15 ] G是无向的和连通的。

引理1 [ 15 ] 如果G满足假设2,则L的特征值不等式有下面的两种情况。

1) 若G是结构平衡的,则L的特征值满足下面的不等式

0 = λ 1 ( L ) < λ 2 ( L ) ≤ ⋯ ≤ λ N ( L ) .

2) 若G是结构不平衡的,则L的特征值满足下面的不等式

0 < λ 1 ( L ) ≤ ⋯ ≤ λ N ( L ) .

受无符号图 [ 16 ] 中M矩阵的启发,本文定义了符号图下的M矩阵,它的行和列对应G的边和节点且其元素与第l条边所对应的 c i j 的符号相关。当 c i j > 0 ,定义 M l i 和 M l j 分别为 M l i = 1 与 M l j = − 1 和当 c i j = 0 ,定义 M l i 和 M l j 为 M l i = M l j = 0 ,这仅仅局限在无符号图中。但在符号图中,当 c i j < 0 ,不同的是定义 M l i 和 M l j 分别为 M l i = − 1 与 M l j = − 1 。

引理2 [ 9 ] 拉普拉斯矩阵L和矩阵M满足关系 L = 1 2 M T M 。

引理3 [ 17 ] 若 a 1 , a 2 , ⋯ , a n ≥ 0 成立,则它们满足

( ∑ k = 1 n a k ) p ≤ ∑ k = 1 n a k p ,   0 < p ≤ 1 , n 1 − p ( ∑ k = 1 n a k ) p ≤ ∑ k = 1 n a k p ,   p > 1 .

引理4 [ 17 ] 如果可微函数 v ( t ) : [ 0 , + ∞ ) → [ 0 , + ∞ ) 是一个正定函数并满足

d v ( t ) d t ≤ − γ v α ( t ) ,     γ > 0 ,     0 < α < 1 , (4)

则 lim t → T v ( t ) → 0 , T ≤ v 1 − α ( 0 ) γ ( 1 − α ) 和 v ( t ) = 0 ,   t ≥ T 成立。

引理5 [ 17 ] 假设 v ( x ( t ) ) : R n → [ 0 , + ∞ ) 是正定的且在 [ 0 , + ∞ ) 内的任意紧子集, x ( t ) ∈ R n 是绝对连续的。如果有一个连续函数 γ ( α ) > 0 ,   α ∈ ( 0 , + ∞ ) ,满足

d v ( t ) d t ≤ − γ ( v ( t ) ) (5)

和 T = ∫ 0 v ( 0 ) 1 γ ( α ) d α < + ∞ ,则 v ( t ) = 0 ,   t ≥ T 成立。

引理6 [ 9 ] 假设 v ( t ) 是正定的。如果

d v ( t ) d t ≤ a v ( t ) − b v δ ( t ) − c v θ ( t ) (6)

成立,其中 0 < δ < 1 < θ 和 a < min { b , c } ,则 lim t → T * v ( t ) → 0 成立且 T * 满足

T * ≤ 1 ( 1 − δ ) ( b − a ) + 1 ( θ − 1 ) ( c − a ) . (7)

3. 理论分析

在这一节,我们将说明在设计的控制器之下可以实现系统(3)有限和固定时间的二分同步。

3.1. 有限时间的二分同步

首先我们证明在一些条件下,有限时间控制器(2)可以保证系统(3)有限时间的二分同步。

定理1:若假设1和假设2成立,则我们有下面两个结果:

1) 如果G是结构平衡的且存在 d 1 > 0 ,   d 2 > 0 ,   d 3 > 0 使得

d 1 λ 2 ( L ) + a min − μ ‖ B 1 ‖ > 0 , d 3 − ν ‖ B 2 ‖ > 0 , (8)

成立,则可以实现系统(3)的有限时间二分同步,其同步时间 T 1 满足

T 1 ≤ V ( x ( 0 ) ) 1 − α 2 2 ( 1 − α ) d 2 λ 2 ( L ) 1 + α 2 . (9)

2) 如果G是结构不平衡的且存在 d 1 > 0 ,   d 2 > 0 ,   d 3 > 0 使得

d 1 λ 1 ( L ) + a min − μ ‖ B 1 ‖ > 0 , d 3 − ν ‖ B 2 ‖ > 0 , (10)

成立,则可以实现系统(3)的有限时间稳定,其同步时间 T 2 满足

T 2 ≤ V ( x ( 0 ) ) 1 − α 2 2 ( 1 − α ) d 2 λ 1 ( L ) 1 + α 2 . (11)

证明:选择下面的李雅普洛夫函数

V ( x ( t ) ) = 2 x T ( t ) L ˜ x ( t ) = x T ( t ) M ˜ T M ˜ x ( t ) = ∑ ( v i , v j ) ∈ E y i j ( t ) T y i j ( t ) , (12)

其中一些符号分别为 M ˜ = M ⊗ I n ,   L ˜ = L ⊗ I n 和 y i j ( t ) = c i j ( x i ( t ) − s i g n ( c i j ) x j ( t ) ) 。

用 δ ( t ) 表示(3) 式的右端,则 V ( x ( t ) ) 的集值李导数满足:

L δ V ( x ( t ) ) ⊆ − 2 x T ( t ) M ˜ T M ˜ A ˜ x ( t ) + 2 x T ( t ) M ˜ T M ˜ B ˜ 1 f ˜ ( x ( t ) ) + 2 x T ( t ) M ˜ T M ˜ B ˜ 2 g ˜ ( x ( t − τ ) ) − 2 d 1 x T ( t ) M ˜ T M ˜ L ˜ x ( t ) + 2 d 2 x T ( t ) M ˜ T M ˜ η ( t ) − 2 d 3 x T ( t ) M ˜ T M ˜ F ( ξ ( t ) ) ‖ x ( t − τ ( t ) ) ‖ , (13)

其中一些符号分别为

η ( t ) = ( η 1 T ( t ) , ⋯ , η N T ( t ) ) T , η i ( t ) = s i g α ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) ,

ξ ( t ) = ( ξ 1 T ( t ) , ⋯ , ξ N T ( t ) ) T , ξ i ( t ) = s i g n ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) , i = 1 , ⋯ , N 。

由(13)的第一项,我们有

− 2 x T ( t ) M ˜ T M ˜ A ˜ x ( t ) = − 2 ∑ ( v i , v j ) ∈ E y i j ( t ) T A y i j ( t ) ≤ − 2 a min ∑ ( v i , v j ) ∈ E y i j ( t ) T y i j ( t ) . (14)

根据假设1,(13)的第二项满足

2 x T ( t ) M ˜ T M ˜ B ˜ 1 f ˜ ( x ( t ) ) = 2 ∑ ( v i , v j ) ∈ E y i j T ( t ) B 1 [ c i j ( f ( x i ( t ) ) − s i g n ( c i j ) f ( x j ( t ) ) ) ] ≤ 2 ∑ ( v i , v j ) ∈ E ‖ y i j ( t ) ‖ ‖ B 1 ‖ ‖ c i j ( f ( x i ( t ) ) − s i g n ( c i j ) f ( x j ( t ) ) ) ‖ ≤ 2 μ ‖ B 1 ‖ ∑ ( v i , v j ) ∈ E ‖ y i j ( t ) ‖ ‖ c i j ( x i ( t ) − s i g n ( c i j ) x j ( t ) ) ‖ = 2 μ ‖ B 1 ‖ ∑ ( v i , v j ) ∈ E y i j T ( t ) y i j ( t ) . (15)

根据引理2和假设1,(13)的第三项满足

2 x T ( t ) M ˜ T M ˜ B ˜ 2 g ˜ ( x ( t − τ ( t ) ) ) = 4 x T ( t ) L ˜ B ˜ 2 g ˜ ( x ( t − τ ( t ) ) ) ≤ 4 ν ‖ B 2 ‖ ‖ L ˜ x ( t ) ‖ ‖ x ( t − τ ( t ) ) ‖ . (16)

1) 根据引理1和假设2,如果G是结构平衡的,则(13)的第四项满足

− 2 d 1 x T ( t ) M ˜ T M ˜ L ˜ x ( t ) ≤ − 2 d 1 λ 2 ( t ) x T ( t ) M ˜ T M ˜ x ( t ) = − 2 d 1 λ 2 ( t ) ∑ ( v i , v j ) ∈ E y i j T ( t ) y i j ( t ) . (17)

此外,根据引理2,由(13)的第五项可以导出

2 d 2 x T ( t ) M ˜ T M ˜ η ( t ) = 4 d 2 x T ( t ) L ˜ η ( t ) = − 4 d 2 ∑ i = 1 N ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) T η i ( t ) = − 4 d 2 ∑ i = 1 N ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) T s i g α ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ) ) = − 4 d 2 ∑ i = 1 N | ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) | 1 + α = − 4 d 2 ∑ i = 1 N ( ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) 2 ) 1 + α 2 . (18)

根据引理2,由(13)的最后一项,我们有

2 d 3 x T ( t ) M ˜ T M ˜ F ( ξ ( t ) ) = 4 d 3 x T ( t ) L ˜ F ( ξ ( t ) ) = − 4 d 3 ∑ i = 1 N ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) T F ( ξ i ( t ) ) ⊆ − 4 d 3 ∑ i = 1 N ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) T S I G N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) ‖ x ( t − τ ) ‖ = − 4 d 3 ∑ i = 1 N ∑ j = 1 N | c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) | ‖ x ( t − τ ) ‖ ≤ − 4 d 3 ‖ L ˜ x ( t ) ‖ ‖ x ( t − τ ) ‖ , (19)

其中函数 S I G N ( ⋅ ) 满足

S I G N ( x ) = { − 1 ,             x < 0 , [ − 1 , 1 ] ,   x = 0 , 1 ,                 x > 0. (20)

由(13)~(19),显然, L δ V ( x ( t ) ) 为标量函数且满足

L δ V ( x ( t ) ) ≤ − 4 d 2 ∑ i = 1 N ( ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) 2 ) 1 + α 2 − 2 ( d 1 λ 2 ( L ) + a min − μ ‖ B 1 ‖ ) ∑ ( v i , v j ) ∈ E y i j T ( t ) y i j ( t ) − 4 ( d 3 − ν ‖ B 2 ‖ ) ‖ L ˜ x ( t ) ‖ ‖ x ( t − τ ) ‖ . (21)

如果(8)成立,则

L δ V ( x ( t ) ) ≤ − 4 d 2 ∑ i = 1 N ( ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) 2 ) 1 + α 2 . (22)

由于 0 < α < 1 , 0 < ( 1 + α ) / 2 < 1 ,根据引理3,则可以导出

L δ V ( x ( t ) ) ≤ − 4 d 2 ( ∑ i = 1 N ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) 2 ) 1 + α 2 = − 4 d 2 ( x T ( t ) L ˜ T L ˜ x ( t ) ) 1 + α 2 . (23)

因此,由(23), L δ V ( x ( t ) ) 满足

L δ V ( x ( t ) ) ≤ − 4 d 2 λ 2 1 + α 2 ( L ) V 1 + α 2 ( x ( t ) ) . (24)

根据引理4,我们有

V 1 − α 2 ( x ( t ) ) ≤ − 2 ( 1 − α ) d 2 λ 2 ( L ) 1 + α 2 t + V 1 − α 2 ( x ( 0 ) ) . (25)

从而, T 1 满足(9)。

2) 类似地,显然可证 T 2 满足(11)。

3.2. 固定时间的二分同步

这一节中,设计固定时间控制器确保系统(3)固定时间二分同步和稳定。

如果

u ˜ i ( t ) = d 1 ∑ j = 1 N c i j s i g β ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) + d 2 s i g α ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) + d 3 s i g n ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) ‖ x ( t − τ ( t ) ) ‖ (26)

是新的控制输入,其中 β 满足 β > 1 。可以证明控制输入(26)可以保证系统(3)固定时间的二分同步和稳定。

定理2:若假设1和假设2成立,则我们有下面的两个结果。

1) 如果G是结构平衡的且存在 d 1 > 0 ,   d 2 > 0 ,   d 3 > 0 使得

{ μ ‖ B 1 ‖ − a min < min { d 1 ( n N ) 1 − β 2 λ 2 ( L ) 1 + β 2 , d 2 λ 2 ( L ) 1 + α 2 } , d 3 − ν ‖ B 2 ‖ > 0 (27)

成立,则系统(3)可以实现固定时间的二分同步,其同步时间 T 1 * 满足

T 1 * ≤ 1 2 ( 1 − α ) ( d 2 λ 2 ( L ) 1 + α 2 − ( μ | B | − a min     ) ) + 1 2 ( β − 1 ) ( d 1 ( n N ) 1 − β 2 λ 2 ( L ) 1 + β 2 − ( μ | B | − a min     ) ) . (28)

2) 如果G是结构不平衡的且存在 d 1 > 0 ,   d 2 > 0 ,   d 3 > 0 使得

{ μ ‖ B 1 ‖ − a min < min { d 1 ( n N ) 1 − β 2 λ 1 ( L ) 1 + β 2 , d 2 λ 1 ( L ) 1 + α 2 } , d 3 − ν ‖ B 2 ‖ > 0 (29)

成立,则系统(3)可以实现固定时间稳定,其同步时间 T 2 * 满足

T 2 * ≤ 1 2 ( 1 − α ) ( d 2 λ 1 ( L ) 1 + α 2 − ( μ | B | − a min     ) ) + 1 2 ( β − 1 ) ( d 1 ( n N ) 1 − β 2 λ 1 ( L ) 1 + β 2 − ( μ | B | − a min     ) ) . (30)

证明:由引理2,我们有

2 d 2 x T ( t ) M ˜ T M ˜ φ ( t ) = 4 d 1 x T ( t ) L ˜ φ ( t ) = − 4 d 1 ∑ i = 1 N ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) T φ i ( t ) = − 4 d 1 ∑ i = 1 N ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) T s i g β ( ∑ j = 1 N ( c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) ) = − 4 d 1 ∑ i = 1 N | ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) | 1 + β = − 4 d 1 ∑ i = 1 N ( ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) 2 ) 1 + β 2 (31)

其中 φ ( t ) = ( φ 1 T ( t ) , ⋯ , φ N T ( t ) ) T 和 φ i ( t ) = s i g β ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) , i = 1 , ⋯ , N 。

由于 β > 1 , ( 1 + β ) / 2 > 1 ,根据引理3,则可以导出

∑ i = 1 N ( ( ∑ j = 1 N c i j ( x j ( t ) − s i g n ( c i j ) x i ( t ) ) ) 2 ) 1 + β 2 ≥ ( n N ) 1 − 1 + β 2 ( ∑ i = 1 N ( ∑ j = 1 N c i j ( x j ( t ) − ( c i j ) x i ( t ) ) ) 2 ) 1 + β 2 . (32)

结合引理6和定理1的证明,定理2的两个结果是显然易证。

4. 数值模拟

为了验证定理1和定理2中控制器的有效性,我们考虑四个节点的神经网络(3),其结构平衡和结构不平衡的符号图分别是图1(a)与图1(b),

f j ( y j ) = g j ( y j ) = 0.5 ( | y j + 1 | − | y j − 1 | ) , τ ( t ) = 1 t + 1 ,

x ( 0 ) = ( 2.6294 , 2.8116 , 1 , 2.8268 , 2.2647 , 1.1951 , 1.5570 , 2.0938 , 2.9150 , 2.9298 , 1.3152 , 3 ) , j = 1 , 2 , 3 ,   A = I 3 和

B 1 = B 2 = [ 2.15 − 2.30 − 2.30 − 2.30 2.20 − 4.50 − 2.30 4.50 1.00 ] .

图1. 结构平衡和结构不平衡的符号图G

根据上述的条件,我们可以导出 τ = 1 , μ = ν = 1 , a min = 1 , ‖ B 1 ‖ = ‖ B 2 ‖ = 6.6863 , λ 1 ( L ) = 0.4384 和

λ 2 ( L ) = 1 。为了验证控制输入(2)的有效性,令 α 为 α = 1 2 。若结构平衡符号图G是图1(a)且 d 1 ,   d 2 和 d 3 分

别为 d 1 = 20 ,   d 2 = 15 和 d 3 = 20 ,则条件(8)成立。此时图2(a)~(c)和图2(d)分别是神经网络(3)的轨迹和误差轨迹。若结构不平衡符号图G是图1(b)且 d 1 ,   d 2 和 d 3 分别为 d 1 = 20 ,   d 2 = 15 和 d 3 = 20 ,则条件(10)成立。此时图3(a)~(c)和图3(d)分别是神经网络(3)的轨迹和误差轨迹。由图2和图3,在控制输入(2)下,神经网络(3)可以分别实现有限时间二分同步和稳定。

图2. 在结构平衡图图1(a)下神经网络(3)的有限时间二分同步

图3. 在结构不平衡图图1(b)下神经网络(3)的有限时间稳定

为了验证控制输入(26)的有效性,令 α 与 β 分别为 α = 1 2 和 β = 4 3 。若结构平衡符号图G是图1(a)且

d 1 ,   d 2 和 d 3 分别为 d 1 = 30 ,   d 2 = 15 与 d 3 = 10 ,则条件(27)成立。此时图4(a)~(c)和图4(d)分别是神经网络(3)的轨迹和误差轨迹。若结构不平衡符号图G是图1(b)且 d 1 ,   d 2 和 d 3 分别为 d 1 = 30 ,   d 2 = 15 与 d 3 = 10 ,则条件(29)成立。此时图5(a)~(c)和图5(d)分别是神经网络(3)的轨迹和误差轨迹。从图4和图5,在控制输入(26)下,神经网络(3)可以分别实现固定时间二分同步和稳定。

图4. 在结构平衡图图1(a)下神经网络(3)的固定时间二分同步

图5. 在结构不平衡图图1(b)下神经网络(3)的固定时间稳定

5. 结论

本文设计了符号图时变时延神经网络有限时间和固定时间二分同步控制,得到其可以实现有限和固定时间二分同步的充分条件和相应的估计停时。由于无界时变时延对符号图神经网络的动力学有重要影响,未来我们进一步探究这个问题。

文章引用

杨华波,孙 文. 符号图时变延迟神经网络的有限和固定时间控制Finite/Fixed-Time Controls of Time-Varying Delayed Neural Networks in a Signed Graph[J]. 动力系统与控制, 2024, 13(01): 21-32. https://doi.org/10.12677/DSC.2024.131003

参考文献 References Zhang, J., Zhang, A., Cao, J., et al. (2020) Adaptive Outer Synchronization between Two Delayed Oscillator Networks with Cross Couplings. Science China Information Sciences, 63, Article Number 209204.
https://doi.org/10.1007/s11432-018-9843-x
He, S., Dai, S. and Dong, C. (2022) Adaptive Synchronization Control of Uncertain Multiple USVs with Prescribed Performance and Preserved Connectivity. Science China Information Sciences, 65, Article Number 199201.
https://doi.org/10.1007/s11432-020-3174-7
Yu, J., Hu, C., Jiang, H., et al. (2014) Projective Synchronization for Fractional Neural Networks. Neural Networks, 49, 87-95.
https://doi.org/10.1016/j.neunet.2013.10.002
Zhang, W., Li, C., Huang, T., et al. (2015) Synchronization of Neural Networks with Stochastic Perturbation via Aperiodically Intermittent Control. Neural Networks, 71, 105-111.
https://doi.org/10.1016/j.neunet.2015.08.002
Zhu, S. and Bao, H. (2022) Event-Triggered Synchronization of Coupled Memristive Neural Networks. Applied Mathematics and Computation, 415, Article Number 126715.
https://doi.org/10.1016/j.amc.2021.126715
Li, J., Jiang, H., Hu, C., et al. (2019) Finite/Fixed-Time Synchronization Control of Coupled Memristive Neural Networks. Journal of the Franklin Institute, 356, 9928-9952.
https://doi.org/10.1016/j.jfranklin.2019.09.015
Chen, C., Li, L., Peng, H., et al. (2020) A New Fixed-Time Stability Theorem and Its Application to the Fixed-Time Synchronization of Neural Networks. Neural Networks, 123, 412-419.
https://doi.org/10.1016/j.neunet.2019.12.028
Liu, X., Cao, J., Yu, W., et al. (2015) Nonsmooth Finite-Time Synchronization of Switched Coupled Neural Networks. IEEE Transactions on Cybernetics, 46, 2360-2371.
https://doi.org/10.1109/TCYB.2015.2477366
Sun, W., Guo, W., Li, B., et al. (2023) Finite/Fixed-Time Controls of Neural Networks in a Signed Graph. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 31 October 2023, 1-10.
https://doi.org/10.1109/TSMC.2023.3323352
Wu, H., Wang, X., Liu, X., et al. (2020) Finite/Fixed-Time Bipartite Synchronization of Coupled Delayed Neural Networks under a Unified Discontinuous Controller. Neural Processing Letters, 52, 1359-1376.
https://doi.org/10.1007/s11063-020-10308-6
Hu, D., Tan, J., Shi, K., et al. (2022) Switching Synchronization of Reaction-Diffusion Neural Networks with Time- Varying Delays. Chaos, Solitons & Fractals, 155, Article Number 111766.
https://doi.org/10.1016/j.chaos.2021.111766
Zhang, H., Zhou, Y. and Zeng, Z. (2022) Master-Slave Synchronization of Neural Networks with Unbounded Delays via Adaptive Method. IEEE Transactions on Cybernetics, 53, 3277-3287.
https://doi.org/10.1109/TCYB.2022.3168090
He, W., Qian, F., Lam, J., et al. (2015) Quasi-Synchronization of Heterogeneous Dynamic Networks via Distributed Impulsive Control: Error Estimation, Optimization and Design. Automatica, 62, 249-262.
https://doi.org/10.1016/j.automatica.2015.09.028
Guo, W., He, W., Sun, W., et al. (2022) Robust Finite-Time and Fixed-Time Bipartite Consensus Problems for Multi- Agent Systems via Discontinuous Protocol. International Journal of Control, 95, 380-389.
https://doi.org/10.1080/00207179.2020.1797177
Meng, D., Du, M. and Jia, Y. (2016) Interval Bipartite Consensus of Networked Agents Associated with Signed Digraphs. IEEE Transactions on Automatic Control, 61, 3755-3770.
https://doi.org/10.1109/TAC.2016.2528539
Wu, C.W. and Chua, L.O. (1995) Synchronization in an Array of Linearly Coupled Dynamical Systems. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 42, 430-447.
https://doi.org/10.1109/81.404047
Bhat, S.P. and Bernstein, D.S. (2000) Finite-Time Stability of Continuous Autonomous Systems. SIAM Journal on Control and Optimization, 38, 751-766.
https://doi.org/10.1137/S0363012997321358
Baidu
map