Complexity

Complexity / 2021 / Article

Research Article | Open Access

Volume 2021 |Article ID 6613435 | https://doi.org/10.1155/2021/6613435

Chi Huang, Yuning Xiong, Wei Wang, "Partial-Information-Based Synchronization of Complex Networks with Multiple and Event-Triggered Couplings", Complexity, vol. 2021, Article ID 6613435, 14 pages, 2021. https://doi.org/10.1155/2021/6613435

Partial-Information-Based Synchronization of Complex Networks with Multiple and Event-Triggered Couplings

Academic Editor: Peng Ji
Received24 Dec 2020
Revised25 Mar 2021
Accepted07 Apr 2021
Published19 Apr 2021

Abstract

We study the synchronization of complex networks by using event-sampling information. The nodes of the network are connected with event-triggered communication via multiple couplings. The couplings are split into several channels. Not all the channels are connected. Only a part of the states of each node can be communicated by the channels. An event detector is designed for each channel to independently determine the sampling moments. The couplings of the network are partial and event-triggered. Both features make that less information can be used for synchronization. The pinning controllers are also designed based on the sampled information. By establishing a time-dependent Lyapunov functional and utilizing an efficient event condition, we derive less conservative criteria for the synchronization of complex networks. Finally, the effectiveness of our main results is verified by an illustrative example, and comparisons are also presented to show how much conservatism can be reduced.

1. Introduction

During the last decades, the research of complex networks has attracted an increasing amount of attention. Without the central control, the network can perform many collective behaviors just through the local communications among adjacent neighbors. Hence, complex networks have extensive applications in many large-scale systems, such as biology, circuit systems, robotics, and unmanned vehicles. Among all the collective behaviors, synchronization is of great significance due to its wide existence in the real world, for example, fireflies and the school of fish. Recently, the synchronization of complex networks has been intensively studied. Many excellent synchronization results have also been derived in [14].

The key to realizing synchronization is the connections among nodes. In earlier research, more of a concern was to investigate the structural topology of complex networks [58]. More recently, the focus of the research has shifted to the communication environment [9]. With the rapid development and spread of digital technologies, natural signals are analog and have to be converted into digital format to be used in electronic equipment. It is referred to as the sampling issue. Initially, the time-triggered sampling protocol was widely employed [10]. The main feature of time-triggered communication is that the occurrence of sampling is determined by a predefined time sequence. The time-triggered sampling has its advantage in fault-tolerant systems since the missing data can be detected immediately. However, it is a lack of flexibility and the restrictive design process [11]. All the sampling processes have to be manipulated strictly according to the time sequence. It is hard to dynamically regulate the sampling plan based on the system’s real-time performance. Therefore, the time-triggered sampling usually leads to a conservative usage of the communication resource. Another drawback of time-triggered sampling is that all components of a system should be timely synchronous during operation to guarantee the strict timing specification of the system. Thus, time-triggered sampling is hard to be carried out in a large-scale system, especially for complex networks. To overcome the deficiencies of time-triggered sampling, event-triggered sampling has been introduced. It is kind of a real-time scheduling algorithm. An event condition is designed to decide sampling instants. When the condition cannot be satisfied, the state of the system needs to be measured. Compared with the time-triggered sampling, the event-triggered counterpart can quickly react to sudden fluctuations [12]. Hence, it is considered a more competent sampling protocol. Due to its virtue, numerous attention has been drawn to this subject, which includes the stabilizing control tasks of single systems [13, 14] and the consensus issues of networked systems, such as multiagent systems [15, 16], complex networks [17, 18], coupled neural networks [1921], sensor networks [22], and Boolean networks [2327].

