Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 931934, 11 pages

http://dx.doi.org/10.1155/2013/931934

Research Article

Adaptive Consensus of Distributed Varying Scale Wireless Sensor Networks under Tolerable Jamming Attacks

Jinping Mou

School of Mathematics and Information Engineering, Taizhou University, Linhai 317000, China

Received 16 August 2013; Accepted 16 December 2013

Academic Editor: Kwok-Wo Wong

Copyright © 2013 Jinping Mou. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Consensus problem is investigated for a varying scale wireless sensor network (VSWSN) under tolerable jamming attacks, where the scale of the network is increasing or decreasing due to the newly joined nodes or the removed nodes, respectively; the tolerable jamming attack means that the attack strength is limited. It supposes that during the communications, all nodes may encounter with the tolerable jamming attacks; when the attack power is larger than the given value, the attacked nodes fall asleep, or otherwise the nodes are awakened. Under the sleep method, based on the Lyapunov method, it shows that if the communicating graph is the global limited intersectional connection (GLI connection) and the system has the enough dwell time in the intersectional topology, then under the designed consensus protocol, all nodes achieve the global average consensus.

1. Introduction

In the past decades, distributed coordination of wireless sensor network (WSN) has been widely investigated, such as formation control, target-tracking, and environmental monitoring [1, 2]. For the distributed coordination, consensus is the fundamental requirement in which all states of sensors achieve a common value, such as the average consensus [3], and sample data-based consensus [4, 5]. The characteristics of WSN including the unreliable links and the limited energy supply render the challenges of developing algorithms and optimizing topology to achieve the consensus control; therefore, many topology optimization and algorithm development problems have been studied.

The early consensus work can be found in [6], where the general methods of consensus control are proposed. In recent years, consensus problems coupling with optimizing topology have been investigated. For instance, under a leader-following framework, the consensus problems were studied [7, 8]. More details can be found in [9–12]. Based on the sleeping-awaking method, consensus problem of the Markovian switching WSN with multiple time delays was studied [13]. Based on the stochastic matrices, the consensus algorithm was proposed in [14]; more results are proposed in [15, 16].

Recently, adaptive consensus problem has attracted much attention. For instance, a distributed consensus protocol with an adaptive law was proposed by adjusting the coupling weights [17]. According to iterative learning method, an adaptive consensus protocol was designed for all follower agents to track a leader [11]. More results are shown in [18, 19].

Notice that most of the above results on the consensus are associated with the fixed node set. However, in the real applications, the scale of WSN often is varying due to the node removal or the new nodes joining the network, where the node removal means that some nodes quit from the network because the energy is exhausted.

In recent years, the related consensus problems of the varying scale networks (VSNs) have risen researchers attentions, such as consensus of the scale-free network (SFN), where degree distribution follows a power law, at least asymptotically [20, 21]. In the literature [22], consensus problem of varying scale wireless sensor network (VSWSN) was investigated, where the varying topology of VSWSN is expressed by the node attached component sequences. As a result, the global limited intersectional connection (GLI connection) is the necessary condition of system achieving the global consensus.

2. Related Work

In fact, networks often encounter with some attacks, such as jamming attacks, tampering attacks, and exhaustion attacks. Under some attacks, the networks may be broken down, the coordinative behavior cannot be kept, and all nodes cannot achieve the consensus. In the literature [23], the synchronization against the removed nodes of complex dynamical networks was studied, where the communications are based on the switching topology. In recent years, consensus problem with the attacks has attracted some researchers attention. In [24], Wang et al. studied consensus problem of networks under the recoverable attacks, where after being attacked, the system becomes paralyzed; in the next period, the system recovers and achieves the consensus, and the relation between the state of system and the attack signal is not considered.

However, in real applications, the system often is influenced by the attack signals whatever the topology is optimized. Namely, the dynamic state of the system is impacted by the attack signals, and up to now, consensus problem of VSWSNs with the tolerable jamming attack has not attracted much attention.

