13
IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016 231 Autonomous Channel Switching: Towards Efficient Spectrum Sharing for Industrial Wireless Sensor Networks Feilong Lin, Graduate Student Member, IEEE, Cailian Chen, Member, IEEE, Ning Zhang, Member, IEEE, Xinping Guan, Senior Member, IEEE, and Xuemin Shen, Fellow, IEEE Abstract—Industrial wireless sensor networks (IWSNs) are committed to bring the industry automation into the era of Industry 4.0 by providing the ubiquitous perception to improve the production efficiency. However, the proliferation of wireless devices in industrial applications makes the spectrum sharing in limited industrial, scientific, and medical (ISM) band a chal- lenging problem. In this paper, it is concerned with the intrinsic impact of the evenness of spectrum usage on the spectrum sharing performance in terms of channel accessing probability, spectrum utilization, and fairness of spectrum usage. In order to explore the explicit relationship between the evenness and spectrum shar- ing performance, a new concept of equilibrium is first defined to represent the achievable best evenness of spectrum usage. Then, a set of rules called local equilibrium-guided autonomous channel switching (LEQ-AutoCS) is devised, with which each accessed sen- sor autonomously equalizes the local channel occupations within its range of spectrum sensing without overhead on exchang- ing the sensors’ spectrum sensing reports. It is further proved that the equilibrium can be achieved by this concessive man- ner. Theoretical analysis and experimental results demonstrate that the proposed LEQ-AutoCS rules provide higher utilization and fairness of spectrum usage comparing to the existing spec- trum access approaches. Moreover, it is shown that LEQ-AutoCS rules assist the system to reduce the spectrum access delay to 1/2 of CSMA-based systems and 1/50 of TDMA-based systems, respectively. Index Terms—Autonomous channel switching, equilibrium, industrial wireless sensor networks (IWSNs), spectrum sharing. I. I NTRODUCTION T HE development of wireless sensor networks (WSNs) in the last decades is bringing the Internet of Things (IoT) to the world, which promotes the industry automation entering the Manuscript received July 07, 2015; revised September 07, 2015; accepted September 28, 2015. Date of publication October 13, 2015; date of current ver- sion March 23, 2016. This work was supported in part by the National Science Foundation (NSF) of China under Grant 61221003, Grant U1405251, Grant 61371085, Grant 61431008, Grant 61290322, and Grant 61273181, in part by the Ministry of Education of China under Grant NCET-13-0358, and in part by the Science and Technology Commission of Shanghai Municipality (STCSM), China, under Grant 13QA1401900. (Corresponding author: Cailian Chen.) F. Lin, C. Chen, and X. Guan are with the Department of Automation, Shanghai Jiao Tong University, Shanghai 200240, China, and also with the Key Laboratory of System Control and Information Processing, Ministry of Education of China, Shanghai 200240, China (e-mail: [email protected]; [email protected]; [email protected]). N. Zhang and X. Shen are with the Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON N2L 3G1, Canada (e-mail: [email protected]; [email protected]). Digital Object Identifier 10.1109/JIOT.2015.2490544 ear of Industry 4.0. Industrial WSNs (IWSNs), as the funda- mental efor the realization of IoT in industry, are endowed with the advantages in terms of rapid deployment, low-cost main- taining, flexibility, and scalability [1], [2]. They are taken as one of the most promising techniques for Industry 4.0 to ubiqui- tously perceive the industrial processes [3]. Recent applications in industry witness the improvement of productivity and effi- ciency by using IWSNs [4], [5]. Taking the hot strip mill of Bao Steel, Shanghai, China, shown in Fig. 1 as an example, hundreds of sensors are deployed to monitor different milling processes including reversing roughers R1 and R2, finishing mill, laminar cooling, and down coiler. In order to guarantee the quality of alloy steel, hundreds of sensors can be deployed to monitor the milling process to percept the strip temperature, thickness, milling pressure, and other process data to acquire the precise mathematic model and improve the precision of process control [6]. IWSNs can also provide a dedicated tem- perature evolution monitoring to support flexible milling [7]. For the general application of equipment health monitoring, IWSNs can work continuously to reduce the unexpected down- time. It is foreseeable that in the very near future IWSNs, would become a standard feature of smart factory in the era of Industry 4.0. However, the ever-increasing wireless communication demands necessitate efficient spectrum sharing strategies to improve spectrum efficiency of IWSN in limited industrial, scientific, and medical (ISM) band. The existing standard- ized industrial wireless protocols, such as WirelessHART [8], ISA100.11a [9], and WIA-PA [10], implement the spectrum sharing based on the superframe design. The slotted channels are periodically allocated to the wireless sensors for data packet delivery, which are efficient for the periodic data gathering in small-scale networks. To provide efficient spectrum shar- ing for event-driven data collection in large-scale networks, more flexible and powerful spectrum sharing strategies are expected. Recently, many works have been done for the effi- cient spectrum sharing, such as cooperative spectrum sharing to increase the spectrum utilization [11], [12], or game theory- based methods to improve the fairness of spectrum sharing [13], [14]. However, all these methods inevitably require fre- quent exchange of the spectrum sensing reports among entities to obtain a convergence result. For practical applications, they would cost considerable network resource (including spectrum resource and time), which is not acceptable in IWSNs due 2327-4662 © 2015 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.

Autonomous Channel Switching: Towards Efficient …bbcr.uwaterloo.ca/~xshen/paper/2016/acstes.pdf · IEEE INTERNET OF THINGS JOURNAL, ... Autonomous Channel Switching: Towards Efficient

  • Upload
    dophuc

  • View
    221

  • Download
    0

Embed Size (px)

Citation preview

IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016 231

Autonomous Channel Switching: Towards EfficientSpectrum Sharing for Industrial Wireless

Sensor NetworksFeilong Lin, Graduate Student Member, IEEE, Cailian Chen, Member, IEEE, Ning Zhang, Member, IEEE,

Xinping Guan, Senior Member, IEEE, and Xuemin Shen, Fellow, IEEE

Abstract—Industrial wireless sensor networks (IWSNs) arecommitted to bring the industry automation into the era ofIndustry 4.0 by providing the ubiquitous perception to improvethe production efficiency. However, the proliferation of wirelessdevices in industrial applications makes the spectrum sharingin limited industrial, scientific, and medical (ISM) band a chal-lenging problem. In this paper, it is concerned with the intrinsicimpact of the evenness of spectrum usage on the spectrum sharingperformance in terms of channel accessing probability, spectrumutilization, and fairness of spectrum usage. In order to explorethe explicit relationship between the evenness and spectrum shar-ing performance, a new concept of equilibrium is first defined torepresent the achievable best evenness of spectrum usage. Then,a set of rules called local equilibrium-guided autonomous channelswitching (LEQ-AutoCS) is devised, with which each accessed sen-sor autonomously equalizes the local channel occupations withinits range of spectrum sensing without overhead on exchang-ing the sensors’ spectrum sensing reports. It is further provedthat the equilibrium can be achieved by this concessive man-ner. Theoretical analysis and experimental results demonstratethat the proposed LEQ-AutoCS rules provide higher utilizationand fairness of spectrum usage comparing to the existing spec-trum access approaches. Moreover, it is shown that LEQ-AutoCSrules assist the system to reduce the spectrum access delay to1/2 of CSMA-based systems and 1/50 of TDMA-based systems,respectively.

Index Terms—Autonomous channel switching, equilibrium,industrial wireless sensor networks (IWSNs), spectrum sharing.

I. INTRODUCTION

T HE development of wireless sensor networks (WSNs) inthe last decades is bringing the Internet of Things (IoT) to

the world, which promotes the industry automation entering the

Manuscript received July 07, 2015; revised September 07, 2015; acceptedSeptember 28, 2015. Date of publication October 13, 2015; date of current ver-sion March 23, 2016. This work was supported in part by the National ScienceFoundation (NSF) of China under Grant 61221003, Grant U1405251, Grant61371085, Grant 61431008, Grant 61290322, and Grant 61273181, in part bythe Ministry of Education of China under Grant NCET-13-0358, and in part bythe Science and Technology Commission of Shanghai Municipality (STCSM),China, under Grant 13QA1401900. (Corresponding author: Cailian Chen.)

F. Lin, C. Chen, and X. Guan are with the Department of Automation,Shanghai Jiao Tong University, Shanghai 200240, China, and also with theKey Laboratory of System Control and Information Processing, Ministry ofEducation of China, Shanghai 200240, China (e-mail: [email protected];[email protected]; [email protected]).

N. Zhang and X. Shen are with the Department of Electrical and ComputerEngineering, University of Waterloo, Waterloo, ON N2L 3G1, Canada (e-mail:[email protected]; [email protected]).

