3-D Distributed Localization with Mixed Local Relative Measurements

Abstract

This paper studies 3-D distributed network localization using mixed types of local relative measurements. Each node holds a local coordinate frame without a common orientation and can only measure one type of information (relative position, distance, relative bearing, angle, or ratio-of-distance measurements) about its neighboring nodes in its local coordinate frame. A novel rigidity-theory-based distributed localization is developed to overcome the challenge due to the absence of a global coordinate frame. The main idea is to construct displacement constraints for the positions of the nodes by using mixed local relative measurements. Then, a linear distributed localization algorithm is proposed for each free node to estimate its position by solving the displacement constraints. The algebraic condition and graph condition are obtained to guarantee the global convergence of the proposed distributed localization algorithm.

I Introduction

Network localization is a fundamental problem in multiagent-related applications such as formation control, cooperative pursuit, target tracking, etc [1, 2, 3, 4]. There are typically two kinds of nodes in a network: anchor nodes and free nodes. The research on network localization focuses on how to localize the unknown free nodes by the known anchor nodes and relative measurements.

In large-scale networks, it may not be practical to equip each sensor with a GPS due to cost and in some environments GPS is not available [5]. In addition, there is usually no central unit that can obtain all the measurements in the network and compute all the positions of the free nodes in a centralized way. Hence, it is more practical to design a distributed localization algorithm such that each free node can estimate its own position by only communicating with its neighboring nodes. The existing distributed algorithms can be divided into four classes: distance-based [6, 7], relative-position-based [8], angle-based [9], and bearing-based [10, 11, 12].

The distance-based network localization has been studied extensively so far. A distance-based network is localizable if and only if it is globally rigid. Based on a generalized barycentric coordinate representation, distance-based distributed protocols are proposed to achieve network localization in both two-dimensional and three-dimensional spaces [6, 7]. Similar result can also be found in the relative-position-based network localization [8]. When each node can measure angles, a semi-definite strategy is used to localize the free nodes iteratively [9]. In the bearing-based network localization, Zhao has proved that an infinitesimally bearing rigid network is localizable [10]. In addition, the problem of how to make use of ratio-of-distance measurements to localize the free nodes is still not solved.

Note that the aforementioned works assume that the measurements of all the nodes are of identical type. In a large-scale network, different node may be equipped with different sensor and has different sensing capability. It is more practical to consider the network localization with mixed measurements. Some nodes may measure only relative distances, while others may measure only relative bearing, angle, relative position, or ratio-of-distance. The existing works consider distributed localization with mixed distance and bearing measurements [13, 14, 15], but [13] is limited to 2-D space and [14, 15] need a global coordinate frame. Another work [16] develops a distributed algorithm for 2-D network localization with mixed distance, bearing, and relative position measurements. Note that the 3-D case cannot be solved by trivially extending the results in [13, 16].

Different from the works [13, 14, 16, 15], we consider 3-D network localization with mixed local relative measurements without any known global coordinate frame. Inspired by our recent work that studies 3-D network localization with the same type of local relative measurements [17], in this paper, we study the network localization with mixed types of measurements, which is more challenging. Each node can only have one of the five types of measurements (relative position, distance, relative bearing, angle, and ratio-of-distance measurements) about its neighboring nodes in its local coordinate frame. A novel rigidity-theory-based distributed localization is developed to overcome the challenge due to the absence of a global coordinate frame. The key idea is to construct displacement constraints for the positions of the nodes by using mixed local relative measurements. Then, a linear distributed localization algorithm is proposed for each free node to estimate its own position by solving the displacement constraints. Moreover, algebraic condition and graph condition are obtained to ensure global convergence of the distributed localization algorithm.

The remaining parts of the paper are structured as follows: angle-displacement rigidity theory and problem statement are given in Section II and Section III, respectively. The localization problem with mixed local relative measurements is formulated in Section IV, where the corresponding algebraic and graph conditions for localizability are given. In addition, a distributed localization algorithm is proposed to ensure global convergence of the distributed localization algorithm. Some numerical examples are given in Section V to illustrate the theoretical results. Section VI ends this paper with some conclusions.

II Preliminaries of Angle-displacement Rigidity Theory

II-A Notations

Let $\|\cdot\|$, $\text{Null}(\cdot)$, $\text{dim}(\cdot)$, $\text{Span}(\cdot)$, $|\cdot|$, and $\text{Rank}(\cdot)$ denote the $L_{2}$ norm, null space, dimension, span, cardinality rank of a given vector or matrix, respectively. The Kronecker product and the determinant of a square matrix are denoted by $\otimes$ and $\text{det}(\cdot)$, respectively. ${I}_{d}\in\mathbb{R}^{d\times d}$ is the identity matrix, and $\mathbf{1}_{d}\triangleq(1,\cdots,1)^{T},\mathbf{0}_{d}\triangleq(0,\cdots,0)^{T}\in\mathbb{R}^{d}$. An undirected graph $\mathcal{G}=\{\mathcal{V},\mathcal{E}\}$ consists of a vertex set $\mathcal{V}$ of elements called nodes and an edge set $\mathcal{E}\subseteq\mathcal{V}\times\mathcal{V}$ of ordered pairs of nodes called edges, where $(i,j)\in\mathcal{E}\Leftrightarrow(j,i)\in\mathcal{E}$. The set of neighbors of node $i$ is denoted as $\mathcal{N}_{i}:=\{j\in\mathcal{V}:(i,j)\in\mathcal{E}\}$. Suppose $\Sigma_{g}$ is a global coordinate frame in $\mathbb{R}^{3}$. Let $p_{i},p_{j}\in\mathbb{R}^{3}$ be the positions of nodes $i,j$ in $\Sigma_{g}$, and $e_{ij}\triangleq p_{j}\!-\!p_{i}$ is the relative position in $\Sigma_{g}$.

Figure 1: Angle and displacement constraints based network.

Next, we introduce the concepts of angle constraint and displacement constraint, which will be used for 3-D network localization with mixed types of measurements.

II-B Angle Constraint and Displacement Constraint

Lemma 1.

[18] For any three different nodes $i,j,k$ in $\mathbb{R}^{3}$, denote $\theta_{i},\theta_{j},\theta_{k}\in[0,\pi]$ as the angles between $e_{ij}$ and $e_{ik}$, $e_{ji}$ and $e_{jk}$, $e_{ki}$ and $e_{kj}$ respectively. The angles $\theta_{i},\theta_{j},\theta_{k}\in[0,\pi]$ are determined uniquely by the parameters $w_{ik},w_{ki},w_{ij},w_{ji},w_{jk},w_{kj}$ in (1)-(3).

$$w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj}=0,$$ (1)

$$w_{ij}e_{ij}^{T}e_{ik}+w_{ji}e_{ji}^{T}e_{jk}=0,$$ (2)

$$w_{jk}e_{jk}^{T}e_{ji}+w_{kj}e_{kj}^{T}e_{ki}=0,$$ (3)

where $w_{ik}^{2}+w_{ki}^{2}\neq 0$, $w_{ij}^{2}+w_{ji}^{2}\neq 0$, and $w_{jk}^{2}+w_{kj}^{2}\neq 0$.

Note that in Lemma 1, $\theta_{i},\theta_{j},\theta_{k}\in[0,\pi]$ means that $p_{i},p_{j},p_{k}$ can be either colinear or non-colinear.

Definition 1.

Equations (1), (2), and (3) are formally defined as angle constraints for the nodes $i,j,k$ with respect to the edges $(i,j),(i,k),(j,k)$.

A wide matrix $E_{i}=(e_{ij},e_{ik},e_{ih},e_{il})$ $\in\mathbb{R}^{3\times 4}$ can be constructed based on five different nodes $i,j,k,h,l$. From the matrix theory, for any wide matrix $E_{i}$, there must be a non-zero vector $\mu_{i}=(\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il})^{T}\in\mathbb{R}^{4}$ satisfying $E_{i}\mu_{i}=\mathbf{0}$, i.e.,

$$\mu_{ij}e_{ij}+\mu_{ik}e_{ik}+\mu_{ih}e_{ih}+\mu_{il}e_{il}=\mathbf{0},$$ (4)

where $\mu_{ij}^{2}+\mu_{ik}^{2}+\mu_{ih}^{2}+\mu_{il}^{2}\neq 0$.

Definition 2.

Equation (4) is formally defined as a displacement constraint for node $i$ with respect to the edges $(i,j),(i,k),(i,h),(i,l)$.

It is worth noting that the angle constraints (1)-(3) are constructed by relative positions rather than angles. Note that the anchor positions are known, that is, the relative positions among the anchors are known. Hence, the angle constraints among the anchors are available. The parameters $w_{ik}$, $w_{ki}$, $w_{ij}$, $w_{ji}$, $w_{jk}$, $w_{kj}$ in (1)-(3) are obtained by the relative positions $e_{ij},e_{ik},e_{jk}$. For example, the parameters $w_{ik}$ and $w_{ki}$ in (1) can be designed as

$$\begin{array}[]{ll}&\!\begin{array}[]{lll}w_{ik}=\frac{1}{e_{ik}^{T}e_{ij}},w_{ki}=\frac{-1}{e_{ki}^{T}e_{kj}},&e_{ik}^{T}e_{ij},e_{ki}^{T}e_{kj}\neq 0,\\ w_{ik}=1,w_{ki}=0,&e_{ik}^{T}e_{ij}=0,e_{ki}^{T}e_{kj}\neq 0,\\ w_{ik}=0,w_{ki}=1,&e_{ik}^{T}e_{ij}\neq 0,e_{ki}^{T}e_{kj}=0.\\ \end{array}\end{array}\\$$ (5)

Remark 1.

Since the nodes $i,j,k$ are not collocated, the case $e_{ik}^{T}e_{ij}=0,e_{ki}^{T}e_{kj}=0$ does not hold. Without loss of generality, suppose $e_{ik}^{T}e_{ij}\neq 0$. The parameters $w_{ik},w_{ki}$ satisfying the angle constraint $w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj}=0$ are not unique, but the ratio of parameters $\frac{w_{ik}}{w_{ki}}=-\frac{e_{ki}^{T}e_{kj}}{e_{ik}^{T}e_{ij}}$ satisfying the angle constraint $w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj}=0$ is unique. The angles $\theta_{i},\theta_{j},\theta_{k}$ between the anchor nodes $i,j,k$ are determined uniquely by these unique ratios of parameters in the angle constraints (1)-(3).

In this paper, the known anchor positions will be used to construct the angle constraints, which do not need any measurement. In the proposed network localization, the mixed types of measurements are only used for constructing the displacement constraints (4). The details of how to make use of local relative measurements to construct the displacement constraint will be introduced in Section IV-B. Note that network localizability is used to specify whether the corresponding network structure is unique. The following angle-displacement rigidity theory will be used to explore the network localizability.