The main contribution of this paper is to investigate the consensus problem of VSWSN under the tolerable jamming attacks. It begins with the introduction on communicating graph. Namely, all nodes communicate information among the components; the communications among all different node attached components are based on the intersectional topologies. Then the states of all components can be described by the different stochastic equations (DSEs); the consensus can be regarded that all trivial solutions of DSEs converge to the same value. The aim of this paper is to establish some criteria of VSWSN under the tolerable jamming attacks.

It should point out that the introduced topology in this paper is different from the previous results. In most literatures, such as the node set of network is fixed, system switches among the different spinning trees, or system communicates information in the union connected topology, and the related results cannot be applied for VSWSN because of the fixed scale. In fact, whatever VSWSN runs sleeping algorithm in any surroundings, for example, system encounters with attacks, the topology can be expressed by the node attached sequences, the connectivity of the network can be shown by local limited intersectional connection (LLI connection) or GLI connection, and the general connection is the special case of GLI connected.

The outline of this paper is listed as follows. In Section 3, some basic concepts, notations, and problem formulation are introduced. In Section 4, the main results are proposed. In Section 5, a numeral example shows the reliability of the proposed results. In Section 6, several conclusions are obtained.

3. Preliminaries

3.1. Notations and Some Conceptions

Notations. Throughout this paper, denotes the topology set of the varying scale wireless sensor network (VSWSN); the elements of the set satisfy the following partial sequence:

where the listed topologies will appear in succession, is the initial topology, and , are called the adjacent topologies. Accordingly, denotes the dwell time interval of topology ; if , then denotes the relation between and .

In order to express the varying topology, a discernible function is introduced; , where . According to , the varying topology of VSWSN can be denoted by a varying graph , where denotes the varying node set, refers to the valid node set of which all elements inherit from the former topology, is the newly joined node set, and stands for the edge set.

refers to the neighbor set of node in the topology . stands for the weighted symmetric matrix, where , takes value in 0 or 1. , means that there exists information flow between the awaking nodes and ; if one of or is asleep, then ; if , then .

is the Laplacian matrix, and is defined by

The following conceptions are used frequently [22].

Definition 1. ; if there exists a component of such that , then is said to be the node attached component of ; if there exists the sequence such that , , then sequence is said to be the node attached component sequence of node .

denotes a component of , where , . , where refers to the valid node set of which all elements inherit from the former attached component of , is the newly joined node set.

Definition 2. ; if there exists two related attached component sequences , and , respectively, and if there exists and , such that , where , then the communicating graph is said to be the global limited intersectional connection (GLI connection), and is called the intersectional topology.

Assumption 3. After the intersectional topology, the node set may be varied. For example, let be the intersectional topology, and is the next topology of it; in , all nodes will not be removed, but at time , some new nodes will be removed and some nodes will be added.

Remark 4. Under Assumption 3, it follows that between every two adjacent intersectional topologies and , each node will appear in , where .

and refer to a node in the different topology, where .

3.2. Problem Statement

In many applications, the communication topology of VSWSN is based on the multiple components. In this paper, the communication is the component-based.

For , let be the state of sensor , where . Suppose the state of is given by

where is the consensus protocol, and it is given by

is the next topology of , is the state of that is measured by , , is the measured attack signal, , and is the white noise.

Consider ; based on the dynamic (3) and protocol (4), the dynamic state of component which attaches on node is described by

where , , , refers to the state vector of node set , , is the state vector of the newly joined node set , , and

Remark 5. Analogously, if is substituted by , then system (5) refers to the whole system. Namely,

Consider ; let , , it obtains the systematic error of (5) as follows:

where

where is the matrix in which each entry is .

From (8), one gets

Assumption 6. Suppose that each node can sense the strength of the attack signal in its perceivable areas; in terms of carrier sense of ASCENT algorithm [25], every sensor is awake or asleep according to the attacks, namely,

where is the constant and is the maximal degree of component which is attached by node .

Assumption 7. Under criterion (11), the topology of VSWSN is GLI connection.