Each connection of complex networks consists of several channels to transmit distinct levels of node’s information. In most existing works, all these channels can work properly. It is not realistic for many real systems. In mammalian brain networks, neurons in the same cortical area interact more intensively. However, only a small part of neurons (about 5%) can receive excitatory synapses to neurons from connected cortical areas [28, 29]. It indicates that communication among cortical areas counts on the partial couplings which are established by a fraction of neurons. Thus, it is necessary to study the partial couplings of complex networks. As it is known, there are two types of neuronal signals: electrical or chemical signals. Some of the neurons may send electrical signals along with the fundamental chemical signals, while some others may only send one kind of signal. The couplings among complex networks should have multiple layers to communicate different signals. Furthermore, the couplings belonged distinct layers are also partially connected via various parts of a node. Thus, a more realistic communication environment is reflected by the couplings considered in this work, which are multiple partial and obeyed to the event-triggered update.

Despite the theoretical and practical significance, a few results have been proposed for synchronization of complex networks with multiple partial and event-triggered couplings. The difficulties of this problem can be categorized as three aspects. Firstly, the sampling scheme and partial connection lead to less information available for communication. The mechanisms of them are different. The sampling makes node’s information available at a sequence of discrete instants. It is a “time-dependent” loss of information. On the other hand, the partial connection means that only a part of the node’s information is transmitted, which can be seemed like a “space-dependent” loss. Double reductions make that much less information can be used for synchronization. Secondly, channels of any connection sample information separately, while they need to cooperatively converge. Thus, the event detector of each channel should be designed in a distributed way to realize a global object. Furthermore, the information used for design should also be sampled and partial. Thirdly, the sampled data is in essence a delayed signal [30]. Due to the complicated behaviors of a single node, the conservatism of synchronization criteria is unavoidable. It is necessary yet difficult to reduce the conservatism to make the conditions more applicable.

This work will address the partial-information-based synchronization of complex networks with multiple and event-triggered couplings. The event-triggered sampling is considered for every channel of each connection, in which an event detector is designed based on the sampled and partial information. The event detector individually determines the sampling moment of the corresponding channel. A unified framework will be built to cope with the two kinds of information loss. Channels are rearranged according to their levels of connection. Pinning controllers are also deployed for a small fraction of nodes. The sampled data is used to build the pinning controllers. Since the sampled signal has a time delay, it is hard to eliminate the conservatism of the proposed synchronization criteria. To reduce the conservatism, a delay-dependent Lyapunov functional will be constructed. Finally, a simulative example is proposed to illustrate the efficiency and effectiveness of our results.

Notations. is the set of nonnegative integers. and represent, respectively, the dimensional Euclidean space and the set of real matrices. , denote the identity matrix of size and the zero matrix with proper dimensions, respectively. For real symmetric matrices and , the notation (respectively, ) indicates that the matrix is negative definite (respectively, seminegative definite). For any two integers , the notation is the set . denotes the Euclidean norm for a real vector. The superscript “” represents the transpose of a matrix. denotes a diagonal matrix. denotes the smallest eigenvalues of a matrix . Matrices, if not explicitly stated, are assumed to have compatible dimensions. The symmetric term in a matrix is denoted by .

2. Problem Formulation and Preliminaries

The dynamics of a node of a complex network can be described aswhere are the state, the local coupling, and the control input of the th node, respectively; , ; ; and is the coupling strength. The nonlinear function () is supposed to satisfy the following Lipschitz condition:where is the Lipschitz constant of function .

2.1. Multiple Partial Coupling

When complex networks are connected via a graph, each node of the network can communicate with its neighboring nodes. Thus, the local coupling of the th node can be constructed aswhere is the number of nodes of the network; is the Laplacian matrix representing the structural topology of the complex network (1), where is defined as follows: if the th node can send information to the th node, ; otherwise, . Furthermore, the diagonal elements . It implies that the complex network would be decoupled when the complex network realizes synchronization.

