1. Introduction
Wireless sensor networks (WSNs) have been widely used for monitoring and control in military, environmental, health and commercial systems [
1,
2,
3,
4]. A WSN usually consists of tens or hundreds of wirelessly connected sensors. Sensor positioning becomes an important issue. Since the global positioning system (GPS) is currently a costly solution, only a small percentage of sensors are equipped with GPS receivers called reference devices (RDs), whereas the other sensors are blindfolded devices (BDs).
Several geolocation techniques have been used to estimate sensor positions, including the time-of-arrival (TOA)-, the time-difference-of-arrival (TDOA)-, the angle-of-arrival (AOA)-, the received signal strength (RSS)-based methods or hybrid location methods [
5,
6,
7,
8]. Among these location techniques, a method based on RSS has attracted much attention because of its low complexity and low cost of devices [
9]. For the RSS localization technique, the transmit power and path loss exponent (PLE) are two critical parameters which have significant effects on the positioning accuracy. Many RSS methods and performance analyses have been reported in the literature [
10,
11,
12,
13,
14,
15]. These studies assumed that both the transmit power and PLE are perfectly known. However, this assumption is not suitable for a practical channel environment. Since the transmit power of a sensor in the WSNs depends on its battery, antenna gain, and scheduling algorithm, it is changing with different sensors and times. The additional hardware and software caused by the transmission of the transmit power between RDs and a BD make the WSNs more convoluted. Moreover, the transmit power is usually unknown for non-cooperative applications such as sensor localization in military areas. Compared with the transmit power, the PLE is not only a time-varying parameter but also a function of the channel environment. It changes as the environment and time change. Subsequently, various RSS-based location methods [
16,
17,
18,
19,
20,
21,
22] have been proposed to consider the case where both the transmit power and PLE are unknown. Different estimators such as maximum likelihood (ML) and semidefinite programming (SDP) are devised in those algorithms. Although those algorithms can provide the optimum or suboptimum performance, they require a search or alternating process, and cannot give a closed-form solution to sensor localization. The inefficiency incurred by these algorithms may not be feasible to be applied in a practical system. In addition, the performance of the search methods may strongly rely on the initial solution. An improper selection of the initialization may lead to a local minimum and cause a large estimation error. Besides the above localization algorithms, some studies have been reported on performance analyses for sensor localization using RSS measurements [
16,
23]. The authors in [
16] derived the Cramer-Rao lower bound (CRLB) for the RSS location technique considering the case with the unknown transmitted power and PLE. Furthermore, a more practical CRLB was proposed in [
23]. Besides the unknown transmitted power and PLE, the derived CRLB in [
23] considers both the antenna radiation pattern information and the differences of PLE among RDs. There are deterministic and stochastic CRLBs for the RSS localization technique. The former regards the PLE as a deterministic unknown parameter while the latter models the PLE as a Gaussian random variable. Although the deterministic CRLBs for the RSS localization technique have been addressed in the literature [
16,
23], the stochastic CRLB of RSS methods has not been studied. This paper will try to derive the stochastic CRLB for RSS-based location methods.
In this paper, a novel RSS localization method based on a two-step weighted least squares (WLS) estimator is proposed for the case with the unknown transmit power and uncertainty in PLE. Furthermore, the complete performance analysis of the proposed method is given in the paper. Since the mobile location is a nonlinear problem, some approximations are essential for the proposed method to obtain the closed-form solution. The perturbation approach retaining only the linear perturbation terms is used here to solve the nonlinear mobile location problem. Theoretical analysis proves that the theoretical variance of the proposed method is equal to the CRLB. This means that the effect of the approximations is extremely small. Compared with the previous research studies, the main contributions of this paper are listed as follows:
- (1)
The proposed method can not only provide the closed-form solution but it can also attain the CRLB which is verified by the theoretical analysis and simulations. The existing RSS methods considering the unknown transmit power and uncertainty in PLE require a search process.
- (2)
Compared with the deterministic assumption of PLE in the literature [
16,
17,
18,
19,
20,
21,
22,
23], the stochastic assumption used in this paper is more suitable for a real environment. The existing RSS methods in [
16,
17,
18,
19,
20,
21,
22,
23] regarded the PLE as a deterministic unknown parameter and tried to estimate it. These methods assumed that there is no prior knowledge on the PLE. Based on this assumption, the deterministic CRLB is derived in [
16,
23]. Although it is very hard to obtain an exact value of the PLE, approximate estimates of the PLE for typical channel environments can be obtained through a field test which has been reported in the literature [
24,
25]. To describe the uncertainty of the PLE, this paper models the PLE as a Gaussian random variable whose mean and variance are treated as prior knowledge and can be obtained from experimental analysis.
- (3)
The performance analysis for the proposed method is presented in this paper. Both the theoretical variance and stochastic CRLB for the proposed method are derived in the paper. Moreover, some characteristics of the proposed stochastic CRLB for WSN localization are derived in this paper. The relationships between the deterministic CRLB [
16] and the proposed stochastic CRLB are presented in Propositions 1 and 2. The paper also proves that the proposed method can reach the stochastic CRLB. These have not been addressed in the literature.
Section 2 briefly introduces the system model. A novel RSS method for the case with the unknown transmit power and uncertainty in the PLE is proposed in
Section 3.
Section 4 derives the stochastic CRLB. Some characteristics of the proposed methods are given in
Section 5. In
Section 6, the performance of the proposed algorithm is simulated in terms of the root mean square error (RMSE). The conclusions of this paper are given in
Section 7.
2. System Model
The basic RSS model is briefly introduced in this section. Assume that (
x,
y) is the position of a BD to be estimated and the known coordinate of the
ith RD in a
-RDs system is (
xi,
yi). Without loss of generality, the position of the first RD can be set to be (0, 0). Denote the measurement with noise of
as
. The true distance between the
ith RD and BD can be modeled as:
where
and
.
Since the measured received power
at RD
(in decibel milliwatts) can be modeled as a log-normal variable [
10], the relation between
and
is:
where
β is the PLE,
is a zero-mean Gaussian random process with variance
in decibels,
is the reference power at reference distance
and it depends on the transmit power. Typically, r
0 = 1 m. Note that Equation (2) is the most popular RSS model and has been widely used in the literature [
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25]. Moreover, the model has been validated by a variety of measurement results [
10,
21,
25]. For several non-cooperative applications such as mobile location in military areas, the transmit power is usually unknown to RDs which leads to the unknown
. The PLE
β is a function of the environment and varies typically between 2 (free space) and 4. For particular environments,
β may be known from experimental analysis. The earlier research [
10,
11,
12,
13,
14,
15] on mobile locations using RSS measurements assumed that
β can be exactly obtained. This assumption is not suitable for a real situation since
β changes as the channel environment and time change. To improve the positioning accuracy, several studies [
16,
17,
18,
19,
20,
21,
22,
23] subsequently regarded the PLE as a deterministic unknown parameter and tried to estimate it. Compared with the deterministic assumption in [
16,
17,
18,
19,
20,
21,
22,
23], this paper models the PLE as a Gaussian random variable whose mean and variance can be obtained from experimental analysis.
Considering the uncertainty of PLE,
β in this paper is modeled as:
where
β0 is the mean of
β and can be obtained through the field test, and the disturbance
is used to describe the uncertainty of the PLE, caused by the changes of environment and time, which is assumed to be an independent zero-mean Gaussian distribution with variance
based on the law of large numbers.
3. Closed-Form Solutions
From Equation (2),
can be obtained:
Substituting Equation (1) into Equation (4) gives:
With the RSS noise and PLE disturbance, the error vector derived from Equations (2) and (4) is:
where
,
,
.
The first step WLS estimator of
can be obtained from Equation (5):
where
is the covariance matrix of
e:
It should be noted that matrix
contains the unknown parameter
β. To solve Equation (6), the mean
β0 of
β is used in
. Matrix
becomes:
Ignoring the square error term derived from Equation (5), the element
of
e can be expressed as:
From Equation (8), the expectations of
and
can be obtained:
Substituting Equations (9) and (10) into Equation (7) gives:
where
Since the covariance matrix
depends on the unknown
and
, further approximation is necessary to make the problem solvable. First, the approximate value
can be used in
to replace
. Second, the approximate estimate of
can be obtained using the least square (LS) estimator:
The covariance matrix of
can be calculated by using the perturbation approach. Further,
is denoted as error perturbation. In the presence of noise and disturbance,
Equation (6) can be rewritten as:
Substituting Equations (16)–(18) into Equation (19) gives:
Ignoring the square error term, Equation (20) can be simplified as:
Without the noise of
and the disturbance of the PLE,
Substituting Equation (22) into Equation (21) gives:
Since
, Equation (5) implies that:
Substituting Equation (24) into Equation (23) gives:
Substituting Equation (25) into
, the covariance matrix of
can be obtained:
The estimation accuracy can be further improved using the relationship between
x,
y and
k. The first step of the solution of
in Equation (6) is based on the assumption of independent
x,
y and
k. However, those parameters are correlated by Equation (1). The results can be revised as follows using the relation of Equation (1):
where
,
,
.
Let the estimation errors of
x,
y and
k be
,
, and
. Then the elements of
become:
Substituting Equation (28) into Equation (27) and ignoring the square error term, the entries of
can be expressed as:
Subsequently, the covariance matrix of
is:
where
. In fact,
is unknown as
contains the true BD position
x and
y. As in Equation (11),
can be approximated as
.
The second step of the WLS solution is:
Similarly, the covariance matrix of
can be obtained by using the perturbation approach:
The position estimation
:
In summary, the steps of the proposed method can be listed as follows:
- (1)
Estimate through substituting Equations (14) and (15) into Equation (11).
- (2)
The first weight solution of BD can be obtained through substituting Equation (11) into Equation (6).
- (3)
The final solution of BD can be obtained from Equation (33).
From the definition of
in Equation (28) and by ignoring the square error term,
can be rewritten as:
where
and
are the estimation errors of
x,
y respectively. The covariance matrix of
can be obtained from Equation (34):
where
.
From Equations (26), (30), (32) and (35), the covariance matrix of
can be finally obtained:
4. Cramer-Rao Lower Bound
It is well known that the CRLB sets a lower limit for the variance or covariance matrix of any unbiased estimate of unknown parameters [
26].
There are deterministic and stochastic CRLBs for RSS location methods. The deterministic CRLB is based on the assumption that the PLE is a deterministic unknown process and was derived in [
16,
23]. However, the stochastic CRLB for the RSS location technique has not been studied in the literature to the best of our knowledge. The subsection derives the stochastic CRLB for RSS-based algorithms where the PLE is modeled as a temporal Gaussian process whose mean and variance can be obtained from experimental analysis. Studies in [
24,
25] show that the typical values and variation range of PLEs for different channel environments can be estimated through field tests.
Let
be a RSS measurement vector and a parameter vector
to be estimated, where
is
. The CRLB matrix is defined as the inverse of the Fisher information matrix (FIM)
:
where
is an estimate of
.
The FIM is determined by [
26]:
Using the Bayes’ theorem,
Substituting Equation (39) into Equation (38) gives
From Equation (2), the probability density function (PDF)
can be written as:
where
The log of
is:
Substituting Equation (42) into
gives:
Since
, the expectation of
is:
In the presence of the uncertainty of the PLE, the PDF of the PLE can be obtained from Equation (3):
Substituting Equation (44) into
gives:
It can be easily derived from Equation (45) that:
Substituting Equations (43) and (46) into Equation (40) gives:
Substituting Equations (42) and (45) into Equation (47) gives:
where
,
,
.
It should be noted that
is the FIM of the deterministic CRLB in [
16].
Finally, the proposed CRLB is derived as:
The analytical formula of the CRLB can help to reduce the computational complexity and assist the performance analysis. It can be observed from
Appendix A that the analytical formula of the derived CRLB is expressed as:
where
a,
b,
c and
d can be obtained from Equations (A14)–(A17) respectively.
5. Performance Analysis
The relationships between the deterministic and stochastic CRLBs are provided in the following propositions.
Proposition 1. In the RSS localization technique, the deterministic CRLB is higher than the proposed stochastic CRLB.where and are the FIMs for stochastic and deterministic CRLBs, respectively. Proof. Since is a positive semi-definite matrix, Equation (51) holds.□
This proposition shows that the prior knowledge of the PLE can help to improve the positioning accuracy.
Proposition 2. The proposed stochastic CRLB reduces to the deterministic CRLB if no prior information on the PLE is given.
Proof. For the case without prior information on the PLE, the variance of the PLE will approach infinity. This means and . Substituting into Equation (48), .□
This gives a sanity check for the proposed CRLB.
Proposition 3. The proposed method can attain its stochastic CRLB: Proposition 3 shows that the proposed method can provide an optimum performance.
6. Simulation Results
A square region of dimensions 40 m × 40 m is considered for the simulations, where the positions of the BD and RDs are randomly distributed in the square space 0 ≤ x, y ≤ 40 m.
The RMSEs are defined as
in the units of m, and are obtained from the average of 5000 independent runs. To compare with the proposed method, the LS localization method Equation (14) is used here due to its closed-form solution. Two search algorithms (ML and SDP) are selected for comparisons. The joint ML estimation of
x,
y,
and
β can be formulated as [
21]:
The ML estimator is solved by the MATLAB routine lsqnonlin using the Levenberg-Marquardt method. Obviously, Equation (53) is non-convex which may lead to multiple local minima. This implies that the performance of the ML estimator strongly relies on the initial solution. Besides the ML-LM method, an SDP algorithm given in [
15] is also included in the simulations since its object function is convex which means its global minima can be obtained. The MATLAB package CVX [
27] is used to solve the SDP algorithm. The solver of CVX is SeDuMi [
28]. It should be noted that SDP [
15] is generally based on the fact that both the transmit power and PLE are available. A summary of the considered algorithms is given in
Table 1.
Comparisons among the deterministic CRLB [
16], the proposed stochastic CRLB and the theoretical variance of the proposed method are also given in the simulations.
Figure 1 shows the RMSEs versus standard deviations (stds)
of the RSS measurements when the PLE is equal to 4; then number of RDs is six and the std
of PLE uncertainty is 0.2. It can be seen from the figure that all three methods (the proposed method, ML-TRUE and SDP-TRUE) provide much better performances than the others (LS method, ML-LS and SDP-P5). The performance of the proposed method is similar to those of the ML-TRUE and SDP-TRUE algorithms. It can be observed from
Figure 1 that ML-LS performs worse than ML-TRUE. This verifies that the ML estimator depends heavily on its initial solution. Performance comparisons between SDP-P5 and SDP-TRUE in
Figure 1 show that a little uncertainty on the transmit power and PLE (5% in simulations) will greatly degrade the performance of the SDP algorithm. It should be noted that both the ML-TRUE and SDP-TRUE algorithms require the true values of the transmit power and PLE, which is not suitable for a real channel situation.
Figure 1 also shows that the proposed method can reach its CRLB.
The average running time is compared in
Table 2. In the simulation, the PLE is equal to 4,
, σ = 4 dB, the number of RDs is six, and the CPU is i7-2600 3.4 GHZ. It can be seen from
Table 2 that the average running times of the ML-LS and SDP-P5 are approximately 60 and 412 times longer than the proposed method. The ML-TRUE has half the running time of the ML-LS since the true initial point may help the ML estimator reach the local minima faster, whereas SDP-TRUE and SDP-P5 have similar running times due to their global minima. As expected, the LS and the proposed method with the closed-form solutions have the shortest running times.
Performance comparisons with different
are recorded in
Figure 2. In this simulation, the std
of PLE uncertainty is varied from 0.1 to 0.5, the number of RDs is six,
, and σ = 4 dB. It can be also observed that the proposed method outperforms the other three algorithms (the LS method, ML-LS and SDP-P5).
The effect of different numbers of RDs is simulated in
Figure 3. In this simulation,
,
, and σ = 4 dB. The number of RDs is varied from six to 10. As the number of RDs increases, the performance of all algorithms becomes better as shown in
Figure 3. For various numbers of RDs, the proposed method performs better than other three algorithms (LS method, ML-LS and SDP-P5). This proves the scalability of the proposed method.
Figure 4 is performed to verify Propositions 1 and 3. The simulation environments of
Figure 4 are the same as that of
Figure 1. It can be seen from
Figure 4 that the theoretical variance of the proposed method is equal to the stochastic CRLB, which means the proposed method can reach its corresponding CRLB. This conclusion matches Proposition 3.
Figure 4 also shows that the proposed stochastic CRLB has a better performance than the deterministic CRLB which is in line with Proposition 1. This implies that the positioning accuracy can be improved by the prior information of the PLE.
Proposition 2 is evaluated in
Figure 5. In this simulation, the std
of the PLE uncertainty is varied from 0.01 to 3.51, the number of RDs is 10,
, and σ = 4 dB.
Figure 5 shows that the stochastic CRLB gradually reaches the deterministic CRLB as the PLE uncertainty
increases. The results mean that the proposed CRLB reduces to the deterministic CRLB if no prior information on the PLE is given, which verifies Proposition 2.