Digital Object Identifier 10.1109/JIOT.2015.2490544

ear of Industry 4.0. Industrial WSNs (IWSNs), as the funda-mental efor the realization of IoT in industry, are endowed withthe advantages in terms of rapid deployment, low-cost main-taining, flexibility, and scalability [1], [2]. They are taken asone of the most promising techniques for Industry 4.0 to ubiqui-tously perceive the industrial processes [3]. Recent applicationsin industry witness the improvement of productivity and effi-ciency by using IWSNs [4], [5]. Taking the hot strip mill ofBao Steel, Shanghai, China, shown in Fig. 1 as an example,hundreds of sensors are deployed to monitor different millingprocesses including reversing roughers R1 and R2, finishingmill, laminar cooling, and down coiler. In order to guaranteethe quality of alloy steel, hundreds of sensors can be deployedto monitor the milling process to percept the strip temperature,thickness, milling pressure, and other process data to acquirethe precise mathematic model and improve the precision ofprocess control [6]. IWSNs can also provide a dedicated tem-perature evolution monitoring to support flexible milling [7].For the general application of equipment health monitoring,IWSNs can work continuously to reduce the unexpected down-time. It is foreseeable that in the very near future IWSNs,would become a standard feature of smart factory in the eraof Industry 4.0.

However, the ever-increasing wireless communicationdemands necessitate efficient spectrum sharing strategies toimprove spectrum efficiency of IWSN in limited industrial,scientific, and medical (ISM) band. The existing standard-ized industrial wireless protocols, such as WirelessHART [8],ISA100.11a [9], and WIA-PA [10], implement the spectrumsharing based on the superframe design. The slotted channelsare periodically allocated to the wireless sensors for data packetdelivery, which are efficient for the periodic data gatheringin small-scale networks. To provide efficient spectrum shar-ing for event-driven data collection in large-scale networks,more flexible and powerful spectrum sharing strategies areexpected. Recently, many works have been done for the effi-cient spectrum sharing, such as cooperative spectrum sharingto increase the spectrum utilization [11], [12], or game theory-based methods to improve the fairness of spectrum sharing[13], [14]. However, all these methods inevitably require fre-quent exchange of the spectrum sensing reports among entitiesto obtain a convergence result. For practical applications, theywould cost considerable network resource (including spectrumresource and time), which is not acceptable in IWSNs due

2327-4662 © 2015 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission.See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.

232 IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016

Fig. 1. Illustration of hot strip milling process.

to strict timeliness requirement. Contention-based spectrumaccess is an effective way for small-scale IWSNs, which pro-vides fast spectrum access. However, for large-scale networks,without global knowledge of spectrum states and efficient coor-dination, the channels cannot be fairly used which may leadto the congestion on some certain channels while some othersare relatively vacant. It has been demonstrated that contention-based spectrum access in large-scale networks results inlong spectrum accessing delay and low network throughput[15], [16].

This paper aims to develop a simple but effective wayto improve the spectrum sharing by the inspiration from thecollective behaviors in biological systems [17], such as lineforming of the flying geese and vortices forming of the fishschool. In the collective biological system, when one agentjoins or leaves the formation, each agent in the system willautonomously adapt its behavior (such as adjustment of posi-tion, direction, and speed) according to the local observationof neighbor agents’ states, and thus the system motion sustainsthe consensus. Based on this observation, a concession-basedspectrum sharing scheme is proposed to approach the collec-tive spectrum usage by sensors’ autonomous channel switching.Specifically, the concept of equilibrium of spectrum occupa-tion is defined to show the best evenness of spectrum usage.A set of rules named local equilibrium-guided autonomouschannel switching (LEQ-AutoCS) is devised, with which eachaccessed sensor switches the channel autonomously based onthe self-observation on limited spectrum range, thus to achievethe evenness of channel usage within this spectrum range. Wehave preliminarily studied the autonomous channel switching toimprove the evenness of spectrum usage in [18]. In this work,we design the specific consoles for accessed sensors to conductautonomous channel switching. The convergence of the equi-librium of the whole spectrum usage based on the proposedspectrum sharing scheme is proved. Finally, the improvementof utilization and fairness of spectrum usage are evaluatedby simulations and experiments based on universal softwareradio peripheral (USRP) and PCI extensions for instrumenta-tion (PXI) platform. We summarize the main contributions ofthis paper as follows.

1) First, inspired by the collective motion, we investigatethat an evener spectrum usage facilitates to improve thespectrum sharing performance in IWSNs, such as spec-trum access delay, utilization, and fairness of spectrumusage.

2) Then, a new concept of equilibrium is defined to repre-sent the achievable best evenness of spectrum usage. A setof rules called LEQ-AutoCS is devised for accessed sen-sors to approach the equilibrium by autonomous channelswitching based on local sensing results, which avoid theexchange of spectrum sensing reports.

3) Finally, both theoretical and experimental results validatethat with LEQ-AutoCS rules, the equilibrium of spectrumusage is always achievable and thus the spectrum sharingperformance criteria above are improved.

This paper is organized as follows. Section II gives abrief review on existing works. Section III presents the net-work model and performance criteria of spectrum sharing. InSection IV, the so-called LEQ-AutoCS rules are proposed.Theoretical analysis on the network performance based on theproposed rules is presented in Section V. In Section VI, numeri-cal and experiment results are presented. Conclusion and futureworks are given in Section VII.

II. RELATED WORKS

As the proliferation of WSNs in industrial applications, threestandardized protocols have been developed for efficient coor-dination of IWSNs, i.e., WirelessHART [8], ISA100.11a [9],and WIA-PA [10]. Based on IEEE 802.15.4 standard, the exist-ing standardized protocols implement the spectrum sharingby the design of superframe. In the superframe, the slottedchannels are allocated to network devices in reservation man-ner. Then, the network devices transmit or receive the datapackets under the superframe repeatedly. For example, thesuperframe scheduler in WirelessHART protocol allocates theguaranteed time slots (GTSs) to network devices. The pro-tocol of ISA100.11a introduces the slotted channel hoppingmechanism to enhance the communication robustness in theinterfered radio environment. Similar spectrum sharing mecha-nism is used in WIA-PA. In order to improve the transmissionreliability, redundant transmission scheme is executed to thereservation-based scheduling, which can decrease the spectrumutilization. In addition, to adapt to the network dynamics (e.g.,spectrum dynamics and data traffic dynamics), the superframescheduler has to update the superframe design frequently. Itis time-consuming for large-scale IWSNs. Motivated by thestrong demand and tremendous trend of industrial wirelessnetworking, how to enable the high-spectrum utilization in a

LIN et al.: AUTONOMOUS CHANNEL SWITCHING: TOWARDS EFFICIENT SPECTRUM SHARING FOR IWSNs 233

scalable and cost-effective manner is, therefore, a key researchissue for the development of IWSN.

In order to adapt to spectrum dynamics and improve thespectrum sharing efficiency, many distributed spectrum sharingapproaches have been proposed, either in the contention-basedmanner or the cooperative manner. In [19] and [20], differ-ent carrier sense multiple access (CSMA) based opportunisticspectrum sharing schemes are devised using the RR or randomspectrum sensing and access approach. However, the authorsin [15] and [16] have proved that for large-scale network, theCSMA-based channel access would bring in seriously collisionamong the new spectrum access requests, which results in lowtransmission probability. As a result, the performances in termsof spectrum access delay, network throughput, and spectrumutilization are all low.

The cooperative manner is considered to be more effi-cient for spectrum sharing since different network utilities canbe achieved by the cooperation. The spectrum utilization ofnetwork and the fairness of sensors’ resource allocation areconsidered in [11], [12], and [14]. The authors in [21]–[23]considered the fair spectrum sharing with varying traffics ofsensors. In [13], a distributed game-based channel allocationalgorithm is proposed for spectrum sharing, which leads tonegotiations among the sensors and finally reaches to a Nashequilibrium. The authors in [24] and [25] propose a flexible andfast channel access scheme based on multiagent imitation inmobile WSN. In [26], a biologically inspired spectrum sharingalgorithm is adopted to model the local cooperative spectrumsensing for WSNs to facilitate the dynamic resource allocation,and a swarming mechanism is devised for collision avoidanceand spatial reuse of spectrum resource. However, this spectrumsharing algorithm requires that each sensor has the knowl-edge of neighboring sensors’ observation on channel states. Allthe aforementioned distributed cooperative algorithms requiresensors to exchange spectrum sensing reports iteratively till aconsensus is achieved. By using these algorithms, the exchangeof spectrum sensing reports among the sensors occupies consid-erable spectrum and time resource, which inevitably decreasesthe spectrum efficiency. Moreover, the iteration process isalso time-consuming, which may result in long access delayand, thus, is not applicable for the timeliness requirement inindustrial applications.

Therefore, for large-scale IWSNs, a good spectrum sharingmethod should promote the spectrum utilization, improve thefairness of spectrum usage, decrease the spectrum access delay,and also be easy to implement with low overhead.

III. IWSN MODEL AND PROBLEM FORMULATION

In this work, we select the hot strip mill process monitor-ing in BaoSteel, Shanghai, China as our application scenario.As shown in Fig. 1, the milling process consists of several pro-cess sections, such as reversing roughers, finishing mill, laminarcooling, and down coiler. We design a three-layer network asshown in Fig. 2 to cater to the hot rolling production line.Specifically, the plant network is in charge of the configurationand management of production. The control network is respon-sible for the process control with the monitoring data from field

Fig. 2. Three-layer topology of industrial WSNs.

network. In the field network, a large amount of sensors aredeployed to perceive the production process and transmit thereports to the upper layers. As multiple process sections of theproduction line are naturally laid out one by one in the plant,we group the sensors around one section into a clustered sub-network named FieldNet as shown in Fig. 2. For each FieldNet,one access point (AP) is employed to collect the data pack-ets from the sensors. In this paper, we focus on the spectrumsharing problem of the FieldNet.

A. Network Model

Suppose that the FieldNet is time slotted and synchronized.The spectrum is divided into M nonoverlapping orthogonalchannels with equal bandwidth, i.e., {Cm},m = 1, 2, . . . ,Mwith the order from the lowest frequency channel to the high-est one. Without ambiguity, let Cm(t) = 0 represent the idlestate and Cm(t) = 1 represent the occupied state at the slot t,respectively. The symbol t is omitted for simplicity for the anal-ysis within one slot in the following. The AP is with multipleinterfaces which covers the channels assigned to the network.

The sensors transmit data over single channel but can sense anumber of consecutive channels. Without loss of generality, weassume that each sensor can simultaneously sense three con-secutive channels. It is noted that the method to be proposed iseasy to be extended to the scenarios of different sensing ranges.Here, each sensor always aligns the radio central frequency tothe transmission channel’s central frequency. Hence, one sen-sor transmitting on channel Cm can sense the states of channels{Cm−1, Cm, Cm+1}. If it switches its transmission channel toCm+1, its sensing channels become {Cm, Cm+1, Cm+2}.

Sensors work on event-driven manner. If one sensor has datato transmit, it enters to the accessing state to wait and seek oneidle channel for transmission. After it has successfully accesseda channel, it switches to the accessed state. At the accessedstate, the sensor also will sense the local spectrum and canswitch channel according to some proper rules which are to bedetermined in this paper.

B. Performance Criteria

Compared to other applications of WSNs, IWSNs havehigher requirements in terms of network throughput, channel

234 IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016

access delay, network scalability, etc. [1], [2]. However, thelimited radio spectrum resource in industry fields makes theIWSNs more challenging to improve the network performancewhile wireless devices are boosting. Therefore, the spectrumsharing scheme in IWSNs vitally concerns the network perfor-mance. In this work, we investigate that an evener spectrumusage normally facilitates the traffic load balance over the chan-nels and avoids the local congestion of spectrum access, thusdecreasing the channel access delay and improving the utiliza-tion and fairness of spectrum usage. We aim to increase thespectrum sharing efficiency by improving the evenness of spec-trum usage. Hence, the following three criteria are considered,i.e., spectrum access probability of accessing sensors, spec-trum utilization, and fairness, where a higher spectrum accessprobability means faster spectrum access for accessing sensors.

Assume that an accessing sensor randomly set a central chan-nel Cm (2 ≤ m ≤ M − 1) with probability 1

M−2 , and scans thespectrum range {Cm−1, Cm, Cm+1}. Obviously, the accessingsensor will successfully access a channel only if not all the threechannels’ states are equal to 1. Therefore, the spectrum accessprobability Pa for the accessing sensor is defined as

PaΔ= 1− 1

M − 2

M−1∑m=2

Cm−1CmCm+1. (1)

We quantify the utilization and fairness of spectrum usagefrom the viewpoint of statistics over T time slots. First, wedefine the channel utilization of Cm as the ratio of occupationtime over T time slots, i.e.,

UmΔ=

1

T

T∑t=1

Cm(t), m = 1, 2, . . . ,M. (2)

Then, the system utilization of the all channels is

UΔ=

1

M

M∑m=1

Um. (3)

To evaluate the fairness of channels’ usage, the Jain’s fairness[27] is exploited

UfΔ=

(∑M

m=1 Um)2

M∑M

m=1 U2m

. (4)

This metric identifies underutilized channels. Note that theresult of Jain’s fairness ranges from 1

M (worst fairness) to1 (best fairness). When only one channel is used, it resultsthe worst fairness, and when the channels are used equally, itachieves best fairness.

The objective of this paper is to explore the explicit relation-ship between the evenness of spectrum usage and the spectrumsharing performances mentioned above, and further to proposethe autonomous channel switching rules to achieve the evennessof spectrum usage.

IV. LEQ-AUTOCS

In this section, the details of LEQ-AutoCS rules are pre-sented. Note that the collective motion in biological systemscan be achieved by agents’ autonomous actions with local

information. In such systems, each collective individual inthe system autonomously adjusts its own dynamics to coordi-nate itself with the neighbors within its scope of observationand avoids collisions with them. In this way, the whole sys-tem exhibits a dynamic formation. Reconsidering the spectrumsharing problem from the perspective of collective motion, weregard the accessed sensors as agents and the desired collec-tive motion as the optimal evenness of channels’ occupation.When the collective motion reaches the optimum, the occupiedchannels are evenly distributed in the given spectrum range.Considering discretely channelized spectrum and channel sens-ing model, we give a definition of equilibrium to demonstratethe optimal evenness of spectrum usage in the following.

Definition 1 (Equilibrium): Suppose that N of M channelsare occupied by the sensors. The equilibrium of spectrum usageis defined as the state which satisfies any of the following twoconditions.

1) For N ≤ �M/2�, there do not exist any two neighboringoccupied channels.

2) For N > �M/2�, there do not exist any two neighboringfree channels and both C1 and CM are occupied.

Remark 1: The equilibrium may not be unique. It repre-sents the state with optimal evenness of spectrum usage. Forexample, when M = 7 and N = 4, the equilibrium of spec-trum usage is unique, i.e., {1, 0, 1, 0, 1, 0, 1}. But when N = 5,there are more than one channel occupation states achieving theequilibrium, such as {1, 1, 1, 0, 1, 0, 1} and {1, 0, 1, 1, 1, 0, 1},according to Definition 1.

According to the definition of equilibrium, we concern thespectrum usage of individual sensors within its sensing range(three channels), and present the definition of local equilibriumof spectrum usage as follows.

Definition 2 (Local equilibrium): Within the sensing range{Cm−1, Cm, Cm+1}, we have the following statement: 1) if nomore than one channel is occupied, any occupation state is thelocal equilibrium; 2) if two channels are occupied, the localequilibrium is unique, i.e., {1, 0, 1}; and 3) if all the three chan-nels are occupied, i.e., {1, 1, 1}, the local equilibrium is alsoachieved.

The key point of autonomous switching rules is to enableeach sensor to achieve the local equilibrium of spectrum usage,thus achieving the equilibrium of the whole spectrum range. Inthe following, we aim to propose a concession-based spectrumsharing scheme for the accessed sensors to switch channelsautonomously. We first define three consoles, and then presentthe so-called LEQ-AutoCS rules.

1) Potential indicator: The concept of potential is borrowedfrom collective motion in biological systems [17]. Itdescribes the relationship between the accessed sensorsn using channel Cm and its neighboring sensors in thesensing frequency range. Specifically

Elm

Δ=

{0, Cm−1 = 0

1, Cm−1 = 1(5)

Erm

Δ=

{0, Cm+1 = 0

−1, Cm+1 = 1(6)

Evm

Δ= El

m +Erm (7)

LIN et al.: AUTONOMOUS CHANNEL SWITCHING: TOWARDS EFFICIENT SPECTRUM SHARING FOR IWSNs 235

, −1, +1,

+ + + + 1

, , +1 , −1

Fig. 3. Time regulator for actions of sensors, where Am−1,m, Am+1,m,Dm,m+1, and Dm,m−1 represent accessed sensors’ switching, and Ao,m andDm,o represent accessing and departing sensors, respectively.

where Elm represents the potential from the neighbor-

ing sensor at lower channel Cm−1 to the sensor sn atCm, which propels the sensor sn to switch to the chan-nel Cm+1. Er

m has the similar effect but with oppositedirection from Cm+1 to Cm. Specially, define El

1 = 0and Er

M = 0. Evm represents the aggregated potential of

sensor sn.2) Time regulator: This console is to avoid the collisions

which may be caused by both accessing and accessed sen-sors trying to access the same channel simultaneously. Asshown in Fig. 3, a time fraction at the beginning of eachslot is set to regulate the sensors’ actions, which is dividedinto three sub-slots with equal length ts, 0 < ts � 1.The accessing sensor accesses channel and accessed sen-sor departs from channel within (t, t+ts). The accessedsensor switches to higher neighboring channel within(t+ts, t+2ts). The accessed sensor switches to lowerneighboring channel within (t+2ts, t+3ts). This timeregulator not only grants the priority to accessing sensorsfor acquiring the free channels, but also guarantees thatthere are no collisions among the accessing and accessedsensors.

3) Switching controller: This console is to control the paceof channel switching and prevent sensors from ping-pongswitching. Let vm = 0 represent the case that sn on chan-nel Cm did not switch at the last time slot, and vm = 1represent the case it switched from other channel at thelast slot. For vm = 1, the accessed sensor sn on channelCm is not permitted to switch channel at this slot.

Based on the three consoles, each accessed sensor is allowed toadjust the transmission channel according to the sensing resultand equalize the distribution of channels usage among its sens-ing range, to reach the local equilibrium of spectrum usage. TheLEQ-AutoCS rules are given as follows.

LEQ-AutoCS rules:

Rule I: In sub-slot (t+ts, t+2ts),a) If Ev

m = 0 or vm = 1, the sensor sn keeps on theincumbent channel Cm and set vm = 0,

b) If Evm = −1 and vm = 0, the sensor sn switches to the

channel Cm−1, and set vm−1 = 1,Rule II: In sub-slot (t+2ts, t+3ts),

a) If Evm = 0 or vm = 1, the sensor sn keeps on the

incumbent channel Cm and set vm = 0,b) If Ev

m = 1 and vm = 0, the sensor sn switches to thechannel Cm+1 and set vm+1 = 1,

Rule III: The sensor using channel C1 or CM does not switchat all circumstances.

Fig. 4. Autonomous channel switching. Case I: sensor sn switches from chan-nel Cm to channel Cm−1. Case II: sensor sn switches from channel Cm tochannel Cm+1.

For the case of Evm = 0, both of the neighboring channels of

Cm are free or occupied simultaneously, which is at the equi-librium state according to Definition 2. The accessed sensor snkeeps on the incumbent channel in this case. For the cases ofEv

m = 1 or Evm = −1, local equilibrium of spectrum usage has

not been achieved, and the accessed sensor sn is regulated toswitch channel to reach the local equilibrium with the chan-nels’ states of {1, 0, 1}. Fig. 4 presents a simple illustration forrules of autonomous channel switching, where Case I and CaseII in Fig. 4 correspond to (I.b) and (II.b) in the LEQ-AutoCSrules, respectively.

It is worth noting that the rules can be extended to sce-narios of different sensing ranges by set time regulator withdifferent subslots to coordinate the sensors’ channel access andswitching.

V. PERFORMANCE ANALYSIS

In this section, the convergence of spectrum usage is dis-cussed and then spectrum sharing performance is analyzed bythe queueing network model.

A. Convergence of the Collective Channel Occupations Underthe LEQ-AutoCS Rules

We assume that N sensors are initially randomly distributedover M channels at the beginning, and there are no newaccessing requests or departures. In the following, we showhow LEQ-AutoCS rules facilitate to achieve the equilibriumof spectrum usage. First, we introduce the concept of absolutepotential, which describes the potential on the systemic level.

Definition 3 (Absolute potential): For the accessed sensor snat the channel Cm, its absolute potential is defined as

EmΔ=

{|El

m|+ |Erm|, Cm = 1

0, Cm = 0(8)

and the absolute potential of the network system is defined as

Esys =M∑

m=1

Em. (9)

Then, we can obtain the following important properties.Lemma 1: Esys is monotonically nonincreasing under the

LEQ-AutoCS rules.

236 IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016

1 1 1 1 0 0 0 0

1 1 1 0 1 0 0 0

1 1 0 1 1 0 0 0

1 0 1 1 0 1 0 0

1 0 1 0 1 1 0 0

1 0 1 0 1 0 1 0

= 0

= 1

= 2

= 3

= 4

= 5

1 0

1

1 1

0

0

Fig. 5. Example to illustrate the channel structures and their evolution.

Proof: According to the time regulation of LEQ-AutoCSrules, channel switching occurs in subslot (t+ts, t+2ts)or in subslot (t+2ts, t+3ts). To be specific, in subslot(t+ts, t+2ts), if the state of the channels {Cm−1, Cm, Cm+1}is {1, 1, 0} and vm = 0, then the sensor using Cm will switchto Cm+1 and the state of the three channels becomes {1, 0, 1}.According to definitions in (5), (6), and (8), the channel switch-ing could cause the changing of potentials Em and Em+1, andtheir neighboring potentials Em−1 and Em+2. We consider thefollowing two cases.

1) Cm+2 = 0. Both of Em−1 and Em decrease by 1 andboth of Em+1 and Em+2 keep 0, then Esys decreasesby 2.

2) Cm+2 = 1. Both of Em−1 and Em decrease by 1. Onthe contrary, both of Em+1 and Em+2 increase by 1,then Esys does not change, but 2 units of the potentialtransfer from {Cm−1, Cm} to {Cm+1, Cm+2}. Hence,Esys is nonincreasing. Similarly, we have the nonin-creasing property of Esys in the subslot (t+2ts, t+3ts).Therefore, with the LEQ-AutoCS rules, Esys is monoton-ically nonincreasing. The proof is completed. �

The following theorem illustrates how the sensor’s collectiveoccupation affects the spectrum usage.

Theorem 1: With the LEQ-AutoCS rules, the spectrumusage state converges to the equilibrium. Moreover, the follow-ing results hold.

1) The convergence time to equilibrium is not longer than

Tmax =

{2N − 3, N ≤ �M/2�2(M −N)− 1, N > �M/2�. (10)

2) At the equilibrium state, it yields that

Esys =

{0, N ≤ �M/2�4N − 2M − 2, N > �M/2�. (11)

3) The spectrum access probability Pa satisfies that{Pa = 1, N ≤ �M/2�2(M−N)M−2 ≤ Pa ≤ min{ 3(M−N)

M−2 , 1}, N > �M/2�.(12)

Proof: The proof consists of four steps as follows.First, the proof by contradiction is taken to demonstrate that

the equilibrium is achievable. As the example shown in Fig. 5, ifthe system has not reached the equilibrium of spectrum usage,according to Definition 1, there coexist the structure of two

or more consecutive occupied channels, noted as C1, and thestructure of two or more consecutive free channels, noted asC0, or C1 = 0 or CM = 0 in the case of N > �M/2�. On onehand, if C1 meets C0, according to case 1) in the proof ofLemma 1, channel switching occurs, Esys decreases by 2, andboth sizes of C1 and C0 decrease by 1, as channel switchingfrom t = 0 to t = 1 shown in Fig. 5. On the other hand, if C1

and C0 coexist, they will meet eventually. Assuming that C1

and C0 are the closest pair but have not met yet, there mustexist one or more consecutive structures [0, 1] between C1 andC0. Then, as described by case 2) in the proof of Lemma 1,the potential will transit from low channels to high channels, sodoes the structure C1, until the closest C1 and C0 meet andthen both the sizes decrease by 1, as evolution from t = 1 tot = 2 shown in Fig. 5. Now, we can conclude that C1 and C0

cannot coexist as the system evolves. Similarly, we can provethat C1 = 0, CM = 0 and C1 will not coexist in the evolu-tion under the LEQ-AutoCS rules. When the system is in suchstates, the equilibrium of spectrum usage is achieved, as definedin Definition 1.

Second, in order to find the upper bound of the number ofslots needed to achieve the equilibrium, we analyze the worstcase in the following. According to the definition of Esys, itis easy to see that the maximum of Esys is only obtained inthe cases where all N sensors are distributed one by one withEmax

sys = 2N − 2. In such states, it takes the most steps for thesensors to achieve equilibrium. If N ≤ �M/2�, as the exampleof system evolution shown in Fig. 5, according to the proposedchannel switching rules, it takes two slots for the sensor to makea channel switching toward the spare frequency region. It canbe concluded that the system would take Tmax = 2N − 3 slotsto reach the equilibrium that avoids any two neighboring chan-nels occupied. On the other hand, if N > �M/2�, it can beconcluded Tmax = 2(M −N)− 1.