The local coupling (3) assumes that the node can receive all levels of information of the th node, that is, (). However, it is a subtle assumption for most biological systems. A more realistic situation is that only part of can transmit information to other nodes. As a result, only partial information of each node can be received. Additionally, for different nodes, the transmitting information is distinct. Note that many real networks have multiweighted connections. For example, in neural networks, neurons send both electrical signals and chemical signals; in supply chain networks, the capital chain, logistic chain, and information chain have separate routes. Thus, the couplings of these kinds of complex networks should be multiple layers to transmit distinct types of signals or chains. To study the multiple and partial features of couplings, the coupling term (3) is transformed aswhere is the number of multiple couplings of the complex network (1): with or 1. When , it indicates that the th level of information of the th node () cannot receive information of the corresponding level of the th nodes () from the th layer of the coupling. Otherwise, it means that can be updated according to the received information .

2.2. Event-Triggered Communication

Until now, each node of the network can send real-time information to its neighboring nodes. However, such a manner of communication will consume more resources on communication media. In particular, it is needless. Recently, the event-triggered sampling scheme has been introduced as a more efficient substitute. Many existing works designed the event detector of each node. In this work, connections are split into channels to transmit the corresponding level of node information. The event detector should be installed for each channel. It is utilized to determine the sampling instant of the channel. Specifically, the event condition for is designed as follows:where , ; is a positive constant, which denotes the sampling period; with is the latest sampling instant of ; and is the synchronous state, which will be defined later. Thus, the next sampling instant is the time when the event condition (5) is invalid; that is,

Let the first sampling instant of any be 0; that is, for all and . Note that the event condition (5) just uses the local information of . Thus, it can be conveniently deployed in distributed systems.

Remark 1. The event condition (5) is designed to determine the sequence of sampling instants. When the condition is violated, it means that the difference between the current state and the last sampled state is quite large. Thus, the sampled data is out of date and needs to be refreshed via new sampling. Such a mechanism makes the event-triggered sampling scheme self-adjusting and flexible. The parameter regulates the sampling frequency. When is increasing, it becomes much harder to violate the condition, and fewer samplings will be carried out. However, it also means that less information can be used. One aim of this paper is to choose as large as possible to realize the synchronization of the complex network.
Considering the event-triggering update protocol, the information of any node is invariant during its two contiguous triggered instants. The coupling term of (4) becomeswhere () is the latest triggered instant of () before time . That is,In this work, the complex network (1) is supposed to synchronize to a given synchronous state , which satisfies the dynamics of a single node with a given initial state ; that is,Define an error system as (). LetFor (, and ), it can be obtained thatBased on the above discussions, it can be concluded thatholds for (). Thus, the coupling term (4) with an event-triggering protocol (12) can be converted as

2.3. Pinning Control

To synchronize the complex network (1) to the state , the pinning controllers will be deployed. Since the complex network is a large-scale system, it is impossible and unnecessary to control every . Controlling a small part of them is sufficient to stabilize the whole network. Specifically, the pinning controller for can be designed as follows:where represents the control gain. When , is not controlled. It can be seen from (14) that the controller can only use the sampled information.

For (, , and ), we can have

Based on (15), the pinning controller (14) can be transformed to the form of a vector:where and .

2.4. Complex Networks with Multiple Partial and Event-Triggered Couplings

Let , where , for . The dynamics of the error system can be obtained from (1):

Define matrices (, ) as

Substituting (13) and (16) into (17), the complex network with multiple partial and event-triggered couplings can be described aswhere and .

The following definition will be needed for the derivation of our main results.

Definition 1. The complex network (1) with multiple partial and event-triggered couplings (13) and the pinning controllers (16) is said to be globally exponential synchronization if, for any initial condition , there exist positive constants and such that the error system (19) satisfies for all .
The error system (19) is just built for investigating couplings. In this manuscript, the couplings are split into channels. Thus, we should construct a new framework of error system for channels. From (19), it yields that, for ,Let . Thus, it follows from (20) thatwhere and .
The error system (21) rearranges channels according to their positions at each coupling, instead of the couplings they belonged to like in (19).

3. Main Results

