3.1. Consensus problemConsider a multi-agent system with m agents, each with the following dynamic mathematical model:
where
represents the state variables of the
i-th agent, the order of the agent dynamics is determined by
n, and
is the control input of the
i-th agent.
changes with time, and represents the connected agents of the multi-agent system at each instant of time
t.
is the time-varying delay that affects the control input of the
i-th agent. Let
, where
τ is a constant,
is disturbances that change with time, which satisfies
, therefore
is satisfied for all agents in the multi-agent systems.
The consensus controller in this paper is proposed as follows:
where
is the constant matrix gain,
determines the current topology state, for instance, if there is no communication between nodes
i and
j, then
, and
represents the control input based on the current topology of agent
i. The initial conditions of agents’ states are shown as follows:
in interval
, the function
is arbitrary and corresponds to the set of initial conditions.
According to Ref. [27], the continuous time Markov chain determines the dynamics of the parameter
, where the Markov chain has discrete states, the discrete states are given by a set of sets
, where s is the number of different topologies of the multi-agent systems. The expression of the probability transfer matrix
is
In the above formula,
represents the probability of switching from topology
p to topology
q in interval
at time
t, for
,
holds,
are the elements of the uncertainty transfer rate matrix
where
represents an estimated value of the probability of switching from state
p to state
q, and
represents an error of the estimated value. Here
is unknown and
with
. It is obvious that both
and
are positive, and
,
, therefore,
is obtained. Finally, let the initial distribution of the Markov chain be
.
The dynamic mathematical model (3) and the consistency controller (4) of the agent are written in a compact form as follows:
Here
is a complete stacked state vector and
,
is the current input vector of the
k-th agent, moreover,
and
are arranged in the same form, where
is a column vector of
nm dimension, its
k-th term is one, and the other terms are zero, and
is the Laplacian matrix of the current subgraph, only the edge pointing to the vertex
is considered at this time. Notice that
, where
is the the Laplacian matrix which contains all the edges in the current topology
.
The structure of the hybrid-triggered consensus for the multi-agent systems with time-varying delayed control inputs, uncertain switching topologies, and stochastic cyber-attacks is shown in Fig. 1. As is shown in Fig. 1, in order to save network resources, a hybrid-triggered mechanism consisted of time-triggered mechanism and event-triggered mechanism is introduced. The two triggered mechanisms are discussed below respectively.
When the time-triggered mechanism is used in the hybrid-triggered mechanism, the sampled data will be transmitted as follows:[28]
where
tr are positive integers, which satisfy
,
is the corresponding delay caused by the network, and
h is the sampling period. According to Ref. [
29], let
, therefore equation (
10) can be rewritten as
where
, with
being the maximum value of the delay.
According to Fig. 1, when the event-triggered scheme is chosen in the hybrid-triggered scheme, which is introduced to determine if the current measurement should be sent by comparing the latest sampled data with the error between two consecutive instants. The condition of the event-triggered scheme is given as follows:[30]
where
,
, and
The expression of the threshold error is
.
For the convenience of operation, according to Refs. [31] and [32], we can divide interval
into several subintervals. Suppose there is a constant ς that satisfies
, where
,
,
. Define
, where
.
The sampled signal in the event-triggered mechanism can be written as follows:
Remark 1 In the event-triggered control strategy, σ determines the frequency of event triggers. For example, σ=0 means that set
will be released completely.
According to Ref. [32], in order to make full use of the limited network resources, the hybrid-triggered mechanism is introduced. The probability of switching between the time-triggered mechanism and the event-triggered mechanism is described by the random Bernoulli variable
. By combining Eqs. (10) and (13),
in Fig. 1 can be written as follows:
where
. Here
has the following properties:
where
is the expectation of
, and
represents the variance of
.
Remark 2 According to Eq. (14), when
,
, i.e., the controller is under the event-triggered scheme, if
, then
, it illustrates that the time-triggered mechnasim is used for data transmission, i.e. the data is transmitted periodically.
Because of the introduction of networks in multi-agent systems, not only the delay caused by the network, but the stochastic cyber-attacks should be considered, in fact, the stochastic cyber-attacks are deception attacks, which will tamper with and destroy data from multi-agent systems in a network environment, which will result in each agent in the multi-agent system failing to receive correct and complete information, and degrade the performance and even cause system system crashes. In this paper, cyber-attacks are represented by a nonlinear function
. From Fig. 1, the control input is
, whose expression is
where
is the expression of the cyber-attacks, and
represents the time-delay of the cyber-attacks. Here
is also a random Bernoulli variable, which indicates the probability of occurrence of the cyber-attacks and
,
.
Therefore, by substituting Eq. (15) into Eq. (9), the consensus controller (9) can be rewritten as follows:
Remark 3 If
, then
, i.e., there is no malicious attack in the signal transmitted to the controller. When
,
, the signals received by the controller are all cyber-attacks.
The closed-loop equation for the system can be obtained by substituting Eq. (16) into Eq. (8)
where
and
. Therefore, the definition of consistency is given as follows.
Definition 1 According to Ref. [33], when the consensus controller (4) is used and the hybrid-triggered scheme is introduced, multi-agent systems (3) can reach mean-square consensus under stochastic cyber-attacks and uncertain switching topologies. i.e., for all
,
is true in the mean square sense under all initial conditions and initial distributions
of
.
An assumption and some lemmas are introduced in the following.
Assumption 1[34,35] The function of cyber-attacks
satisfies the following inequality:
where
is the constant matrix upper bound of the nonlinear function
.
Lemma 1[36] For any scalars
and constant matrix
, the following inequality holds:
Lemma 2 (Wirtinger inequality)[37] For any scalars
and constant matrix
, the following inequality is true:
where
.
Lemma 3[38] A real number
and a matrix
are given,
is a symmetric positive definition matrix, then the following inequality is well defined:
Lemma 4[39] For any
with an appropriate dimension and an arbitrary symmetric positive definite matrix
, the following inequality holds: