TY - JOUR AU - Tamaghna, Acharya, AB - Abstract Spectrum sensing (SS) is often considered to be one of the highly challenging issues in cognitive radio networks (CRNs), which is being extensively investigated to solve the growing problem RF spectrum scarcity in the next-generation wireless networks. Recently, spectrum prediction assisted cooperative spectrum sensing (CSS) is emerging as an effective way of SS, enabling efficient utilization of two critical resources of SS: time and energy. In this paper, we evaluate the reliability of hidden Markov model (HMM)-based CSS in CRNs, in the presence of random malfunctioning of secondary user (SU) nodes participating in the process. In view of the poor performance of the CSS, especially at low signal-to-noise ratio (SNR) values, we propose a new scheme to detect the possible presence of faulty nodes in the CSS system with high accuracy and quarantine them to maintain the reliability of the spectrum prediction process. The proposed scheme suggests a novel integration of the forward algorithm of HMM with fuzzy-C means clustering technique to design a robust spectrum prediction assisted CSS in CRNs. Simulation results confirm that our scheme delivers a significantly improved receiver operating characteristics compared to a prominent scheme even in the presence of high percentage of failure of SU nodes. 1. INTRODUCTION Next generation wireless networks are expected to overcome the growing problem of RF spectrum scarcity, to a great extent, by the possible implementation of the principle of Dynamic Spectrum Access [1], through Cognitive Radio [2] technology. A cognitive radio network (CRN) opportunistically utilizes the licensed spectrum of primary user (PU) for the unlicensed secondary users (SUs). One of the major tasks of CRN is spectrum sensing (SS) which is a technique to detect the presence of PU signal on the spectrum. A simple and useful method for SS is energy detection (ED) [3] where the energy of any PU signal is calculated and compared with a predefined threshold to determine the possible presence of the PU. However, the reliability of SS is affected severely by multi-path fading, shadowing and receiver uncertainty problems. Interference to PU is inevitable if SU node does not release its occupied spectrum due to failure in detecting PU’s presence. This leads to deterioration of the PU’s Quality of Service (QoS). Cooperative spectrum sensing (CSS) is a popular technique proposed to improve the reliability of the spectrum sensing operation by exploiting spatial diversity of the received PU signal at multiple SU or at single SU and its associated relay nodes. A survey of the various methods of CSS may be found in [4]. However, these spectrum sensing techniques consume significant amount of energy and time for sensing and subsequent processing of the sensed signal. To overcome these shortcomings, recently, prediction-based spectrum sensing technique [5–7] is emerging as a promising solution. Using this, the future PU state (active/idle) could be predicted with reasonable level of accuracy, by analyzing the past sensing outputs. This enables a SU node not to perform SS on PU channels, that are predicted to be busy, and thus, sensing time and energy can be reduced significantly. Furthermore, with successful prediction of spectrum occupancy pattern of a PU node, SU node, occupying the PU spectrum, can release it free before the PU resumes its transmission. Thus, the said interference to PU could be avoided to a great extent. A survey on the existing spectrum prediction techniques in CRN can be found in [8]. HMM-based spectrum prediction is considered to be one of the popular techniques. Reports of success of HMM-based prediction assisted CSS are largely based on the common presumption that all the SU nodes participating in the CSS process are functioning in the desired manner. However, sudden malfunctioning of one or more SU nodes is nothing but natural. But its impact on the accuracy of the spectrum prediction has not yet been fully explored in the open literature. For this, in our current study, the performance of hidden Markov model (HMM)-based spectrum predictor for CSS is evaluated in the presence of faulty nodes, forwarding useless random data on spectrum sensing to the fusion center (FC). Simulation result shows a significant degradation of system reliability at low signal-to-noise ratio (SNR) even with 20% faulty nodes. This motivates us to further investigate the problem of detection of faulty SU nodes for maintaining reliability of spectrum prediction technique in CRNs. 1.1. Related work HMM [9] is a statistical tool that has already found extensive applications in speech recognition, pattern recognition, computational molecular biology, finance etc. It is also explored in recent studies on CRNs in predicting true state (active/idle) of PU assuming the sensing channel between PU to SU, Markovian. In [10], the authors, possibly, first proposed a HMM-based spectrum prediction algorithm aiming to avoid the interference from and to the PUs caused due to conventional carrier sense multiple access (CSMA)-based spectrum access by SUs. In [11], the authors confirmed existence of Markovian chain through extensive real-time measurements in the paging band (928–948 MHz) and successfully predicted true states of the various sub-band within it. In [12], the authors proposed a fast spectrum detection algorithm using HMM where the samples of the wideband power spectrum density (PSD) are used as inputs to HMM predictor. In [13], the parameters, proposed by HMM, used for channel status prediction, were calculated statistically without using any training. In [14], a modified HMM-based single user prediction is proposed by the authors and their method was shown to be better than 1-nearest neighbor (1-NN)-based prediction. Thus, results of theoretical as well as experimental studies motivate us to consider HMM as our spectrum prediction model in the present study. In [15], the author employed HMM for blind spectrum sensing based on classification of multiple interferers where all signal, channel and noise parameters are unknown. In [16], the authors proposed a method that helps the FC to detect deterioration of the sensing performance without using the information of local sensing statistics. In [17], the authors compared between two channel status predictors using neural network based on multilayer perception (MLP) and HMM. By repeated simulations, they showed that HMM predictor is better than MLP-based predictor under dynamic traffic scenarios. In [18], a hidden bivariate Markov model (HBMM)-based SS was proposed and its dwelling time was analyzed using real-time measurements. Their results showed that HBMM-based detector could yield more accurate PU state estimation and prediction than standard HMM with high path loss and strong shadowing effects. In [19], the authors used HBMM for hard and soft fusion in collaborative spectrum sensing, based on the on-line estimation of HBMM parameters. Their scheme is independent of the predefined threshold or weights and hence better spectrum sensing result is achieved. In [20], the authors extended the idea of HBMM to higher order HBMM to take the advantages of both higher order and HBMM by which the prediction accuracy is significantly improved. In [21], the authors addressed the estimation problem of HMM by extending the expectation-maximization (EM) algorithm for estimating the primary user parameters in CRN. In [22], the authors used a non-stationary HMM (NS-HMM) for modeling the time-varying nature of PU traffic aiming to improve the accuracy of spectrum occupancy predictions. In [23], the authors used a HMM-based spectrum occupancy predictor using hard fusion rules. The prediction accuracy improvement is done in terms of prediction error by required threshold setting. In [24], the authors extended the number of hidden states in HMM and formulated the prediction problem as maximum-likelihood (ML) estimation by using a realistic measurement-based traffic model for industrial cognitive radio. In [25], the performance of an HMM-based spectrum occupancy predictor for energy-efficient CRN was studied over the 2.4 GHz ISM band using an indoor set up. In [26], the authors proposed a 2-D spectrum and power (harvested) sensing scheme to improve the PU detection performance in energy harvested CRNs. In [27], the authors considered a realistic scenario by assuming multiple power levels of PU node and used a continuous HMM (CHMM)-based blind spectrum sensing algorithm for detecting both the presence and the transmit power level of PU node. The reliability of spectrum estimation through CSS is very much vulnerable to possible attacks from malicious SU node(s) as well as malfunctioning SU nodes in the network. In [28], a robust malicious user prediction scheme was proposed for CSS enabled spectrum prediction scheme. In [29], the authors evaluated energy efficiency in the presence of malicious users in cooperative CRN. In [30], the authors proposed a contribution-based CSS where some nodes are malfunctioning due to locational disadvantage, multi-path fading or shadowing but they do not consider any hardware malfunctioning of the nodes. In [31], a Dempster–Shafer (D–S) theory-based CSS method was proposed to detect the SU nodes with hardware malfunctioning. But this scheme is shown to be suitable for systems with less than 30% faulty nodes. 1.2. Motivation The modeling of CRN in the presence of faulty nodes is important because hardware malfunctioning of one or more SU nodes is more likely in such networks as the hardware design for practical CR devices is yet to achieve a matured stage. In CSS, some nodes may supply erroneous data due to battery exhaustion, sudden malfunctioning of electronic circuits, ageing or in harsh weather conditions which introduce harmful effects on system performance. Degradation in the reliability of the system performance is significant and illustrated in Section 4. But making a provision at each SU node to check the health of its own hardware every time before the process starts may not always be feasible. This is also not an energy-efficient approach considering the fact that SU nodes are often driven by limited battery power. This scenario becomes more challenging as any node could start malfunctioning at any point during operation. So an efficient system should use some scheme where the FC checks continuously for the possible malfunctioning one or more nodes before using their inputs for CSS and also to exclude those faulty nodes for maintaining reliable system performance. Such a method should be sensitive enough so that it could detect the presence of faulty SU nodes when their number is very small. Also it should ensure robustness of the CSS when the number of faulty nodes is high. To the best of our knowledge, none of the previous studies on spectrum prediction using HMM considered this issue. 1.3. Contribution The specific contributions of this paper may be summarized as follows: A simulation study is carried out to evaluate the performance of HMM-based spectrum predictor for CSS in a CRN considering the presence of random number of faulty nodes, forwarding unreliable data on spectrum sensing to the FC node. A novel scheme is proposed to identify faulty SU node(s) with high probability in an HMM-based CSS system and exclude them from the CSS process to maintain reliability of the CSS. The novelty of the proposed scheme lies in the combination of the forward algorithm [32], used in HMM, and fuzzy-C means (FCM) clustering [33] technique in designing a highly sensitive and robust scheme for faulty node detection in CRNs. Further, our scheme does not require any knowledge of the fading statistics of the various wireless channels involved in the CSS and power adaptation strategy used by the SU nodes in forwarding their sensed signals to the FC. Complexity of the proposed scheme is also analyzed. Extensive simulation results are presented to quantify the robustness and sensitivity of our proposed scheme, especially in the low SNR regime, and to compare its performance with a prominent recent solution. The rest of the paper is organized as follows. Section 2 describes our system model for CSS. Besides, some preliminaries about HMM and principles of its application in PU spectrum prediction is also described. Our proposed HMM-based spectrum prediction scheme is presented in Section 3. In Section 4, simulation results are presented. Finally, the paper is concluded in Section 5. 2. SYSTEM MODEL AND PRELIMINARIES 2.1. Network model An HMM-based spectrum prediction approach to assist CSS is considered here. The network under consideration consists of a single PU and K SU nodes where an arbitrary subset of SU nodes in the CRN are malfunctioning. The energy values accumulated at FC is used for training of the HMM parameters and then it runs spectrum prediction algorithm. All the SU nodes are collocated in between PU node and FC node. In other words, the distance between PU node to any SU node and FC node to the SU node is much larger than the distance among the SU nodes as shown in Fig. 1. Here, every SU node is sensing for the possible presence of PU signal, via sensing channel, and forwards the received signal to the FC via reporting channel at regular intervals. For reporting, SU nodes are assumed to access a common control channel using time division multiple access (TDMA). Next, the FC node calculates the energy of a predefined set of samples of the sensed signal received from corresponding SU nodes. Figure 1. View largeDownload slide System model with a fixed PU node and collocated SU nodes where some nodes are malfunctioning. Figure 1. View largeDownload slide System model with a fixed PU node and collocated SU nodes where some nodes are malfunctioning. Finally, the spectrum prediction decision taken by the FC node. In addition, the reliable/faulty status of SU nodes is broadcast to them via a feedback channel as shown in Fig. 1. The overall spectrum prediction operation of the system consists of two phases. In Phase I, before deployment, the HMM parameters are trained continuously during an off-line training period at FC node by the sensing results of reliable SU nodes only. In Phase II, after deployment, the spectrum of interest is being sensed by SU nodes in a cooperative manner and their sensing results are being sent to the FC node. Thus, HMM parameters are trained on-line at regular interval by the sensing results of the SU nodes which are considered to be reliable by our algorithm at FC. The list of necessary symbols used in our subsequent discussion is shown in Table 1 for the convenience of readers. Table 1. List of necessary symbols used in our CSS model and their descriptions Symbol Description of the symbol K Total number of SU nodes hs Sensing channel fading coefficient hr Reporting channel fading coefficient dsi Distance between PU and ith SU node dri Distance between ith SU node and FC node δ Path loss exponent xpu PU signal Ns Number of samples sensed Ts Sensing duration fs Sampling frequency Ppu Transmission power of PU node Psu Transmission power of SU node us Noise in the sensing channel ysu PU signal received at SU node yfc Received signal at FC from SU node Efc Energy of the received signal at FC node ur Noise in the reporting channel Symbol Description of the symbol K Total number of SU nodes hs Sensing channel fading coefficient hr Reporting channel fading coefficient dsi Distance between PU and ith SU node dri Distance between ith SU node and FC node δ Path loss exponent xpu PU signal Ns Number of samples sensed Ts Sensing duration fs Sampling frequency Ppu Transmission power of PU node Psu Transmission power of SU node us Noise in the sensing channel ysu PU signal received at SU node yfc Received signal at FC from SU node Efc Energy of the received signal at FC node ur Noise in the reporting channel Table 1. List of necessary symbols used in our CSS model and their descriptions Symbol Description of the symbol K Total number of SU nodes hs Sensing channel fading coefficient hr Reporting channel fading coefficient dsi Distance between PU and ith SU node dri Distance between ith SU node and FC node δ Path loss exponent xpu PU signal Ns Number of samples sensed Ts Sensing duration fs Sampling frequency Ppu Transmission power of PU node Psu Transmission power of SU node us Noise in the sensing channel ysu PU signal received at SU node yfc Received signal at FC from SU node Efc Energy of the received signal at FC node ur Noise in the reporting channel Symbol Description of the symbol K Total number of SU nodes hs Sensing channel fading coefficient hr Reporting channel fading coefficient dsi Distance between PU and ith SU node dri Distance between ith SU node and FC node δ Path loss exponent xpu PU signal Ns Number of samples sensed Ts Sensing duration fs Sampling frequency Ppu Transmission power of PU node Psu Transmission power of SU node us Noise in the sensing channel ysu PU signal received at SU node yfc Received signal at FC from SU node Efc Energy of the received signal at FC node ur Noise in the reporting channel 2.2. Spectrum sensing model The sensing channel between PU and SUi and reporting channel between SUi and FC are modeled as Rayleigh flat fading with fading coefficients hsi and hri, respectively, where i={1,2,…,K}. They are assumed to be circularly symmetric complex Gaussian (CSCG) random variables such that hsi∼CN(0,dsi−δ) and hri∼CN(0,dri−δ), dsi is the distance between PU node to ith SU node, dri is the distance between ith SU node to FC node and δ is the path loss exponent. The feedback channel is assumed to be ideal. Let xpu(n) represent the PU signal which follows CSCG distribution with zero mean and variance E[|xpu(n)|2]=1. So the signal received by ith SU node can be written as ysui(n)=ΘPpuhsixpu(n)+usi(n),∀i∈{1,2,…,K} (1) for n={1,2,…,Ns}, where Ns=Tsfs is the number of samples, Ts is the sensing duration, fs is the sampling frequency and Ppu be the transmission power of PU node. Θ is a binary indicator to represent presence/absence of the PU signal where Θ=1 means PU is active (binary hypothesis ℋ1) and Θ=0 means PU is idle (binary hypothesis ℋ0). usi(n) is additive independent and identically distributed (i.i.d.) CSCG random sequence representing noise signal at ith SU with zero mean and unit variance. The received signals at the SU nodes are forwarded via a common reporting channels using TDMA to the FC node. Hence, the signal sensed by SUi received at FC node via a common reporting channel in the ith TDMA slot will be yfci(n)=Psuhriysui(n−Ns)+uri(n),∀i∈{1,…,K} (2) where n={(Ns+1),(Ns+2),…,2Ns}, Psu be the transmission power of SU node, uri(n) is also additive i.i.d. CSCG random sequence representing noise at FC node corresponding to ith SU with zero mean and unit variance. Hence, energy of the received samples at FC corresponding to ith SU may be written as Efci=∑n=Ns+12Ns|yfci(n)|2,∀i∈{1,2,…,K} (3) Now these calculated energy values at FC node are used as input to HMM (based spectrum predictor) as shown in Fig. 2. Figure 2. View largeDownload slide Block diagram of HMM-based spectrum prediction method in cooperative CRN. Figure 2. View largeDownload slide Block diagram of HMM-based spectrum prediction method in cooperative CRN. 2.3. Hidden Markov model The received energy values are the observed states values for HMM. As mentioned earlier, the original PU state will be either 0 for PU idle or 1 for PU active. Since, this state is not directly available to SUs due to wireless channel fading and noises, so it is considered as the hidden state value for HMM as shown in Fig. 3. Figure 3. View largeDownload slide Hidden Markov model with observed and hidden sequences for T time slots. Figure 3. View largeDownload slide Hidden Markov model with observed and hidden sequences for T time slots. 2.3.1. Definition of HMM The formal definition of HMM is considered as a tuple λ=(π,A,B) [32], where π={πi} is termed as the set of initial state distribution parameters which is defined as πi=P[q1=Si],1≤i≤N (4) satisfies the condition ∑i=1Nπi=1 and πi≥0 where qt is the state at time t, N is the total number of states and S={S1,S2,…,SN} is the set of distinct states of the system under consideration. The state transition matrix A={aij} is defined as aij=P[qt+1=Sj|qt=Si],1≤i,j≤N (5) where aij≥0 for all i,j and ∑j=1Naij=1 for 1≤i≤N. The observation matrix B={bj(m)} is defined as bj(m)=P[vmatt|qt=Sj],1≤j≤N,1≤m≤M (6) satisfies the conditions bj(m)≥0 and ∑m=1Mbj(m)=1 for 1≤j≤N, where M is the number of observation symbols and V={v1,v2,…,vM} is the set of possible observations. For spectrum prediction model, M=2 is considered. v1 is considered as 0 (PU is idle) and v2 is considered as 1 (PU is active). All the necessary symbols used in HMM model and their description are shown in Table 2. Table 2. List of necessary symbols used in HMM model and their descriptions. List of parameters used Description of the symbol T Length of the observation sequence N Number of states M Number of observation symbols S={S1,S2,…,SN} Set of distinct states in the system V={v1,v2,…,vM} Set of possible observations qt State at time t A State transition matrix B Observation matrix π Initial state distribution O={O1,O2,…,OT} Observation sequence Z={z1,z2,…,zT} Hidden state sequence λ=(π,A,B) Set of all HMM parameters List of parameters used Description of the symbol T Length of the observation sequence N Number of states M Number of observation symbols S={S1,S2,…,SN} Set of distinct states in the system V={v1,v2,…,vM} Set of possible observations qt State at time t A State transition matrix B Observation matrix π Initial state distribution O={O1,O2,…,OT} Observation sequence Z={z1,z2,…,zT} Hidden state sequence λ=(π,A,B) Set of all HMM parameters Table 2. List of necessary symbols used in HMM model and their descriptions. List of parameters used Description of the symbol T Length of the observation sequence N Number of states M Number of observation symbols S={S1,S2,…,SN} Set of distinct states in the system V={v1,v2,…,vM} Set of possible observations qt State at time t A State transition matrix B Observation matrix π Initial state distribution O={O1,O2,…,OT} Observation sequence Z={z1,z2,…,zT} Hidden state sequence λ=(π,A,B) Set of all HMM parameters List of parameters used Description of the symbol T Length of the observation sequence N Number of states M Number of observation symbols S={S1,S2,…,SN} Set of distinct states in the system V={v1,v2,…,vM} Set of possible observations qt State at time t A State transition matrix B Observation matrix π Initial state distribution O={O1,O2,…,OT} Observation sequence Z={z1,z2,…,zT} Hidden state sequence λ=(π,A,B) Set of all HMM parameters 2.3.2. HMM-based spectrum prediction Given an observation sequence O={O1,O2,…,OT}, where Ot∈{v1,v2}∀t={1,2,…,T} and given model parameters λ=(π,A,B), Viterbi algorithm [32] is used to uncover the hidden state sequence Z={z1,z2,…,zT} which is most likely to generate the observation sequence O, where T is the length of observation sequence. The objective of HMM predictor is to predict the future state zT+1 based on the past observations. To get the best result, HMM parameters are trained both in off-line and then on-line processes at regular intervals. Once the training is complete, the joint probability of observing the sequence O followed by an idle PU state P(O,0|λ) and an active PU state P(O,1|λ) at the future time slot (T + 1) are calculated. The state of future time (T + 1) is predicted according to the following rule: IfP(O,0|λ)≥P(O,1|λ)→OT+1=0(PUisidle).IfP(O,0|λ)