II-C Angle-displacement Rigidity Theory

A three-dimensional network, represented by $(\mathcal{G},p)$, is an undirected graph $\mathcal{G}$ with its vertex $i$ mapped to point $p_{i}$, where $p=(p_{1}^{T},\cdots,p_{n}^{T})^{T}\in\mathbb{R}^{3n}$ is the configuration in $\mathcal{G}$. The structure of a network can be determined by angle and displacement constraints. A simple example is given in Fig. 1. The structure of the network $\diamondsuit_{ijkh}(p)$ is determined by three angles $\theta_{i},\theta_{j},\theta_{k}$ and a displacement constraint $e_{hi}+e_{hj}-e_{hk}=0$, where $\theta_{i},\theta_{j},\theta_{k}$ are determined by three angle constraints (1)-(3). Thus, the structure of the network $\diamondsuit_{ijkh}(p)$ can be decided by three angle constraints (1)-(3) and the displacement constraint $e_{hi}+e_{hj}-e_{hk}=0$. The following angle-displacement rigidity theory answers that the structure of a network in $\mathbb{R}^{3}$ can be uniquely determined by a set of angle and displacement constraints up to directly similar transformations, i.e., translation, rotation, and scaling.

II-C1 Angle-displacement Function

Let $\Upsilon_{\mathcal{G}}=\{(i,j,k)\in\mathcal{V}^{3}:(i,j),(i,k),(j,k)\in\mathcal{E},i<\!j\!<\!k\}$ with $|\Upsilon_{\mathcal{G}}|=m_{r}$. Based on Definition 1, the angle function $B_{\Upsilon_{\mathcal{G}}}(p):\mathbb{R}^{3n}\rightarrow\mathbb{R}^{m_{r}}$ is defined as

$$B_{\Upsilon_{\mathcal{G}}}(p)\!=\!(\cdots,w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj},\cdots)^{T},$$ (6)

where $(i,j,k)\!\in\!\Upsilon_{\mathcal{G}}$, and $w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj}=0$ with $w_{ik}^{2}+w_{ki}^{2}\neq 0$.

Let $\mathcal{X}_{\mathcal{G}}=\{(i,j,k,h,l)\in\mathcal{V}^{5}:(i,j),(i,k),$ $(i,h),(i,l)\in\mathcal{E},j\!<\!k\!<\!h\!<\!l\}$ with $|\mathcal{X}_{\mathcal{G}}|=m_{d}$. Based on Definition 2, the displacement function $L_{\mathcal{X}_{\mathcal{G}}}(p):\mathbb{R}^{3n}\rightarrow\mathbb{R}^{3m_{d}}$ is defined as

$$L_{\mathcal{X}_{\mathcal{G}}}(p)\!=\!(\cdots,\mu_{ij}e_{ij}^{T}\!+\!\mu_{ik}e_{ik}^{T}\!+\!\mu_{ih}e_{ih}^{T}\!+\!\mu_{il}e_{il}^{T},\cdots)^{T},$$ (7)

where $(i,j,k,h,l)\in\mathcal{X}_{\mathcal{G}}$, and $\mu_{ij}e_{ij}\!+\!\mu_{ik}e_{ik}\!+\!\mu_{ih}e_{ih}\!+\!\mu_{il}e_{il}=0$ with $\mu_{ij}^{2}+\mu_{ik}^{2}+\mu_{ih}^{2}+\mu_{il}^{2}\neq 0$. Let $\mathcal{T}_{\mathcal{G}}=\Upsilon_{\mathcal{G}}\cup\mathcal{X}_{\mathcal{G}}$ and $m=3m_{d}+m_{r}$. Then, the angle-displacement function $f_{\mathcal{T}_{\mathcal{G}}}(p):\mathbb{R}^{3n}\rightarrow\mathbb{R}^{m}$ is defined as

$$f_{\mathcal{T}_{\mathcal{G}}}(p)=(B_{\Upsilon_{\mathcal{G}}}^{T}(p),L^{T}_{\mathcal{X}_{\mathcal{G}}}(p))^{T}.$$ (8)

Remark 2.

Note that different configurations may have different angle-displacement function. The customized angle-displacement function $f_{\mathcal{T}_{\mathcal{G}}}(p)=\mathbf{0}$ for the configuration $p$ may not be applicable to a different configuration $q\neq p$, i.e., $f_{\mathcal{T}_{\mathcal{G}}}(q)=\mathbf{0}$ may not hold.

II-C2 Angle-displacement Rigidity Matrix

The angle-displacement rigidity matrix is defined as

$$R(p)=\frac{\partial f_{\mathcal{T}_{\mathcal{G}}}(p)}{\partial p}\in\mathbb{R}^{m\times 3n}.$$ (9)

Let $\delta p$ be a variation of the configuration $p$. If $R(p)\delta p=0$, $\delta p$ is called an angle-displacement infinitesimal motion. Since $\mu_{ij}e_{ij}\!+\!\mu_{ik}e_{ik}\!+\!\mu_{ih}e_{ih}\!+\!\mu_{il}e_{il}=\mathbf{0}$ and $w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj}=0$, the angle-displacement infinitesimal motions include translations, rotations, and scalings. An angle-displacement infinitesimal motion is called trivial if it corresponds to a translation, a rotation and a scaling of the entire network.

Lemma 2.

[18] The trivial motion space for angle-displacement rigidity in $\mathbb{R}^{3}$ is $S=S_{t}\cup S_{r}\cup S_{s}$, where $S_{t}=\{\mathbf{1}_{n}\otimes{I}_{3}\}$ is the space formed by translations , $S_{r}=\{(I_{n}\otimes A)p,A+A^{T}=\mathbf{0},A\in\mathbb{R}^{3\times 3}\}$ is the space formed by rotations, and $S_{s}=\text{Span}(p)$ is the space formed by scalings.

Let

$$\begin{array}[]{ll}&\eta_{d}^{T}=\frac{\partial(\mu_{ij}e_{ij}\!+\!\mu_{ik}e_{ik}\!+\!\mu_{ih}e_{ih}\!+\!\mu_{il}e_{il})}{\partial p},\\ &\eta_{r}^{T}=\frac{\partial(w_{ik}e_{ik}^{T}e_{ij}+w_{ki}e_{ki}^{T}e_{kj})}{\partial p},\end{array}$$ (10)

where $\eta_{d}^{T}$ and $\eta_{r}^{T}$ are, respectively, arbitrary rows of $R(p)$ corresponding to displacement constraint and angle constraint shown as

$$\eta_{d}\!=\![\mathbf{0},\!-\!\mu_{ij}\!-\!\mu_{ik}\!-\!\mu_{ih}\!-\!\mu_{il},\mathbf{0},\mu_{ij},\mathbf{0},\mu_{ik},\mathbf{0},\mu_{ih},\mathbf{0},\mu_{il},\mathbf{0}]^{T}\otimes I_{3}.$$ (11)

$$\eta_{r}\!=\!\left[\!\begin{array}[]{c}\mathbf{0}\\ 2w_{ik}p_{i}+(w_{ki}-w_{ik})p_{j}-(w_{ik}+w_{ki})p_{k}\\ \mathbf{0}\\ (w_{ki}-w_{ik})p_{i}+(w_{ik}-w_{ki})p_{k}\\ \mathbf{0}\\ -(w_{ik}+w_{ki})p_{i}+(w_{ik}-w_{ki})p_{j}+2w_{ki}p_{k}\\ \mathbf{0}\end{array}\right].$$ (12)

Based on (11) and (12), we have

$$R(p)p=(2B_{\Upsilon_{\mathcal{G}}}^{T}(p),L^{T}_{\chi_{\mathcal{G}}}(p))^{T}\in\mathbb{R}^{m}.$$ (13)

Then, we obtain

$$p^{T}R(p)^{T}R(p)p=4\|B_{\Upsilon_{\mathcal{G}}}(p)\|^{2}+\|L_{\chi_{\mathcal{G}}}(p)\|^{2}.$$ (14)

Definition 3.

[17] A network ($\mathcal{G},p$) is infinitesimally angle-displacement rigid in $\mathbb{R}^{3}$ if all the angle-displacement infinitesimal motions are trivial.

From Lemma 2, we can know that for an infinitesimally angle-displacement rigid network ($\mathcal{G},p$), the condition $\text{dim}(\text{Null}(R(p)))\!=\!7$ holds. Next, we will introduce the problem of network localization with mixed types of measurements.

III Problem Statement

The objective is to develop a distributed algorithm for localizing the positions of all unknown nodes in a network with mixed types of measurements including local relative position, distance, local relative bearing, angle, and ratio-of-distance measurements. Some nodes may measure only distances, while others may measure only local relative bearings, angles, local relative positions, or ratio-of-distances. In addition, we assume that the orientation differences between the local coordinate frames of the nodes and global coordinate frame are unknown.

Consider a static network ($\mathcal{G},p$) in $\mathbb{R}^{3}$. Suppose the locations of $n_{a}$ anchor nodes are given and the locations of $n_{f}$ free nodes are to be estimated $(n_{a}\!+\!n_{f}\!=\!n)$. Denote $\mathcal{V}_{a}=\{1,\cdots,n_{a}\}$, $\mathcal{V}_{f}\!=\!\{n_{a}\!+\!1,\cdots,n\}$, and $\mathcal{V}=\mathcal{V}_{a}\cup\mathcal{V}_{f}$. Denote $p_{a}=(p_{1}^{T},\cdots,p_{n_{a}}^{T})^{T}$, $p_{f}=(p_{n_{a}\!+\!1}^{T},\cdots,p_{n}^{T})^{T}$, and $p=p_{a}\cup p_{f}$. Denote $\Sigma_{i}$ as the local coordinate frame of node $i$. Let $Q_{i}\in SO(3)$ be the unknown rotation matrix from $\Sigma_{i}$ to $\Sigma_{g}$, where $\Sigma_{g}$ is the global coordinate frame. Define

$$e_{ij}=Q_{i}e_{ij}^{i},\ \ g_{ij}^{i}=\frac{e_{ij}^{i}}{d_{ij}},\ \ \theta_{ijk}=g_{ij}^{i}g_{ik}^{i},\ \ r_{ijk}=\frac{d_{ij}}{d_{ik}},$$ (15)

where $e_{ij}^{i}$ is the local relative position in $\Sigma_{i}$. $d_{ij}=\|e_{ij}\|$ is the distance. $g_{ij}^{i}$ is the local relative bearing. $\theta_{ijk}$ is the angle between $e_{ij}$ and $e_{ik}$. $r_{ijk}$ is the ratio-of-distance between $d_{ij}$ and $d_{ik}$. Since there are five kinds of measurements in a local coordinate frame, the nodes can be divided into five categories shown as

