 Research
 Open Access
 Published:
Fundamental limits of single anchorbased cooperative localization in millimeter wave systems
EURASIP Journal on Advances in Signal Processing volume 2020, Article number: 24 (2020)
Abstract
Thanks to massive antenna arrays in millimeter wave communications, a much higher resolution can be achieved for the estimation of angle of arrival. By taking full advantage of beamforming capability and high angular resolution in millimeter wave systems, a single anchor is sufficient to obtain a good position estimation for agents by combining angle of arrival and time of arrival. In this paper, a singleanchor based cooperative localization is proposed for millimeter wave systems. Fundamental limits of cooperative localization with a single anchor is investigated, where all nodes are equipped with massive antenna arrays. Bounds of timebased range and position estimation are derived by CrámerRao bound in general multipath channels. For the singleanchor based cooperative localization, the structure of the fisher information matrix is investigated and the relationship between ranging accuracy and positioning accuracy is theoretically clarified. Numerical results demonstrate a consistency with theory behind the proposed millimeter wave’s cooperative localization network.
Introduction
As is well known, millimeter wave (mmWave) communication operates with the wide spectrum from 30 GHz to 300 GHz [1]. With a large available bandwidth and massive antenna arrays, mmWave bands are very promising and attractive in wireless communication [2]. The first standardized consumer radios were in the 60 GHz unlicensed band, where 2 GHz signal bandwidth is common. By virtue of this advantage, even though there exists a severe path loss in mmWave transmissions, the development of wireless communication in the 60 GHz band has been attracting plenty of attentions [3].
In addition to offering a large available bandwidth and massive antenna arrays, mmWave transmissions have a higher transmit power that leads to a higher signal noise ratio (SNR) compared with another probing signal with a large band named ultra wideband (UWB) ([4, 5]) in the frequency range of 3.1∼10.6 GHz. Consequently, mmWave has a tremendous potential for precise ranging and positioning and is capable of compensating for the drawbacks of satellite based positioning systems such as global positioning systems (GPS). So far, there have been many literatures conducting an investigation on mmWave localization. By measuring mmWave’s received signal strength (RSS), a meterlevel positioning accuracy is obtained in [6]. Due to massive antenna arrays in mmWave communications, a much higher resolution is achieved for the estimation of angle of arrival (AOA) ([7–9]). Under this condition, a single anchor is sufficient for agents’ position estimation by using AOA and time of arrival (TOA), instead of multiple anchors involved in conventional localization networks ([10, 11]). This work has been extended to the case of multipath environments in ([12–14]), where the fundamental bounds for position and orientation estimation are derived. In [15], error bounds for uplink and downlink 3dimensional (3D) localization in mmWave systems are derived based on singleanchor localization with uniform rectangular arrays. In indoor scenarios ([11, 16]), position and orientation error bounds are analyzed for singleanchor based 3D mmWave localization with a perfect single beam whose direction is assumed to be known, where only a singlepath channel is considered. Our previous works investigate the multianchor based mmWave localization in static and dynamic multipath channels and achieve a millimeterlevel (mmlevel) positioning bound in the given mmWave localization systems ([17, 18]).
This paper proposes singleanchor based cooperative localization and investigates the fundamental limits on ranging and positioning in mmWavebased cooperative localization. Similar to ([19, 20]), the antenna array is regarded as a phased array because the signal bandwidth B is much smaller^{Footnote 1}than the carrier frequency f_{c}, i.e., B≪f_{c}, although the band of mmWave is large ([3, 11]). Different from the existing literatures ([21, 22]) that achieve meterlevel to centimeterlevel positioning accuracy, we attempt to pursue a mmlevel positioning accuracy and achieve a similar accuracy level as our previous work [19]. However, different from [19] that employs multiple anchors and adopts a large antenna array only for the anchor, this paper considers a single anchor based cooperative localization with the antenna array equipped for all nodes.
Figure 1 shows a genetic network topology for single anchor based cooperative localization. In the communication range of an agent, there is only a single anchor to be used for localization. For each anchoragent connection pair, both TOA and AOA are measured; however, for each agentagent connection pair, only the TOA is measured. In this paper, the fundamental limits of cooperative localization in mmWave systems are investigated, where a single anchor is utilized for resource saving. In communication networks, due to power control, the number of hearable anchors might be insufficient. Single anchorbased cooperative localization can eliminate this problem. Bounds of range, orientation, and position estimation are derived by CrámerRao bound (CRB) for general multipath channels. The structure of the fisher information matrix (FIM) is investigated, and the relationship between ranging accuracy and positioning accuracy is theoretically clarified. The contributions of this paper is summarized as follows:
We propose mmWavebased cooperative localization with a single anchor to reduce the construction cost and overcome the hearability problem;
In the proposed model associated with mmWave transmission and massive antenna arrays, we derive the CRB for range and orientation estimations for a single anchor and range estimation for agents;
In the proposed model associated with mmWave transmission and massive antenna arrays, we analyze the FIM structure and derive the CRB for position estimation in single anchorbased cooperative localization;
The close relationship between the bound for range estimation and that for position estimation is theoretically disclosed in singleanchor based cooperative localization.
The remaining of this paper is organized as follows. Section 2 introduces the system model and problem formulation. In Section 3, the bounds for range and orientation estimations are derived for single anchor, and the bound for range estimation is derived for agents. In Section 4, the FIM is structured and the bounds on position and orientation estimations are derived, where the bound of position estimation is associated with that of range estimation. Section 5 reports the numerical results, followed by conclusion in Section 6.
Notations: The superscripts [·]^{∗},·, [·]^{T}, [·]^{−1} and \(\phantom {\dot {i}\!}[\cdot ]^{'}\) denote the conjugate, the modulus, the transpose, the inverse, and the first derivation of the argument, respectively; A≽B means that matrix A−B is positive semidefinite; [·]_{i,j} denotes the element at the i^{th} row and j^{th} column of its argument; [·]_{r1:r2,c1:c2} denotes a submatrix composed of the rows r_{1} to r_{2} and the columns c_{1} to c_{2} of its argument; [·]_{n×n,k} denotes the kth n×n submatrix beginning from the element 2n(k−1)+1 on the diagonal of its argument; I_{n} denotes a n×n identity matrix, 1_{m×n} denotes a m×n matrix with all elements of 1 and 0_{m×n} denotes a m×n matrix with all elements of 0; A⊗B denotes the Kronecker product of A and B and A∘B denotes the Hadamard product of A and B; \(\mathbb {E}_{\mathbf {v}}\{\cdot \}\) is the expectation operator with respect to the random vector v; tr(·) denotes the trace of a matrix.
System model and localization method
2.0.1 System model and problem formulation
Considering an mmWave localization system consisting of a single anchor with known coordinate p_{0}=(x_{0},y_{0}) and K agents with unknown coordinates p_{k}=(x_{k},y_{k}) to be localized, \(k \in \{1,2,\cdots,K \} \overset {\Delta }{=} \mathcal {N}_{k}\), as shown in Fig. 2, where all nodes, indicating both the anchor and agents, are equipped with massive antenna array [23]. The node k has M_{k} antenna elements, \(k \in \{0\} \cup \mathcal {N}_{k}\), where k=0 indicates the anchor and k>0 indicates the agent.
Even though it is argued that smallscale fading in lineofsight (LOS) link of mmWave communications is not significant with strong beamforming and can thus be neglected ([1, 24]), we persist in considering a generic wireless propagation model that includes smallscale fading for LOS path. Furthermore, according to [24] and [25], mmWave signals are sensitive to blockage effects, which result in distinct differences in the LOS and nonLOS (NLOS) path losses. mmWave signals at 60 GHz band suffer much more as shown by the path loss model in ([25, 26]). Moreover, shadowing is another nonnegligible factor to affect mmWave signals. Nevertheless, in wireless localization based on TOA, we focus much more on the time of flight or equivalently the propagation delay than on the path loss. Consequently, in order to simplify the analysis, the path loss in this paper is comprehensively expressed as follows.
In Fig. 2, the red edge connecting a single anchor with each agent denotes the propagation from anchor to the agent, and the blue edge connecting two agents denotes the signal transmission between agents. After a simple geometric operation, the received signal matrix at node \(k\in \mathcal {N}_{k}\) from node \(j \in \{0\} \cup \mathcal {N}_{k} \backslash k, \mathbf {x}_{kj}(t) \in \mathbb {C}^{M_{k} \times 1}\), can be modeled as
where \(\mathbf {e}\left (\phi _{kj}^{(p)},\phi _{jk}^{(p)}\right)=\mathbf {e}_{r}\left (\phi _{kj}^{(p)}\right) \mathbf {e}_{t}^{T}\left (\phi _{jk}^{(p)}\right) \in \mathbb {C}^{M_{k} \times M_{j}}\) is composed of antenna steering vector \(\mathbf {e}_{t}\left (\phi _{jk}^{(p)}\right) \in \mathbb {C}^{M_{j} \times 1}\) and antenna response vector \(\mathbf {e}_{r}\left (\phi _{kj}^{(p)}\right) \in \mathbb {C}^{M_{k} \times 1}\); \(\mathbf {B}^{kj}(\boldsymbol {\phi }_{T}) \in \mathbb {C}^{M_{j} \times M_{b}}\) denotes the beamforming vectors with the targeted angle of transmission ϕ_{T}; \(\phantom {\dot {i}\!}\mathbf {s}(t)=[s_{1}(t), s_{2}(t), \cdots, s_{M_{b}}(t)]^{T}\); P_{kj} denotes the number of multipath components; \( \alpha _{kj}^{(p)}\) and \(\tau _{kj}^{(p)}\) are the propagation amplitude and delay of the p^{th} path, respectively;
with the light speed c and range bias \(b_{kj}^{(p)} \geq 0\) in which the range bias is zero for the direct path; w_{kj}(t) represents the observation noise matrix, where each elements are modeled as additive white Gaussian processes with zero mean, variance of \(\sigma _{w}^{2}\), and twoside power spectral density N_{0}/2.
Specifically, the received signal at antenna m of node k from node \(j \in \{0\} \cup \mathcal {N}_{k} \backslash k\) can be obtained from (1)
where \(e^{jg_{m}(\phi _{kj}^{(p)})}\) is the steering phase of antenna m at the single anchor with respect to the p^{th} path.
2.0.2 Coperative localization with single anchor
A generic framework for cooperative localization has been proposed in [27] for wideband signals, where multiple anchors are considered for only delay estimation. Similar to [27], each agent in the cooperative network is localized by combining two components: single anchor’s localization and other agents’ cooperative localization.
In single anchor’s localization, each agent receives transmissions from the single anchor and then measures the angle as well as the propagation delay. The localization is then accomplished by using both AOA and TOA. In agents’ cooperative localization, each agent receives transmissions from all other hearable agents and then measures all propagation delays, where the localization is accomplished by using TOA or TDOA.
To sum up, in the proposed single anchorbased cooperative localization networks, the final localization is implemented by combining the AOA and TOA from single anchor and the entire TOAs from all hearable agents.
Bounds of range and orientation estimation
In this section, we derive the FIM and CRB for range estimation as well as for orientation estimation. Without loss of generality, we assume that each agent in localization networks knows the array orientation for itself and for the fixed anchor; however, it has no information about the array orientation for other agents.
FIM for range and orientation
Let θ_{kj} denote the parameters to be estimated during the propagation from node l to agent k, l≠k, which consists of the multipath delays, massive antenna array vectors and channel amplitudes. When j=0, we attempt to measure the range between the single anchor and agent k, and the orientation from the single anchor to agent k. When j≠0, we attempt to measure only the range between agents k and j. Therefore, we have
where the special vector
contains unknown LOS parameters to be estimated for j=0;
with \(\tau _{kj}^{(1)}\) being the unique unknown parameter to be estimated for j≠0; \(\boldsymbol {\varphi }_{kj} \overset {\Delta }{=} \left [ \boldsymbol {\phi }_{kj}^{T}, \boldsymbol {\phi }_{jk}^{T} \right ]^{T}\), in which
and
for all \(j \in \mathcal {N}_{k} \backslash k\). The observation vector is organized as
where \(\mathbf {x}_{kj}^{(m)}\) is obtained from the KarhunenLoeve (KL) expansion of \(\mathbf {x}_{kj}^{(m)}(t)\) in (2). Let \(\hat {\boldsymbol {\theta }}_{kj}\) denote an unbiased estimator of the parameter vector θ_{kj} based on the observation vector x_{kj}.
The mean squared error (MSE) of \(\hat {\boldsymbol {\theta }}_{kj}\) is bounded as [28]
where \(\mathbb {E}_{\mathbf {x}_{kj}\boldsymbol {\theta }_{kj}}[\cdot ]\) denotes the expectation operation parameterized by the unknown vector θ_{kj}, and J_{θ,kj} denotes the FIM for the parameter vector θ_{kj}. Let \(\hat {\tau }_{kj}^{(1)}\) be an unbiased estimator of the parameter \(\tau _{kj}^{(1)}\) that is the LOS delay.
Let \(\hat {\phi }_{k0}^{(1)}\) be an unbiased estimator of \(\phi _{k0}^{(1)}\). Thus, \(\hat {\tau }_{kj}^{(1)}\) and \(\hat {\phi }_{k0}^{(1)}\) are bounded respectively as
And the FIM J_{θ,kj} is defined as
where f(x_{kj}θ_{kj}) is the likelihood ratio of the random variable matrix x_{kj}
with
Bounds on range and orientation for anchoragent pair
We firstly consider range estimation and orientation estimation when agent k communicates with the single anchor (j=0). In this case, the FIM J_{θ,k0} can be structured as
where \(\operatorname {F}_{\mathbf {x}_{1} \mathbf {x}_{2}} \overset {\Delta }{=} \Re \left \{ \mathbb {E}_{\mathbf {x}_{kj}\boldsymbol {\theta }_{kj}}\left \{  \frac {\partial ^{2}}{\partial \mathbf {x}_{1} \partial \mathbf {x}_{2}} \ln f\left (\mathbf {x}_{kj}\boldsymbol {\theta }_{kj}\right) \right \} \right \}\).
By referring to [17], all elements could be easily obtained via a straightforward algebraic transformation. It is evidently known that \(\left [\mathbf {J}_{\theta, k0}^{1} \right ]_{1,1}\) and \(\left [\mathbf {J}_{\theta, k0}^{1} \right ]_{2,2}\) are of interest even though the FIM J_{θ,k0} has a higher dimension. By partitioning J_{θ,k0} as
we then have
where J_{c,k0} is defined as the Schur complement of J_{θ,k0}.
Fundamental bounds of range estimation \(\hat {d}_{k0}\) and orientation estimation \(\hat {\phi }_{k0}^{(1)}\) can thus be obtained as
And the [Υ_{0,k0}]_{1,1} can be obtained as
where \(\beta \overset {\Delta }{=} \left (\frac {\int _{\infty }^{+\infty } f^{2}S(f)^{2} df}{\int _{\infty }^{+\infty } S(f)^{2} df} \right)^{1/2}\) denotes the mean square bandwidth (MSB) [29] and \(\mathsf {SNR}_{k0}^{(1)} \overset {\Delta }{=} \frac {\alpha _{k0}^{(1)}^{2} \int _{\infty }^{+\infty } S(f)^{2} df}{N_{0}}\) denotes the received SNR of the LOS path at agent k from the single anchor.
Bounds on range estimation for agentagent pair
We then consider range estimation between agents k and \(j \in \mathcal {N}_{k} \backslash k\). In this case, the FIM J_{θ,kj} can be structured as
where all elements could be easily obtained via a straightforward algebraic transformation.
Similarly, \(\left [\mathbf {J}_{\theta, kj}^{1} \right ]_{1,1}\) is of interest although the FIM J_{θ,kj} has a higher dimension. By partitioning J_{θ,kj} as
where \(\boldsymbol {\tau }_{kj} \overset {\Delta }{=} \left [ \tau _{kj}^{(2)}, \tau _{kj}^{(3)}, \cdots, \tau _{kj}^{(P_{kj})}\right ]^{T}\), i.e. \(\tau _{kj}^{(1)}\) is excluded.
By defining J_{c,kj} as the Schur complement of the matrix J_{θ,kj}, we then have
The bound on range estimation \(\hat {d}_{kj}\) is similarly obtained as
And the Υ_{0,kj} can be obtained as
where \(\mathsf {SNR}_{kj}^{(1)} \overset {\Delta }{=} \frac {\alpha _{kj}^{(1)}^{2} \int _{\infty }^{+\infty } S(f)^{2} df}{N_{0}}\) denotes the received SNR of the LOS path at agent k from agent j.
Bounds on position and orientation in single anchorbased cooperative localization
In this section, we investigated the structure of FIM for position estimation as well as for orientation estimation. Furthermore, we analyzed the contribution of single anchor’s localization and agents’ localization.
FIM and structure
FIM
By considering all transmissions from a single anchor and from K agents, the parameter vector to be estimated at agent k can be represented by
where
consists of positions of all agents and orientations of all nodes;
with \(j \in \{0\} \cup \mathcal {N}_{k} \backslash k\);
contains
and two other vectors φ_{kj} in (5) and α_{kj} in (6).
The observation vector x includes the received waveforms at all agents, which is represented by
where
with \(j \in \{0\} \cup \mathcal {N}_{k} \backslash k\) and
And \(\mathbf {x}_{kj}^{(m)}\), having the same expression as (7), is obtained from the KarhunenLoeve (KL) expansion of \(\mathbf {x}_{kj}^{(m)}(t)\) in (2). When node k cannot communicate with node j directly, the corresponding terms x_{kj} and x_{jk} disappear from x.
\(\boldsymbol {\mathfrak {J}}_{\theta }\) is defined as the FIM of θ, so we have
where the overall likelihood ratio can be shown as
Let \(\hat {\mathbf {p}}_{k}=(\hat {x}_{k}, \hat {y}_{k})\) be an unbiased estimator of p_{k}=(x_{k},y_{k}). Similarly, we have the MSE of \(\hat {\mathbf {p}}_{k}\) and the orientation \(\hat {\phi }_{k0}^{(1)}\) bounded as
in the proposed single anchorbased cooperative localization.
Structure of FIM
The loglikelihood function for single anchorbased cooperative localization can be expressed as
where \(\mathbf {P}_{k} = \left [\mathbf {p}_{k}^{T}, \phi _{k0}^{(1)}\right ]^{T}\) is composed of the position of agent k and the orientation of the direct transmission from the single anchor to agent k, and \(\tilde {\boldsymbol {\theta }}_{kj}\) denotes the vector of the channel parameters that are associated with nodes k and j. So, the FIM can be structured as
where \(\operatorname {F}\left (\mathbf {x}_{1}, \mathbf {x}_{2}\right) \overset {\Delta }{=} \mathbb {E}_{\mathbf {x}\boldsymbol {\theta }}\left \{  \frac {\partial ^{2}}{\partial \mathbf {x}_{1} \partial \mathbf {x}_{2}^{T}} \ln f\left (\mathbf {x}\boldsymbol {\theta }\right) \right \}\), P denotes the vector which includes all P_{k} and \(\tilde {\boldsymbol {\theta }}_{k}\) denotes the vector including all \(\tilde {\boldsymbol {\theta }}_{kj}\) for \(k \in \mathcal {N}_{k}\) and \(j \in \{0\} \cup \mathcal {N}_{k} \backslash k\). The fact that \(\operatorname {F}\left (\tilde {\boldsymbol {\theta }}_{k}, \tilde {\boldsymbol {\theta }}_{j} \right) = 0\) for k≠j is used here and the corresponding Schur complement can therefore be expressed as
where \(\operatorname {F}\left (\mathbf {P}, \tilde {\boldsymbol {\theta }} \right) \overset {\Delta }{=} \left [ \operatorname {F}\left (\mathbf {P}, \tilde {\boldsymbol {\theta }}_{1} \right), \operatorname {F}\left (\mathbf {P}, \tilde {\boldsymbol {\theta }}_{2} \right), \cdots, \operatorname {F}\left (\mathbf {P}, \tilde {\boldsymbol {\theta }}_{K} \right)\right ]\); \(\operatorname {F}\left (\tilde {\boldsymbol {\theta }}, \tilde {\boldsymbol {\theta }} \right) \overset {\Delta }{=} \text {diag} \left \{ \operatorname {F}\left (\tilde {\boldsymbol {\theta }}_{1}, \tilde {\boldsymbol {\theta }}_{1} \right), \operatorname {F}\left (\tilde {\boldsymbol {\theta }}_{2}, \tilde {\boldsymbol {\theta }}_{2} \right), \cdots, \operatorname {F}\left (\tilde {\boldsymbol {\theta }}_{K}, \tilde {\boldsymbol {\theta }}_{K} \right) \right \}\).
Proposition 1
\(\boldsymbol {\mathfrak {J}}_{c}(\mathbf {P})\), including all agent’s positions \(\hat {\mathbf {p}}_{k}=(\hat {x}_{k}, \hat {y}_{k})\) and orientations \(\hat {\phi }_{k0}^{(1)}\) for all \(k \in \mathcal {N}_{k}\), can be divided into two independent components, where one component originates from the contribution of singleanchor localization and the other is from the contribution of all hearable agents’ cooperative localization.
Proof
By referring to [27], it is not difficult to find
where \(\operatorname {F}_{kj}\left (\mathbf {x}_{1},\mathbf {x}_{2}\right) \triangleq \mathbb {E}_{\mathbf {x}\boldsymbol {\theta }}\left \{  \frac {\partial ^{2}}{\partial \mathbf {x}_{1} \partial \mathbf {x}_{2}} \ln f\left (\mathbf {x}_{kj}\mathbf {P}_{k}, \mathbf {P}_{j}, \tilde {\boldsymbol {\theta }}_{kj}\right) \right \}\); \(\boldsymbol {\Phi }_{kj}\left (\mathbf {x}_{1}, \mathbf {x}_{2}, \mathbf {x}_{3} \right) \triangleq \operatorname {F}_{kj}\left (\mathbf {x}_{1}, \mathbf {x}_{2} \right) \left [ \operatorname {F}_{kj}\left (\mathbf {x}_{2}, \mathbf {x}_{2} \right) \right ]^{1}\operatorname {F}_{kj}\left (\mathbf {x}_{2}, \mathbf {x}_{3} \right)\).
Single anchor’s localization generates
where \(\boldsymbol {\mathfrak {J}}_{c, k0}\) represents single anchor’s localization for each agent. And all agent’s cooperative localization generates \(\boldsymbol {\mathfrak {J}}_{c, G}(\mathbf {P})\) as in (34), where \(\boldsymbol {\mathfrak {J}}_{c, kj}\) is associated with agent k and agent j. All \(\boldsymbol {\mathfrak {J}}_{c, k0}\) in (33) and \(\boldsymbol {\mathfrak {J}}_{c, kj}\) in (34) will be found out in the following subsections. □
Single anchor’s localization
Contribution of single anchor’s localization \(\boldsymbol {\mathfrak {J}}_{c, n}(\mathbf {P})\)
In order to find the details of \(\boldsymbol {\mathfrak {J}}_{c, n}(\mathbf {P})\) and associate position estimation with range estimation, we further consider a parameter transformation from \(\boldsymbol {\rho }_{k} = \left [ \mathbf {p}_{k}^{T}, \phi _{k0}^{(1)}, \tilde {\boldsymbol {\theta }}_{k0}^{T} \right ]^{T}\) to η_{k}=θ_{k0}, where \(\tilde {\boldsymbol {\theta }}_{k0}\) is given in (24)(25) and θ_{k0} is given in (3). So, we have the FIM \(\phantom {\dot {i}\!}\boldsymbol {\mathfrak {J}}_{\boldsymbol {\rho }_{k}}\) as
where \(\phantom {\dot {i}\!}\boldsymbol {\mathfrak {J}}_{\boldsymbol {\rho }_{k}}\) and \(\phantom {\dot {i}\!}\mathbf {J}_{\boldsymbol {\eta }_{k}}\) are the FIMs for the position’s parameter vector ρ_{k} and the range’s parameter vector η_{k} respectively, and Ξ is the Jacobian matrix for the transformation.
Thus, we have the diagonal block matrix
where J_{θ,k0} is given in (12). And,
where
with
and
By substituting (38) through (41) into (37) and substituting (37), (36) into (35), \(\boldsymbol {\mathfrak {J}}_{\boldsymbol {\rho }_{k}}\) can be partitioned and represented as
where
Let \(\mathbf {H}_{k0}= \left [ \frac {1}{c}\check {\mathbf {q}}_{k0}, \check {\mathbf {H}}_{k0}\right ]\) and \(\mathbf {D}_{k0} = \left [ \check {\mathbf {D}}_{k0}, \mathbf {0} \right ] \), where \(\check {\mathbf {q}}_{k0} = \left [ \mathbf {q}_{k0}, c\tilde {\mathbf {q}}_{k0} \right ]\) and \(\check {\mathbf {D}}_{k0} = [0, 1]\). By using (13), we further have
Accordingly, the Schur complement of matrix \(\boldsymbol {\beth }_{2}\), which is actually \(\boldsymbol {\mathfrak {J}}_{c, k0}(\mathbf {P}_{k})\), can be associated with the performance of range estimation J_{c,k0} in (14) as
where \(\boldsymbol {\zeta }_{k0}=\frac {1}{c} \check {\mathbf {q}}_{k0} \boldsymbol {\Upsilon }_{0,k0} \check {\mathbf {D}}_{k0}^{T} + \check {\mathbf {H}}_{k0} \boldsymbol {\Upsilon }_{1,k0}^{T} \check {\mathbf {D}}_{k0}^{T}\).
Effect of orientation to position estimation \(\boldsymbol {\mathfrak {J}}_{c, k0}(\mathbf {P}_{k})\)
By applying a similar partitioning as (42)(43) on (45), \(\boldsymbol {\mathfrak {J}}_{c, k0}(\mathbf {P}_{k})\) can be obtained as
where
with \(\boldsymbol {\chi } = \bar {\mathbf {I}}_{k0} \boldsymbol {\Upsilon }_{1,k0}^{T}\) being a 2×2 matrix and \(\bar {\mathbf {I}}_{k0}\) satisfying \(\bar {\mathbf {I}}_{k0} = \left [ \mathbf {1}_{2\times (P_{k0}1)}, \mathbf {0}_{2\times (3P_{k0}1)} \right ]\).
By considering the definition of Υ_{1,k0} in (13), we further have
and
Consequently, \(\boldsymbol {\mathfrak {J}}_{c, k0}(\mathbf {P}_{k})\) can be obtained as
because \(\phi _{k0}^{(1)}\) and \(\tau _{k0}^{(p)}\) are mutually independent, where p∈{2,3,⋯,P_{kj}}.
Agents’ localization: \(\boldsymbol {\mathfrak {J}}_{c, G}(\mathbf {P})\)
In order to find the details of FIM to be associated with the range estimation, we further consider a parameter transformation from \(\boldsymbol {\rho }_{k} = \left [ \mathbf {p}_{k}^{T}, \tilde {\boldsymbol {\theta }}_{k1}^{T}, \tilde {\boldsymbol {\theta }}_{k2}^{T}, \cdots, \tilde {\boldsymbol {\theta }}_{kj}^{T},\cdots, \tilde {\boldsymbol {\theta }}_{kK}^{T} \right ]^{T}\) to \(\boldsymbol {\eta }_{k} = \left [ \boldsymbol {\theta }_{k1}^{T}, \boldsymbol {\theta }_{k2}^{T}, \cdots, \boldsymbol {\theta }_{kj}^{T}, \cdots, \boldsymbol {\theta }_{kK}^{T} \right ]^{T}\), where \(\tilde {\boldsymbol {\theta }}_{kj}\) is given in (24)(25) and θ_{kj} is given in (3). So, we have the FIM \(\phantom {\dot {i}\!}\mathbf {J}_{\boldsymbol {\rho }_{k}}\) as
where \(\phantom {\dot {i}\!}\boldsymbol {\mathfrak {J}}_{\boldsymbol {\rho }_{k}}\) and \(\phantom {\dot {i}\!}\mathbf {J}_{\boldsymbol {\eta }_{k}}\) are similarly the FIMs for the parameter vector ρ_{k} and η_{k} respectively, and Ξ is the Jacobian matrix for the transformation.
Thus, we have the diagonal block matrix
where J_{θ,kj} is given in (17).
And,
where
with
and
By substituting (53) through (55) into (52) and substituting (51), (52) into (49), \(\boldsymbol {\mathfrak {J}}_{\boldsymbol {\rho }_{k}}\) can be partitioned and represented as
where all elements and the Schur complement of the matrix can be easily obtained by referring to Section 4B. The Schur complement of the matrix \(\boldsymbol {\beth }_{2}\), which is actually \(\boldsymbol {\mathfrak {J}}_{c, kj}(\mathbf {p}_{k})\), can be associated with range estimation J_{c,kj} in (19) as
where \(\mathcal {B}_{\hat {d}_{kj}}\) is the bound of range estimation in (15) and the directional matrix \(\mathbf {q}_{kj} \mathbf {q}_{kj}^{T} \) indicates the relative propagation direction between agents j and k.
By substituting (57) into (34), (45) into (33), we have the detailed \(\boldsymbol {\mathfrak {J}}_{c,G}(\mathbf {P})\) and \(\boldsymbol {\mathfrak {J}}_{c,N}(\mathbf {P})\). Then, substituting \(\boldsymbol {\mathfrak {J}}_{c,G}(\mathbf {P})\) and \(\boldsymbol {\mathfrak {J}}_{c,N}(\mathbf {P})\) into (32), the final \(\boldsymbol {\mathfrak {J}}_{c}(\mathbf {P})\) is obtained.
Numerical results and discussion
In this section, we use numerical results to simulate the fundamental limits of range estimation, orientation estimation, and position estimation in mmWavebased cooperative localization with only a single anchor involved.
Simulation setup
In a simple localization network, we consider to transmit mmWaves in a short range between nodes (including a single anchor and agents) during an unlicensed band at a carrier frequency of f_{c}=60 GHz and an available bandwidth of B=1 GHz using time division multiple access (TDMA) [16]. Computer simulation is used to demonstrate the feasibility of a single anchorbased cooperative localization. Figure 3 shows a simple localization network with a single anchor and multiple agents, where the yellow star indicates the single anchor, the bigger red square indicates a hearable agent for the anchor, the smaller red square indicates a nonhearable agent for the anchor, and a connection between two nodes means that both nodes are hearable to each other.
More specifically, Fig. 4 shows the single anchor and its 4 hearable agents that are identified by \(k \in \mathcal {N}_{k}\), where the anchor is placed at the origin of p_{0}=(0,0), K=4 hearable agents located on a given circle. Furthermore, Fig. 5 shows respectively agent k and its 4 neighbors including the single anchor and 3 other hearable agents, where agent k is set as the focus. Therefore, in our simulations, we assumed 4 hearable neighbors for all cases. Without loss of generality, the phased uniform rectangular array (URA) is considered for all nodes in our simulation. The interelement spacing of the URA is assumed to be Δ_{a}=λ/2. The number of antenna elements for node k, M_{k}, is set to be same as for node j, M_{j}, where \(k, j \in \mathcal {N}_{k}\), which is expressed as M without loss of generality. The transmitted signal is compliant with the correspondent Federal Communications Commission (FCC) energy mask [30].
Because mmWave transmission undergoes a sparse scattering multipath environment [26], the probability and intensity of the LOS path suffering from the partial overlapping of NLOS paths becomes smaller when we compare mmWave with sub 6 GHz waves. In other words, the number of NLOS paths that might affect the TOA decreases significantly in mmWave systems. Moreover, when the separation between the NLOS path and the LOS path is larger, the probability that the NLOS affects the TOA is lower. Thus, the received waveform is assumed to go through a multipath model with two adjacent paths: one LOS path and the nearest NLOS path, where we consider the path separation in a wide range to evaluate the corresponding effect of the NLOS path to range estimation and position estimation.
In Fig. 4, the corresponding directions of all LOS paths are respectively \(\phi _{k0}^{(1)} \in \{ \pi /4, 2 \pi /3,9 \pi /5, 11 \pi /6 \}\). We consider that the directions of all 2^{nd} NLOS paths are respectively \(\phi _{k0}^{(2)} = \phi _{k0}^{(1)}  \pi /18\) for simplification. And Fig. 5 provides similar information for the agent \(k \in \mathcal {N}_{k}\). The reference SNR for the LOS path is considered to take the following values, SNR∈{5,10,15}dB for each case, because of a higher transmit power transmitted for shortdistance estimation, whereas a 4 dB additional SNR loss is considered for NLOS path. The real received SNR at each antenna is calibrated for each case with respect to the reference SNR.
Range and orientation estimations
The OFDM signal is transmitted to precisely measure the distance between nodes. The separation of the two paths Δτ_{1,0}=τ_{1}−τ_{0} is identical for all the following cases.
Figure 6 shows contours of ranging accuracy as a function of path separation where the SNR ranges from −16 dB to 16 dB, a 5×5 URA, i.e., M=25, is implemented in both nodes and the ranging root mean squared error (RMSE) is in log scale ^{Footnote 2}, i.e., log10(RMSE). It is observed that the higher the SNR, the lower the RMSE; the variation of the SNR has a uniform influence on the accuracy regardless of the value of the SNR; with a small Δτ_{1,0}, the required least SNR is increased somewhat to attain an identical accuracy; with the path separation greater than 2 ns, the mmlevel ranging accuracy is achieved when the SNR is greater than or equal to 5 dB.
Figure 7 shows the FIM of phase estimation as a function of the number of antenna elements in the URA, where the SNR is considered to be 10 dB. The number of antenna elements in the URA of each node, M, is increased from 4 to 50. It is observed that the FIM reaches its maximum when the direction of the coming signal is π/4, 3π/4, 5π/4 or 7π/4 with respect to the URA plane, where we make full use of the URA to receive the incoming signals. With a larger M, the FIM gets much bigger. When the direction of the incoming signal is overlapped with or vertical to the URA plane, the FIM is equal to zero.
Figure 8 shows the bounds of phase estimation as a function of the number of antenna elements in the URA, where the SNR is also considered to be 10 dB. The number of antenna elements in the URA corresponding to each node, M, is identically increased from 4 to 50. It is observed that the bound of phase estimation reaches its minimum when the direction of the coming signal is π/4, 3π/4, 5π/4 or 7π/4 with respect to the URA plane; with a larger M, the bound becomes smaller. When the direction of the incoming signal is overlapped with or vertical to the URA plane, the bound is infinite so the estimation cannot be carried out at this time.
Position estimation
The bound of position estimation is composed of the bound of range estimation and the network topology. When the SNR is more or less the same^{Footnote 3} for all anchors [31], the curves of position estimation look similar as those of range estimation. The positioning accuracy is evaluated in terms of position error bound (PEB) [28].
Figures 9 and 10 show PEBs of position estimation as a function of Δτ_{1,0}, where the single anchor is used for localization without any assistance from other agents. Figure 9 considers different antenna elements M={16,25} while Fig. 10 considers different SNRs with more observations. Each horizontal line denotes the CRB in the case of no overlapping NLOS paths and each curve asymptotically approaching the horizontal line denotes the CRB in overlapping multipath channels. It is observed that the larger the number of antenna elements M, the lower the PEB; the overlapping of nonseparable NLOS path augments the PEB because it makes the estimation of the LOS path more difficult. When the path separation exceeds 2 ns, the PEB is equal to the nonoverlapping case where the multipath has no effect on the estimation of the LOS path. Furthermore, the specific shape of curves is related to the autocorrelation function of the transmitted waveform; because it suffers from a sudden phase shift for different path separations, the curves have some local bulges and are not so smooth as multianchorbased localization [19] when using OFDM transmissions. However, when the path separation gets larger, the bulge becomes negligible.
Figures 11 and 12 show PEBs of singleanchorbased cooperative localization as a function of path separation. Figure 11 considers different antenna elements while Fig. 12 considers different SNRs with more observations. Apart from the observations from above as in Figs. 9 and 10, it is further observed that cooperative localization is able to enhance the positioning performance and to lower the PEB with the same condition; the curves become smooth because the sudden phase shift for different path separations are filtered through multiple nodes. From Fig. 11, it is observed that an improvement of PEB from approximately 10 mm to 5 mm is achieved when considering cooperative localization with the number of antenna elements M=16 for all nodes; an improvement of PEB from approximately 5 mm to 2.5 mm is achieved when considering cooperative localization with the number of antenna elements M=25 for all nodes. From Fig. 12, it is observed that an improvement of PEB from approximately 8 mm to 4 mm is achieved when considering cooperative localization with the reference SNR=5 dB for all nodes; an improvement of PEB from approximately 4 mm to 1.8 mm is achieved when considering cooperative localization with the reference SNR=15 dB for all nodes.
To sum up, the proposed single anchorbased cooperative localization in mmWave systems considerably improves the single anchor’s localization. It is shown that a mmlevel positioning accuracy has been achieved in the proposed localization network from both theoretical bounds and computer simulations.
Conclusion
We have conducted a study on the theoretical performance for range and position estimation in mmWave’s cooperative localization with a single anchor, where massive antenna arrays are implemented in all agents and in the single anchor. The performance has been evaluated by theoretically deriving the CRB, where the FIM is analyzed and structured. The fundamental limit of range estimation is associated with that of position estimation. Numerical results show a consistency with the proposed theory. It is observed that mmlevel ranging and positioning accuracy can be accomplished in such cooperative localization by taking advantage of mmWave’s massive antenna array, large available band, and a high SNR based on the allowed large transmit power.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
Much smaller ≪ is defined by \(\frac {f_{c} \pm B}{f_{c}}\approx 1\). In this paper, f_{c}=60 GHz while B≤2 GHz so \(\frac {f_{c} \pm B}{f_{c}} \in [0.97, 1.03]\).
As an example, the number −3 on the contour in Fig. 6 indicates 1 mm.
This is a common case since the localization process will eliminate partial singular estimations (such as too low SNR or too far from BS etc.) before implementing localization to guarantee the accuracy.
Abbreviations
 mmWave:

Millimeter wave
 UWB:

Ultra wideband
 SNR:

Signal to noise ratio
 GPS:

Global positioning system
 RSS:

Received signal strength
 AOA:

Angle of arrival
 TOA:

Time of arrival
 2D:

2dimension
 3D:

3dimension
 mmlevel:

Millimeterlevel
 CRB:

CrámerRao bound
 FIM:

Fisher information matrix
 LOS:

Lineofsight
 NLOS:

Nonlineofsight
 MSE:

Mean squared error
 MSB:

Mean square bandwidth
 KL:

KarhunenLoeve
 TDMA:

Time division multiple access
 FCC:

Federal Communications Commission
 RMSE:

Root mean squared error
 PEB:

Position error bound
References
T. S. Rappaport, S. Sun, R. Mayzus, H. Zhao, Y. Azar, K. Wang, G. N. Wong, J. K. Schulz, M. Samimi, F. Gutierrez, Millimeter wave mobile communications for 5G cellular: it will work!. IEEE Access. 1:, 335–349 (2013).
W. H. Chin, Z. Fan, R. Haines, Emerging technologies and research challenges for 5G wireless networks. IEEE Wirel. Commun.21(2), 106–112 (2014).
R. W. Heath, N. GonzalezPrelcic, S. Rangan, W. Roh, A. M. Sayeed, An overview of signal processing techniques for millimeter wave MIMO systems. IEEE J. Sel. Top. Sig. Processing. 10(3), 436–453 (2016).
T. Lv, C. Wang, H. Gao, Factor graph aided multiplesymbol differential detection in the broadcasting phase of a network coding based UWB relay system. IEEE Trans. Veh. Technol.66(6), 5364–5371 (2016).
T. Wang, T. Lv, H. Gao, Y. Lu, BER analysis of decisionfeedback multiplesymbol detection in noncoherent MIMO ultrawideband systems. IEEE Trans. Veh. Technol.62(9), 4684–4690 (2013).
M. Vari, D. Cassioli, in 2014 IEEE International Conference on Communications Workshops (ICC). mmwaves rssi indoor network localization (IEEE, 2014), pp. 127–132. https://doi.org/10.1109/iccw.2014.6881184.
P. Rong, M. L. Sichitiu, in 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 1. Angle of arrival localization for wireless sensor networks (IEEE, 2006), pp. 374–382. https://doi.org/10.1109/sahcn.2006.288442.
Y. L. De Jong, M. H. Herben, Highresolution angleofarrival measurement of the mobile radio channel. IEEE Trans. Antennas Propag.47(11), 1677–1687 (1999).
Y. Zhang, A. K. Brown, W. Q. Malik, D. J. Edwards, High resolution 3D angle of arrival determination for indoor UWB multipath propagation. IEEE Trans. Wirel. Commun.7(8), 3047–3055 (2008).
A. Shahmansoori, G. E. Garcia, G. Destino, G. SecoGranados, H. Wymeersch, in 2015 IEEE Globecom Workshops (GC Wkshps). 5G position and orientation estimation through millimeter wave MIMO (IEEE, 2015), pp. 1–6.
A. Guerra, F. Guidi, D. Dardari, Singleanchor localization and orientation performance limits using massive arrays: MIMO vs. beamforming. IEEE Trans. Wirel. Commun.17(8), 5241–5255 (2018).
A. Shahmansoori, G. E. Garcia, G. Destino, G. SecoGranados, H. Wymeersch, Position and orientation estimation through millimeterwave MIMO in 5G systems. IEEE Trans. Wirel. Commun.17(3), 1822–1835 (2017).
R. Koirala, B. Denis, B. Uguen, D. Dardari, H. Wymeersch, in 2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). Localization optimal multiuser beamforming with multicarrier mmWave MIMO (IEEE, 2018), pp. 1–7. https://doi.org/10.1109/pimrc.2018.8580712.
A. Hu, T. Lv, H. Gao, Z. Zhang, S. Yang, An ESPRITbased approach for 2D localization of incoherently distributed sources in massive MIMO systems. IEEE J. Sel. Top. Sig. Proc.8(5), 996–1011 (2014).
Z. AbuShaban, X. Zhou, T. Abhayapala, G. SecoGranados, H. Wymeersch, Error bounds for uplink and downlink 3D localization in 5G millimeter wave systems. IEEE Trans. Wirel. Commun.17(8), 4939–4954 (2018).
A. Guerra, F. Guidi, D. Dardari, in 2015 IEEE International Conference on Communication Workshop (ICCW). Position and orientation error bound for wideband massive antenna arrays (IEEE, 2015), pp. 853–858. https://doi.org/10.1109/iccw.2015.7247282.
D. Wang, M. Fattouche, F. M. Ghannouchi, in 2017 IEEE Globecom Workshops (GC Wkshps). Bounds of mmWavebased ranging and positioning in multipath channels (IEEE, 2017), pp. 1–6. https://doi.org/10.1109/glocomw.2017.8269035.
D. Wang, M. Fattouche, F. Ghannouchi, in 2018 IEEE Canadian Conference on Electrical & Computer Engineering (CCECE). Bounds of mmWavebased ranging and positioning with massive uniform rectangular array (IEEE, 2018), pp. 1–6. https://doi.org/10.1109/ccece.2018.8447755.
D. Wang, M. Fattouche, X. Zhan, Pursuance of mmlevel accuracy: ranging and positioning in mmWave systems. IEEE Syst. J.13(2), 1169–1180 (2018).
A. Kakkavas, M. H. C. Garcia, R. A. StrirlingGallacher, J. A. Nossek, Performance limits of singleanchor mmwave positioning. arXiv preprint (2018). arXiv:1808.08116.
D. B. Jourdan, D. Dardari, M. Z. Win, Position error bound for UWB localization in dense cluttered environments. IEEE Trans. Aerosp. Electron. Syst.44(2), 613–628 (2008).
H. H. Lin, C. C. Tsai, J. C. Hsu, Ultrasonic localization and pose tracking of an autonomous mobile robot via fuzzy adaptive extended information filtering. IEEE Trans. Instrum. Meas.57(9), 2024–2034 (2008).
R. Shafin, L. Liu, J. Zhang, Y. C. Wu, DoA estimation and capacity analysis for 3D millimeter wave massiveMIMO/FDMIMO OFDM systems. IEEE Trans. Wirel. Commun.15(10), 6963–6978 (2016).
Y. Zhu, L. Wang, K. K. Wong, R. W. Heath, Secure communications in millimeter wave ad hoc networks. IEEE Trans. Wirel. Commun.16(5), 3205–3217 (2017).
T. Bai, R. W. Heath, Coverage and rate analysis for millimeterwave cellular networks. IEEE Trans. Wirel. Commun.14(2), 1100–1114 (2014).
L. Wang, K. K. Wong, S. Jin, G. Zheng, R. W. Heath, A new look at physical layer security, caching, and wireless energy harvesting for heterogeneous ultradense networks. IEEE Commun. Mag.56(6), 49–55 (2018).
Y. Shen, H. Wymeersch, M. Z. Win, Fundamental limits of wideband localizationpart II cooperative networks. IEEE Trans. Inf. Theory. 56(10), 4981–5000 (2010).
Y. Shen, M. Z. Win, Fundamental limits of wideband localizationpart I a general framework. IEEE Trans. Inf. Theory. 56(10), 4956–4980 (2010).
S. M. Kay, Fundamentals of statistical signal processing (1993). Prentice Hall PTR.
F. C. Commission, et al., Revision of part 15 of the commission’s rules regarding operation in the 5764 ghz band. Federal Communications Commission, Tech. Rep (2013).
D. Wang, M. Fattouche, F. M. Ghannouchi, X. Zhan, Quasioptimal subcarrier selection dedicated for localization with multicarrierbased signals. IEEE Syst. J.13(2), 1157–1168 (2018).
Acknowledgements
This project has been supported by the Key Program of Natural Science Foundation of Zhejiang province, China (Grant No. LZ19F020001).
Author information
Affiliations
Contributions
The authors declare that they all contributed to the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhao, F., Huang, T. & Wang, D. Fundamental limits of single anchorbased cooperative localization in millimeter wave systems. EURASIP J. Adv. Signal Process. 2020, 24 (2020). https://doi.org/10.1186/s13634020006836
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13634020006836
Keywords
 Cooperative localization
 Single anchor
 Millimeter wave systems
 Positioning
 CrámerRao bound
 Massive antenna array