Definition 8. For VSWSN (7), the jamming attacks are said to be the tolerable if VSWSN (7) satisfies Assumption 7.

Definition 9. Consider and ; if

then VSWSN (5) is said to achieve the component consensus. In addition, if , and (12) holds, then VSWSN (5) is said to achieve the global consensus.

If , then VSWSN (5) is said to achieve the component average consensus. In addition, if and (12) holds, then VSWSN (5) is said to achieve the global average consensus.

In the following section, the consensus problem under the tolerable attacks is investigated via the error system (10).

Remark 10. According to Assumption 3, if VSWSN is GLI-connected, then each intersectional topology is connected, and it holds that . According to the literature [26], all eigenvalues of satisfy

where

For convenience, denotes the second largest eigenvalue of , , refers to the second largest eigenvalue of , , and .

Remark 11. If a sensor leaves from its neighbors and becomes an isolated node, its state may not keep in coordination with other nodes temporarily. Note that if the communicating graph is GLI-connected, the node has a chance to communicate with other nodes and keep coordination with other nodes.

Remark 12. In model (5), the state of each node may be influenced by the attack signal function .

Remark 13. System (5) achieves the component average consensus refers that to the fact that the norm of converges to zero. Similarly, if , then the global average consensus means that the norm of converges to zero.

4. Main Results

This section will investigate the consensus problem while the system encounters with the jamming attacks. The aim of this section is to establish some consensus criteria of VSWSN.

Let

where , then the update laws of are provided by

where and is a positive constant, and one proposition is obtained as follows.

Proposition 14. satisfies

where .

Proof. Note that

then it holds that

This completes the proof.

Let

where

under Assumption 6, it holds the following proposition.

Proposition 15. Functions , , and satisfy the following inequality:

where , , , and

where and are the initial topologies of , respectively.

Proof. From criterion (11), it is straightforward that ; then

Combine (24) with (19); it holds that

then ,

Notice that

from inequalities (26), (27), and (28), it holds the inequality (22). This completes the proof.

Next, the consensus criterion is proposed as follows.

Theorem 16. If subsystem (7) is the GLI-connected and the each attack signal satisfies Assumption 6, then under (4), VSWSN (7) achieves the global average consensus if there is the enough dwell time in the interactional topology , namely,

and satisfies (16).

Proof. For inequality (29), it follows that , , based on Proposition 15, and if each attack signal satisfies Assumption 6, then

this completes the proof.

Remark 17. In , even though , it cannot ensure that the system achieves the average consensus; see simulation results of Example 2. In addition, if adaptive parameter (16) is utilized, whatever tends to infinite, the system achieves the consensus, and this result is different from the literature [7].

Remark 18. Theorem 16 shows that under the tolerable jamming attacks, if VSWSN is the GLI-connected and the value of is chosen appropriately, then VSWSN achieves the consensus. The numerical example of the following section shows the reliability.

5. Numerical Example

Example 1. Suppose that VSWSN (7) is composed of the following two node attached components:

where , the figure of is shown in Figure 1, , , refer to the attack signals under the different topologies, and the circles refer to the sensible regions. For convenience, the topology indexes of nodes are dropped in the following. Suppose that

The related matrices are listed as follows:

Under protocol (4), the dynamic state of the node attached component is given by (5); the related parameters are listed below.

In topology , the second largest eigenvalue of and is ; the jamming attack signal is , , the measured signals are , and Assumption 6 cannot be satisfied; node 3 falls in sleeping (see topology of Figure 1). Taking , suppose that satisfies (16); the simulation results are shown in Figure 2.

In topology , according to carrier sense, node 3 is awakened, node 5 joined the node attached component of , and node 4 joined the node attached component of (see topology of Figure 1). For this topology, the second largest eigenvalue of and is . Suppose that the jamming attack signal is , , the measured signals are , and Assumption 6 is satisfied; taking , suppose that satisfies (16); the simulation results are shown in Figure 3.