1. $i\in\mathcal{D}$: Node $i$ can measure the distance $d_{ij}$ to its neighboring node $j\in\mathcal{N}_{i}$.

2. $i\in\mathcal{B}$: Node $i$ can measure the local relative bearing $g_{ij}^{i}$ with respect to its neighboring node $j\in\mathcal{N}_{i}$.

3. $i\in\mathcal{R}$: Node $i$ can measure the local relative position $e_{ij}^{i}$ to its neighboring node $j\in\mathcal{N}_{i}$.

4. $i\in\mathcal{A}$: Node $i$ can measure the angle $\theta_{ijk}$ between $e_{ij}$ and $e_{ik}$, where $j,k\in\mathcal{N}_{i}$.

5. $i\in\mathcal{R}o\mathcal{D}$: Node $i$ can measure the ratio-of-distance $r_{ijk}$ between $d_{ij}$ and $d_{ik}$, where $j,k\in\mathcal{N}_{i}$.

Remark 3.

The work in [19] introduces the sensors that can obtain the ratio-of-distance measurements.

Then, the problem of network localization with mixed types of measurements is described below.

Problem 1.

Consider a static network ($\mathcal{G},p$) with an undirected graph $\mathcal{G}=\{\mathcal{V},\mathcal{E}\}$, where each node can measure only one of the five kinds of local relative measurements $V=\mathcal{R}\cup\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$. Given arbitrary initial estimates $\hat{p}_{i}(0),i\in\mathcal{V}_{f}$, develop a distributed localization algorithm for each free node $i$ such that

$$\lim\limits_{t\rightarrow\infty}\hat{p}_{i}(t)=p_{i},$$ (16)

where ${\hat{p}}_{i}$ is the estimate of $p_{i}$.

Next, the method for network localization with mixed types of measurements is presented.

IV Network Localization with Mixed Types of Measurements

In this paper, we consider an undirected graph. Each node can measure only one of the five types of local relative measurements and different nodes may have different measurement types shown in Fig. 2. Before introducing the main results, the distance-based displacement constraint is introduced.

IV-A Distance-based Displacement Constraint

In this part, we will introduce how to construct the displacement constraint based on the distance measurements. For the node $i$ and its neighbors $j,k,h,l$, define distance matrix $D$ as

$$D=\left[\!\begin{array}[]{c c c c c}0&d_{ij}^{2}&d_{ik}^{2}&d_{ih}^{2}&d_{il}^{2}\\ d_{ji}^{2}&0&d_{jk}^{2}&d_{jh}^{2}&d_{jl}^{2}\\ d_{ki}^{2}&d_{kj}^{2}&0&d_{kh}^{2}&d_{kl}^{2}\\ d_{hi}^{2}&d_{hj}^{2}&d_{hk}^{2}&0&d_{hl}^{2}\\ d_{li}^{2}&d_{lj}^{2}&d_{lk}^{2}&d_{lh}^{2}&0\end{array}\right].$$ (17)

The volume $V_{jkhl}$ of the tetrahedron formed by the nodes $p_{j},p_{k},p_{h},p_{l}$ can be calculated with distance measurements through Cayley-Menger determinant [20]. That is,

$$\begin{array}[]{ll}&288V_{jkhl}^{2}=\\ &\!\text{det}\!\left(\!\begin{array}[]{ccc}2d^{2}_{jk}&d^{2}_{jk}\!+\!d^{2}_{jh}\!-\!d^{2}_{kh}&d^{2}_{jk}\!+\!d^{2}_{jl}\!-\!d^{2}_{kl}\\ d^{2}_{jk}\!+\!d^{2}_{jh}\!-\!d^{2}_{kh}&2d^{2}_{jh}&d^{2}_{jh}\!+\!d^{2}_{jl}\!-\!d^{2}_{hl}\\ d^{2}_{jk}\!+\!d^{2}_{jl}\!-\!d^{2}_{kl}&d^{2}_{jh}\!+\!d^{2}_{jl}\!-\!d^{2}_{hl}&2d^{2}_{jl}\\ \end{array}\!\right).\end{array}$$ (18)

Definition 4.

If a node $i$ with respect to its neighboring nodes $j,k,h,l$ satisfies the following equations

$$\begin{array}[]{ll}&p_{i}=\mu_{ij}p_{j}+\mu_{ik}p_{k}+\mu_{ih}p_{h}+\mu_{il}p_{l},\\ &\mu_{ij}+\mu_{ik}+\mu_{ih}+\mu_{il}=1,\end{array}$$ (19)

then $\{\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il}\}$ is called the barycentric coordinate of node $i$ with respect to the nodes $j,k,h,l$.

For the volume $V_{jkhl}$ (18), there are two cases:

1. If $V_{jkhl}^{2}\neq 0$, $p_{j},p_{k},p_{h},p_{l}$ are non-coplanar. The work in [7] provides a way to obtain the barycentric coordinate $\{\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il}\}$ of node $i$ with respect to the nodes $j,k,h,l$ by only using the distance measurements shown in Algorithm 1. This algorithm uses the fact that a congruent framework of the subnetwork consisting of the node and its neighbors has the same barycentric coordinate. Note that (19) can be rewritten as a displacement constraint shown as

   $$\mu_{ij}e_{ij}+\mu_{ik}e_{ik}+\mu_{ih}e_{ih}+\mu_{il}e_{il}=\mathbf{0}.$$ (20)

   Algorithm 1 Distance-based Barycentric Coordinate ($V_{jkhl}\neq 0$)

   1:Available information: Distance measurements among the nodes $p_{i},p_{j},p_{k},p_{h},p_{l}$. Denote $(\mathcal{\mathrm{bar}G},\mathrm{bar}p)$ as a subnetwork with $\mathrm{bar}p=(p_{i}^{T},p_{j}^{T},p_{k}^{T},p_{h}^{T},p_{l}^{T})^{T}$.

   2:Based on the distance matrix $D$ (17), obtaining a congruent network $(\mathcal{\mathrm{bar}G},\mathrm{bar}q)\cong(\mathcal{\mathrm{bar}G},\mathrm{bar}p)$ with $\mathrm{bar}q=(q_{i}^{T},q_{j}^{T},q_{k}^{T},q_{h}^{T},q_{l}^{T})^{T}$ by Algorithm $1$ in [7], where $q_{i},q_{j},q_{k},$ $q_{h},q_{l}\in\mathbb{R}^{3}$.

   3:Based on $\mathrm{bar}q$, calculating the barycentric coordinate of node $p_{i}$ with respect to its neighboring nodes $p_{j},p_{k},p_{h},p_{l}$ in (19) by

   $$\mu_{ij}=\frac{V_{iklh}}{V_{jklh}},\mu_{ik}=\frac{V_{jilh}}{V_{jklh}},\mu_{ih}=\frac{V_{jkih}}{V_{jklh}},\mu_{il}=\frac{V_{jkli}}{V_{jklh}},$$ (21)

   where

   $$\begin{array}[]{ll}&V_{iklh}=\frac{1}{6}\text{det}(\left[\!\begin{array}[]{c c c c}1&1&1&1\\ q_{i}&q_{k}&q_{l}&q_{h}\end{array}\right]),\\ &V_{jilh}=\frac{1}{6}\text{det}(\left[\!\begin{array}[]{c c c c}1&1&1&1\\ q_{j}&q_{i}&q_{l}&q_{h}\end{array}\right]),\\ &V_{jkih}=\frac{1}{6}\text{det}(\left[\!\begin{array}[]{c c c c}1&1&1&1\\ q_{j}&q_{k}&q_{i}&q_{h}\end{array}\right]),\\ &V_{jkli}=\frac{1}{6}\text{det}(\left[\!\begin{array}[]{c c c c}1&1&1&1\\ q_{j}&q_{k}&q_{l}&q_{i}\end{array}\right]),\\ &V_{jklh}=\frac{1}{6}\text{det}(\left[\!\begin{array}[]{c c c c}1&1&1&1\\ q_{j}&q_{k}&q_{l}&q_{h}\end{array}\right]).\end{array}$$ (22)

2. If $V_{jkhl}^{2}=0$, $p_{j},p_{k},p_{h},p_{l}$ are coplanar. The area $S_{jkh}$ of the triangle formed by the nodes $p_{j},p_{k},p_{h}$ can also be calculated with distance measurements through Cayley-Menger determinant [20]. That is,

   $$16S_{jkh}^{2}=\text{det}\left(\!\begin{array}[]{ccc}2d^{2}_{jk}&d^{2}_{jk}\!+\!d^{2}_{jh}\!-\!d^{2}_{kh}\\ d^{2}_{jk}\!+\!d^{2}_{jh}\!-\!d^{2}_{kh}&2d^{2}_{jh}\\ \end{array}\right).$$ (23)

For the area $S_{jkh}$ (23), there are also two cases:

1. If $S_{jkh}^{2}\neq 0$, $p_{j},p_{k},p_{h}$ are non-colinear. The work in [6] provides a way to obtain the barycentric coordinate $\{\mu_{lj},\mu_{lk},\mu_{lh}\}$ of node $l$ with respect to its neighboring nodes $j,k,h$ in (24) by only using the distance measurements shown in Algorithm 2.

   $$\begin{array}[]{ll}&p_{l}=\mu_{lj}p_{j}+\mu_{lk}p_{k}+\mu_{lh}p_{h},\\ &\mu_{lj}+\mu_{lk}+\mu_{lh}=1.\end{array}$$ (24)

   Note that (24) can also be rewritten as a displacement constraint shown as

   $$\mu_{ij}e_{ij}+\mu_{ik}e_{ik}+\mu_{ih}e_{ih}+\mu_{il}e_{il}=\mathbf{0},$$ (25)

   where $\mu_{ij}\!=\!-\mu_{lj},\mu_{ik}\!=\!-\mu_{lk},\mu_{ih}\!=\!-\mu_{lh},\mu_{il}\!=\!1$.

   Algorithm 2 Distance-based Barycentric Coordinate ($V_{jkhl}=0,S_{jkh}\neq 0$)

   1:Available information: Distance measurements among the nodes $p_{j},p_{k},p_{h},p_{l}$.

   2:The absolute values of the barycentric coordinate $\mu_{lj},\mu_{lk},\mu_{lh}$ are calculated by

   $$\|\mu_{lj}\|=\frac{\|S_{lkh}\|}{\|S_{jkh}\|},\|\mu_{lk}\|=\frac{\|S_{lhj}\|}{\|S_{jkh}\|},\|\mu_{lh}\|=\frac{\|S_{ljk}\|}{\|S_{jkh}\|},$$ (26)

   where $\|S_{jkh}\|$ and others can be solved according to (23). The absolute values $\|\mu_{lj}\|,\|\mu_{lk}\|,\|\mu_{lh}\|$ satisfy

   $$\begin{array}[]{ll}&\mu_{lj}=\sigma_{lj}\|\mu_{lj}\|,\mu_{lk}=\sigma_{lk}\|\mu_{lk}\|,\mu_{lh}=\sigma_{lh}\|\mu_{lh}\|,\\ &\sigma_{lj}\|\mu_{lj}\|+\sigma_{lk}\|\mu_{lk}\|+\sigma_{lh}\|\mu_{lh}\|=1,\end{array}$$ (27)

   where $\sigma_{lj},\sigma_{lk},\sigma_{lh}$ take values of either $1$ or $-1$.

   3:Calculating $\sigma_{lj},\sigma_{lk},\sigma_{lh}$ by distance measurements through Algorithm $1$ in the Diao’ work [6].