Third, when the system is at the equilibrium state. It is easyto obtain Esys = 0 if N ≤ �M/2�, and Esys = 4N − 2M − 2if N > �M/2�.

Fourth, we analyze Pa at the equilibrium state fromthe following two cases. 1) For N ≤ �M/2�, the equilib-rium implies that any two neighboring channels will notbe occupied simultaneously in the system. Thus, we haveCm−1CmCm+1 = 0, ∀2 ≤ m ≤ M − 1, which indicates thatthe accessing sensor can find at least one free channel inits sensing range with probability 1. 2) For N > �M/2�, theequilibrium implies that there are not any two neighboring-free channels and {C1, CM} are occupied. As N channels areoccupied, there are (M −N) free channels. In the follow-ing, we analyze the worst and best cases for Pa, respectively.a) When there is only one occupied channel between any twoadjacent free channels, the Pa for accessing sensor is mini-mum, which is Pa = 2(M−N)

M−2 . b) When there are more thanone occupied channel between any two adjacent-free channels,the spectrum access probability for new accessing sensor isthe maximum, Pa = 3(M−N)

M−2 for N >⌊2M3

⌋and Pa = 1 for⌊

M2

⌋ ≤ N ≤ ⌊ 2M3 ⌋. Hence, we have Pa = min{ 3(M−N)M−2 , 1}.

It thus completes the proof. �

LIN et al.: AUTONOMOUS CHANNEL SWITCHING: TOWARDS EFFICIENT SPECTRUM SHARING FOR IWSNs 237

Fig. 6. Queueing network model of FieldNet with LEQ-AutoCS rules.

B. Performance Evaluation of Spectrum Sharing

In this section, the performance analysis of spectrum sharingwith LEQ-AutoCS rules is presented to show the improvementof utilization and fairness of spectrum usage. For simplicity,each accessing sensor is set to wait and access on its initialchannel fixedly. Then, we investigate how the accessed sensorswork under the LEQ-AutoCS rules.

Considering each channel as a queueing server with virtualwaiting room of infinite length and sensors as customers, thesystem can be seen as a discrete time queueing network withmultiple servers as shown in Fig. 6. This queueing network fea-tures that the customer will switch server driven by states ofneighboring servers.

The Bernoulli probability model is applied to model thearrival processes of accessing sensors on each channel. Forexample, at each time slot on channel Cm, there will be oneaccessing sensor arriving with probability pm, and with prob-ability (1− pm) there will be no arrival. The distribution oftransmission time of all accessed sensors is in accordance withgeometric distribution. At each slot, for each accessed sensor, itwill depart the queueing network with probability μ, and withprobability 1− μ it will stay at least one additional time slot.Recalling the LEQ-AutoCS rules, whether an accessed sensorswitches only depend on the current states of its neighboringchannels. Hence, the network dynamics can be considered as aMarkovian process.

Denote λkm and μk

m as the arrival and departure probabil-ity of channel Cm when its queue length is k (k ≥ 0). Sincechannel switching only occurs when the target channel is inidle state, it is impossible that more than one sensors arriveat this channel in one slot. Hence, we have λk

m ∈ (0, 1) andμkm ∈ (0, 1). According to Theorem 2.3 in [28], each queueing

process in the queueing network is irreducible and aperiodicand has unique stationary and limiting distribution. From thestatistical perspective, let pm,m−1 and pm,m+1 represent theswitching probabilities from Cm to Cm−1 and Cm+1, respec-tively. When the queue length is 0, a sensor arriving at Cm canbe an accessing sensor or the accessed sensor from the neigh-boring channel. When the queue length is larger than 0, a sensorarriving at Cm must be the new accessing sensor joining thequeue. As for the departure, one sensor leaving Cm may leavethe network after finishing transmission or switch to the neigh-boring channel. Therefore, at different states of queue length k,the arrival and departure probabilities λk

m and μkm of a sensor

on Cm are

λkm =