In topology , two node attached components are merged (see topology of Figure 1). For this topology, the second largest eigenvalue of is . Suppose that the jamming attack signal is , , the measured signals are , and Assumption 6 is satisfied; taking , suppose that satisfies (16); the simulation results are shown in Figure 4.

(a)

(b)

(c)

Figure 1: Two node attached components of nodes 1 and 3 in VSWSN.

(a) The dynamic states of all sensors

(b) The errors among the average values and states of all nodes, where

(c) State of the attack signal, where

(d) The update law of , where

Figure 2: The dynamic states of , , jamming attack signal and the update law of in topology .

(a) The dynamic states of all sensors

(b) The errors among the average values and states of all nodes, where

(c) is the attack signal,

(d) stand the measured attack signals by nodes 1, 2, and 5, respectively

Figure 3: The dynamic states of , , attack signals, and the update law of in topology .

(a) The dynamic states of all sensors

(b) The errors among the average values and states of all nodes, where

(c) The state of the jamming attack signal, where

(d) The update law of , where

Figure 4: The dynamic states of , , jamming attack signal, and the update law of in topology .

Example 2. Following Example 1, if is replaced by the gain function studied in [7], the system with topology cannot achieve the consensus; the simulation results are shown in Figure 5.

(a) The dynamic states of all sensors

(b) The errors among the average values and states of all nodes, where

(c) Curves of the gain function

Figure 5: The dynamic states of , , and gain function of Example 2.

6. Conclusion

This paper has investigated the consensus problem of VSWSN under the tolerable jamming attacks. It has disclosed the relations among the attack power, initial values of the newly joined nodes, dwell time, and GLI-connected topology. According to the errors of the node attached components, the adaptive parameters were provided; then the adaptive consensus protocol was obtained, and the designed protocol ensures that the system achieves the consensus whatever the values of the newly joined nodes. The obtained results in this paper have extended some existing results which are associated with the fixed node set system. In fact, according to the attack power, this paper has provided a sleep method of VSWSN when the system encounters with the jamming attacks. Finally, simulation results have shown the effectiveness of the obtained results.

For the future research, relations among the time delays of multiple hop-relays, accumulated errors, and the consensus will be considered.

Acknowledgment

This work is supported by Cultivation Fund of Taizhou University (2013PY09).

References

J. Yick, B. Mukherjee, and D. Ghosal, “Wireless sensor network survey,” Computer Networks, vol. 52, no. 12, pp. 2292–2330, 2008.

I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, “Wireless sensor networks: a survey,” Computer Networks, vol. 38, no. 4, pp. 393–422, 2002.

D. Zhao, Z. An, and Y. Xu, “Time synchronization in wireless sensor networks using max and average consensus protocol,” International Journal of Distributed Sensor Networks, vol. 2013, Article ID 192128, 10 pages, 2013.

Z.-G. Wu, J. H. Park, H. Su, B. Song, and J. Chu, “Exponential synchronization for complex dynamical networks with sampled-data,” Engineering and Applied Mathematics, vol. 349, no. 9, pp. 2735–2749, 2012.

Z.-G. Wu, J. H. Park, H. Su, and J. Chu, “Discontinuous Lyapunov functional approach to synchronization of time-delay neural networks using sampled-data,” Nonlinear Dynamics, vol. 69, no. 4, pp. 2021–2030, 2012.

R. Olfati-Saber and R. M. Murray, “Consensus problems in networks of agents with switching topology and time-delays,” Transactions on Automatic Control, vol. 49, no. 9, pp. 1520–1533, 2004.

T. Li and J.-F. Zhang, “Mean square average-consensus under measurement noises and fixed topologies: necessary and sufficient conditions,” Automatica, vol. 45, no. 8, pp. 1929–1936, 2009.

W. Zhou, J. Mou, T. Wang, C. Ji, and J. Fang, “Quasi-average mean square consensus for wireless sensor networks under three topologies with respect to sleeping-awaking method,” Optimal Control Applications and Methods, vol. 34, no. 4, pp. 379–395, 2013.