2. If $S_{jkh}^{2}\!=\!0$, $p_{j},p_{k},p_{h}$ are colinear. There are three cases: $d_{jk}\!+\!d_{kh}\!=\!d_{jh}$; $d_{jk}\!+\!d_{jh}\!=\!d_{kh}$; $d_{jh}\!+\!d_{kh}\!=\!d_{jk}$. If $d_{jk}\!+\!d_{kh}\!=\!d_{jh}$, we have

   $$e_{jk}=\frac{d_{jk}}{d_{kh}}e_{kh}.$$ (28)

   Equation (28) can be rewritten as a displacement constraint shown as

   $$\mu_{ij}e_{ij}+\mu_{ik}e_{ik}+\mu_{ih}e_{ih}+\mu_{il}e_{il}=\mathbf{0},$$ (29)

   where $\mu_{ij}\!=\!-1,\mu_{ik}\!=\!1\!+\!\frac{d_{jk}}{d_{kh}},\mu_{ih}\!=\!-\frac{d_{jk}}{d_{kh}},\mu_{il}\!=\!0$. If $d_{jk}\!+\!d_{jh}\!=\!d_{kh}$ or $d_{jh}\!+\!d_{kh}\!=\!d_{jk}$, the corresponding displacement constraint (29) can be modified accordingly. The procedure of constructing a distance-based displacement constraint among the nodes $p_{i},p_{j},p_{k},p_{h},p_{l}$ in $\mathbb{R}^{3}$ is given in Algorithm 3.

Algorithm 3 Distance-based Displacement Constraint

1:Available information: Distance measurements among the nodes $p_{i},p_{j},p_{k},p_{h},p_{l}$.

2:If $p_{j},p_{k},p_{h},p_{l}$ are non-coplanar $V_{jkhl}\neq 0$ (18), do

3:    Constructing a displacement constraint by (20);

4:Else

5:     If $p_{j},p_{k},p_{h}$ are non-colinear $S_{jkh}\neq 0$ (23), do

6:         Constructing a displacement constraint by (25);

7:     Else

8:         Constructing a displacement constraint by (29);

9:     End

10:End

Figure 2: The red nodes indicate that they can measure local relative positions. The green nodes mean that they can measure one of the following four types of local relative measurements (local relative bearing, angle, distance, and ratio-of-distance). The black nodes mean that they can measure only one of the five types of local relative measurements. $(a)$ Node $i\in\mathcal{R}$. $(b)$ Node $i\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$ and Node $j\in\mathcal{R}$. $(c)$ Node $i,j,k,h,l\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$.

IV-B Construction of Angle Constraints and Displacement Constraints

Assumption 1.

No two nodes are collocated in $\mathbb{R}^{3}$. Each anchor node $i$ has at least two neighboring anchor nodes $j,k$, where $i,j,k$ are mutual neighbors. Each free node $i$ has at least four neighboring nodes $j,k,h,l$, where $i,j,k,h,l$ are mutual neighbors and non-colinear.

Note that network localizability is used to specify whether the network structure is unique. Since the network structure can be determined by angle constraints and displacement constraints, to analyze network localizability, we need to obtain angle constraints and displacement constraints.

IV-B1 Angle Constraint

The known anchor positions will be used to construct the angle constraints, which do not need any measurement. Under Assumption 1, $e_{ij},e_{ik},e_{jk}$ are known among the anchors $i,j,k$. Then, the parameters $w_{ik}$, $w_{ki}$, $w_{ij}$, $w_{ji}$, $w_{jk}$, $w_{kj}$ in the angle constraints (1)-(3) can be obtained by (5).

IV-B2 Displacement Constraint

Different from the angle constraints that are constructed without any measurement, the local relative measurements will be used to construct the displacement constraints (4). Under Assumption 1, each free node $i$ can communicate with its four neighbors $j,k,h,l$. Then, the displacement constraint among $i,j,k,h,l$ can be obtained by the mixed types of measurements. Without loss of generality, we consider two cases: $i\in\mathcal{R}$ and $i\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$.

Case $\mathbf{(1)}$. Node $i\in\mathcal{R}$. Node $i$ can measure local relative positions $e_{ij}^{i},e_{ik}^{i},e_{ih}^{i},e_{il}^{i}$ shown in Fig. 2$(a)$. In this case, we do not care the measurement types of nodes $j,k,l,h$ as their measurements will not be used. Since $(e^{i}_{ij},e^{i}_{ik},e^{i}_{ih},e^{i}_{il})\in\mathbb{R}^{3\times 4}$, there must be a non-zero vector $(\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il})^{T}\in\mathbb{R}^{4}$ satisfying

$$\left[\!\begin{array}[]{c c c c}e_{ij}^{i}&e_{ik}^{i}&e_{ih}^{i}&e_{il}^{i}\\ \end{array}\right]\left[\!\begin{array}[]{c}\mu_{ij}\\ \mu_{ik}\\ \mu_{ih}\\ \mu_{il}\end{array}\right]=\mathbf{0}.$$ (30)

Note that $e_{ij}=Q_{i}e_{ij}^{i},e_{ik}=Q_{i}e_{ik}^{i},e_{ih}=Q_{i}e_{ih}^{i},e_{il}=Q_{i}e_{il}^{i}$. Left multiplying $Q_{i}$ on both sides of (30), we can obtain the displacement constraint

$$\mu_{ij}e_{ij}+\mu_{ik}e_{ik}+\mu_{ih}e_{ih}+\mu_{il}e_{il}=\mathbf{0}.$$ (31)

From (31), we can know that the parameters $\mu_{ij},\mu_{ik}$, $\mu_{ih},\mu_{il}$ in (31) can be calculated by solving (30).

Case $\mathbf{(2)}$. Node $i\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$. There are two situations: $(\mathbf{2.1})$ at least one neighbor of node $i$ in $\mathcal{R}$, $(\mathbf{2.2})$ no neighbor of node $i$ in $\mathcal{R}$.

Case $(\mathbf{2.1})$. Consider at least one neighbor of node $i$ in $\mathcal{R}$, say $j\in\mathcal{R}$ shown in Fig. 2$(b)$. Node $i$ can obtain $e_{ji}^{j},e_{jk}^{j},e_{jh}^{j},e_{jl}^{j}$ from node $j$ by communication. Similar to (30) and (31), we can obtain a displacement constraint shown as

$$\mu_{ji}e_{ji}+\mu_{jk}e_{jk}+\mu_{jh}e_{jh}+\mu_{jl}e_{jl}=\mathbf{0},$$ (32)

where the non-zero vector $(\mu_{ji},\mu_{jk},\mu_{jh},\mu_{jl})^{T}\in\mathbb{R}^{4}$ satisfying (32) can be calculated by solving its equivalent equation (33).

$$\left[\!\begin{array}[]{c c c c}e_{ji}^{j}&e_{jk}^{j}&e_{jh}^{j}&e_{jl}^{j}\\ \end{array}\right]\left[\!\begin{array}[]{c}\mu_{ji}\\ \mu_{jk}\\ \mu_{jh}\\ \mu_{jl}\end{array}\right]=\mathbf{0}.$$ (33)

Remark 4.

For the case $(\mathbf{2.1})$, node $i$ makes use of node $j$’s measurements to construct the displacement constraint (32).

Case $(\mathbf{2.2})$. Consider no neighbor of node $i$ in $\mathcal{R}$, that is, $i,j,k,h,l\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$. Under Assumption 1, node $i$ and its four neighboring nodes $j,k,h,l$ are non-colinear. Hence, there must be six triangles among the nodes $i,j,k,h,l$ shown in Fig. 2$(c)$, where the six triangles are: $\bigtriangleup_{ijl}(p)$, $\bigtriangleup_{ikl}(p)$, $\bigtriangleup_{ihl}(p)$, $\bigtriangleup_{jkl}(p)$, $\bigtriangleup_{jhl}(p)$, $\bigtriangleup_{khl}(p)$. It is shown in Section IV-A that the parameters $\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il}$ in the displacement constraint (31) can be obtained by the distance matrix $D$ (17) through Algorithm 3, but the distance matrix $D$ (17) is usually unavailable in a network with mixed local relative measurements. We find that the following ratio-of-distance matrix $D_{r}$ (34) can be obtained by using the mixed local relative measurements.

$$D_{r}=\frac{D}{d_{ij}^{2}}.$$ (34)

From Lemma 2, we can know that the scaling motions can preserve the invariance of displacement constraint (31), i.e., a network with ratio-of-distance matrix $D_{r}$ (34) has the same displacement constraint as the network with distance matrix $D$ (17). Hence, parameters $\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il}$ in (31) can be obtained by the ratio-of-distance matrix $D_{r}$ (34) through Algorithm 3. Next, we will introduce how to obtain the ratio-of-distance matrix $D_{r}$ (34) based on the six triangles $\bigtriangleup_{ijl}(p)$, $\bigtriangleup_{ikl}(p)$, $\bigtriangleup_{ihl}(p)$, $\bigtriangleup_{jkl}(p)$, $\bigtriangleup_{jhl}(p)$, $\bigtriangleup_{khl}(p)$ shown in Fig. 2$(c)$.

We will use triangle $\bigtriangleup_{ijl}(p)$ as an example to show how to obtain the ratio-of-distances $\frac{d_{il}}{d_{ij}},\frac{d_{jl}}{d_{ij}}$ in $D_{r}$. In the case $(\mathbf{2.2})$, for the triangle $\bigtriangleup_{ijl}(p)$ with nodes $p_{i},p_{j},p_{l}$, there are two categories: (a) the nodes $p_{i},p_{j},p_{l}$ have different types of measurements, (b) at least two of the nodes $p_{i},p_{j},p_{l}$ have the same type of measurement.

