- Research
- Open Access
Cross-layer design for decentralized detection in WSNs
- Ashraf Tantawy1Email author,
- Xenofon Koutsoukos2 and
- Gautam Biswas2
https://doi.org/10.1186/1687-6180-2014-43
© Tantawy et al.; licensee Springer. 2014
- Received: 8 October 2013
- Accepted: 10 March 2014
- Published: 31 March 2014
Abstract
A wireless sensor network (WSN) deployed for detection applications has the distinguishing feature that the sensors cooperate to perform the detection task. Therefore, the decoupled and maximum throughput design approaches typically used to design communication networks do not lead to the desired optimal detection performance. Recent work on decentralized detection has addressed the design of media access control (MAC) and routing protocols for detection applications by considering independently the quality of information (QoI), channel state information (CSI), and residual energy information (REI) for each sensor. However, little attention has been given to integrate the three quality measures (QoI, CSI, and REI) in the system design. In this work, we present a cross-layer approach to design a QoI, CSI, and REI-aware transmission control policy (XCP) that coordinates communication between local sensors and the fusion center, in order to maximize the detection performance. We formulate and solve a constrained non-linear optimization problem to find the optimal XCP design variables, for both ALOHA and time-division multiple access (TDMA) sensor networks. We show the detection performance gain compared to the typical decoupled and maximum throughput design approaches, without utilizing additional network resources. We compare ALOHA and TDMA MAC schemes and show the conditions under which each transmission scheme outperforms.
Keywords
- Decentralized detection
- Wireless sensor networks
- Networked information fusion
- Multiaccess communication
1 Introduction
The deployment of wireless sensor networks (WSNs) in decentralized detection applications is motivated by the availability of low-cost sensors with computational capabilities, combined with advances in communication network technologies. In decentralized detection (DD), multiple sensors collaborate to distinguish between two or more hypotheses, and the classical problem is to find the local sensor detection strategies (quantization rules) to minimize a system-wide cost function using different network topologies and channel models [1, 2]. Despite the fact that this classical problem is insightful, current research on detection using modern WSNs has shifted the focus away from this classical quantization problem for two main reasons: (1) performance loss due to quantization decays rapidly with the number of information bits in the packet payload [3, 4], and (2) the payload of a packet could be considered large enough to represent local sensor information with adequate accuracy, as additional bits in the payload are unlikely to affect power or delay, given the relatively large packet overhead [5, 6] (e.g., IEEE 802.15.4 standard has a minimum of 9 bytes for the medium access control (MAC) overhead [7]). On the other hand, the deployment of WSNs in detection applications brings new challenges to the field. In addition to the design of signal processing algorithms at the application layer that has been previously addressed [8], protocols for other communication layers have to be optimized to maximize the detection performance.
The layered approach commonly adopted to design wireless networks may not be appropriate for detection applications. Although the layered approach provides simplicity in the design due to the decoupling of system layers, it neither provides the optimal resource allocation nor exploits the application domain knowledge. As an example, throughput is a common performance metric used to design media access control protocols. In DD applications, maximizing the throughput is not the prime objective, rather maximizing the quality of the information received that yields the best detection performance is the prime objective. Accordingly, a cross-layer design approach is desired for efficient implementation of WSNs in decentralized detection applications.
- 1.
Digital transmission. Although uncoded analog transmission is optimal in a sensor network under certain conditions (see, e.g., [9]), digital transmission is still the choice for cost-effective, commercial off-the-shelf deployments of sensor network applications.
- 2.
Slotted ALOHA/time-division multiple access (TDMA) MAC. The traditional assumption of a dedicated orthogonal channel between each sensor node and the fusion center may not be feasible in practice. On the other hand, random access techniques and TDMA are frequently used MAC protocols. Therefore, tuning of the protocol parameters to optimize the detection performance can be done in practice without a need to redesign the system.
- 3.
Single hop networks. We focus on the case where sensor nodes cannot communicate with each other to form a multihop network to the fusion center, e.g., radio-frequency identification (RFID) sensors communicating to an RFID reader. Preliminary results for multihop tree networks are presented in [10, 11].
The rest of the paper is organized as follows: Section 2 summarizes the related work. Section 3 presents the detection problem formulation for WSNs. Section 4 explains the derivation of the system model. Section 5 presents the solution of the optimization problem. Section 6 presents the performance comparison between the proposed design approach and the classical design approaches. Section 7 presents a performance comparison between the TDMA and ALOHA networks. The work is concluded in Section 8.
2 Related work
Early work on cross-layer design has focused on the design of channel-aware decentralized detection schemes [12]. More recent work on channel-aware design considers sequential detection schemes [13]. The cross-layer design approach has been recently explored for the design of MAC and routing protocols for detection applications. Cooperative MAC, where individual sensor transmissions are superimposed in a way that allows the fusion center to extract the relevant detection information, is considered in [14]. This approach leads to significant gains in performance when compared to conventional architectures allocating different orthogonal channels for each sensor. However, technical issues such as symbol and phase synchronization have to be taken into account for practical implementations [5, 15]. Data-centric MAC, where existing protocols are tuned/modified for optimal performance, represents a viable alternative to cooperative MAC and, therefore, has gained considerable attention recently. Decision fusion over slotted ALOHA MAC employing a collision resolution algorithm is studied in [16], where the objective is to analyze the performance, rather than to design the MAC layer, in order to optimize the detection performance. A more thorough investigation of the design of MAC transmission policies to minimize the error probability has been considered in [17], where the system model includes the MAC and detection application layers, excluding the physical channel model, and assuming a stochastic MAC policy. Although stochastic transmission policy results in performance gains compared to deterministic policies, the extension of this framework to include the physical channel model is challenging mathematically.
The integration of the channel model and the MAC layer in the context of distributed estimation has been considered in [18], where analog transmission of sensor data is assumed. The cross-layer approach is also considered in [6], where an integrated model for the physical channel and the queuing behavior for sensors is developed. The design problem is to choose the code rate and the number of sensors to minimize the error probability for an frequency-division multiple access (FDMA) system, where orthogonal channels are used between sensors and the fusion center.
Routing for decentralized detection has been considered separately from the MAC design problem. Energy-efficient routing for signal detection in WSNs is considered in [19], where the objective is to find the optimal route for local data from a target location to the fusion center. Cooperative routing for distributed detection in large sensor networks is studied in [20] using a link metric that characterizes the detection error exponent. For a survey on the interplay between signal processing and networking in sensor networks, see [21] and the references therein.
- 1.
Integrated model for the detection system. We integrate the physical layer, MAC layer, and the detection application layer in one unified system model.
- 2.
Integration of different sensor quality measures. The model captures three sensor quality measures, namely, quality of information (QoI), channel state information (CSI), and residual energy information (REI). In addition, delay for detection and network lifetime are considered as additional design constraints.
- 3.
Design of a complete transmission control policy. We design an optimal transmission control policy that includes not only the transmission probabilities but also the communication rate and the energy allocation for each sensor. The authors are not aware of a literature work on cross-layer design for detection applications, where an integrated model is developed that captures different communication layers and several sensor quality measures, while simultaneously considering different transmission design parameters as well as the delay for detection.
- 4.
Non-asymptotic analysis. We assume a finite number of sensor nodes and do not resort to asymptotic analysis as commonly adopted in detection studies. Therefore, the analysis results are applicable on small-scale and large-scale sensor networks.
- 5.
Enhanced detection performance. Without additional resources, the proposed design approach outperforms the classical decoupled and maximum throughput design approaches.
- 6.
Slotted ALOHA-TDMA comparative analysis. We show the conditions under which each transmission scheme outperforms. These conditions represent a guideline for the designer to choose between the two protocols based on the available system resources and design constraints.
The work presented in this paper is an extension of our previous work in [22], where only ALOHA networks were considered, and the energy allocation scheme was fixed. In addition, a more detailed simulation experiment and a full comparison between ALOHA and TDMA sensor networks are presented.
3 Problem formulation
System model for detection in one-hop sensor networks.
Initially, the fusion center broadcasts a message containing the location of the resolution cell to be surveyed, soliciting information from different sensors. Each sensor responds with the following information: (1) channel state between the sensor and the fusion center, which could be estimated using channel measurement techniques [23, 24]; (2) signal-to-noise ratio for the reflected probing signal used by the sensor to illuminate the target, which could be estimated from sensor location (estimated using different localization methods [25]), resolution cell location, and channel measurement techniques; and (3) the energy reserve, representing the REI, which could be estimated by the sensor from the battery charging state. We call this communication process the handshaking cycle, which starts with the broadcast message from the fusion center and ends when the fusion center receives the information from all sensors. This handshaking cycle is repeated periodically to cope with changes in the environment that impact the sensor quality measures. Therefore, the overhead of the handshaking cycle is proportional to the environment dynamics, i.e., how fast the environment changes to affect the quality measures for sensors. We ignore the handshaking overhead in the development of the system model in Section 4. In Section 4.6, we provide an upper bound on the environment dynamics such that the handshaking overhead could be safely ignored without affecting the model accuracy.
After the handshaking cycle, the fusion center calculates the optimal transmission control policy for each sensor based on the quality measures received. The values of the XCP variables are then sent back to the sensors that have reliable quality measures to contribute to the detection task. The resulting values of the XCP variables are stored in a lookup table in the sensor memory (for each resolution cell), which remain valid for the given location as long as the quality measures for each sensor have not changed from the last run of the optimization algorithm. The detection process then proceeds as follows: the fusion center broadcasts a message to initiate a detection cycle for a specific resolution cell. The local sensors selected by the optimization algorithm will sample the environment by collecting a number of observations x i , form a data packet, and communicate their messages directly to the fusion center over the MAC channel. Finally, the fusion center makes a final decision after a fixed amount of time representing the maximum allowed delay for detection.
4 System model
A layered approach to detection system modeling.
4.1 Wireless channel model
Block diagram for the wireless communication channel.
where d0 is a reference distance corresponding to a point located in the far field of the transmit antenna, λ p is the wavelength of the propagating signal, ρc is the path loss exponent, and .
where Pt is the average transmitted signal power, and Φ(.) is the cumulative distribution function for the standard normal PDF. We note that the CSI relevant to our model is represented by the statistics σc, μc, and N0. These statistics are required to be estimated by each sensor, and no instantaneous channel state information is required for the XCP design. Since we assume fixed nodes and a slowly varying channel, the estimation process could be executed less frequently to save sensor node resources. This is particularly important in wireless sensor networks since the estimation of the channel state is both time and power consuming.
It should be highlighted that the large-scale fading model presented here allows us to obtain the closed form solution in (2). More complex fading models, e.g., small-scale fading, can be integrated similarly, but they may allow only numerical solutions.
4.2 Media access control protocol model
Detection cycle for the ALOHA and TDMA sensor networks.
- 1.
Slotted ALOHA. Sensor attempts transmission in every slot during the detection cycle, with probability q i , despite the state of their last transmission.
- 2.
TDMA. Sensor transmits to the fusion center only in its dedicated time slot, assigned using the fixed assignment TDMA scheme.
Unequal priority TDMA, where a single sensor may be assigned more than one time slot, could also be used and may lead to a better detection performance. However, the resulting optimization problem is an integer programming problem that is generally hard to solve in real time. Therefore, only equal-priority TDMA is considered in this work. Without loss of generality, we assume that L = m N, where m is a positive integer, i.e., at each detection cycle, all sensors transmit the same number of times. This assumption facilitates the comparison with the slotted ALOHA scheme. The decision takes place at the end of the detection cycle by the FC. The process repeats for every detection request initiated by the fusion center. To simplify the analysis, the MAC protocol does not consider the acknowledgement slots and any protocol specifics required for synchronization or rate negotiation. Also, we ignored the packet overhead, which is a reasonable approximation for practical WSN protocols with large packet payload.
- 1.
Slotted ALOHA. At any given time slot, the probability of a successful packet transmission by sensor i is given by . Further, this packet will be successfully received by the fusion center if the state of the physical channel between the sensor and the fusion center is ON during this time slot.
- 2.
TDMA. Since collisions are eliminated, the probability of successful packet transmission depends solely on the physical channel condition, as given by (2).
4.3 Energy model
where is the total initial energy in all sensors at the time of deployment, is the total wasted energy remaining in sensor nodes when the network dies, f r is the average sensor reporting rate defined here as the number of detection cycles per unit time, and is the expected reporting energy consumed by all sensors in one detection cycle.
Our objective is to allocate the reporting energy for each sensor in such a way that maximizes the detection performance. In what follows, we derive the energy constraints for the sensor network.
4.3.1 Total energy constraint
4.3.2 Individual energy constraints
- 1.
ALOHA: We note that the expected number of transmissions by sensor i during a detection cycle is Lq i . Therefore, T = (τ / L)L q i = τ q i , and we get .
- 2.
TDMA: Since we assume L = m N, each sensor transmits m times, and we get .
We note that in the above discussion, we neglected the energy consumed by each sensor to report its quality measures to the fusion center. This energy component could be included in the analysis by subtracting it from the initial sensor energy. However, for slowly varying environments, where the sensor characteristics need to be updated less frequently, this energy component could be neglected compared to the periodic sensor reporting energy.
4.4 Sensing model
where ε is the amplitude of the emitted signal at the object, η is a known attenuation coefficient, typically between 2 and 4, and w i is an additive white Gaussian noise with zero mean and variance . We note that the above model considers passive sensing [25]. In the active sensing case, the observation model is given by x i = ζ ε tr / (2d i )η/2 + w i , where ζ is a known reflection coefficient at the object, ε tr is the amplitude of the signal transmitted by the active sensor (illuminating signal), and 2d i is the round trip distance traveled by the signal [19]. We note that the two observation models differ only in the scaling factor ζ / 2η/2. Therefore, without loss of generality, we assume the active sensing model in the following discussion. If passive sensing is assumed, then the detection problem will be slightly different than the problem presented here, since the amplitude of the source signal, ε, is unknown and has to be estimated from sensor observations.
where μ i = ζ ε tr / (2d i )η/2, and n i is the number of independent and identically distributed (IID) observations obtained by sensor i at each time slot. We note that noise samples are independent across sensors, i.e., the observations at local sensors are independent across time and space, but not necessarily identically distributed since some sensors may be closer to the resolution cell, and noise variances are assumed unequal. In the following, we designate the vector of sensor observations at time slot k by x i [k] = [x i [1, k] x i [2, k] … x i [n i , k]]. We note that x i [k] has the multivariate Gaussian distribution under hypothesis and under hypothesis , where μ = [μ1μ2 … μ N ] and .
Proposition 1.
where n s = L for ALOHA and m for TDMA, and r i [k] is a Bernoulli random process representing the success (r i = 1) or failure (r i = 0) of receiving a packet from sensor i in communication slot k. The sample space and probability measure of r i are defined asand P[r i = 1] = λ i , respectively, where λ i is given by (4).
Proof.

4.5 Measurement of detection performance
Under non-Gaussian assumptions, there is no general result that enhancement of the deflection coefficient will lead to a better performance in terms of the ROC curve. However, it is likely that more separation between the two density functions will lead to a better detection performance.
Proposition 2.
where λ i is given by (4).
Proof.
From (26), (27), and (29), we get (25).
We note that the quantity represents the signal-to-noise ratio at sensor i, and we adopt it as a measure of the sensor QoI. From (25), we note that the overall deflection coefficient at the fusion center is simply a weighted sum of the individual deflection coefficients for each sensor, where the weights are the probabilities of successful packet transmission for each sensor, and the deflection coefficient in case of a collision is set to 0.
We note that ; therefore, the signal amplitude at the object to be detected appears as a scaling factor only in the objective function. This means that the signal amplitude does not affect the optimal operating point for the system. However, the amplitude does affect the detection performance, as intuitively expected. We further note that the objective function does not depend directly on L and n i . Rather, from the optimal communication rates and (3), L and n i could be arbitrarily chosen such that L n i = τ R i / b for any non-zero communication rate, i.e., R i > 0, n i ≥ 1, and consequently L ≤ τ R i / b.
Model parameters for the wireless sensor network
Parameter | Description | Calc | Simulation value (Section 6) | Notes | Layer |
---|---|---|---|---|---|
W | Channel bandwidth | G | 103 Hz | Physical layer | |
N 0 | Noise power spectral density | E | 10-9 W/Hz | CSI | |
μ c | Mean path loss | C (1) | [40, 45], [45, 50], [50, 55], [55, 60], [60, 65] dB | CSI | |
[65, 70], [70, 75] dB | |||||
σ c | Path loss standard deviation | E | [5, 8] dB | CSI | |
e r | Reporting energy | D | Design variable | ||
R | Communication bit rate | D | Design variable | ||
L | Number of communication slots | C (3) | Ln i = τ R i / b | MAC layer | |
b | Number of encoding bits/observations | G | 16 bits | ||
q | Retransmission probability | D | Design variable | ||
τ | Delay for detection | G | 1:150 s | BJA01196-xml0x.png Application layer\c:IMG | |
l t | Network lifetime | G | 100:500 days | ||
l | Sensor lifetime | G | 0.7* lt | ||
n | Number of observations | C (3) | Ln i = τ R i / b | ||
c = (μ / σ s )2 | Signal-to-noise ratio | G | [2,3.2], [2.5,3.5], [0.06,0.08], [1,1.4], ×10-3 | QoI | |
[0.5,0.7], [0.12,0.16], [0.03,0.04] ×10-3 | |||||
e0 - ew | Net sensor useful energy | G | 104 J | REI | |
f r | Sensor reporting rate | G | 200 cycles/day |
4.6 Handshaking overhead
Example 1.
Handshaking overhead constraints for the example sensor network.
5 Transmission control policy design for optimal detection
I is the identity matrix, 0(1) is the vector/matrix of all zeros (ones), with appropriate dimensions, and . We note that our objective function is not convex. Instead of following the classical approach to simplify the system model to obtain a convex function, which may ignore important system dependencies and may lead to a less accurate model, our approach is to analyze the optimization problem to obtain a possible set of candidate points that may speed up the convergence process for existing numerical optimization algorithms, then resort to simulation experiments for performance evaluation.
The given KKT conditions cannot be solved analytically. However, the optimization problem could be solved efficiently using a variety of constrained optimization algorithms, e.g., the interior point method. The following two theorems provide a possible set of candidate points for a local maximizer, hence speeding up the convergence process and providing a set of initial points for the optimization algorithm.
Theorem 1.
Proof.
When q i = 1, the objective function reduces to . Any value of q j ≠ 0 will cause the objective function value to decrease. Physically, q j ≠ 0 corresponds to a guaranteed collision, i.e., loss of information. Therefore, q j = 0. Since R j and do not affect the objective function, we arbitrarily set R j = 0. should be set to 0 to save the energy budget for the non-contributing sensor. The solution q j = R j = e j r = 0 for j ≠ i could be shown to satisfy the KKT conditions by direct substitution. The objective function monotonically increases with . Therefore, should be set to its maximum value, i.e., . Finally, optimal R i is set to maximize the objective function and, hence, given by (63).
We conclude that we have a set of N candidate points, (q i = 1, q j = 0, j ≠ i), for a local maximum, which could be checked easily in N time steps, in addition to the computations required to find the optimal communication rate, which could be implemented efficiently for a single-variable function.
Theorem 2.
A candidate point for a local maximizer of the objective function in (43) is when a subset of the sensors, defined by the index set, transmit with their maximum energy, while all other sensors remain silent. Optimal design variables for the active sensors are at x∗, where ∇J(x∗) = 0. The unallocated energy is equal to.
Proof.
For the active sensors, 0 < q i < 1. The total energy constraint is inactive, i.e., . If , then from the complementary slackness condition . From the stationarity condition, we get , but if and only if , a contradiction. Therefore, the only option left is . In this case, the constraint is active; hence, . From the stationarity condition, we get , which satisfies the dual feasibility condition, since the left-hand side is ≥0. Therefore, this point is a candidate for a local maximizer.
We conclude that all active sensors in this case should transmit with maximum energy. Since all other constraints are inactive, all Lagrange multipliers are equal to 0, and therefore, from the stationarity condition, the optimal values for q and R are equal to the stationary point x∗, where ∇J(x∗) = 0.
Theorem 2 results in few candidate points if the individual energy constraint for each sensor is a large fraction of the total energy constraint, such that only few sensors consume the total energy budget. Otherwise, the number of candidate points will be prohibitively large. The solution of the optimization problem is summarized in Algorithm 1, where Theorem 1 is used, and the called optimization algorithm is any optimization method of choice, e.g., interior point method.
Algorithm 1 Optimization Problem Solution
6 Performance comparison
where ε i is the same for all sensors. Since l < lt, we have εt / N < ε i , and therefore, the equal energy allocation is feasible in this case. This case is the one considered in the numerical example in Section 6.4. Finally, we present an upper bound on the system performance to better assess how well the CLD performs compared to the best possible performance, achievable only in theory.
6.1 Maximum throughput design
In maximum throughput designs, the design variables R i and q i are chosen to maximize the throughput in (65). The maximum throughput design thus does not consider the QoI for each sensor. This is clearly shown by comparing (65) to (30), where we note that the maximum throughput design is equivalent to the CLD if all sensors have the same quality of information.
6.2 Decoupled design
In practice, λ is pre-determined from the application. However, to make a fair comparison, we use the value of λ that maximizes the deflection coefficient in (68), i.e., λ = arg max λ D2, 0 ≤ λ ≤ 1.
6.3 Performance upper bound
For the given problem setup and for a given energy and delay constraints, the upper bound on the performance is when there are no channel drops or contentions between sensors, i.e., all observations generated locally at each sensor are received successfully at the fusion center. Mathematically, this case is equivalent to a realization of the physical channel were the channel state is ON for all transmissions. In this case, the detection problem reduces to the classical centralized shift-in-mean Gaussian detection problem, where the ROC curve is given by (24).
6.4 Simulation results
In this section, we evaluate the proposed cross-layer design approach for the system in Figure 1, as compared to the classical approaches summarized in Section 6, via a numerical example. We consider a network with 70 sensors (N = 70) deployed for detection, with parameter values as shown in Table 1. To avoid manual entry of parameter values for the 70 sensors, the mean path loss, path loss variance, and the signal-to-noise ratio for each sensor are generated using uniform random number generators. The evaluation is performed both numerically and through Monte Carlo Simulation (MCS) experiments.
6.4.1 Numerical evaluation
We use Algorithm 1 to calculate the optimal solution for the CLD in (30) and the maximum throughput design in (65), where the interior point method is used as the core optimization algorithm. The interior point method is also used to find the optimal probability of successful packet transmission for the decoupled design in (68).
6.4.2 Simulation study
We use the optimal solution for the design variables obtained from the numerical evaluation to set up an MCS for the wireless network, as follows:
-
Hypothesis. MCS is performed for both and to evaluate the deflection coefficient, ROC curve, and probability of error.
-
Sensors. Observations are generated locally at each sensor for each communication slot. For ALOHA channels, each sensor attempts transmission randomly according to its retransmission probability. For TDMA channels, each sensor transmits in its allocated slots only.
-
Communication channel. The channel state for each sensor is simulated for each detection cycle.
-
Fusion center. The fusion center performs the likelihood ratio test on the observations received. Equivalently, the fusion center calculates the test statistic in (15) and compares it to a threshold value.
-
Performance evaluation. The deflection coefficient is evaluated statistically according to (23). The ROC curve is evaluated by running MCS for different threshold γ values.
We run the MCS experiment 5,000 times for each delay for detection/network lifetime values to obtain accurate results.
6.4.3 Deflection coefficient
Wireless sensor network performance for the ALOHA (left graph) and TDMA (right graph) sensor networks.
Deflection coefficient for the ALOHA (top graphs) and TDMA (bottom graphs) wireless sensor networks.
Figure 7, top right graph, shows the deflection coefficient as it varies with the network lifetime, where delay for detection is set to 50 s. The results are similar to the delay for detection study, where the proposed CLD approach outperforms the maximum throughput and decoupled design approaches. Equivalently, for the same deflection coefficient, the network lifetime with the CLD is longer. The MCS results are superimposed on the numerically obtained curves, verifying the correctness of the analysis. The TDMA sensor network exhibits a similar behavior as illustrated in Figure 7, bottom left and right graphs. The MCS results are shown for the CLD design only to avoid cluttering the figures.
6.4.4 ROC curves
Probability of error for the ALOHA (top graphs) and TDMA (bottom graphs) wireless sensor networks. MCS curves smoothed out for better presentation.
ROC curve for the ALOHA (left graph) and TDMA (right graph) wireless sensor networks.
In practice, a family of these ROC curves are provided for different values of the delay for detection and network lifetimes. The operating point is located on a specific ROC curve, and the relevant values of the detector threshold and the WSN design variables are set accordingly.
7 Slotted ALOHA-TDMA comparison
ALOHA-TDMA comparison.
Figure 10, top right graph, shows the deflection coefficient for different lifetime values. Similarly, the TDMA outperforms the ALOHA for lifetime values greater than the threshold lifetime . The threshold lifetime gets higher as the delay for detection decreases. For the given numerical example, the threshold lifetime days. Since the performance degrades with increasing network lifetime, the deflection coefficient at the threshold lifetime may be below the minimum design value, and therefore, TDMA may not be a feasible design option. For example, in Figure 10, top right graph, the minimum detection performance is specified by D2=6, and therefore, the ALOHA is the design option. At the threshold lifetime, D2≈5.2, which is below the minimum design requirement, and therefore, TDMA cannot be used with such design requirements. However, for scarce energy applications, the threshold lifetime gets smaller, so that TDMA maybe the only viable design option to extend the network lifetime, on the expense of degraded detection performance.
Figure 10, bottom left graph, summarizes the performance comparison in the delay lifetime two-dimensional space. The curve represents the boundary between the ALOHA and TDMA regions. For any pair of (delay, lifetime) in the ALOHA region, the ALOHA sensor network has a superior performance and similarly for the TDMA region. The figure could be augmented by the contour lines for the deflection coefficient for both ALOHA and TDMA to show the performance measure value. Using the deflection coefficient values, the designer can check whether the selected operating point satisfies the minimum performance requirement. Figure 10, bottom right graph, shows the performance regions with the contour lines for the ALOHA region.
8 Conclusion
In this paper, we pursued a cross-layer, model-based approach to design a single-hop ALOHA and TDMA WSNs deployed for detection applications. We developed an integrated model for the detection system that includes the communication network, sensing, and energy models. We considered the QoI, CSI, and REI quality measures in the design process. We designed a complete transmission control policy that includes the transmission probabilities, communication rate, and energy allocation for each sensor. We showed a significant performance increase over the decoupled and maximum throughput design approaches with equal energy allocation scheme, for both ALOHA and TDMA networks.
The TDMA sensor network is easier to design than the ALOHA network, since one of the design variables is omitted (retransmission probability). However, we showed in this paper that the ALOHA network outperforms TDMA for small to moderate delays. For large delays, TDMA outperforms the ALOHA network unless the network lifetime is reduced. The designer chooses the best option based on the delay and lifetime constraints, in addition to the minimum allowed performance measure.
The cross-layer design approach results in a no-cost performance increase, since the designer obtains a performance increase for the same delay and lifetime constraints. However, the cross-layer design has its own pitfalls. First, a mathematical model that captures the inter-relationships between different layers has to be developed. This model is, in general, complex, and it maybe required to go through the design process several times to refine the assumptions in order to obtain a tractable model. Second, the optimization problem obtained has to be solvable in real time with existing optimization algorithms. This is not always possible, as the optimization problem complexity is closely coupled to the model complexity. Finally, the optimality of the design depends on the availability of the global information in real time. This assumption may not always be true in practice. Despite these pitfalls, the cross-layer design complexity is justified when it is desired to optimize the performance with limited system resources that cannot be replenished (e.g., remote WSN in a battlefield). The decoupled approach, on the other hand, maybe justified for systems with enough resources such that the performance loss could be compensated by additional resource allocation.
Several extensions could be made to the work presented in this paper. Multi-hop sensor networks could be addressed instead of single-hop networks. Small-scale fading could be incorporated in the system model, providing a more general model that is applicable in a variety of sensor network applications. Finally, other channel access schemes could be considered, e.g., FDMA, CDMA, and SDMA.
Declarations
Acknowledgements
This work is supported in part by the National Science Foundation (CNS-1238959, CNS-1035655).
Authors’ Affiliations
References
- Viswanathan R, Varshney P: Distributed detection with multiple sensors I. Fundamentals. Proc. IEEE 1997, 85: 54-63. 10.1109/5.554208View ArticleGoogle Scholar
- Abu-romeh AS, Jones DL: Decentralized detection in censoring sensor networks under correlated observations. EURASIP J. Adv. Signal Process. 2010, 2010: 1-10.View ArticleGoogle Scholar
- Duman T, Salehi M: Decentralized detection over multiple-access channels. IEEE Trans. Aerosp. Electron. Syst. 1998, 34(2):469-476. 10.1109/7.670328View ArticleGoogle Scholar
- Longo M, Lookabaugh T, Gray R: Quantization for decentralized hypothesis testing under communication constraints. IEEE Trans. Inform. Theory 1990, 36(2):241-255. 10.1109/18.52470MathSciNetView ArticleGoogle Scholar
- Veeravalli VV, Chamberland JF: Detection in sensor networks. In Wireless Sensor Networks: Signal Processing and Communications Perspectives. Edited by: Tong L, Swami A, Zhao Q, Hong TW. West Sussex: Wiley; 2007:119-148.Google Scholar
- Liu L, Chamberland JF: Cross-layer optimization and information assurance in decentralized detection over wireless sensor networks. 2006.View ArticleGoogle Scholar
- IEEE Computer Society: IEEE Standard for Local and Metropolitan Area Networks–Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPANs). New York: IEEE; 2011.Google Scholar
- Tsitsiklis JN: Decentralized detection. In Advances in Signal Processing. Edited by: Poor HV, Thomas JB. Oxford: JAI Press; 1993:297-344.Google Scholar
- Gastpar M: Uncoded transmission is exactly optimal for a simple Gaussian sensor network. IEEE Trans.Inform. Theory 2008, 54(11):5247-5251.MathSciNetView ArticleMATHGoogle Scholar
- Tantawy A, Koutsoukos X, Biswas G: Transmission control policy design for decentralized detection in tree topology sensor networks. Paper presented at the 14th international conference on information fusion, Chicago, IL, USA, July 5–8 2011, 1–8Google Scholar
- Tantawy A, Koutsoukos X, Biswas G: A cross-layer design for decentralized detection in tree sensor networks. Paper presented at the IEEE international conference on distributed computing in sensor systems (DCOSS), Hangzhou, China, 16–18 May 2012Google Scholar
- Chen B, Jiang R, Kasetkasem T, Varshney PK: Channel aware decision fusion in wireless sensor networks. IEEE Trans. Signal Process 2004, 52(12):3454-3458. 10.1109/TSP.2004.837404MathSciNetView ArticleGoogle Scholar
- Yilmaz Y, Moustakides GV, Wang X: Channel-aware decentralized detection via level-triggered sampling. IEEE Trans. Signal Process 2013, 61: 300-315.MathSciNetView ArticleGoogle Scholar
- Mergen G, Naware V, Tong L: Asymptotic detection performance of type-based multiple access over multiaccess fading channels. IEEE Trans. Signal Process 2007, 55(3):1081-1092.MathSciNetView ArticleGoogle Scholar
- Hong YW, Varshney PK: Data-centric and cooperative MAC protocols for sensor networks. In Wireless Sensor Networks: Signal Processing and Communications. Edited by: Swami A, Zhao Q, Hong YW, Tong L. West Sussex: Wiley; 2007:311-344.View ArticleGoogle Scholar
- Yuan Y, Kam M: Distributed decision fusion with a random-access channel for sensor network applications. IEEE Trans. Instrum. Meas 2004, 53(4):1339-1344. 10.1109/TIM.2004.830598View ArticleGoogle Scholar
- Chang TY, Hsu TC, Hong PW: Exploiting data-dependent transmission control and MAC timing information for distributed detection in sensor networks. IEEE Trans. Signal Process 2010, 58(3):1369-1382.MathSciNetView ArticleGoogle Scholar
- Hong YW, Lei KU, Chi CY: Channel-aware random access control for distributed estimation in sensor networks. IEEE Trans. Signal Process 2008, 56(7):2967-2980.MathSciNetView ArticleGoogle Scholar
- Yang Y, Blum R, Sadler B: Energy-efficient routing for signal detection in wireless sensor networks. IEEE Trans. Signal Process 2009, 57(6):2050-2063.MathSciNetView ArticleGoogle Scholar
- Sung Y, Misra S, Tong L, Ephremides A: Cooperative routing for distributed detection in large sensor networks. IEEEJ. Select. Areas Commun 2007, 25(2):471-483.View ArticleGoogle Scholar
- Zhao Q, Swami A, Tong L: The interplay between signal processing and networking in sensor networks. IEEE Signal Process. Mag 2006, 23(4):84-93.View ArticleGoogle Scholar
- Tantawy A, Koutsoukos X, Biswas G: Transmission control policy design for decentralized detection in sensor networks.Google Scholar
- Gallager R: Principles of Digital Communication. New York: Cambridge University Press; 2008.View ArticleMATHGoogle Scholar
- Salous S: Radio Propagation Measurement and Channel Modelling. West Sussex: Wiley; 2013.View ArticleGoogle Scholar
- Zhao F, Guibas L: Wireless Sensor Networks: An Information Processing Approach. New York: Morgan Kaufmann; 2004.Google Scholar
- Hata M: Empirical formula for propagation loss in land mobile radio services. IEEE Trans. Veh. Technol 1980, 29(3):317-325.MathSciNetView ArticleGoogle Scholar
- Bhardwaj M, Garnett T, Chandrakasan A: Upper bounds on the lifetime of sensor networks. ICC 2001, 3: 785-790.Google Scholar
- Deng J, Han Y, Heinzelman W, Varshney P: Scheduling sleeping nodes in high density cluster-based sensor networks. Mobile Netw. Appl 2005, 10(6):825-835. 10.1007/s11036-005-4441-9View ArticleGoogle Scholar
- Chen Y, Zhao Q: On the lifetime of wireless sensor networks. IEEE Commun. Lett 2005, 9(11):976-978. 10.1109/LCOMM.2005.11010View ArticleGoogle Scholar
- Kay SM: Fundamentals of Statistical Signal Processing: Detection Theory. New Jersey: Prentice Hall; 1998.Google Scholar
- Picinbono B: On deflection as a performance criterion in detection. IEEE Trans. Aerosp. Electron. Syst 1995, 31(3):1072-1081. 10.1109/7.395235View ArticleGoogle Scholar
- IEEE: IEEE Standard 754-2008: IEEE Standard for Floating-Point Arithmetic. New York: IEEE; 2008.Google Scholar
- Boyd S, Vandenberghe L: Convex Optimization. Cambridge: Cambridge University Press; 2004.View ArticleMATHGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License(http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.