N. Abaid and M. Porfiri, “Leader-follower consensus over numerosity-constrained random networks,” Automatica, vol. 48, no. 8, pp. 1845–1851, 2012.

L. Ding, Q.-L. Han, and G. Guo, “Network-based leader-following consensus for distributed multi-agent systems,” Automatica, vol. 49, no. 7, pp. 2281–2286, 2013.

Y. Hu, H. Su, and J. Lam, “Adaptive consensus with a virtual leader of multiple agents governed by locally Lipschitz nonlinearity,” International Journal of Robust and Nonlinear Control, vol. 23, no. 9, pp. 978–990, 2013.

Z. Ji, H. Lin, and H. Yu, “Leaders in multi-agent controllability under consensus algorithm and tree topology,” Systems & Control Letters, vol. 61, no. 9, pp. 918–925, 2012.

W. Zhou, J. Mou, T. Wang, C. Ji, and J. Fang, “Target-synchronization of the distributed wireless sensor networks under the same sleeping-awaking method,” Journal of the Franklin Institute, vol. 349, no. 6, pp. 2004–2018, 2012.

F. Fagnani and S. Zampieri, “Randomized consensus algorithms over large scale networks,” IEEE Journal on Selected Areas in Communications, vol. 26, no. 4, pp. 634–649, 2008.

M. Challenger, E. Haytaoglu, G. Tokatli, O. Dagdeviren, and K. Erciyes, “A hybrid distributed mutual exclusion algorithm for cluster-based systems,” Mathematical Problems in Engineering, vol. 2013, Article ID 703414, 15 pages, 2013.

T. Botmart and P. Niamsup, “Delay-dependent synchronization for complex dynamical networks with interval time-varying and switched coupling delays,” Journal of Applied Mathematics, vol. 2013, Article ID 367457, 16 pages, 2013.

Z. Li, W. Ren, X. Liu, and L. Xie, “Distributed consensus of linear multi-agent systems with adaptive dynamic protocols,” Automatica, vol. 49, no. 7, pp. 1986–1995, 2013.

A. Chapman and M. Mesbahi, “Semi-autonomous consensus: network measures and adaptive trees,” IEEE Transactions on Automatic Control, vol. 58, no. 1, pp. 19–31, 2013.

Z. Li, W. Ren, X. Liu, and M. Fu, “Consensus of multi-agent systems with general linear and Lipschitz nonlinear dynamics using distributed adaptive protocols,” Institute of Electrical and Electronics Engineers, vol. 58, no. 7, pp. 1786–1791, 2013.

H. Wang and Y. Guo, “Consensus on scale-free network,” in Proceedings of the Amercia Control Conference (ACC '08), pp. 748–752, Seattle, Wash, USA, June 2008.

H. Yang, L. Lan, and S. Zhang, “Consensus of synchronization-preferential scale free networks,” Physics Procedia, vol. 3, no. 5, pp. 1913–1920, 2010.

J. Mou, W. Zhou, T. Wang, C. Ji, and D. Tong, “Consensus of the distributed varying scale wireless sensor networks,” Mathematical Problems in Engineering, vol. 2013, Article ID 862518, 9 pages, 2013.

X. F. Wang and G. Chen, “Synchronization in scale-free dynamical networks: robustness and fragility,” IEEE Transactions on Circuits and Systems I, vol. 49, no. 1, pp. 54–62, 2002.

Y.-W. Wang, H. O. Wang, J.-W. Xiao, and Z.-H. Guan, “Synchronization of complex dynamical networks under recoverable attacks,” Automatica, vol. 46, no. 1, pp. 197–203, 2010.

A. Cerpa and D. Estrin, “ASCENT: adaptive self-configuring sensor networks topologies,” IEEE Transactions on Mobile Computing, vol. 3, no. 3, pp. 272–285, 2004.

R. Horn and C. Johnson, Matrix Analysis, Cambridge University, New York, NY, USA, 1995.