1. The nodes $p_{i},p_{j},p_{l}$ have different types of measurements. Since $i,j,l\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$, the following four cases: (a1) $i,j,l\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}$, (a2) $i,j,l\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{R}o\mathcal{D}$, (a3) $i,j,l\in\mathcal{B}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$, (a4) $i,j,l\in\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$, cover all possibilities. Without loss of generality, for the cases (a1) and (a2), suppose node $i$ can measure local relative bearings $g_{ij}^{i},g_{il}^{i}$ and node $j$ can measure angle $\theta_{ijl}$. Then, we have $\theta_{jil}={g_{ij}^{i}}^{T}g_{il}^{i}$ and $\theta_{ilj}=\pi-\theta_{jil}-\theta_{ijl}$. The ratio-of-distances can be obtained by $\frac{d_{il}}{d_{ij}}=\frac{\sin\theta_{ijl}}{\sin\theta_{ilj}}$ and $\frac{d_{jl}}{d_{ij}}=\frac{\sin\theta_{jil}}{\sin\theta_{ilj}}$. For the cases (a3) and (a4), suppose node $i$ can measure distances $d_{ij},d_{il}$, and node $j$ can measure the ratio of distance $\frac{d_{jl}}{d_{ij}}$. The ratio-of-distances $\frac{d_{il}}{d_{ij}},\frac{d_{jl}}{d_{ij}}$ can also be obtained.

2. At least two of the nodes $p_{i},p_{j},p_{l}$ have the same type of measurement. Since $i,j,l\in\mathcal{B}\cup\mathcal{A}\cup\mathcal{D}\cup\mathcal{R}o\mathcal{D}$, the following four cases: (b1) at least two nodes can measure local relative bearing, (b2) at least two nodes can measure angle, (b3) at least two nodes can measure distance, (b4) at least two nodes can measure ratio-of-distance, cover all possibilities. Without loss of generality, for the case (b1), suppose the nodes $i,j$ can measure local relative bearings $g_{ij}^{i},g_{il}^{i}$ and $g_{ji}^{j},g_{jl}^{j}$. Then, we have $\theta_{jil}={g_{ij}^{i}}^{T}g_{il}^{i}$, $\theta_{ijl}={g_{ji}^{j}}^{T}g_{jl}^{j}$ and $\theta_{ilj}=\pi-\theta_{jil}-\theta_{ijl}$. The ratio-of-distances can be obtained by $\frac{d_{il}}{d_{ij}}=\frac{\sin\theta_{ijl}}{\sin\theta_{ilj}}$ and $\frac{d_{jl}}{d_{ij}}=\frac{\sin\theta_{jil}}{\sin\theta_{ilj}}$. For the case (b2), suppose the nodes $i,j$ can measure angles $\theta_{jil}$ and $\theta_{ijl}$. Then, we have $\theta_{ilj}=\pi-\theta_{jil}-\theta_{ijl}$. The ratio-of-distances can also be obtained by $\frac{d_{il}}{d_{ij}}=\frac{\sin\theta_{ijl}}{\sin\theta_{ilj}}$ and $\frac{d_{jl}}{d_{ij}}=\frac{\sin\theta_{jil}}{\sin\theta_{ilj}}$. For the cases (b3) and (b4) where at least two nodes can measure distance or ratio-of-distance, it is clear that the ratio-of-distances $\frac{d_{il}}{d_{ij}},\frac{d_{jl}}{d_{ij}}$ can be obtained.

Hence, the ratio-of-distances $\frac{d_{il}}{d_{ij}},\frac{d_{jl}}{d_{ij}}$ in $D_{r}$ can be obtained by the triangle $\bigtriangleup_{ijl}(p)$. The rest ratio-of-distances in $D_{r}$ can also be obtained by the triangles $\bigtriangleup_{ikl}(p)$, $\bigtriangleup_{ihl}(p)$, $\bigtriangleup_{jkl}(p)$, $\bigtriangleup_{jhl}(p)$, $\bigtriangleup_{khl}(p)$, i.e., the ratio-of-distance matrix $D_{r}$ is available. Then, the displacement constraint (31) can be obtained by the ratio-of-distance matrix $D_{r}$ (34) through Algorithm 3. The implementation of constructing the displacement constraint is given in Fig. 3.

Figure 3: Construction of the displacement constraint.

After obtaining the angle constraints and displacement constraints, we are now ready to formulate the network localization problem and explore the network localizability.

IV-C Network Localizability

The angle constraints are used for describing the distribution of the anchors, and the displacement constraints are used to estimate the free nodes by the known anchor nodes. The network localization problem is formulated as

$$\begin{array}[]{ll}&\min\limits_{\hat{p}\in\mathbb{R}^{3n}}J(\hat{p})\!=\!\|L_{\mathcal{X}_{\mathcal{G}}}(\hat{p})\|^{2},\\ &\text{subject}\ \text{to}\ \ \hat{p}_{i}=p_{i},\ \ i\in\mathcal{V}_{a},\end{array}$$ (35)

where $\hat{p}=(\hat{p}_{1}^{T},\cdots,\hat{p}_{n}^{T})^{T}$ are the estimates of $p=(p_{1}^{T},\cdots,p_{n}^{T})^{T}$, and $L_{\mathcal{X}_{\mathcal{G}}}(\cdot)$ is displacement function (7). If there is a unique solution to (35), the network ($\mathcal{G},p$) is called localizable.

Remark 5.

$L_{\mathcal{X}_{\mathcal{G}}}(\cdot)$ is the displacement function consisting of available displacement constraints. Since the true positions $p$ of all the nodes satisfy $L_{\mathcal{X}_{\mathcal{G}}}(p)=0$, we have $\|L_{\mathcal{X}_{\mathcal{G}}}(\hat{p})\|_{2}=0$ if $\hat{p}=p$. Hence, the network localization problem is equivalent to minimizing the cost function $\min\limits_{\hat{p}\in\mathbb{R}^{3n}}J(\hat{p})\!=\!\|L_{\mathcal{X}_{\mathcal{G}}}(\hat{p})\|^{2}$ given the known anchor positions.

From (14), we obtain

$$4\|B_{\Upsilon_{\mathcal{G}}}(\hat{p})\|^{2}\!+\!J(\hat{p})=\hat{p}^{T}R(\hat{p})^{T}R(\hat{p})\hat{p}.$$ (36)

For the angle function $B_{\Upsilon_{\mathcal{G}}}(\cdot)$ (6) constructed among the known anchors, it yields $B_{\Upsilon_{\mathcal{G}}}(p)=B_{\Upsilon_{\mathcal{G}}}([\begin{array}[]{c}p_{a}\\ \mathbf{0}\end{array}])=B_{\Upsilon_{\mathcal{G}}}(\hat{p})=0$, i.e., $\|B_{\Upsilon_{\mathcal{G}}}(\hat{p})\|^{2}=0$. Then, (36) becomes

$$J(\hat{p})=\hat{p}^{T}R(\hat{p})^{T}R(\hat{p})\hat{p}.$$ (37)

From (11) and (12), we can know that the matrix $R(p)$ are determined by the anchor positions $p_{a}$ and parameters (such as $w_{ik},w_{ki}$ in (6) and $\mu_{ij},\mu_{uk},\mu_{ih},\mu_{il}$ in (7)) in the angle constraints and displacement constraints. Hence, we have $R(p)=R([\begin{array}[]{c}p_{a}\\ \mathbf{0}\end{array}])=R(\hat{p})$. Then, (37) becomes

$$J(\hat{p})=\hat{p}^{T}R(p)^{T}R(p)\hat{p}.$$ (38)

Define information matrix $M\in\mathbb{R}^{3{n}\times 3{n}}$ of a network with mixed local relative measurements as

$$M=R(p)^{T}R(p),$$ (39)

which can be partitioned as

$$M=\left[\begin{array}[]{cc}M_{aa}&M_{af}\\ M_{fa}&M_{ff}\end{array}\right],$$ (40)

where $M_{aa}\in\mathbb{R}^{3{n_{a}}\times 3{n_{a}}}$, $M_{fa}^{T}=M_{af}\in\mathbb{R}^{3{n_{a}}\times 3{n_{f}}}$, and $M_{ff}\in\mathbb{R}^{3{n_{f}}\times 3{n_{f}}}$. Note that $\hat{p}=(p_{a}^{T},\hat{p}_{f}^{T})^{T}$. Based on (38) and (40), (35) can be rewritten as

$$\min\limits_{\hat{p}_{f}\in\mathbb{R}^{3n_{f}}}\tilde{J}(\hat{p}_{f})=\hat{p}_{f}^{T}M_{ff}\hat{p}_{f}+2{p}_{a}^{T}M_{af}\hat{p}_{f}+{p}_{a}^{T}M_{aa}{p}_{a}.$$ (41)

Note that any minimizer $\hat{p}_{f}^{*}$ in (41) satisfies

$$\bigtriangledown_{{\hat{p}_{f}}^{*}}\tilde{J}({\hat{p}_{f}}^{*})=M_{ff}{{\hat{p}_{f}}^{*}}+M_{fa}p_{a}=\mathbf{0}.$$ (42)

From (42), we can obtain the algebraic and graph conditions for network localizability shown in the following Theorem 1 and Theorem 2, respectively.

Theorem 1.

Suppose Assumption 1 holds. A network ($\mathcal{G},p$) with mixed types of measurements in $\mathbb{R}^{3}$ is localizable if and only if the matrix $M_{ff}$ is nonsingular.

Proof.

(Sufficiency) From (42), we can know that the matrix $M_{ff}$ must be nonsingular. (Necessity) If the matrix $M_{ff}$ is nonsingular, we have $\hat{p}_{f}^{*}=-M_{ff}^{-1}M_{fa}{p}_{a}$. Since $p\in\text{Null}(R(p))$ and $M=R(p)^{T}R(p)$, we have $p\in\text{Null}(M)$, that is, $M_{ff}p_{f}+M_{fa}p_{a}=\mathbf{0}$. Since $M_{ff}$ is nonsingular, we have $p_{f}=-M_{ff}^{-1}M_{fa}{p}_{a}$. Hence, $\hat{p}_{f}^{*}$ equals the true positions $p_{f}$. ∎

Figure 4: 3-D localizable network. The anchor nodes are $p_{a_{1}},p_{a_{2}},p_{a_{3}},p_{a_{4}}$ and the free nodes are $p_{f_{1}},p_{f_{2}},p_{f_{3}}$. The black nodes mean that they can measure only one of the five types of local relative measurements.