{pm + pm−1,m + pm+1,m, k = 0

pm, k ≥ 1(13)

μkm =

{0, k = 0

μ+ pm,m−1 + pm,m+1, k ≥ 1.(14)

Denote Pm = (pi,jm ), i = 0, 1, 2, . . . , j = 0, 1, 2, . . . as theone-step matrix of transition probability of queueing process(Markovian process) on Cm. Specifically, p0,1m = λ0

mμ̄1m means

the probability that the queue length transits from 0 to 1,where μ̄1

m = 1− μ1m. Then p0,0m = 1− p0,1m is the probability

that the queue length still stays at 0 after one-step transition.Similarly, pk,k+1

m = λkmμ̄k+1

m and pk,k−1m = λ̄k

mμkm are proba-

bilities that the queue length transits from k to k + 1 and kto k − 1, respectively, where λ̄k

m = 1− λkm and μ̄k+1

m = 1−μk+1m . Then, pk,km = 1− pk,k+1

m − pk,k−1m is the probability that

queue length still stays at k after one-step transition. Hence, theone-step matrix of transition probability of queueing process oneach channel can be obtained as

Pm =

⎡⎢⎣1− λ0

mμ̄1m λ0

mμ̄1m 0 0

λ̄1mμ1

m 1− λ̄1mμ1

m − λ1mμ̄2

m λ1mμ̄2

m 0

0. . .

. . .. . .

⎤⎥⎦ .

(15)

Denote Πm = [π0m, π1

m, . . . , πkm, . . . ] as the probability dis-

tribution of different queue lengthes of Cm at the steady state.We have the balance equation [28] as follows:

ΠmPm = Πm. (16)

Normalizing (16) by∑∞

k=0 πkm = 1, we obtain

π0m =

⎛⎜⎜⎜⎝1 +

∞∑k=1

k−1∏j=0

λjm

(1− μj+1

m

)k∏

j=1

(1− λjm)μj

m

⎞⎟⎟⎟⎠

−1

(17)

πkm =

k−1∏j=0

λjm(1− μj+1

m )

k∏j=1

(1− λjm)μj

m

π0m, k ≥ 1 (18)

where m = 1, 2, . . . ,M. Since the LEQ-AutoCS rules onlyconcern whether the neighboring channels are idle or not, weuse π+

m to denote the probability that the channel is occupied.Substituting (13) and (14) into (17) and (18), we have

π0m =

(1 + γm

αm

1− αm

)−1

(19)

π+m = 1− π0

m (20)

where

αm =pm(1− μ− pm,m−1 − pm,m+1)

(1− pm)(μ+ pm,m−1 + pm,m+1)(21)

γm =pm + pm−1,m + pm+1,m

pm(22)

238 IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016

for all m = 1, 2, . . . ,M.Then, according to the conditions defined in the LEQ-

AutoCS rules, the switching probabilities at the steady state canbe calculated as follows:

pm,m+1 = (1− pm+1)π+m−1π

+mπ0

m+1 (23)

pm,m−1 = (1− pm−1)π0m−1π

+mπ+

m+1. (24)

Theoretically, we can substitute (19) and (20) to solve theequations of (23) and (24) to acquire pm,m+1 and pm,m−1

for all m ∈ {2, . . . ,M − 1}. However, the order of equationwill increase by each iteration, making the explicit solutionintractable. Alternatively, we can use MATLAB to get thenumerical solutions. The numerical examples are presentedin the following section. Then, the performance metrics ofspectrum sharing defined in (2)–(4) in Section III-B can bereformulated by the queueing network model, as shown in thefollowing proposition.

Proposition 1: The Um, U , and Uf in the queueing networkmodel can be reformulated as

Um = π+m (25)

U =1

M

M∑m=1

π+m (26)

Uf =(∑M

m=1 π+m)2

M∑M

m=1 π+m

2 . (27)

Proof: The proof is omitted since it is easy to obtainthe statistical utilization of each channel π+

m, and the systemutilization is the mean of {π+

m},m = 1, 2, . . . ,M . �

VI. EXPERIMENTAL RESULTS

A. Experimental Setup

In this work, we focus on the spectrum sharing within theFieldNet as shown in Fig. 2. Hence, we build a prototypesystem of FieldNet based on USRPs and PXI platform to vali-date the effectiveness of the proposed LEQ-AutoCS rules. Asshown in Fig. 7(a), the FieldNet consists of eight NI USRP2921 devices (taken as sensors equipped with software-definedwireless transceiver) and a PXI extensions platform (taken asthe AP). Fig. 7(b) shows the configuration of USRP. WithWXB daughter board acting as duplex RF transceiver front-end, USRP receives RF signal and converts it to the basebandsignal, then passes it to signal process module in LabVIEW.This module charges for spectrum sensing and decision making.Conversely, the signal process module generates the basebandsignal to USRP together with RF transceiver configurationparameters including operating radio frequency, bandwidth ofRF transceiver, and RF gain control. We set of 8 radio chan-nels in the experiments is from 2.4 to 2.44 GHz, with 5 MHzbandwidth of each channel. Each USRP has 5 MHz transmit-ting bandwidth and 15 MHz receiving bandwidth, respectively.The PXI platform with 5663E vector signal analyzer works asthe AP with 8 air interfaces, and it covers 40-MHz bandwidthin the experiments. The transmission power of each USRP is 0

Fig. 7. Experiment platform. (a) Prototype system. (b) USRP configuration.

dBm. Time slot is set to 50 ms and subslot for channel switch-ing is set to 5 ms. The period of each experiment is 100 000time slots. An accessing sensor will give up the accessing after10 tries.

The departure probability is identical since that channels arehomogeneous, and set μ = 0.125. We assume that the arrivalprobabilities of the channels, i.e., {pm},m = 1, 2, . . . , 8, fol-low the Gauss distribution

pm =1√2πσ

exp

(−(m− M

2 − 12

)22σ2

)

where variance σ is set to 0.5. Normalizing the maximal pm to0.8μ, we obtain a set of values of {pm} = {0.0001, 0.0001,0.0018, 0.1, 0.1, 0.0018, 0.0001, 0.0001}1 for the firstcase, where the sensors mainly arrive at channels C4 andC5. Normalizing the maximal pm to 1.5μ, we set anotherset of {pm} = {0.0001, 0.0001, 0.0034, 0.1875, 0.1875,0.0034, 0.0001, 0.0001} for the second case, where bothp4 and p5 are larger than μ, implying that C4 and C5 areoverloaded.

B. LEQ-AutoCS Rules Versus Dynamic Accessing-BasedStrategies

We compare the proposed scheme with two existing dynamicchannel accessing methods: RR method [19], [29], and pseudo-random (PR) sequence-based method [30]. With the RRmethod, accessing sensors perform spectrum sensing in a RR

1In the analysis of queueing networks, the arrival probability p is set to 0 <p < 1. In order to make sense of the accessing sensor arrival model in queueingnetworks, here the p1, p2, p7, p8 are chosen as a small positive number such as0.0001.

LIN et al.: AUTONOMOUS CHANNEL SWITCHING: TOWARDS EFFICIENT SPECTRUM SHARING FOR IWSNs 239

TABLE ISTATISTICS OF NUMBER OF CHANNEL SWITCHINGS

way from low-frequency channel to high-frequency channelto search for available channels. With the PR sequence-basedmethod, accessing sensors carry out spectrum sensing accord-ing to the predefined PR sequence to search for availablechannels. Let “LS” be short for LEQ-AutoCS rules and “NS”represent the strategy without spectrum sharing. We investigatesix scenarios with different spectrum sharing strategies: “NS,”“RR,” “PR,” “LS”, “RR+LS,” and “PR+LS,” where the lattertwo strategies adopt the LEQ-AutoCS rules together with “RR”and “PR” access control methods, respectively.

In the experiments, the statistical numbers of channel switch-ings between the neighboring channels are provided in Table I,where Sij denotes the channel switching from Ci to Cj . Thestatistical analysis of channel switching probabilities is shownin Fig. 8. It can be seen that with LEQ-AutoCS rules, accessedsensors are capable of switching from high-crowded channelsto relatively sparse ones. Specifically, on the lower channelsC1 − C4, the channel switching probabilities from higher chan-nels to lower ones are lager, and on the higher channels C5 −C8, the channel switching probabilities from lower channels tohigher ones are lager.

The theoretical channel switching probabilities are also pre-sented in Table II. From the comparison result shown in Fig. 8,it can be seen that the channel switching probabilities from theexperiments are basically consistent with the theoretical results.

Then, we evaluate metrics: channel utilization Um, systemutilization U , and Jain’s fairness Uf . The comparison results ofchannel utilization are shown in Fig. 9. From Fig. 9(a), it can beseen that in the scenarios “NS,” “RR,” and “PR,” we have sim-ilar channel utilization, and “LS,” “RR+LS,” and “PR+LS” aresimilar in case I. However, in the scenarios with LEQ-AutoCSrules, the loads on different channels are effectively balancedand thus the channel utilization is more even. From Fig. 9(b), incase II when the arrival rate is increased, C4 and C5 are over-loaded; but not surprisingly, the LEQ-AutoCS rules effectivelyalleviate the overcrowded phenomenon by balancing channelutilization among M channels. The theoretical results accord-ing to calculation in (25) are also shown by the dash linesnoted by “Theo.” Note that in the theoretical analysis, only thechannel switching of accessed sensors with LEQ-autoCS rulesis considered; each accessing sensor is set to wait and accesson its initial channel fixedly. Hence, the results show that the“Theo” lines for both cases are not as even as the lines of “LS,”“RR+LS,” and “PR+LS.” However, “Theo” lines indicate thateven in such scenario, the LEQ-autoCS rules achieve more evenchannel utilization than the scenarios without them.

Fig. 8. Experiments statistics of switching probability. (a) Switching probabil-ity for case 1. (b) Switching probability for case 2.

TABLE IITHEORETICAL CHANNEL SWITCHING PROBABILITIES

Fig. 10 shows the statistics of utilization and fairness of spec-trum usage. For case I, the system utilization is similar fordifferent scenarios because there are few lost packets. However,as sensors mainly arrive at channels C4 and C5, the strategies“NS,” “RR,” and “PR” cannot rapidly response to the trafficloads, which results in low fairness. On the other hand, thestrategies with “LS” achieve high fairness of channel usageby autonomous channel switching. As the arrival rates increasein case II, the system utilization of “NS” is obviously lowerthan other strategies. With other spectrum sharing strategies,

240 IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016

Fig. 9. Channel utilization of six scenarios for both cases. (a) Channel utiliza-tion of case I. (b) Channel utilization of case II.

the congestion is alleviated. Different scenarios lead to differ-ent fairness of spectrum usage. The best performance can beachieved when “LS” works together with “RR” or “PR.”

Fig. 11 shows the distribution of the waiting time on thechannels. Both cases confront with unbalanced distribution ofthe waiting time due to the different loads on different channels.Especially for case II, the waiting time for channels C4 andC5 are even extremely large as both channels are overloaded.However, with the spectrum sharing strategies, the traffic loadscan be balanced. Then, the waiting time is effectively reducedand its distribution becomes more even. It can also be seen thatthe LEQ-AutoCS rules perform better than “RR” and “PR,” andthe best efforts can be obtained by “LS+RR” and “LS+PR.”Intuitively, congestion on specific channels would result in lowchannel access probability. In the following, we evaluate thefailed accesses and the mean waiting time of sensors. Theresults are listed in the Tables III and IV. There are lots of failedaccesses in the “NS” since the congestion occurs. With LEQ-AutoCS rules, the congestion is relieved and the failed accessesare greatly reduced for both cases (for case I, the failed accessis perfectly avoided). This implies that LEQ-AutoCS rules pro-vide a higher spectrum access probability for sensors. Although“RR” and “PR” can also effectively reduce the failed accesses,the LEQ-AutoCS rules bring lower mean waiting delay for sen-sors as shown in Table IV. With the LEQ-AutoCS rules, the

Fig. 10. System utilization and fairness of spectrum usage of six scenarios forboth cases. (a) System utilization. (b) Fairness of spectrum usage.

Fig. 11. Waiting time of six scenarios for both cases. (a) Waiting time of caseI. (b) Waiting time of case II.

LIN et al.: AUTONOMOUS CHANNEL SWITCHING: TOWARDS EFFICIENT SPECTRUM SHARING FOR IWSNs 241

TABLE IIIFAILED ACCESSES WITH DIFFERENT STRATEGIES

TABLE IVMEAN ACCESS DELAY OF SENSORS WITH DIFFERENT STRATEGIES

TABLE VMEAN WAITING TIME OF SENSORS ON EACH CHANNEL

mean waiting delay of sensors is lower than 1/2 of the delaybased on “RR” and “PR,” since the LEQ-AutoCS rules promotethe evener channels’ usage and provide lager channel accessprobability.

In summary, the LEQ-AutoCS rules can be applied toimprove the spectrum utilization, fairness of spectrum usageand the spectrum access probability. Moreover, the pro-posed rules are compatible with other accessing control basedschemes to further improve the performance.

C. LEQ-AutoCS Rules Versus TDMA Reservation-BasedStrategy

In this section, the comparison between LEQ-AutoCS rulesand TDMA reservation-based strategy for spectrum sharingis studied. The TDMA reservation-based strategy employscontention-free scheduling method as used in WirelessHART[8]. Specifically, each channel is allocated to the fixed sensorsby designing a multichannel superframe. The superframe con-sists of several periods named GTSs. The GTSs on one channelare scheduled to the sensors, considering their workloads. Forsimplicity, we set the arrival rate at each channel to be equaland the arrival of transmission tasks of each sensor is an inde-pendent Bernoulli random process. In this experiment, we havetwo sensors on each channel. The total rates of all sensors are0.20 for Case I and 0.38 for Case II, respectively. The packetnumber of each transmission, i.e., 1/μ, is fixed to 8. Underthese settings, we observe the spectrum access delay of the twospectrum sharing strategies.

The statistical results are presented in Table. V. The spec-trum sharing by LEQ-AutoCS rules achieves a much lowermean access delay than that by TDMA reservation based strat-egy. Particularly, with LEQ-AutoCS rules, the average delay ofall sensors (noted by “Ave.” in Table. V) is lower than 1/50of that by TDMA reservation based strategy. This is because

the TMDA reservation based spectrum access is normally suit-able for the periodic data delivery. As for the case of randomdata delivery, it is inadequate to quickly response to the ran-dom arrival of transmission task by the TDMA strategy, asthe GTSs are scheduled periodically and statically. Hence, theLEQ-AutoCS rules outperform the TMDA reservation basedstrategy on the performance of spectrum access delay.

D. Discussion for the Scenarios With Interference

If there exists a wide-band interference, it would block thedata transmissions and greatly decrease the performance ofcommunications with different spectrum sharing methods. Inthis section, we investigate how LEQ-AutoCS rules work inthe scenarios with narrow-band interference. For example, theinterference signal exists on channel Cm, then transmissions setup on Cm will be blocked. Since the sensing range of each sen-sor covers three channels, the sensor on Cm−1 will observe thatCm is occupied, and so will sensor on Cm+1 do. They will notswitch to Cm according to the rules. As a result, the channelsare divided into two segments, C1 − Cm−1 and Cm+1 − CM .The sensors in each segment would approach to a new equi-librium of channels’ usage under the LEQ-AutoCS rules. Withspectrum sensing ability, each sensor will autonomously avoidthe interfered channel. But when the interference disappears,the channel will be reused. Then, the LEQ-AutoCS rules wouldpromote the even usage of the whole spectrum and approachto the equilibrium. In other words, the LEQ-AutoCS rules canadapt to the scenarios with narrow-band interference, where theinterference is just considered as a stubborn user which doesnot switch channel.

VII. CONCLUSION

An even-spectrum-usage-targeted spectrum sharing schemehas been proposed for IWSNs, so that the spectrum utiliza-tion and fairness of spectrum usage, and probability of spec-trum access for new transmission requests can be improvedcompared to standardized industrial wireless protocols. Theso-called LEQ-AutoCS rules have been devised for accessedsensors to autonomously switch channels by imitating thebehavior of biological agents to achieve collective motion withonly local observation and action. It has been demonstrated thatthe equilibrium of spectrum usage can be achieved under theLEQ-AutoCS rules. Moreover, the lower bound of spectrumaccess probability at the equilibrium and the upper bound of theconvergence time to equilibrium have been derived as well. Theproposed method provides an effective scaling way for large-scale industrial wireless applications with limited spectrumresource. The experiment results demonstrate the effectivenessof the proposed spectrum sharing scheme. In our future work,we will investigate the issue of autonomous channel switchingdesign with the consideration of sensors’ imperfect sensing.

REFERENCES

[1] I. Stojmenovic, “Machine-to-machine communications with in-networkdata aggregation, processing and actuation for large scale cyber-physicalsystems,” IEEE Internet Things J., vol. 1, no. 2, pp. 122–128, May 2014.

242 IEEE INTERNET OF THINGS JOURNAL, VOL. 3, NO. 2, APRIL 2016

[2] V. Ç. Güngör and G. P. Hancke, Industrial Wireless Sensor Networks:Applications, Protocols, and Standards. Boca Raton, FL, USA: CRC,2013.

[3] A. Rajandekar and B. Sikdar, “A survey of MAC layer issues and proto-cols for machine-to-machine communications,” IEEE Internet Things J.,vol. 2, no. 2, pp. 175–186, Apr. 2015.

[4] J. Pan, R. Jain, S. Paul, T. Vu, A. Saifullah, and M. Sha, “An Internet ofThings framework for smart energy in buildings: Designs, prototype, andexperiments,” IEEE Internet Things J., Mar. 2015, to be published.

[5] A. Aijaz et al., “Cognitive machine-to-machine communications forInternet-of-Things: A protocol stack perspective,” IEEE Internet ThingsJ., vol. 2, no. 2, pp. 103–112, Apr. 2015.

[6] C. Chen, S. Zhu, X. Guan, and X. S. Shen, Wireless Sensor Networks:Distributed Consensus Estimation. New York, NY, USA: Springer, 2014.

[7] C. Suryanarayana, “Mechanical alloying and milling,” Prog. Mater. Sci.,vol. 46, no. 1, pp. 1–184, Jan. 2001.

[8] D. Chen, M. Nixon, S. Han, A. K. Mok, and X. Zhu, “WirelessHART andIEEE 802.15. 4e,” in Proc. 31st IEEE Int. Conf. Ind. Technol. (ICIT’14),Busan, Korea, Feb. 26/Mar. 1, 2014, pp. 760–765.

[9] P. T. A. Quang and D.-S. Kim, “Throughput-aware routing for indus-trial sensor networks: Application to ISA100. 11a,” IEEE Trans. Ind.Informat., vol. 10, no. 1, pp. 351–363, Feb. 2014.

[10] W. Liang, X. Zhang, Y. Xiao, F. Wang, P. Zeng, and H. Yu, “Surveyand experiments of WIA-PA specification of industrial wireless network,”Wireless Commun. Mobile Comput., vol. 11, no. 8, pp. 1197–1212, Aug.2011.

[11] L. Cao and H. Zheng, “Distributed rule-regulated spectrum sharing,”IEEE J. Sel. Areas Commun., vol. 26, no. 1, pp. 130–145, Jan. 2008.

[12] N. Zhang, H. Liang, N. Cheng, Y. Tang, J. W. Mark, and X. S. Shen,“Dynamic spectrum access in multi-channel cognitive radio networks,”IEEE J. Sel. Areas Commun., vol. 32, no. 11, pp. 2053–2064, Nov. 2014.

[13] J. Chen, Q. Yu, P. Cheng, Y. Sun, Y. Fan, and X. Shen, “Game theoreticalapproach for channel allocation in wireless sensor and actuator networks,”IEEE Trans. Autom. Control, vol. 56, no. 10, pp. 2332–2344, Oct. 2011.

[14] J. Chen, Q. Yu, B. Chai, Y. Sun, Y. Fan, and X. Shen, “Dynamic chan-nel assignment for wireless sensor networks: A regret matching basedapproach,” IEEE Trans. Parallel Distrib. Syst., vol. 26, no. 1, pp. 95–106,Jan. 2015.

[15] A. Faridi et al., “Comprehensive evaluation of the IEEE 802.15. 4 MAClayer performance with retransmissions,” IEEE Trans. Veh. Technol.,vol. 59, no. 8, pp. 3917–3932, Oct. 2010.

[16] G. Anastasi, M. Conti, and M. Di Francesco, “A comprehensive analy-sis of the MAC unreliability problem in IEEE 802.15. 4 wireless sensornetworks,” IEEE Trans. Ind. Informat., vol. 7, no. 1, pp. 52–65, Feb.2011.

[17] T. Vicsek and A. Zafeiris, “Collective motion,” Phys. Rep., vol. 517,no. 3–4, pp. 71–140, Aug. 2012.

[18] F. Lin, C. Chen, L. Li, H. Xu, and X. Guan, “A novel spectrum sharingscheme for industrial cognitive radio networks: From collective motionperspective,” in Proc. IEEE Int. Conf. Commun. (ICC’14), Sydney,N.S.W., Australia, Jun. 10–14, 2014, pp. 203–208.

[19] Q. Zhao, S. Geirhofer, L. Tong, and B. M. Sadler, “Opportunistic spec-trum access via periodic channel sensing,” IEEE Trans. Signal Process.,vol. 56, no. 2, pp. 785–796, Feb. 2008.

[20] C. Wu, H. Yan, and H. Huo, “A multi-channel MAC protocol designbased on IEEE 802.15. 4 standard in industry,” in Proc. 10th IEEEInt. Conf. Ind. Informat. (INDIN’12), Beijing, China, Jul. 25–27, 2012,pp. 1206–1211.

[21] L. X. Cai, X. Shen, J. W. Mark, L. Cai, and Y. Xiao, “Voice capacity anal-ysis of wlan with unbalanced traffic,” IEEE Trans. Veh. Technol., vol. 55,no. 3, pp. 752–761, May 2006.

[22] H. Jiang, P. Wang, and W. Zhuang, “A distributed channel access schemewith guaranteed priority and enhanced fairness,” IEEE Trans. WirelessCommun., vol. 6, no. 6, pp. 2114–2125, Jun. 2007.

[23] Y. Shen, G. Feng, B. Yang, and X. Guan, “Fair resource allocation andadmission control in wireless multiuser amplify-and-forward relay net-works,” IEEE Trans. Veh. Technol., vol. 61, no. 3, pp. 1383–1397, Mar.2012.

[24] M. Dong, K. Ota, L. T. Yang, S. Chang, H. Zhu, and Z. Zhou, “Mobileagent-based energy-aware and user-centric data collection in wirelesssensor networks,” Comput. Netw., vol. 74, pp. 58–70, Dec. 2014.

[25] M. Dong, K. Ota, H. Li, S. Du, H. Zhu, and S. Guo, “RENDEZVOUS:Towards fast event detecting in wireless sensor and actor networks,”Computing, vol. 96, no. 10, pp. 995–1010, Oct. 2014.

[26] P. Di Lorenzo, S. Barbarossa, and A. Sayed, “Bio-inspired decentralizedradio access based on swarming mechanisms over adaptive networks,”IEEE Trans. Signal Process., vol. 61, no. 12, pp. 3183–3197, Jun.2013.

[27] R. Jain, D.-M. Chiu, and W. Hawe, “A quantitative measure of fairnessand discrimination for resource allocation in shared computer systems,”Digital Equipment Corporation, Tech. Rep. TR-301, Sep. 1984.

[28] H. Daduna, Queueing Networks with Discrete Time Scale: ExplicitExpressions for the Steady State Behavior of Discrete Time StochasticNetworks. Berlin, Germany: Springer-Verlag, 2001.

[29] Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer(PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs). IEEE Standard 802.15.4, Sep. 2006.

[30] C. Tang et al., “Comparative investigation on CSMA/CA-based oppor-tunistic random access for Internet of Things,” IEEE Internet Things J.,vol. 21, no. 1, pp. 33–41, May 2014.

Feilong Lin (GSM’12) received the B.Sc. and M.Sc.degrees in electronic and information engineeringfrom Xidian University, Xi’an, China, in 2004 and2007, respectively, and is currently working towardthe Ph.D. degree in automation at Shanghai Jiao TongUniversity, Shanghai, China.

His research interests include industrial wirelesssensor networks, spectrum resource allocation, andmultichannel transmission scheduling for industrialwireless applications.

Cailian Chen (S’03–M’06) received the B.Eng. andM.Eng. degrees in automatic control from YanshanUniversity, Qinhuangdao, China, in 2000 and 2002,respectively, and the Ph.D. degree in control andsystems from the City University of Hong Kong,Kowloon, Hong Kong, in 2006.

In 2008, she joined the Department of Automation,Shanghai Jiao Tong University, Shanghai, China,where she is a Full Professor. She has authored and/orcoauthored two research monograph and over 100referred international journal and conference papers

in these areas. Her research interests include industrial wireless sensor andactuator network, Internet of Vehicles for ITS applications, and control andcommunication design for cyber-physical systems.

Dr. Chen is on the Editorial Board of the IEEE TRANSACTIONS ON

VEHICULAR TECHNOLOGY and Peer-to-Peer Networking and Applications(Springer), and serves as a Track TPC Co-Chair of IEEE VTC 2016. Shewas one of the First Prize recipients of a Natural Science Award from theMinistry of Education of China in 2007. She was the recipient of the IEEETRANSACTIONS ON FUZZY SYSTEMS Outstanding Paper Award in 2008.She is a New Century Excellent Talent in University of China honored bythe Ministry of Education of China, Pujiang Scholar and Young ScientificRising Star honored by the Science and Technology Commission of ShanghaiMunicipal, China, and SMC Outstanding Young Faculty of Shanghai Jiao TongUniversity, China.

Ning Zhang (GSM’12–M’14) received the B.Sc.degree from Beijing Jiaotong University, Beijing,China, in 2007, the M.Sc. degree from theBeijing University of Posts and Telecommunications,Beijing, China, in 2010, and the Ph.D. degree fromthe University of Waterloo, Waterloo, ON, Canada,in 2015.

His research interests include dynamic spectrumaccess, 5G, physical layer security, and vehicularnetworks.

LIN et al.: AUTONOMOUS CHANNEL SWITCHING: TOWARDS EFFICIENT SPECTRUM SHARING FOR IWSNs 243

Xinping Guan (M’03–SM’04) received the Ph.D.degree in control and systems from the HarbinInstitute of Technology, Harbin, China, in 1999.

In 2007, he joined the Department of Automation,Shanghai Jiao Tong University, Shanghai, China,where he is currently a Chair Professor, the DeputyDirector of University Research Management Office,the Director of the Key Laboratory of SystemsControl and Information Processing, Ministry ofEducation of China, and the Leader of the Design,Control and Optimization of Network System

National Innovation Team. Before that, he was a Professor and the Deanof Electrical Engineering, Yanshan University, Qinhuangdao, China. He hasauthored and/or coauthored 3 research monographs, more than 160 papers inIEEE TRANSACTIONS and other peer-reviewed journals, and numerous con-ference papers. His research interests include cyber-physical systems, wirelessnetworking and applications in smart city and smart factory, and underwatersensor networks.

Dr. Guan has finished/been working on many national key projects as aprincipal investigator. He is the leader of the prestigious Innovative ResearchTeam of the National Natural Science Foundation of China (NSFC). Heis a Committee Member of the Chinese Automation Association Counciland the Chinese Artificial Intelligence Association Council. He was on theEditorial Board of the IEEE TRANSACTIONS ON SYSTEMS MAN AND

CYBERNETICS—C and several Chinese journals. He also serves as an IPC/TPCMember of many conferences. He was the recipient of the First Prize of theNatural Science Award from the Ministry of Education of China in 2006 andthe Second Prize of the National Natural Science Award of China in 2008,the IEEE TRANSACTIONS ON FUZZY SYSTEMS Outstanding Paper Awardin 2008. He is a National Outstanding Youth honored by the National ScienceFoundation (NSF) of China, Changjiang Scholar by the Ministry of Educationof China, and State-level Scholar of the New Century Bai Qianwan TalentProgram of China.

Xuemin (Sherman) Shen (M’97–SM’02–F’09)received the B.Sc. degree in electrical engineeringfrom Dalian Maritime University, Dalian, China, in1982, and the M.Sc. and Ph.D. degrees from RutgersUniversity, New Brunswick, NJ, USA, in 1987 and1990, respectively, both in electrical engineering.

He is a Professor and University Research Chairwith the Department of Electrical and ComputerEngineering, University of Waterloo, Waterloo, ON,Canada. He was the Associate Chair for GraduateStudies from 2004 to 2008. His research interests

include resource management in interconnected wireless/wired networks, wire-less network security, social networks, smart grid, and vehicular ad hoc andsensor networks.

Dr. Shen served as the Technical Program Committee Chair/Co-Chair forIEEE Globecom’16, IEEE Infocom’14, IEEE VTC’10 Fall, and Globecom’07,the Symposia Chair for IEEE ICC’10, the Tutorial Chair for IEEE VTC’11Spring and IEEE ICC’08, the General Co-Chair for Chinacom’07 andQShine’06, the Chair for IEEE Communications Society Technical Committeeon Wireless Communications, and P2P Communications and Networking.He also serves/served as the Editor-in-Chief for IEEE NETWORK, Peer-to-Peer Networking and Application, and IET Communications; a Founding AreaEditor for the IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS;an Associate Editor for the IEEE TRANSACTIONS ON VEHICULAR

TECHNOLOGY, Computer Networks, ACM/Wireless Networks, etc., andthe Guest Editor for the IEEE JOURNAL ON SELECTED AREAS IN

COMMUNICATIONS, IEEE Wireless Communications, IEEE CommunicationsMagazine, ACM Mobile Networks and Applications, etc. He was the recipi-ent of the Excellent Graduate Supervision Award in 2006, and the OutstandingPerformance Award in 2004, 2007, 2010, and 2014 from the University ofWaterloo, the Premier’s Research Excellence Award (PREA) in 2003 fromthe Province of Ontario, Canada, and the Distinguished Performance Awardin 2002 and 2007 from the Faculty of Engineering, University of Waterloo.He is a registered Professional Engineer of Ontario, Canada, an EngineeringInstitute of Canada Fellow, a Canadian Academy of Engineering Fellow, aRoyal Society of Canada Fellow, and a Distinguished Lecturer of the IEEEVehicular Technology Society and Communications Society.