The synchronization criteria will be given for complex network (1) in this section. By introducing a transformation of sampled data, a delay-dependent Lyapunov functional will be built in Theorem 1, which is helpful to reduce the conservatism of our theoretical results.

Theorem 1. Let (). Under the event-triggered communication condition (5), the complex networks (1) with multiple partial and event-triggered couplings (19) and the pinning controllers (16) can be exponentially synchronized, if there exist positive scalars , , and matrices , , , , , , , , , , , such that the following linear matrix inequalities (LMIs) are satisfied:where

Proof. Thanks to the Schur complement [31], it follows from (23) and (24) thatwhere , , and .
Basing on the error system (21), we can establish the Lyapunov functional , where and ; is defined in (21).
The rest of the proof consists of three steps. The first step will indicate the Lyapunov functional is well defined, that is, , and if and only if holds for all . The second step will show that is exponential convergent under conditions (22)–(24). Finally, the error system is exponential stable (19), and the complex network (1) can reach synchronization according to Theorem 1.Step 1. Well-definedness of .Considering and the Schur complement [31], it follows that . Thus, it follows thatwhich further impliesBased on the above inequality, it yields thatThus, it yields from (28) and (31) thatResorting to the Jensen inequality [32], it can be obtained thatwhere . It follows from (32) and (33) thatwhere and . By applying the Schur complement [31], it can be obtained from (22) that . Hence, defined in (28) is well defined. Furthermore, there must exist a number such that . It follows from (34) thatDue to , and the equality holds if and only if . Thus, the Lyapunov functional is well defined.Step 2. Exponential convergence of The derivative of isThanks to the Jensen inequality [32], it can be obtained thatwhere . Based on the Newton–Leibnitz formula, we can haveFrom (21), one has thatBased on the Lipschitz condition (2), we have thatConsidering the event condition (5), we can have thatGenerally, it yields for any moment () thatholds for any , , and , which further implies thatwhere and can be any positive number.Combining (36)–(44), we have thatwhere and . From (26) and (27), one can always find a sufficiently small positive number such that holds for . Solving the differential equation, we have . Similarly, we can get for any . Combining all these inequalities yields that , . Thus, the Lyapunov functional is exponential convergence.Step 3. Exponential synchronization of complex network (1).Considering the error system (19), we have thatBased on Definition 1, the complex network (1) with multiple partial and event-triggered couplings (13) and the pinning controllers (16) is exponential synchronization. This completes the proof.

Remark 2. Most existing results studied the macro-level connections among nodes. In this work, only a part of the channel of a node can communicate. Thus, the micro-level connections among nodes should also be investigated. A feasible method is to build an augmented system to contain both macro and micro connections. However, it will lead to a large-dimension stabilization condition, which is hard to be verified. An alternative way is to rearrange neurons. Equation (21) collects all the channels which have the same index of each node, instead of the channels that belonged to the same node like equation (1). The complex network (13) is rearranged as subsystems. By establishing the Lyapunov functional (21) for each subsystem, the stabilization condition with smaller dimensions can be obtained.
The time-dependent Lyapunov functional is constructed in Theorem 1 to deal with the sampled information. This method was introduced in [33] and improved in [34]. These Lyapunov functionals do not grow after the sampling instants. Thus, the conservatism of the main results can be reduced further. To show this fact, the following theorem is derived, in which a time-independent Lyapunov functional is established.

Theorem 2. The complex networks (1) with multiple partial and event-triggered couplings (13) and the pinning controllers (16) can achieve exponential synchronization if there exist positive scalars , , and matrices , , , , , , , , , , such that the following LMIs are satisfied:where

Proof. Consider the following Lyapunov functional , whereThe derivative of isThe Newton–Leibniz formula gives thatwhere . Adding the left side of (51) and (52) into (50) yieldswhere and . Considering (39), the Lipschitz assumption of function (40) and (41), and the event condition (44), it yields thatwhere ,