From Theorem 1, we have $p_{f}=-M_{ff}^{-1}M_{fa}{p}_{a}$ if a network ($\mathcal{G},p$) with mixed types of measurements is localizable. A simple 3-D localizable network consisting of four anchor nodes $p_{a_{1}}=(0,0,20)^{T}$, $p_{a_{2}}=(0,0,0)^{T}$, $p_{a_{3}}=(10,-10,0)^{T}$, $p_{a_{4}}=(0,20,0)^{T}$ and three free nodes $p_{f_{1}}=(10,20,0)^{T}$, $p_{f_{2}}=(10,40,0)^{T}$, $p_{f_{3}}=(\frac{5}{2},30,30)^{T}$ is given in Fig. 4. Based on the displacement constraints $e_{{a_{2}}{f_{1}}}-\frac{2}{3}e_{{a_{3}}{f_{1}}}-e_{{a_{4}}{f_{1}}}=\mathbf{0}$, $e_{{a_{3}}{f_{2}}}-\frac{5}{2}e_{{f_{1}}{f_{2}}}=\mathbf{0}$, and $-\frac{3}{4}e_{{a_{1}}{f_{3}}}+\frac{3}{8}e_{{a_{4}}{f_{3}}}+\frac{7}{8}e_{{f_{1}}{f_{3}}}-e_{{f_{2}}{f_{3}}}=\mathbf{0}$, we can obtain the corresponding matrices $M_{ff}$ and $M_{fa}$ shown as

$$\begin{array}[]{ll}&M_{ff}\!=\!\left[\!\begin{array}[]{lll}\frac{1413}{311}&-\frac{61}{24}&\frac{7}{16}\\ -\frac{61}{24}&2&-\frac{1}{2}\\ \frac{7}{16}&-\frac{1}{2}&\frac{1}{4}\end{array}\right]\otimes I_{3},\\ \\ &M_{fa}\!=\!\left[\!\begin{array}[]{llll}-\frac{21}{32}&\frac{3}{2}&-\frac{19}{9}&-\frac{75}{64}\\ \frac{3}{4}&0&\frac{2}{3}&-\frac{3}{8}\\ -\frac{3}{8}&0&0&\frac{3}{16}\end{array}\right]\otimes I_{4}.\end{array}$$ (43)

It can be verified that $p_{f}=-M_{ff}^{-1}M_{fa}{p}_{a}$, where $p_{a}=(p_{a_{1}}^{T},p_{a_{2}}^{T},p_{a_{3}}^{T},p_{a_{4}}^{T})^{T}$ and $p_{f}=(p_{f_{1}}^{T},p_{f_{2}}^{T},p_{f_{3}}^{T})^{T}$. Hence, the network in Fig. 4 is localizable.

Theorem 2.

Suppose Assumption 1 holds. A 3-D network ($\mathcal{G},p$) with mixed types of measurements is localizable if the following conditions hold:

1. ($\mathcal{G},p$) is infinitesimally angle-displacement rigid;

2. There are at least three non-colinear anchor nodes.

Proof.

From Lemma 2, $\text{Null}(R(p))=\text{Span}\{\mathbf{1}_{n}\otimes I_{3},p,(I_{n}\otimes A)p,A+A^{T}=\mathbf{0},A\in\mathbb{R}^{3\times 3}\}$ if ($\mathcal{G},p$) is infinitesimally angle-displacement rigid. Thus, the nonzero angle-displacement infinitesimally motion is

$$\delta p=sp+r(I_{n}\otimes{A})p+\mathbf{1}_{n}\otimes\mathbf{t},$$ (44)

where $s,r\in\mathbb{R},\mathbf{t}\in\mathbb{R}^{3},s^{2}+\|rA\|+\|\mathbf{t}\|\neq 0$. For the anchor nodes $p_{a}$, we have $\delta p_{a}=sp_{a}+r(I_{n_{a}}\otimes{A})p_{a}+\mathbf{1}_{n_{a}}\otimes\mathbf{t}$.

1. First, we will prove $\delta p_{a}\neq\mathbf{0}$ by contradiction. If $\delta p_{a}=\mathbf{0}$, we have

   $$(sI_{3}+rA)p_{i}=-\mathbf{t},\ \ i\in\mathcal{V}_{a}.$$ (45)

   Since $A+A^{T}=\mathbf{0}$, matrix $A$ is a real skew-symmetric matrix and each eigenvalue of $A$ is either zero or pure imaginary. If $s\neq 0$, we have $\text{Rank}(sI_{3}+rA)=3$. From (45), we have $p_{i}=-(sI_{3}+rA)^{-1}\mathbf{t},i\in\mathcal{V}_{a}$, i.e., the anchor nodes collocate, which contradicts Assumption 1 that no two anchor nodes are collocated. If $s=0$, we have $rA,\mathbf{t}\neq\mathbf{0}$, i.e., $\text{Rank}(rA)\geq 2$. From (45), we can know that the anchor nodes are colinear or collocated, which contradicts that no two anchor nodes are collocated and there are at least three non-colinear anchors. Hence, $\delta p_{a}\neq\mathbf{0}$.

2. Second, we will prove that the matrix $M_{ff}$ is nonsingular if $\delta p_{a}\neq 0$. We only need to show that $\delta p_{a}=0$ if the matrix $M_{ff}$ is singular. If the matrix $M_{ff}$ is singular, there must be a nonzero $\delta p_{f}$ such that $M_{ff}\delta p_{f}=\mathbf{0}$. Let $\delta p=(\delta p_{a}^{T},\delta p_{f}^{T})^{T}$ with $\delta p_{a}=\mathbf{0}$. We have $\delta p^{T}M\delta p=\delta p_{f}^{T}M_{ff}\delta p_{f}=0$.

Based on (a) and (b), we can know that the matrix $M_{ff}$ must be nonsingular if ($\mathcal{G},p$) is infinitesimally angle-displacement rigid. Hence, ($\mathcal{G},p$) is localizable from Theorem 1. ∎

The graph condition in Theorem 2 is sufficient but not necessary. A 3-D localizable network may not be infinitesimally angle-displacement rigid. As shown in Fig. 4, the anchor nodes $p_{a_{1}},p_{a_{2}},p_{a_{3}},p_{a_{4}}$ are enough to localize the free nodes $p_{f_{1}},p_{f_{2}},p_{f_{3}}$. If we add additional anchor node $p_{a_{5}}$ with edges $(p_{a_{1}},p_{a_{5}})$ and $(p_{a_{2}},p_{a_{5}})$ to the network, the network will not be infinitesimally angle-displacement rigid but is still localizable. Next, we will answer the question of how to localize the free node in a distributed way.

IV-D Distributed Localization Algorithm

To achieve distributed network localization, each free node $i\in\mathcal{V}_{f}$ implements the following distributed localization algorithm, i.e.,

$$\dot{\hat{p}}_{i}=\sum\limits_{(i,j,k,h,l)\in\mathcal{X}_{\mathcal{G}}}N(i,j,k,h,l)+\sum\limits_{(j,i,k,h,l)\in\mathcal{X}_{\mathcal{G}}}\mathrm{bar}N(j,i,k,h,l),$$ (46)

where

$$\begin{array}[]{ll}&N(i,j,k,h,l)=(\mu_{ij}+\mu_{ik}+\mu_{ih}+\mu_{il})\cdot[\mu_{ij}(\hat{p}_{j}-\hat{p}_{i})\!+\\ &\mu_{ik}(\hat{p}_{k}-\hat{p}_{i})\!+\!\mu_{ih}(\hat{p}_{h}-\hat{p}_{i})\!+\!\mu_{il}(\hat{p}_{l}-\hat{p}_{i})],\end{array}$$ (47)

and

$$\begin{array}[]{ll}&\mathrm{bar}N(j,i,k,h,l)=\mu_{ji}^{2}(\hat{p}_{j}-\hat{p}_{i})\!+\!\mu_{ji}\mu_{jk}(\hat{p}_{j}-\hat{p}_{k})\!+\\ &\mu_{ji}\mu_{jh}(\hat{p}_{j}-\hat{p}_{h})\!+\!\mu_{ji}\mu_{jl}(\hat{p}_{j}-\hat{p}_{l}).\end{array}$$ (48)

$N(i,j,k,h,l)$ corresponds to the displacement constraint (31) and $\mathrm{bar}N(j,i,k,h,l)$ corresponds to the displacement constraint (32). Based on (46), we have

$$\dot{\hat{p}}_{f}=-M_{ff}{\hat{p}}_{f}-M_{fa}p_{a}.$$ (49)

Theorem 3.

Suppose Assumption 1 holds. Under the distributed localization algorithm (46) with arbitrary generated initial estimates, the position estimation errors of the free nodes asymptotically converge to zero if the following conditions hold:

1. ($\mathcal{G},p$) is infinitesimally angle-displacement rigid;

2. There are at least three non-colinear anchor nodes.

Proof.

From (39), we can conclude that the matrix $M_{ff}$ is positive semi-definite. Since ($\mathcal{G},p$) is infinitesimally angle-displacement rigid, the matrix $M_{ff}$ must be positive definite from Theorem 2. Consider the Lyapunov function $V=\frac{1}{2}\|{\hat{p}}_{f}-{{p}}_{f}\|^{2}$, it yields

$$\begin{array}[]{ll}\dot{V}&=(\hat{p}_{f}-p_{f})^{T}\dot{\hat{p}}_{f}\\ &=(\hat{p}_{f}-p_{f})^{T}(-M_{ff}{\hat{p}}_{f}-M_{fa}p_{a})\\ &=(\hat{p}_{f}-p_{f})^{T}(-M_{ff}{\hat{p}}_{f}+M_{ff}p_{f})\\ &=-(\hat{p}_{f}-p_{f})^{T}M_{ff}(\hat{p}_{f}-p_{f})<0,\ \text{if}\ \hat{p}_{f}\neq p_{f}.\end{array}$$ (50)

Hence, given arbitrary initial estimates $\hat{p}_{i}(0),i\in\mathcal{V}_{f}$, $\hat{p}_{i}(t)$ converges to $p_{i}$ asymptotically. ∎

Algorithm 4 The sequential distributed localization algorithm

1:Initialization: Each node starts sending and receiving local relative measurements to or from its neighboring nodes. Each node has two modes: localized and unlocalized. The anchor nodes are set as localized mode, and the free nodes are set as unlocalized mode with initial estimates. Denote $\mathcal{N}_{il}$ as the set of localized neighbors of node $i$, and the $4$-combinations from the set $\mathcal{N}_{il}$ is denoted by $C_{i}$;

2:For any node $i$:

3:      While node $i$ is in localized mode, do

4:       Sending its position and local relative measurements

5:       to its neighboring nodes;

6:     End

7:      While node $i$ is in unlocalized mode, do

8:       Updating the set $\mathcal{N}_{il}$;

9:        If $|\mathcal{N}_{il}|\geq 4$, for each $4$-combination of $C_{i}$ such as

10:       localized neighbors $j,k,h,l$, do

11:           Based on the mixed noisy measurements and the

12:           method shown in Section IV-B, constructing the

13:           displacement constraint among $i,j,k,h,l$;

14:           Obtaining displacement parameters $\mu_{ij},\mu_{ik},\mu_{ih},$

15:           $\mu_{il}$, or $\mu_{ji},\mu_{jk},\mu_{jh},\mu_{jl}$;

16:           If $\mu_{ij}\!+\!\mu_{ik}\!+\!\mu_{ih}\!+\!\mu_{il}\neq 0$ or $\mu_{ji}\neq 0$, then

17:             $\dot{\hat{p}}_{i}\!=\!N(i,j,k,h,l)$ (47) or $\mathrm{bar}N(j,i,k,h,l)$ (48);

18:              Obtaining the estimate ${\hat{p}}^{*}_{i}$ of node $i$;

19:              Switching to localized mode;

20:              Break

21:           End

22:        End

23:     End

If there is measurement noise, the measurement noise will influence the parameters in the displacement constraints such as $\mu_{ij},\mu_{ik},\mu_{ih},\mu_{il}$ in (7). Note that the matrices $M_{ff}$ and $M_{fa}$ in (49) are only determined by the parameters in the displacement constraints. Hence, the measurement noise will influence matrices $M_{ff}$ and $M_{fa}$. The noisy $\mathrm{bar}M_{ff}$ and $\mathrm{bar}M_{fa}$ are

$$\mathrm{bar}M_{ff}=M_{ff}+\Delta M_{ff},\ \ \mathrm{bar}M_{fa}=M_{fa}+\Delta M_{fa},$$ (51)

where $\Delta M_{ff},\Delta M_{fa}$ are error matrices. Then, we have

$$\mathrm{bar}M_{ff}\hat{p}^{*}_{f}+\mathrm{bar}M_{fa}p_{a}=\mathbf{0},$$ (52)

where $\hat{p}^{*}_{f}$ is the positions of the free nodes satisfying the noisy measurements and known anchor positions. If the noisy matrix $\mathrm{bar}M_{ff}$ is nonsingular, the solution $\hat{p}_{f}^{*}$ to (52) is unique.

Lemma 3.

A network ($\mathcal{G},p$) with mixed types of noisy measurements in $\mathbb{R}^{3}$ is localizable if the following conditions hold:

1. ($\mathcal{G},p$) is infinitesimally angle-displacement rigid;

2. The error matrix $\Delta M_{ff}$ satisfies

   $$\|\Delta M_{ff}\|<\lambda_{\min}(M_{ff}).$$ (53)

Proof.

From Theorem 1, $M_{ff}$ is nonsingular if ($\mathcal{G},p$) is infinitesimally angle-displacement rigid. Then, we have $\mathrm{bar}{M}_{ff}=M_{ff}(I\!+\!M_{ff}^{-1}\Delta M_{ff})$. Since $\|M_{ff}^{-1}\Delta M_{ff}\|\leq\|M_{ff}^{-1}\|\|\Delta M_{ff}\|=\frac{\|\Delta M_{ff}\|}{\lambda_{\min}(M_{ff})}$, the matrix $\mathrm{bar}M_{ff}$ must be nonsingular if the condition in (53) holds. From (39), we can conclude that $\mathrm{bar}M_{ff}$ must also be positive definite. Then, under the proposed distributed localization algorithm $\dot{\hat{p}}_{f}=-\mathrm{bar}M_{ff}{\hat{p}}_{f}-\mathrm{bar}M_{fa}p_{a}$, the estimate ${\hat{p}}_{f}$ will converge to ${\hat{p}^{*}}_{f}$ shown as

$$\hat{p}_{f}^{*}=-\mathrm{bar}M_{ff}^{-1}\mathrm{bar}M_{fa}p_{a}.$$ (54)

∎

Remark 6.

The condition in (53) is only used to guarantee the noisy matrix $\mathrm{bar}M_{ff}$ to be nonsingular, which is sufficient but not necessary. Hence, the noisy matrix $\mathrm{bar}M_{ff}$ may still be nonsingular even if the condition in (53) does not hold, that is, the network may still be localizable under the proposed scheme even if the condition in (53) does not hold.

From Lemma 2, we can know that the displacement constraints are invariant to the translation of the entire network. If we change the original point of the global coordinate frame or translate the whole network, the matrices $\mathrm{bar}{M}_{fa},\mathrm{bar}{M}_{ff},M_{ff},$ $M_{fa}$ will remain unchanged, i.e.,

$$M_{ff}(p_{f}-\mathbf{1}_{n_{f}}\otimes p_{o})+M_{fa}(p_{a}-\mathbf{1}_{n_{a}}\otimes p_{o})=\mathbf{0},$$ (55)

$$\mathrm{bar}M_{ff}(\hat{p}^{*}_{f}-\mathbf{1}_{n_{f}}\otimes p_{o})+\mathrm{bar}M_{fa}(p_{a}-\mathbf{1}_{n_{a}}\otimes p_{o})=\mathbf{0},$$ (56)

where $p_{o}\in\mathbb{R}^{3}$ is the original point of any local coordinate frame. If the condition in (53) holds, based on (54) and (56), we have

$$\begin{array}[]{ll}&\|\hat{p}_{f}^{*}-p_{f}\|\\ &=\|-\mathrm{bar}{M}_{ff}^{-1}\mathrm{bar}{M}_{fa}p_{a}-p_{f}\|\\ &=\|-\mathrm{bar}{M}_{ff}^{-1}\mathrm{bar}{M}_{fa}(p_{a}-\mathbf{1}_{n_{a}}\otimes p_{o})-(p_{f}-\mathbf{1}_{n_{f}}\otimes p_{o})\|.\end{array}$$ (57)

From (57), we can know that the position estimation error remains unchanged if we change the original point of the global coordinate frame or translate the whole network. Actually, the position estimation error is only determined by the noisy measurements and the structure of the network. Then, we can obtain the error bound of position estimates of the free nodes shown as

$$\begin{array}[]{ll}&\|\hat{p}_{f}^{*}-p_{f}\|\\ &=\|-\mathrm{bar}{M}_{ff}^{-1}\mathrm{bar}{M}_{fa}(p_{a}-\mathbf{1}_{n_{a}}\otimes p_{o})-(p_{f}-\mathbf{1}_{n_{f}}\otimes p_{o})\|\\ &\leq\frac{\|\Delta M_{fa}\|\|p_{a}-\mathbf{1}_{n_{a}}\otimes p_{o}\|+\|\Delta M_{ff}\|\|p_{f}-\mathbf{1}_{n_{f}}\otimes p_{o}\|}{\|I+M_{ff}^{-1}\Delta M_{ff}\|\|M_{ff}\|}\\ &\leq\frac{\|\Delta M_{fa}\|\sum\limits_{i=1}^{n_{a}}\|p_{i}-p_{o}\|+|\Delta M_{ff}\|\sum\limits_{i=n_{a}\!+\!1}^{n}\|p_{i}-p_{o}\|}{\|I+M_{ff}^{-1}\Delta M_{ff}\|\|M_{ff}\|},\ p_{o}\in\mathbb{R}^{3}.\end{array}$$ (58)

From (58), we can know that the error bound $u$ of position estimates can be obtained by minimizing the following cost function.

$$u=\min\limits_{p_{o}\in\mathbb{R}^{3}}\frac{\|\Delta M_{fa}\|\sum\limits_{i=1}^{n_{a}}\|p_{i}-p_{o}\|+|\Delta M_{ff}\|\sum\limits_{i=n_{a}\!+\!1}^{n}\|p_{i}-p_{o}\|}{\|I+M_{ff}^{-1}\Delta M_{ff}\|\|M_{ff}\|}.$$ (59)

The cost function (59) is a Fermat-Weber location problem, which can be solved by using the method in [21]. Hence, the error bound $u$ of position estimates will also remain unchanged even if we change the original point of the global coordinate frame or translate the whole network.

The proposed distributed localization algorithm is implemented in a simultaneous way when the noisy matrix $\mathrm{bar}M_{ff}$ is nonsingular. When the noisy matrix $\mathrm{bar}M_{ff}$ is not nonsingular, the free nodes can still be estimated by using a sequential distributed localization protocol shown in the above Algorithm 4, where there are two kinds of localization algorithms, i.e., $\dot{\hat{p}}_{i}\!=\!N(i,j,k,h,l)$ (47) and $\dot{\hat{p}}_{i}\!=\!\mathrm{bar}N(j,i,k,h,l)$ (48).

If $\mu_{ij}\!+\!\mu_{ik}\!+\!\mu_{ih}\!+\!\mu_{il}\neq 0$, for the localization algorithm $\dot{\hat{p}}_{i}\!=\!N(i,j,k,h,l)$ (47), consider a Lyapunov candidate $\mathrm{bar}V=\frac{1}{2}\|{\hat{p}}_{i}-\frac{\mu_{ij}\hat{p}^{*}_{j}+\mu_{ik}\hat{p}^{*}_{k}+\mu_{ih}\hat{p}^{*}_{h}+\mu_{il}\hat{p}^{*}_{l}}{\mu_{ij}\!+\!\mu_{ik}\!+\!\mu_{ih}\!+\!\mu_{il}}\|^{2}$ , it yields

$$\begin{array}[]{ll}{\dot{\mathrm{bar}V}}&\!=\!-\!(\mu_{ij}\!+\!\mu_{ik}\!+\!\mu_{ih}\!+\!\mu_{il})^{2}\|{\hat{p}}_{i}\!-\!\frac{\mu_{ij}\hat{p}^{*}_{j}\!+\!\mu_{ik}\hat{p}^{*}_{k}\!+\!\mu_{ih}\hat{p}^{*}_{h}\!+\!\mu_{il}\hat{p}^{*}_{l}}{\mu_{ij}\!+\!\mu_{ik}\!+\!\mu_{ih}\!+\!\mu_{il}}\|^{2}\\ &\leq 0.\end{array}$$ (60)

where $\hat{p}^{*}_{j},\hat{p}^{*}_{k},\hat{p}^{*}_{h},\hat{p}^{*}_{l}$ are the estimates of the localized neighbors $j,k,h,l$. Hence, the estimate of node $i$ will converge to $\hat{p}^{*}_{i}=\frac{\mu_{ij}\hat{p}^{*}_{j}+\mu_{ik}\hat{p}^{*}_{k}+\mu_{ih}\hat{p}^{*}_{h}+\mu_{il}\hat{p}^{*}_{l}}{\mu_{ij}\!+\!\mu_{ik}\!+\!\mu_{ih}\!+\!\mu_{il}}$. Similarly, if $\mu_{ji}\neq 0$, for the localization algorithm $\dot{\hat{p}}_{i}\!=\!\mathrm{bar}N(j,i,k,h,l)$ (48), we can know that the estimate of node $i$ will converge to

$$\hat{p}^{*}_{i}\!=\!\frac{\mu_{ji}\!+\!\mu_{jk}\!+\!\mu_{jh}\!+\!\mu_{jl}}{\mu_{ji}}\hat{p}^{*}_{j}\!-\!\frac{\mu_{jk}}{\mu_{ji}}\hat{p}^{*}_{k}\!-\!\frac{\mu_{jh}}{\mu_{ji}}\hat{p}^{*}_{h}\!-\!\frac{\mu_{jl}}{\mu_{ji}}\hat{p}^{*}_{l}.$$ (61)

In Algorithm 4, to implement the localization algorithm $\dot{\hat{p}}_{i}=N(i,j,k,h,l)$ or $\dot{\hat{p}}_{i}=\mathrm{bar}N(i,j,k,h,l)$, node $i$ requires at least four localized neighbors, i.e., $|\mathcal{N}_{il}|\geq 4$. Actually, when $|\mathcal{N}_{il}|=3$ or $2$, node $i$ may also be localizable.

1. When $|\mathcal{N}_{il}|=3$, node $i$ has three localized neighbors $j,k,h$. The ratio-of-distance matrix among the nodes $i,j,k,h$ can be obtained by the noisy measurements. Based on the ratio-of-distance matrix, we can check whether the nodes $i,j,k,h$ are coplanar or the nodes $j,k,h$ are non-colinear by Menger determinant method shown in (18) and (23). Note that a network with ratio-of-distance matrix has the same barycentric coordinate as the network with distance matrix. Hence, if the nodes $i,j,k,h$ are coplanar and the nodes $j,k,h$ are non-colinear, based on the ratio-of-distance matrix, we can obtain the barycentric coordinate $\{\mu_{ij},\mu_{ik},\mu_{ih}\}$ of node $i$ with respect to the nodes $j,k,h$ by Algorithm 2. Thus, the estimate $\hat{p}_{i}^{*}$ of node $i$ can be obtained by its localized neighbors $\hat{p}^{*}_{j},\hat{p}^{*}_{k},\hat{p}^{*}_{h}$, i.e.,

   $$\hat{p}_{i}^{*}=\mu_{ij}\hat{p}^{*}_{j}+\mu_{ik}\hat{p}^{*}_{k}+\mu_{ih}\hat{p}^{*}_{h}.$$ (62)

2. When $|\mathcal{N}_{il}|=2$, node $i$ has two localized neighbors $j,k$. The ratio of distances $\frac{d_{ik}}{d_{ij}}$ and $\frac{d_{jk}}{d_{ij}}$ can be obtained by the noisy measurements. If $\frac{d_{ik}}{d_{ij}}+\frac{d_{jk}}{d_{ij}}=1$, or $\frac{d_{ij}}{d_{ik}}+\frac{d_{jk}}{d_{ik}}=1$, or $\frac{d_{ij}}{d_{jk}}+\frac{d_{ik}}{d_{jk}}=1$, the nodes $i,j,k$ are colinear. Without loss of generility, suppose $\frac{d_{ik}}{d_{ij}}+\frac{d_{jk}}{d_{ij}}=1$, we have

   $$e_{ik}=\frac{d_{ik}}{d_{ij}}e_{ij}.$$ (63)

   Then, the estimate $\hat{p}_{i}^{*}$ of node $i$ can be obtained by its localized neighbors $\hat{p}^{*}_{j},\hat{p}^{*}_{k}$, i.e.,

   $$\hat{p}_{i}^{*}=-\frac{d_{ik}}{d_{jk}}\hat{p}^{*}_{j}+\frac{d_{ij}}{d_{jk}}\hat{p}^{*}_{k}.$$ (64)

IV-E Discussions on the Proposed Method

From Algorithm 2 and (29), we can know any four nodes can form a displacement constraint if they are on the same plane. Hence, 2-D network localizaion with mixed measurements only requires each free node has at least three neighbors rather than four neighbors required for 3-D network. Hence, when the proposed method is applied to 2-D space, the Assumption 1 can be relaxed as

Assumption 2.

No two nodes are collocated. Each anchor node $i$ has at least two neighboring anchor nodes $j,k$, where $i,j,k$ are mutual neighbors. Each free node $i$ has at least three neighboring nodes $j,k,h$, where $i,j,k,h$ are mutual neighbors and non-colinear.

Remark 7.

From (30), we can know that the graph can be directed if each free node can measure relative positions in its local coordinate frame. In addition, it is possible to apply the proposed method to a switching graph if there exists $T$ such that for each time instant ${t_{1}}$, the union network $(\mathcal{G}([t_{1},t_{1}+T]),p)$ is infinitesimally angle-displacement rigid, where $\mathcal{G}([t_{1},t_{1}+T])=\{\mathcal{V},\bigcup\limits_{t\in[t_{1},t_{1}+T]}\mathcal{E}(t)\}$ is the union graph during the time interval $[t_{1},t_{1}+T]$.

The existing works consider distributed localization with mixed distance and bearing measurements [13, 14, 15], but [13] is limited to 2-D space and [14, 15] need to know the global coordinate frame. Note that each node in [13, 14, 15] can measure both distances and bearings. The more challenging case is that some nodes can only measure distances or bearings. For this case, Lin develops a distributed algorithm for 2-D network localization, where each node can only measure distances, bearings, or relative positions in its local coordinate frame [16]. Compared with his result [16], the advantages of our work are concluded as follows.

1. The work in [16] only considers 2-D space. The 3-D case cannot be solved by trivially extending the results in [16], but our method can be applied in 3-D space.

2. The work in [16] only considers three kinds of local relative measurements: local relative position, local relative bearing, and distance, but our work considers five kinds of local relative measurements.

3. The difference between the Assumption in [16] and our Assumption 2 is that the work in [16] requires the convex hull assumption, i.e., each node lies strictly inside the convex hull spanned by its neighboring nodes, but our work only requires the free node and its neighbors be non-colinear. It is clear that our Assumption 2 is mild.

Figure 5: 3-D localizable network.

V Simulation

Two numerical examples are given to illustrate the effectiveness of the theoretical findings. A three-dimensional localizable network with mixed types of measurements is shown in Fig. 5, where the $4$ anchor nodes $p_{a}=[p_{1}^{T},\cdots,p_{4}^{T}]^{T}$ and $23$ free nodes $p_{f}=[p_{5}^{T},\cdots,p_{27}^{T}]^{T}$ are denoted by large solid dots and small solid dots, respectively. The orientation difference between the local coordinate frame of each node and global coordinate frame is unknown. It can be verified that the network in Fig. 5 is infinitesimally angle-displacement rigid, where the corresponding angle constraints and displacement constraints are constructed by our proposed methods shown in Section IV-B. For example, for the anchor nodes $p_{1}\in\mathcal{R}$, $p_{2}\in\mathcal{R}o\mathcal{D}$, $p_{3}\in\mathcal{B}$ and free nodes $p_{5}\in\mathcal{R}$, $p_{6}\in\mathcal{A},p_{7}\in\mathcal{D}$ shown in Fig. 5, the angle constraints (65) for the anchor nodes are obtained by (5).

$$e_{13}^{T}e_{12}-e_{31}^{T}e_{32}=0,\ \ e_{21}^{T}e_{23}=0,$$ (65)

where

$$p_{1}\!=\![-200,-200,0]^{T},p_{2}\!=\![200,-200,0]^{T},p_{3}\!=\![200,200,0]^{T}.$$ (66)

For the free node $p_{5}$, since it can measure local relative position $e_{51}^{5},e_{52}^{5},e_{56}^{5},e_{57}^{5}$ to its neighboring nodes $p_{1},p_{2},p_{6},p_{7}$, the displacement constraint (67) among the nodes $p_{1},p_{2},p_{5},p_{6},p_{7}$ are obtained by (30).

$$e_{51}+e_{52}=0,$$ (67)

where

$$p_{5}\!=\![0,-200,0]^{T},p_{6}\!=\![0,-200,100]^{T},p_{7}\!=\![0,0,100]^{T}.$$ (68)

Figure 6: Trajectory of estimated position without measurement noise.

Figure 7: Position estimation error without measurement noise.

When there is no measurement noise, under distributed localization algorithm (46) with randomly generated initial estimate, each free node can estimate its position shown in Fig. 6. The position estimation errors of the free nodes converge to zero globally shown in Fig. 7. In the proposed method, the mixed types of measurements are only used to construct the displacement constraints. Hence, the measurement noises will only influence displacement constraints. For example, when there is measurement noise, the free node $p_{5}$ obtain the noisy local relative position measurements $\mathrm{bar}e_{51}^{5},\mathrm{bar}e_{52}^{5},\mathrm{bar}e_{56}^{5},\mathrm{bar}e_{57}^{5}$ shown as

$$\begin{array}[]{ll}&\mathrm{bar}e_{51}^{5}=e_{51}^{5}-[5,5,5]^{T},\ \ \mathrm{bar}e_{52}^{5}=e_{52}^{5}+[6,7,8]^{T},\\ &\mathrm{bar}e_{56}^{5}=e_{56}^{5}-[3,4,4]^{T},\ \ \mathrm{bar}e_{57}^{5}=e_{57}^{5}+[10,8,9]^{T}.\end{array}$$ (69)

Then, the displacement constraint with noisy local relative position measurements $\mathrm{bar}e_{51}^{5},\mathrm{bar}e_{52}^{5},\mathrm{bar}e_{56}^{5},\mathrm{bar}e_{57}^{5}$ among the nodes $p_{1},p_{2},p_{5},p_{6},p_{7}$ becomes

$$\frac{6201}{61}e_{51}+\frac{38449}{380}e_{52}-\frac{1103}{551}e_{56}-e_{57}=0.$$ (70)

In the simulation, zero-mean Gaussian noises are added to local relative measurements. Based on the noisy local relative measurements, we can obtain the noisy matrices $\mathrm{bar}M_{ff}$ and $\mathrm{bar}M_{fa}$ in (51). The distributed algorithm (49) becomes

$$\dot{\hat{p}}_{f}=-\mathrm{bar}M_{ff}{\hat{p}}_{f}-\mathrm{bar}M_{fa}p_{a}.$$ (71)

The trajectories of estimated positions and position estimation errors are given in Fig. 8 and Fig. 9, respectively. The estimates of the free nodes can still converge to neighborhoods of the actual positions of the nodes shown if the condition (53) holds.

Figure 8: Trajectory of estimated position with measurement noises.

Figure 9: Position estimation error with measurement noises.

VI Conclusion

This paper studies the 3-D network localization with mixed local relative measurements, where each node holds a local coordinate frame without a common orientation and has no knowledge about the global coordinate frame. The main idea is to construct the displacement constraints for the positions of the nodes by using mixed local relative measurements. A linear distributed algorithm is proposed for each free node that can globally estimate its own position if the network is localizable. Our future work is to relax the assumption and evaluate the estimation error given the statistics of measurements noises.