Experimental Validation of Cooperative RSS-based Localization with Unknown Transmit Power, Path Loss Exponent, and Precise Anchor Location

Yingquan Li, , Bodhibrata Mukhopadhyay, , Jiajie Xu, , and Mohamed-Slim Alouini Y. Li, J. Xu, and M. S. Alouini are with Computer, Electrical, and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), Thuwal, 23955-6900, Kingdom of Saudi Arabia. Bodhibrata Mukhopadhyay was with CEMSE, KAUST, Thuwal, 23955-6900, Kingdom of Saudi Arabia. He is now with the department of Electronics and Communication, Indian Institute of Technology Roorkee, Uttarakhand, 247667, India (email: [email protected], [email protected], [email protected], [email protected]).
Abstract

Received signal strength (RSS)–based cooperative localization has gained significant attention due to its straightforward system architectures and cost-effectiveness. In this paper, we propose Cooperative Localization Techniques (with Unknown Parameters), referred to as CTUP(s), which consider uncertainty in anchor nodes’ locations and assume the transmit power and path loss exponent (PLE) to be unknown. Unlike prior studies, CTUP(s) address unknowns by estimating these parameters, along with the location of target nodes. The non-convex and non-linear nature of the maximum likelihood (ML) estimator of the problem is addressed through relaxation techniques, employing Taylor series expansion, semidefinite relaxation (SDR), and the epigraph method. The resulting problem is solved using semidefinite second-order cone programming (SDP-SOCP), leveraging the precision of SDP and the simplicity of SOCP. We deployed an extensive network comprising 50 BLE nodes covering an area of 640 m ×\times× 180 m to gather RSS data. The precise location of the nodes is obtained using real-time kinematics global positioning system (RTK-GPS), which is treated as the ground truth. Furthermore, to replicate real-world scenarios, we recorded the positions of the anchor nodes using a standard GPS, thereby introducing uncertainty into the anchor node locations. Extensive simulation and hardware experimentation demonstrate the superior performance of CTUP compared to existing techniques.

Index Terms:
Wireless sensor networks, cooperative localization, received signal strength (RSS), transmit power, path loss exponent (PLE).

I Introduction

Wireless sensor networks (WSNs) have found extensive applications in diverse fields such as environmental monitoring, industrial management, smart cities, and healthcare [1, 2, 3, 4]. Without the geographical location of the nodes, the sensing data lacks significance or context. In [5], the authors propose a framework for designing network localization and navigation (NLN) for the Internet of Things (IoT). However, equip** the nodes with a Global Positioning System (GPS) device is often impractical and cost-ineffective [6]. Additionally, GPS devices not only significantly impact nodes’ battery life due to high power consumption but also fail in challenging operational environments, such as urban canyons and buildings [7]. Consequently, considerable research efforts are directed towards the development of efficient and precise localization techniques. Liu et al. [8] presents a localization system leveraging inertial measurements and spatial cooperation, featuring a graphical model for single-user and multi-user scenarios. In WSN, a subset of nodes, specifically a few, are presumed to have known locations and are identified as anchors. Leveraging these anchors, the locations of the remaining nodes, referred to as target nodes, are estimated or determined.

Localization techniques employ diverse measurements such as angle-of-arrival (AOA) [9], time-of-arrival (TOA) [10], time-difference-of-arrival (TDOA) [11], and received signal strength (RSS) [12] to estimate the location of target nodes. TOA and TDoA techniques stand out for their high accuracy in determining node positions. However, these techniques depend on precise clocks, which can pose significant challenges during real-world deployment, thereby presenting limited scalability in practical implementations. Furthermore, their dependence on sophisticated hardware and intricate signal processing algorithms adds complexity and cost to the system, potentially limiting their practicality in resource-constrained environments or large-scale deployments [13]. RSS-based localization determines node positions by analyzing the strength of the received signals from surrounding nodes [14]. This approach doesn’t necessitate precise time synchronization or specialized hardware, making it simpler to implement and more cost-effective. Therefore, RSS-based localization proves advantageous in scenarios where accuracy requirements are moderate and when hardware or synchronization constraints exist, making it suitable for localization in large networks [15].

TABLE I: Summary of the RSS-based localization techniques. (NC: non-cooperative, C: cooperative).
Algorithm Unknown parameters Estimated parameters Manner Method Accuracy Complexity Year
Location Transmit power PLE
LSRE-Shi [16] Transmit power \checkmark \checkmark ×\times× NC SDP Moderate High 2020
RWLS-AE [17] Transmit power & PLE \checkmark \checkmark \checkmark NC SDP High High 2021
SDP-Zou [18]
Transmit power & PLE
Anchors’ accurate location
\checkmark ×\times× ×\times× NC SDP Moderate High 2021
RLBM [19] Transmit power \checkmark ×\times× ×\times× NC SDP Moderate High 2021
MSL [20] PLE \checkmark ×\times× \checkmark NC LLS Low Low 2022
IRGDL [21] None \checkmark ×\times× ×\times× C Invex Relaxation High Low 2022
SDP-l2 [22] None \checkmark ×\times× ×\times× C SDP High High 2022
FCUP [23] Transmit power \checkmark \checkmark ×\times× C SDP-SOCP High Moderate 2023
CTUP-1 Anchors’ accurate location \checkmark ×\times× ×\times× C SDP-SOCP High Moderate 2023
CTUP-2
PLE
Anchors’ accurate location
×\times× \checkmark
CTUP-3
Transmit power
Anchors’ accurate location
\checkmark ×\times×
CTUP-4
Transmit power & PLE
Anchors’ accurate location
\checkmark

RSS-based localization techniques determine the positions of target nodes using RSS values between anchor-target links and/or target-target links. The localization problem can broadly be solved using methods such as least squares (LS) [24] and maximum likelihood (ML) [25]. LS-based techniques are used for scenarios where the distribution of noise in RSS measurement is unknown. However, ML takes into account the noise statistics to achieve asymptotically optimal performance. Nevertheless, the ML is non-convex, non-linear, and has non-removable discontinuities, making it unsolvable using off-the-shelf techniques. Therefore, researchers have reformulated the ML problem into a tractable problem using various relaxation techniques [26, 27, 28].

In [29], the authors proposed a two-step linear least squares (LLS) estimator to obtain the location of the target nodes for a scenario where transmit power is unknown. In the first step, the authors obtained the ratio-of-distance estimates from the RSS measurement. Subsequently, they obtained the location by solving a set of linear equations. However, it has been observed that LLS demonstrates inadequate performance, particularly in scenarios with high levels of noise. To overcome the drawbacks of LLS, we explore non-linear least squares (NLS)-based methods.

In [27], the authors reformulated the ML optimization into a convex distributed problem, utilizing the alternating direction method of multipliers (ADMM). Then, they forced the solution towards the local minimum of the non-relaxed problem using soft transition. In [21], the authors relaxed the ML objective function into an invex optimization problem and solved it using gradient descent and coordinate descent. Researchers extensively used semidefinite programming (SDP) to solve the ML due to its guaranteed convergence and high accuracy [30, 22]. In [30], authors proposed a cooperative localization technique that first converts the log-normal shadowing RSS measurement model to a multiplicative model. Subsequently, the ML problem is reformulated into a non-convex estimator using relative error and finally solved using the semidefinite relaxation (SDR) technique. Wang et al. [22] addressed the localization problem for scenarios where RSS measurements are biased. They proposed two estimators using SDP with 1subscript1\ell_{1}roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-norm and 2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT-norm, respectively. The above mentioned techniques require complete knowledge of transmit power, path loss exponent (PLE), and precise locations for anchor nodes.

The key model parameters of RSS-based localization techniques are the transmit power of the nodes, PLE, and anchor location uncertainty [31]111In this study, the transmit power of a node is defined as the power received from the node at a reference distance.. However, many studies assume extensive knowledge of these parameters, overlooking their susceptibility to various factors such as the battery level of the nodes [32], channel state [33], and antenna orientation [34]. The commonly used Log-normal model implies that the signal strength attenuation is caused by obstacles and diverse environmental conditions [35], posing challenges in accurately measuring transmit power. Additionally, PLE varies due to changes in transmitter frequency [36], weather patterns [37], and temperature fluctuations [38]. Studies have indicated that PLE is dynamic, typically ranging between 2 and 4 [39, 40, 41]. Generally, researchers use GPS to obtain the location of the anchor nodes; however, their measurement accuracy depends on several factors like satellite visibility, atmospheric conditions, and quality of the GPS module [42]. Moreover, in both maritime and aerial wireless networks, obtaining precise anchor locations (buoys in water and drones in the air) is hindered by factors like water currents and wind, respectively [43]. This proves the significance of incorporating uncertainty in anchor location as a model parameter. Researchers have designed and developed several non-cooperative localization (only using anchor-target links as measurement) techniques by assuming transmit power and (or) PLE to be unknown and (or) considering anchor location uncertainty. Shi et al. [16] utilized the least squares relative error (LSRE) to develop an estimator in the presence of unknown transmit power. The log-normal model was reformulated into a multiplicative form to facilitate semidefinite relaxation (SDR). In [20], the authors applied a weighted LLS framework to transform the ML estimator for unknown PLE scenarios. They proposed a bisection-based method to estimate the location of the target nodes. Zou et al. [18] used Taylor expansion and penalty factors to introduce a SDP-based estimator without knowing the transmit power and PLE. Then, the proposed estimator was extended for the scenarios with anchor location uncertainty. Sun et al. [17] introduced a method that alternately estimates unknown transmit power and PLE. Based on this, the authors presented two SDP-based estimators, each addressing one unknown parameter, and improved their efficacy using an iterative approach. Researchers deal with the unknown transmit power scenarios using RSS difference (RSSD)-based techniques. In [19], the authors proposed an iterative SDP-based technique by considering a mean squared error (MSE) minimization problem and finally transforming it into a convex optimization problem using SDR. However, the aforementioned methods are exclusively applicable in non-cooperative localization. In Non-cooperative localization, each target node is required to solve one optimization problem, which leads to increased complexity, limited scalability, and increased power consumption. Unlike cooperative localization techniques [26], non-cooperative approaches face challenges in achieving high precision due to their inability to leverage target-target links.

There exist few cooperative localization techniques that incorporate both anchor-target links and target-target links, assuming certain model parameters to be unknown. In [23], the authors proposed a cooperative localization technique that jointly estimates the location and transmit power of target nodes. However, they assumed the PLE to be known and did not consider the anchor location uncertain. To address the above-mentioned issues, in this study, we propose SDP-SOCP-based cooperative localization techniques known as CTUP-1, CTUP-2, CTUP-3, and CTUP-4222CTUP: Cooperative Technique with Unknown model Parameters. These techniques aim to estimate the locations of target nodes across four distinct scenarios: i) transmit power and PLE are known, ii) PLE is unknown, iii) transmit power is unknown, and iv) both transmit power and PLE are unknown, respectively. We investigate the anchor-anchor wireless links to get an initial estimate of PLE as reported in [44, 45, 46]. In Table I, we provide a brief summary of the existing RSS-based localization techniques. Unlike our approach, none of the existing studies addressing anchor location uncertainty have conducted performance tests on real experimental data. The main contributions of this paper are summarized as follows:

TABLE II: Table of notations
Notations Description
Nasubscript𝑁𝑎N_{a}italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT The number of anchor nodes
Ntsubscript𝑁𝑡N_{t}italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT The number of target nodes
𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The location of the jthsuperscript𝑗thj^{\text{th}}italic_j start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT target node
𝐬˘isubscript˘𝐬𝑖\breve{\mathbf{s}}_{i}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT The location of the ithsuperscript𝑖thi^{\text{th}}italic_i start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT anchor node
𝐬isubscript𝐬𝑖\mathbf{s}_{i}bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT The erroneous location of the ithsuperscript𝑖thi^{\text{th}}italic_i start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT anchor node
𝒯𝒯\mathcal{T}caligraphic_T The index set for target nodes
𝒜𝒜\mathcal{A}caligraphic_A The index set for anchor nodes
𝒯jsubscript𝒯𝑗\mathcal{T}_{j}caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The index set for the neighboring target nodes to 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT
𝒜jsubscript𝒜𝑗\mathcal{A}_{j}caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The index set for the neighboring anchor nodes to 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT
Pijsubscript𝑃𝑖𝑗P_{ij}italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The RSS measurement at 𝐬˘isubscript˘𝐬𝑖\breve{\mathbf{s}}_{i}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (or 𝐭isubscript𝐭𝑖\mathbf{t}_{i}bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) when 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the transmitter
Pjsubscript𝑃𝑗P_{j}italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The transmit power of 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT
β𝛽\betaitalic_β PLE
dijsubscript𝑑𝑖𝑗d_{ij}italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The Euclidean distance between 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and 𝐬˘isubscript˘𝐬𝑖\breve{\mathbf{s}}_{i}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (or 𝐭isubscript𝐭𝑖\mathbf{t}_{i}bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT)
d0subscript𝑑0d_{0}italic_d start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT The reference distance
nijsubscript𝑛𝑖𝑗n_{ij}italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The RSS measurement noise of Pijsubscript𝑃𝑖𝑗P_{ij}italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT
ηisubscript𝜂𝑖\eta_{i}italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT The anchor location uncertainty of 𝐬isubscript𝐬𝑖\mathbf{s}_{i}bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT
σijsubscript𝜎𝑖𝑗\sigma_{ij}italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The standard deviation of nijsubscript𝑛𝑖𝑗n_{ij}italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT
δisubscript𝛿𝑖\delta_{i}italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT The standard deviation of ηisubscript𝜂𝑖\eta_{i}italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT
𝐭𝐭\mathbf{t}bold_t The location of target nodes
𝐬˘˘𝐬\breve{\mathbf{s}}over˘ start_ARG bold_s end_ARG The location of anchor nodes
𝐩𝐩\mathbf{p}bold_p The transmit power of target nodes
𝐞jsubscript𝐞𝑗\mathbf{e}_{j}bold_e start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The jthsuperscript𝑗thj^{\text{th}}italic_j start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT column of 𝐈2(Nt+Na)subscript𝐈2subscript𝑁𝑡subscript𝑁𝑎\mathbf{I}_{2(N_{t}+N_{a})}bold_I start_POSTSUBSCRIPT 2 ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT
P˘ijsubscript˘𝑃𝑖𝑗\breve{P}_{ij}over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The RSS measurement at 𝐬˘isubscript˘𝐬𝑖\breve{\mathbf{s}}_{i}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT when 𝐬˘jsubscript˘𝐬𝑗\breve{\mathbf{s}}_{j}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the transmitter
P˘jsubscript˘𝑃𝑗\breve{P}_{j}over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The transmit power of 𝐬˘jsubscript˘𝐬𝑗\breve{\mathbf{s}}_{j}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT
d˘ijsubscript˘𝑑𝑖𝑗\breve{d}_{ij}over˘ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The Euclidean distance between 𝐬jsubscript𝐬𝑗\mathbf{s}_{j}bold_s start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and 𝐬isubscript𝐬𝑖\mathbf{s}_{i}bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT
σ˘ijsubscript˘𝜎𝑖𝑗\breve{\sigma}_{ij}over˘ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT The noise standard deviation of P˘ijsubscript˘𝑃𝑖𝑗\breve{P}_{ij}over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT
β0subscript𝛽0\beta_{0}italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT The initial estimate of PLE
𝒮jsubscript𝒮𝑗\mathcal{S}_{j}caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT The index set for the neighboring anchor nodes to 𝐬jsubscript𝐬𝑗\mathbf{s}_{j}bold_s start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT
|𝒮|𝒮\lvert\mathcal{S}\rvert| caligraphic_S | The number of anchor-anchor links
||\lvert\mathcal{H}\rvert| caligraphic_H | The number of target-anchor links and target-target links
  • We proposed four cooperative techniques (CTUP-X) addressing scenarios dependent on the knowledge of transmit power and PLE, while also accounting for anchor location uncertainty. The proposed techniques can jointly estimate the location of target nodes, transmit power, and PLE depending on the scenarios.

  • Cramer-Rao lower bound (CRLB) for RSS-based cooperative localization with unknown transmit power, PLE, and anchor location uncertainty.

  • We created an indigenous dataset comprising RSS measurements between 50 nodes covering an area of 640 m ×\times× 180 m. The dataset also includes measurements of anchor uncertainty acquired through real-time kinematics (RTK) GPS and a standard GPS. To our knowledge, this is the most extensive and densely populated network utilized for localization.

  • Extensive numerical simulations and real field experiments demonstrate the superior performance of CTUPs in terms of accuracy and computational complexity as compared to state-of-the-art techniques.

The rest of this paper is organized as follows. Section II presents the system model for RSS-based cooperative localization with anchor location uncertainty. Section III discusses the proposed SDP-SOCP-based estimators. The CRLB in the presence of unknown model parameters is derived in Section IV. Numerical results and experimental performance are given in Section V. Finally, we conclude the paper in Section VI.

Notation𝑁𝑜𝑡𝑎𝑡𝑖𝑜𝑛Notationitalic_N italic_o italic_t italic_a italic_t italic_i italic_o italic_n: |𝒳|𝒳\lvert\mathcal{X}\rvert| caligraphic_X | denotes the cardinality of set 𝒳𝒳\mathcal{X}caligraphic_X. Vectors and matrices are represented by bold lowercase and bold uppercase letters, respectively. 2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT-norm of a vector is given by delimited-∥∥\lVert\cdot\rVert∥ ⋅ ∥. 𝐈Nsubscript𝐈𝑁\mathbf{I}_{N}bold_I start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT and 𝟏Nsubscript1𝑁\mathbf{1}_{N}bold_1 start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT denote N×N𝑁𝑁N\times Nitalic_N × italic_N identity matrix, and all-ones vectors with N𝑁Nitalic_N rows respectively. 𝟎M,Nsubscript0𝑀𝑁\mathbf{0}_{M,N}bold_0 start_POSTSUBSCRIPT italic_M , italic_N end_POSTSUBSCRIPT and 𝟏M,Nsubscript1𝑀𝑁\mathbf{1}_{M,N}bold_1 start_POSTSUBSCRIPT italic_M , italic_N end_POSTSUBSCRIPT represent the all-zeros and all-ones matrices with M𝑀Mitalic_M rows and N𝑁Nitalic_N columns, respectively. 𝐱(m:n)\mathbf{x}\left(m:n\right)bold_x ( italic_m : italic_n ) represents the elements of 𝐱𝐱\mathbf{x}bold_x from the mthsuperscript𝑚thm^{\text{th}}italic_m start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT row to the nthsuperscript𝑛thn^{\text{th}}italic_n start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT row. 𝐗m,nsubscript𝐗𝑚𝑛\mathbf{X}_{m,n}bold_X start_POSTSUBSCRIPT italic_m , italic_n end_POSTSUBSCRIPT represents the element of 𝐗𝐗\mathbf{X}bold_X located at the intersection of the mthsuperscript𝑚thm^{\text{th}}italic_m start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT row and the nthsuperscript𝑛thn^{\text{th}}italic_n start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT column. 𝐗m:n,m:nsubscript𝐗:𝑚𝑛𝑚:𝑛\mathbf{X}_{m:n,m:n}bold_X start_POSTSUBSCRIPT italic_m : italic_n , italic_m : italic_n end_POSTSUBSCRIPT denotes a submatrix composed of rows m𝑚mitalic_m to n𝑛nitalic_n and columns m𝑚mitalic_m to n𝑛nitalic_n of 𝐗𝐗\mathbf{X}bold_X. diag(𝐱)diag𝐱\text{diag}\left(\mathbf{x}\right)diag ( bold_x ) denotes the diagonal matrix with the elements of 𝐱𝐱\mathbf{x}bold_x on the main diagonal. For a symmetric matrix 𝐗𝐗\mathbf{X}bold_X, 𝐗𝟎succeeds-or-equals𝐗0\mathbf{X}\succcurlyeq\mathbf{0}bold_X ≽ bold_0 implies that 𝐗𝐗\mathbf{X}bold_X is positive semidefinite. tr()tr\text{tr}\left(\cdot\right)tr ( ⋅ ) represents the trace of a matrix. Var()Var\text{Var}\left(\cdot\right)Var ( ⋅ ) denotes the variance of a random variable. A summary of notations is presented in Table II.

II System Model

We consider a two-dimensional network consisting of Nasubscript𝑁𝑎N_{a}italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT anchor nodes and Ntsubscript𝑁𝑡N_{t}italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT target nodes The location of the jthsuperscript𝑗thj^{\text{th}}italic_j start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT target node and the ithsuperscript𝑖thi^{\text{th}}italic_i start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT anchor node are represented by 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and 𝐬˘isubscript˘𝐬𝑖\breve{\mathbf{s}}_{i}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, respectively. We denote the set of indices of the target nodes and anchor nodes as 𝒯𝒯\mathcal{T}caligraphic_T and 𝒜𝒜\mathcal{A}caligraphic_A, respectively. A level of uncertainty in the positioning of the anchor nodes is taken into account. Based on the Log-normal signal propagation model [18], the received power and the erroneous anchor location are expressed using:

Pijsubscript𝑃𝑖𝑗\displaystyle P_{ij}italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =\displaystyle== Pj10βlog10dijd0+nij,j𝒯,i𝒜j𝒯j,formulae-sequencesubscript𝑃𝑗10𝛽subscript10subscript𝑑𝑖𝑗subscript𝑑0subscript𝑛𝑖𝑗𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗\displaystyle P_{j}-10\beta\log_{10}\frac{d_{ij}}{d_{0}}+n_{ij},\ j\in\mathcal% {T},\ i\in\mathcal{A}_{j}\cup\mathcal{T}_{j},italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT divide start_ARG italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG italic_d start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG + italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (1a)
𝐬isubscript𝐬𝑖\displaystyle\mathbf{s}_{i}bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT =\displaystyle== 𝐬˘i+ηi𝟏2,i𝒜,subscript˘𝐬𝑖subscript𝜂𝑖subscript12𝑖𝒜\displaystyle\mathbf{\breve{s}}_{i}+\eta_{i}\mathbf{1}_{2},\ i\in\mathcal{A},over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_1 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_i ∈ caligraphic_A , (1b)

where Pijsubscript𝑃𝑖𝑗P_{ij}italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is the received power at 𝐬˘isubscript˘𝐬𝑖\mathbf{\breve{s}}_{i}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (or 𝐭isubscript𝐭𝑖\mathbf{t}_{i}bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) when 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is transmitting. The Euclidian distance between two nodes are given by dij=𝐭j𝐬˘i(or𝐭j𝐭i)subscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript˘𝐬𝑖ornormsubscript𝐭𝑗subscript𝐭𝑖d_{ij}=\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|\left(\text{or}\ \|\mathbf{t}_% {j}-\mathbf{t}_{i}\|\right)italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ ( or ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ ). The reference distance d0subscript𝑑0d_{0}italic_d start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is considered to be 1 m. Pjsubscript𝑃𝑗P_{j}italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the received power at d0subscript𝑑0d_{0}italic_d start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and will be referred to as the transmit power of 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, and β𝛽\betaitalic_β is PLE. The neighboring target nodes and anchor nodes of 𝐭jsubscript𝐭𝑗\mathbf{t}_{j}bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT are indexed by 𝒯jsubscript𝒯𝑗\mathcal{T}_{j}caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and 𝒜jsubscript𝒜𝑗\mathcal{A}_{j}caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, respectively. The RSS measurement noise (nij)subscript𝑛𝑖𝑗\left(n_{ij}\right)( italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) and anchor location uncertainly (ηi)subscript𝜂𝑖\left(\eta_{i}\right)( italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) are assumed to follow Gaussian distribution and are represented as nij𝒩(0,σij2)similar-tosubscript𝑛𝑖𝑗𝒩0superscriptsubscript𝜎𝑖𝑗2n_{ij}\sim\mathcal{N}\left(0,\sigma_{ij}^{2}\right)italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ∼ caligraphic_N ( 0 , italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) and ηi𝒩(0,δi2)similar-tosubscript𝜂𝑖𝒩0superscriptsubscript𝛿𝑖2\eta_{i}\sim\mathcal{N}\left(0,{\delta_{i}}^{2}\right)italic_η start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∼ caligraphic_N ( 0 , italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), respectively. We assume the components of 𝐬isubscript𝐬𝑖\mathbf{s}_{i}bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are independent random variables. Let 𝐭=[𝐭1T,,𝐭NtT]T𝐭superscriptsuperscriptsubscript𝐭1𝑇superscriptsubscript𝐭subscript𝑁𝑡𝑇𝑇\mathbf{t}=\left[\mathbf{t}_{1}^{T},\dots,\mathbf{t}_{N_{t}}^{T}\right]^{T}bold_t = [ bold_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , … , bold_t start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and 𝐩=[P1,,PNt]T𝐩superscriptsubscript𝑃1subscript𝑃subscript𝑁𝑡𝑇\mathbf{p}=\left[P_{1},\dots,P_{N_{t}}\right]^{T}bold_p = [ italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_P start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT be the location and transmit power of the target nodes, respectively. We define the precise location of anchor nodes as 𝐬˘=[𝐬˘1T,,𝐬˘NaT]T˘𝐬superscriptsuperscriptsubscript˘𝐬1𝑇superscriptsubscript˘𝐬subscript𝑁𝑎𝑇𝑇\breve{\mathbf{s}}=\left[\breve{\mathbf{s}}_{1}^{T},\dots,\breve{\mathbf{s}}_{% N_{a}}^{T}\right]^{T}over˘ start_ARG bold_s end_ARG = [ over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , … , over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. Let 𝜽=[𝐭T,𝐬˘T,𝐩T,β]T𝜽superscriptsuperscript𝐭𝑇superscript˘𝐬𝑇superscript𝐩𝑇𝛽𝑇\bm{\theta}=\left[\mathbf{t}^{T},\breve{\mathbf{s}}^{T},\mathbf{p}^{T},\beta% \right]^{T}bold_italic_θ = [ bold_t start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , over˘ start_ARG bold_s end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_p start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_β ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT be the unknown parameter vector and 𝐦=[,Pij,,𝐬1T,,𝐬NaT]T𝐦superscriptsubscript𝑃𝑖𝑗superscriptsubscript𝐬1𝑇superscriptsubscript𝐬𝑁𝑎𝑇𝑇\mathbf{m}=\left[\dots,P_{ij},\dots,\mathbf{s}_{1}^{T},\dots,\mathbf{s}_{Na}^{% T}\right]^{T}bold_m = [ … , italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , … , bold_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , … , bold_s start_POSTSUBSCRIPT italic_N italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT be the collection of RSS and anchor location measurements. The probability density function (PDF) of 𝐦𝐦\mathbf{m}bold_m given 𝜽𝜽\bm{\theta}bold_italic_θ is expressed as p(𝐦;𝜽)=𝑝𝐦𝜽absentp(\mathbf{m};\bm{\theta})=italic_p ( bold_m ; bold_italic_θ ) =

j𝒯i𝒜j𝒯j12πσij2exp[(PijPj+10βlog10dij)22σij2]subscriptproductFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗12𝜋superscriptsubscript𝜎𝑖𝑗2superscriptsubscript𝑃𝑖𝑗subscript𝑃𝑗10𝛽subscript10subscript𝑑𝑖𝑗22superscriptsubscript𝜎𝑖𝑗2\displaystyle\prod_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j% }}\frac{1}{\sqrt{2\pi\sigma_{ij}^{2}}}\exp\left[\frac{\left(P_{ij}-P_{j}+10% \beta\log_{10}d_{ij}\right)^{2}}{-2\sigma_{ij}^{2}}\right]∏ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_π italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG roman_exp [ divide start_ARG ( italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG - 2 italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ]
×i𝒜12πδi2exp[𝐬i𝐬˘i22δi2].\displaystyle\times\prod_{i\in\mathcal{A}}\frac{1}{\sqrt{2\pi{\delta_{i}}^{2}}% }\exp\left[\frac{\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i}\|^{2}}{-2{\delta_{i}}% ^{2}}\right].× ∏ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_π italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG roman_exp [ divide start_ARG ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG - 2 italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] . (2)

The ML estimator for 𝜽𝜽\bm{\theta}bold_italic_θ is given by using (II[47]

min𝜽subscriptmin𝜽\displaystyle\mathop{\rm{min}}_{\bm{\theta}}roman_min start_POSTSUBSCRIPT bold_italic_θ end_POSTSUBSCRIPT j𝒯i𝒜j𝒯jσij2(PijPj+10βlog10dij)2subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript𝜎𝑖𝑗2superscriptsubscript𝑃𝑖𝑗subscript𝑃𝑗10𝛽subscript10subscript𝑑𝑖𝑗2\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\sigma_{ij}^{-2}\left(P_{ij}-P_{j}+10\beta\log_{10}d_{ij}\right)^{2}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ( italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (3)
+i𝒜δi2𝐬i𝐬˘i2.subscript𝑖𝒜superscriptsubscript𝛿𝑖2superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2\displaystyle+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\|\mathbf{s}_{i}-\breve{% \mathbf{s}}_{i}\|^{2}.+ ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

III Cooperative localization algorithms

III-A Scenario I𝐼Iitalic_I: Transmit power and PLE are known

In the first scenario, we assume that both the transmit power of target nodes and PLE are known. Through the utilization of Taylor expansion for nijsubscript𝑛𝑖𝑗n_{ij}italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, (1a) can be reformulated as

dij2subscriptsuperscript𝑑2𝑖𝑗\displaystyle d^{2}_{ij}italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =\displaystyle== 10PjPij5β10nij5βsuperscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽superscript10subscript𝑛𝑖𝑗5𝛽\displaystyle 10^{\frac{P_{j}-P_{ij}}{5\beta}}10^{\frac{n_{ij}}{5\beta}}10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT (4)
\displaystyle\approx 10PjPij5β(1+ln105βnij)=10PjPij5β+ζij,superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽1105𝛽subscript𝑛𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽subscript𝜁𝑖𝑗\displaystyle 10^{\frac{P_{j}-P_{ij}}{5\beta}}\left(1+\frac{\ln 10}{5\beta}n_{% ij}\right)=10^{\frac{P_{j}-P_{ij}}{5\beta}}+\zeta_{ij},10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ( 1 + divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT + italic_ζ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ,

where ζij𝒩(0,(10PjPij5βln105βσij)2)similar-tosubscript𝜁𝑖𝑗𝒩0superscriptsuperscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽105𝛽subscript𝜎𝑖𝑗2\zeta_{ij}\sim\mathcal{N}\left(0,\left(10^{\frac{P_{j}-P_{ij}}{5\beta}}\frac{% \ln 10}{5\beta}\sigma_{ij}\right)^{2}\right)italic_ζ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ∼ caligraphic_N ( 0 , ( 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). Now, let 𝝁=[𝐭T,𝐬˘T]T𝝁superscriptsuperscript𝐭𝑇superscript˘𝐬𝑇𝑇\bm{\mu}=\left[\mathbf{t}^{T},\breve{\mathbf{s}}^{T}\right]^{T}bold_italic_μ = [ bold_t start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , over˘ start_ARG bold_s end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT be a vector representing the location of the target nodes and anchor nodes. The PDF of 𝐦𝐦\mathbf{m}bold_m can be expressed as p(𝐦;𝝁)=𝑝𝐦𝝁absentp(\mathbf{m};\bm{\mu})=italic_p ( bold_m ; bold_italic_μ ) =

j𝒯i𝒜j𝒯j12πζ~ij2exp[(dij210PjPij5β)22ζ~ij2]subscriptproductFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗12𝜋subscriptsuperscript~𝜁2𝑖𝑗superscriptsubscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽22subscriptsuperscript~𝜁2𝑖𝑗\displaystyle\prod_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j% }}\frac{1}{\sqrt{2\pi\tilde{\zeta}^{2}_{ij}}}\exp\left[\frac{\left(d^{2}_{ij}-% 10^{\frac{P_{j}-P_{ij}}{5\beta}}\right)^{2}}{-2\tilde{\zeta}^{2}_{ij}}\right]∏ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_π over~ start_ARG italic_ζ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG end_ARG roman_exp [ divide start_ARG ( italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG - 2 over~ start_ARG italic_ζ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ]
×i𝒜12πδi2exp[𝐬i𝐬˘i22δi2],\displaystyle\times\prod_{i\in\mathcal{A}}\frac{1}{\sqrt{2\pi{\delta_{i}}^{2}}% }\exp\left[\frac{\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i}\|^{2}}{-2{\delta_{i}}% ^{2}}\right],× ∏ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_π italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG roman_exp [ divide start_ARG ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG - 2 italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] , (5)

where ζ~ij=10PjPij5βln105βσijsubscript~𝜁𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽105𝛽subscript𝜎𝑖𝑗\tilde{\zeta}_{ij}=10^{\frac{P_{j}-P_{ij}}{5\beta}}\frac{\ln 10}{5\beta}\sigma% _{ij}over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT. The ML estimator for 𝐭𝐭\mathbf{t}bold_t is given by

min𝝁subscriptmin𝝁\displaystyle\mathop{\rm{min}}_{\bm{\mu}}roman_min start_POSTSUBSCRIPT bold_italic_μ end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(dij210PjPij5βζ~ij)2+i𝒜𝐬i𝐬˘i2δi2subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsuperscriptsubscript𝑑𝑖𝑗2superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽subscript~𝜁𝑖𝑗2subscript𝑖𝒜superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2superscriptsubscript𝛿𝑖2\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(\frac{d_{ij}^{2}-10^{\frac{P_{j}-P_{ij}}{5\beta}}}{\tilde{\zeta}_{ij}}% \right)^{2}+\sum_{i\in\mathcal{A}}\frac{\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i% }\|^{2}}{\delta_{i}^{2}}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( divide start_ARG italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT end_ARG start_ARG over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT divide start_ARG ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG (6a)
s.t. dij=𝐭j𝐬˘i,j𝒯,i𝒜j,formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript˘𝐬𝑖formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|,\ j\in\mathcal{% T},\ i\in\mathcal{A}_{j},italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (6b)
dij=𝐭j𝐭i,j𝒯,i𝒯j.formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript𝐭𝑖formulae-sequence𝑗𝒯𝑖subscript𝒯𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\mathbf{t}_{i}\|,\ j\in\mathcal{T},\ i% \in\mathcal{T}_{j}.italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT . (6c)

The optimization problem in (6a) is non-convex and can not be solved using standard techniques. To mitigate the non-convexity resulting from the norm constraint, we firstly square both sides of (6b) and (6c) to reformulate (6a) as

min𝝁subscriptmin𝝁\displaystyle\mathop{\rm{min}}_{\bm{\mu}}roman_min start_POSTSUBSCRIPT bold_italic_μ end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(dij210PjPij5βζ~ij)2+i𝒜𝐬i𝐬˘i2δi2subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsuperscriptsubscript𝑑𝑖𝑗2superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽subscript~𝜁𝑖𝑗2subscript𝑖𝒜superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2superscriptsubscript𝛿𝑖2\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(\frac{d_{ij}^{2}-10^{\frac{P_{j}-P_{ij}}{5\beta}}}{\tilde{\zeta}_{ij}}% \right)^{2}+\sum_{i\in\mathcal{A}}\frac{\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i% }\|^{2}}{\delta_{i}^{2}}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( divide start_ARG italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT end_ARG start_ARG over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT divide start_ARG ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG (7a)
s.t. dij2=𝐭j𝐬˘i2,j𝒯,i𝒜j,formulae-sequencesuperscriptsubscript𝑑𝑖𝑗2superscriptnormsubscript𝐭𝑗subscript˘𝐬𝑖2formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗\displaystyle d_{ij}^{2}=\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|^{2},\ j\in% \mathcal{T},\ i\in\mathcal{A}_{j},italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (7b)
dij2=𝐭j𝐭i2,j𝒯,i𝒯j.formulae-sequencesuperscriptsubscript𝑑𝑖𝑗2superscriptnormsubscript𝐭𝑗subscript𝐭𝑖2formulae-sequence𝑗𝒯𝑖subscript𝒯𝑗\displaystyle d_{ij}^{2}=\|\mathbf{t}_{j}-\mathbf{t}_{i}\|^{2},\ j\in\mathcal{% T},\ i\in\mathcal{T}_{j}.italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT . (7c)

Subsequently, we introduce an auxiliary variable 𝐊=𝝁𝝁T𝐊𝝁superscript𝝁𝑇\mathbf{K}=\bm{\mu}\bm{\mu}^{T}bold_K = bold_italic_μ bold_italic_μ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT to represent dij2superscriptsubscript𝑑𝑖𝑗2d_{ij}^{2}italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in a manner satisfying the requirements of SDP. Likewise, 𝐬i𝐬˘i2superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i}\|^{2}∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT can also be rewritten in a similar format. Consequently, we can rewrite (7a) as

minuij,λi,𝝁,𝐊subscriptminsubscript𝑢𝑖𝑗subscript𝜆𝑖𝝁𝐊\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},\lambda_{i},\bm{\mu},\mathbf{K% }}{\rm{}}roman_min start_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , bold_K end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(uij10PjPij5βζ~ij)2+i𝒜δi2λisubscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript𝑢𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽subscript~𝜁𝑖𝑗2subscript𝑖𝒜superscriptsubscript𝛿𝑖2subscript𝜆𝑖\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(\frac{u_{ij}-10^{\frac{P_{j}-P_{ij}}{5\beta}}}{\tilde{\zeta}_{ij}}% \right)^{2}+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\lambda_{i}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( divide start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT end_ARG start_ARG over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (8a)
s.t. uij=tr(𝚵j𝐊𝚵jT2𝚵j𝐊𝚿iT+𝚿i𝐊𝚿iT),subscript𝑢𝑖𝑗trsubscript𝚵𝑗𝐊superscriptsubscript𝚵𝑗𝑇2subscript𝚵𝑗𝐊superscriptsubscript𝚿𝑖𝑇subscript𝚿𝑖𝐊superscriptsubscript𝚿𝑖𝑇\displaystyle u_{ij}=\text{tr}\left(\bm{\Xi}_{j}\mathbf{K}\bm{\Xi}_{j}^{T}-2% \bm{\Xi}_{j}\mathbf{K}\bm{\Psi}_{i}^{T}+\bm{\Psi}_{i}\mathbf{K}\bm{\Psi}_{i}^{% T}\right),italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = tr ( bold_Ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT bold_K bold_Ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - 2 bold_Ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT bold_K bold_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT + bold_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_K bold_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ,
j𝒯,i𝒜j,formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗\displaystyle\hskip 99.58464ptj\in\mathcal{T},\ i\in\mathcal{A}_{j},italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
uij=tr(𝚵j𝐊𝚵jT2𝚵j𝐊𝚵iT+𝚵i𝐊𝚵iT),subscript𝑢𝑖𝑗trsubscript𝚵𝑗𝐊superscriptsubscript𝚵𝑗𝑇2subscript𝚵𝑗𝐊superscriptsubscript𝚵𝑖𝑇subscript𝚵𝑖𝐊superscriptsubscript𝚵𝑖𝑇\displaystyle u_{ij}=\text{tr}\left(\bm{\Xi}_{j}\mathbf{K}\bm{\Xi}_{j}^{T}-2% \bm{\Xi}_{j}\mathbf{K}\bm{\Xi}_{i}^{T}+\bm{\Xi}_{i}\mathbf{K}\bm{\Xi}_{i}^{T}% \right),italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = tr ( bold_Ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT bold_K bold_Ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - 2 bold_Ξ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT bold_K bold_Ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT + bold_Ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_K bold_Ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ,
j𝒯,i𝒯j,formulae-sequence𝑗𝒯𝑖subscript𝒯𝑗\displaystyle\hskip 99.58464ptj\in\mathcal{T},\ i\in\mathcal{T}_{j},italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (8c)
λi=tr(𝚿i𝐊𝚿iT)2𝐬iT𝚿i𝝁+𝐬i2,i𝒜,formulae-sequencesubscript𝜆𝑖trsubscript𝚿𝑖𝐊superscriptsubscript𝚿𝑖𝑇2superscriptsubscript𝐬𝑖𝑇subscript𝚿𝑖𝝁superscriptnormsubscript𝐬𝑖2𝑖𝒜\displaystyle\lambda_{i}=\text{tr}\left(\bm{\Psi}_{i}\mathbf{K}\bm{\Psi}_{i}^{% T}\right)-2\mathbf{s}_{i}^{T}\bm{\Psi}_{i}\bm{\mu}+\|\mathbf{s}_{i}\|^{2},\ i% \in\mathcal{A},italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = tr ( bold_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_K bold_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) - 2 bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_italic_μ + ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_i ∈ caligraphic_A , (8d)
𝐊=𝝁𝝁T,𝐊𝝁superscript𝝁𝑇\displaystyle\mathbf{K}=\bm{\mu}\bm{\mu}^{T},bold_K = bold_italic_μ bold_italic_μ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (8e)
rank(𝐊)=1,rank𝐊1\displaystyle\text{rank}(\mathbf{K})=1,rank ( bold_K ) = 1 , (8f)

where 8e), an estimator based on SDP can be obtained

minuij,λi,𝝁,𝐊subscriptminsubscript𝑢𝑖𝑗subscript𝜆𝑖𝝁𝐊\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},\lambda_{i},\bm{\mu},\mathbf{K% }}{\rm{}}roman_min start_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , bold_K end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(uij10PjPij5βζ~ij)2+i𝒜δi2λisubscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript𝑢𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽subscript~𝜁𝑖𝑗2subscript𝑖𝒜superscriptsubscript𝛿𝑖2subscript𝜆𝑖\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(\frac{u_{ij}-10^{\frac{P_{j}-P_{ij}}{5\beta}}}{\tilde{\zeta}_{ij}}% \right)^{2}+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\lambda_{i}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( divide start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT end_ARG start_ARG over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (9a)
s.t. (III-A),(8c),(8d),italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},italic_( italic_) , italic_( italic_) , italic_( italic_) , (9d)
[1𝝁T𝝁𝐊]𝟎.succeeds-or-equalsdelimited-[]1superscript𝝁𝑇𝝁𝐊0\displaystyle\left[\begin{array}[]{ll}1&\bm{\mu}^{T}\\ \bm{\mu}&\mathbf{K}\end{array}\right]\succcurlyeq\mathbf{0}.[ start_ARRAY start_ROW start_CELL 1 end_CELL start_CELL bold_italic_μ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL bold_italic_μ end_CELL start_CELL bold_K end_CELL end_ROW end_ARRAY ] ≽ bold_0 .

The location of target nodes can be estimated by using interior point methods to solve (9a[48, 49]. However, SDP-based estimator has higher computational complexity than those based on SOCP. Exploiting the low complexity of SOCP, we rewrite (9a) as an epigraph form using the auxiliary variable ω𝜔\omegaitalic_ω

minuij,λi,𝝁,𝐊,ω\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},\lambda_{i},\bm{\mu},\atop% \mathbf{K},\omega}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , end_ARG start_ARG bold_K , italic_ω end_ARG end_POSTSUBSCRIPT ω+i𝒜δi2λi𝜔subscript𝑖𝒜superscriptsubscript𝛿𝑖2subscript𝜆𝑖\displaystyle\,\,\omega+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\lambda_{i}italic_ω + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (10a)
s.t. j𝒯i𝒜j𝒯jζ~ij2(uij10PjPij5β)2ω,subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript~𝜁𝑖𝑗2superscriptsubscript𝑢𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5𝛽2𝜔\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\tilde{\zeta}_{ij}^{-2}\left(u_{ij}-10^{\frac{P_{j}-P_{ij}}{5\beta}}\right)^{% 2}\leq\omega,∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ( italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_ω ,
(III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

The optimization problem (10a) is not a SOCP as the constraint (III-A) is not a linear matrix inequality form. To address this issue, we use an auxiliary variable 𝝃=[,ξij,]𝝃subscript𝜉𝑖𝑗\bm{\xi}=\left[\dots,\xi_{ij},\dots\right]bold_italic_ξ = [ … , italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , … ] and reformulate (9) into a mixed SDP-SOCP problem.

minuij,λi,𝝁,𝐊,ω,𝝃\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},\lambda_{i},\bm{\mu},\atop% \mathbf{K},\omega,\bm{\xi}}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , end_ARG start_ARG bold_K , italic_ω , bold_italic_ξ end_ARG end_POSTSUBSCRIPT ω+i𝒜δi2λi𝜔subscript𝑖𝒜superscriptsubscript𝛿𝑖2subscript𝜆𝑖\displaystyle\,\,\omega+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\lambda_{i}italic_ω + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (11a)
s.t. [2𝝃T,ω1]ω+1,delimited-∥∥2superscript𝝃𝑇𝜔1𝜔1\displaystyle\left\lVert\left[2\bm{\xi}^{T},\omega-1\right]\right\rVert\leq% \omega+1,∥ [ 2 bold_italic_ξ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_ω - 1 ] ∥ ≤ italic_ω + 1 ,
diag([,ξijζ~ij1(uij10PjPij5β),,\displaystyle\text{diag}\big{(}\big{[}\dots,\xi_{ij}-\tilde{\zeta}_{ij}^{-1}% \left(u_{ij}-10^{\frac{P_{j}-P_{ij}}{5\beta}}\right),\dots,diag ( [ … , italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ) , … ,
,ξij+ζ~ij1(uij10PjPij5β),])𝟎,\displaystyle\hskip 14.22636pt\dots,-\xi_{ij}+\tilde{\zeta}_{ij}^{-1}\left(u_{% ij}-10^{\frac{P_{j}-P_{ij}}{5\beta}}\right),\dots\big{]}\big{)}\succcurlyeq% \mathbf{0},… , - italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + over~ start_ARG italic_ζ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ) , … ] ) ≽ bold_0 ,
j𝒯,i𝒜j𝒯j,formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗\displaystyle\hskip 99.58464ptj\in\mathcal{T},\ i\in\mathcal{A}_{j}\cup% \mathcal{T}_{j},italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
(III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

The proposed estimator in (11a) benefits from the high accuracy of SDP and low complexity of SOCP, which is referred to as CTUP-1. The estimated location of the target nodes is obtained using 𝐭^j=𝝁^(2j1:2j)T\hat{\mathbf{t}}_{j}=\hat{\bm{\mu}}\left(2j-1:2j\right)^{T}over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = over^ start_ARG bold_italic_μ end_ARG ( 2 italic_j - 1 : 2 italic_j ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT.

III-B Scenario II𝐼𝐼IIitalic_I italic_I: PLE is unknown

In this scenario, we consider β𝛽\betaitalic_β to be unknown. The anchor nodes communicating with 𝐬˘j(j𝒜)subscript˘𝐬𝑗𝑗𝒜\breve{\mathbf{s}}_{j}(j\in\mathcal{A})over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_j ∈ caligraphic_A ) are indexed by 𝒮jsubscript𝒮𝑗\mathcal{S}_{j}caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. The total number of available links in a network is given by |𝒮|=j|𝒮j|𝒮subscript𝑗subscript𝒮𝑗\lvert\mathcal{S}\rvert=\sum_{j}\lvert\mathcal{S}_{j}\rvert| caligraphic_S | = ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT |. The RSS measurement and the Euclidean distance between the anchor nodes 𝐬˘j(j𝒜)subscript˘𝐬𝑗𝑗𝒜\breve{\mathbf{s}}_{j}(j\in\mathcal{A})over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_j ∈ caligraphic_A ) and 𝐬˘i(i𝒮j)subscript˘𝐬𝑖𝑖subscript𝒮𝑗\breve{\mathbf{s}}_{i}(i\in\mathcal{S}_{j})over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_i ∈ caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) are represented by P˘ijsubscript˘𝑃𝑖𝑗\breve{P}_{ij}over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and d˘ijsubscript˘𝑑𝑖𝑗\breve{d}_{ij}over˘ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, respectively. The transmit power of 𝐬˘jsubscript˘𝐬𝑗\breve{\mathbf{s}}_{j}over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, represented by P˘jsubscript˘𝑃𝑗\breve{P}_{j}over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, is assumed to be known. The RSS measurements are affected by additive zero-mean Gaussian noise, which is characterized by 𝒩(0,σ˘ij2)𝒩0superscriptsubscript˘𝜎𝑖𝑗2\mathcal{N}\left(0,\breve{\sigma}_{ij}^{2}\right)caligraphic_N ( 0 , over˘ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). By letting 𝐦˘=[,P˘ij,]T˘𝐦superscriptsubscript˘𝑃𝑖𝑗𝑇\breve{\mathbf{m}}=\left[\dots,\breve{P}_{ij},\dots\right]^{T}over˘ start_ARG bold_m end_ARG = [ … , over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , … ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT be the collection of RSS measurements, the conditional joint PDF of 𝐦˘˘𝐦\breve{\mathbf{m}}over˘ start_ARG bold_m end_ARG given PLE is expressed as p(𝐦˘;β)=𝑝˘𝐦𝛽absentp(\breve{\mathbf{m}};\beta)=italic_p ( over˘ start_ARG bold_m end_ARG ; italic_β ) =

j𝒜i𝒮j12πσ˘ij2exp[(P˘ijP˘j+10βlog10d˘ij)22σ˘ij2].subscriptproductFRACOP𝑗𝒜𝑖subscript𝒮𝑗12𝜋superscriptsubscript˘𝜎𝑖𝑗2superscriptsubscript˘𝑃𝑖𝑗subscript˘𝑃𝑗10𝛽subscript10subscript˘𝑑𝑖𝑗22superscriptsubscript˘𝜎𝑖𝑗2\displaystyle\prod_{j\in\mathcal{A}\atop i\in\mathcal{S}_{j}}\frac{1}{\sqrt{2% \pi\breve{\sigma}_{ij}^{2}}}\exp\left[\frac{\left(\breve{P}_{ij}-\breve{P}_{j}% +10\beta\log_{10}\breve{d}_{ij}\right)^{2}}{-2\breve{\sigma}_{ij}^{2}}\right].∏ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_A end_ARG start_ARG italic_i ∈ caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_π over˘ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG roman_exp [ divide start_ARG ( over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT over˘ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG - 2 over˘ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] . (12)

Thus, the ML estimator of β𝛽\betaitalic_β obtained using (12) is given by

minβj𝒜i𝒮jσ˘ij2(P˘ijP˘j+10βlog10d˘ij)2.subscriptmin𝛽subscriptFRACOP𝑗𝒜𝑖subscript𝒮𝑗superscriptsubscript˘𝜎𝑖𝑗2superscriptsubscript˘𝑃𝑖𝑗subscript˘𝑃𝑗10𝛽subscript10subscript˘𝑑𝑖𝑗2\displaystyle\mathop{\rm{min}}_{\beta}\sum_{j\in\mathcal{A}\atop i\in\mathcal{% S}_{j}}\breve{\sigma}_{ij}^{-2}\left(\breve{P}_{ij}-\breve{P}_{j}+10\beta\log_% {10}\breve{d}_{ij}\right)^{2}.roman_min start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_A end_ARG start_ARG italic_i ∈ caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT over˘ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ( over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT over˘ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (13)

The objective function is convex with respect to β𝛽\betaitalic_β and achieves the global minimum (β0)subscript𝛽0(\beta_{0})( italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) at its stationary point. An initial estimate of β𝛽\betaitalic_β is expressed as

β0=𝟏|𝒮|T𝐐˘𝐪˘𝟏|𝒮|T𝐐˘ϕ˘,subscript𝛽0superscriptsubscript1𝒮𝑇˘𝐐˘𝐪superscriptsubscript1𝒮𝑇˘𝐐˘bold-italic-ϕ\displaystyle\beta_{0}=\frac{\mathbf{1}_{\lvert\mathcal{S}\rvert}^{T}\breve{% \mathbf{Q}}\breve{\mathbf{q}}}{\mathbf{1}_{\lvert\mathcal{S}\rvert}^{T}\breve{% \mathbf{Q}}\breve{\bm{\phi}}},italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG bold_1 start_POSTSUBSCRIPT | caligraphic_S | end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˘ start_ARG bold_Q end_ARG over˘ start_ARG bold_q end_ARG end_ARG start_ARG bold_1 start_POSTSUBSCRIPT | caligraphic_S | end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˘ start_ARG bold_Q end_ARG over˘ start_ARG bold_italic_ϕ end_ARG end_ARG , (14)

where 𝐐˘=diag([,σ˘ij2,])˘𝐐diagsuperscriptsubscript˘𝜎𝑖𝑗2\breve{\mathbf{Q}}=\text{diag}\left(\left[\dots,\breve{\sigma}_{ij}^{-2},\dots% \right]\right)over˘ start_ARG bold_Q end_ARG = diag ( [ … , over˘ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , … ] ), 𝐪˘=[,P˘jP˘ij,]T˘𝐪superscriptsubscript˘𝑃𝑗subscript˘𝑃𝑖𝑗𝑇\breve{\mathbf{q}}=\left[\dots,\breve{P}_{j}-\breve{P}_{ij},\dots\right]^{T}over˘ start_ARG bold_q end_ARG = [ … , over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , … ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and ϕ˘=[,10log10d˘ij,]T˘bold-italic-ϕsuperscript10subscript10subscript˘𝑑𝑖𝑗𝑇\breve{\bm{\phi}}=\left[\dots,10\log_{10}\breve{d}_{ij},\dots\right]^{T}over˘ start_ARG bold_italic_ϕ end_ARG = [ … , 10 roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT over˘ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , … ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, j𝒜𝑗𝒜j\in\mathcal{A}italic_j ∈ caligraphic_A, i𝒮j𝑖subscript𝒮𝑗i\in\mathcal{S}_{j}italic_i ∈ caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT.

We express β=β0(1+ϵ)𝛽subscript𝛽01italic-ϵ\beta=\beta_{0}\left(1+\epsilon\right)italic_β = italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 1 + italic_ϵ ) where ϵ=ββ0β0italic-ϵ𝛽subscript𝛽0subscript𝛽0\epsilon=\frac{\beta-\beta_{0}}{\beta_{0}}italic_ϵ = divide start_ARG italic_β - italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG. When β0subscript𝛽0\beta_{0}italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is sufficiently close to β𝛽\betaitalic_β, (1a) can be reformulated into

dij2=10PjPij5β0(1+ϵ)10nij5β10PjPij5β0(1ϵ)(1+ln105β0nij).subscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽01italic-ϵsuperscript10subscript𝑛𝑖𝑗5𝛽superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽01italic-ϵ1105subscript𝛽0subscript𝑛𝑖𝑗\displaystyle d^{2}_{ij}=10^{\frac{P_{j}-P_{ij}}{5\beta_{0}\left(1+\epsilon% \right)}}10^{\frac{n_{ij}}{5\beta}}\approx 10^{\frac{P_{j}-P_{ij}}{5\beta_{0}}% \left(1-\epsilon\right)}\left(1+\frac{\ln 10}{5\beta_{0}}n_{ij}\right).italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 1 + italic_ϵ ) end_ARG end_POSTSUPERSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ≈ 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ( 1 - italic_ϵ ) end_POSTSUPERSCRIPT ( 1 + divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) . (15)

Applying Taylor expansion into (15) yields

dij210PjPij5β010PjPij5β0(PjPij)ϵln105β0+τij,subscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽0superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽0subscript𝑃𝑗subscript𝑃𝑖𝑗italic-ϵ105subscript𝛽0subscript𝜏𝑖𝑗\displaystyle d^{2}_{ij}\approx 10^{\frac{P_{j}-P_{ij}}{5\beta_{0}}}-10^{\frac% {P_{j}-P_{ij}}{5\beta_{0}}}\frac{\left(P_{j}-P_{ij}\right)\epsilon\ln 10}{5% \beta_{0}}+\tau_{ij},italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ≈ 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG ( italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG + italic_τ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (16)

where τij𝒩(0,τ~ij2)similar-tosubscript𝜏𝑖𝑗𝒩0superscriptsubscript~𝜏𝑖𝑗2\tau_{ij}\sim\mathcal{N}\left(0,\tilde{\tau}_{ij}^{2}\right)italic_τ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ∼ caligraphic_N ( 0 , over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) and τ~ijsubscript~𝜏𝑖𝑗\tilde{\tau}_{ij}over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is expressed as

τ~ijsubscript~𝜏𝑖𝑗\displaystyle\tilde{\tau}_{ij}over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =\displaystyle== 10PjPij5β0(1(PjPij)ϵln105β0)ln105β0σijsuperscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽01subscript𝑃𝑗subscript𝑃𝑖𝑗italic-ϵ105subscript𝛽0105subscript𝛽0subscript𝜎𝑖𝑗\displaystyle 10^{\frac{P_{j}-P_{ij}}{5\beta_{0}}}\left(1-\frac{\left(P_{j}-P_% {ij}\right)\epsilon\ln 10}{5\beta_{0}}\right)\frac{\ln 10}{5\beta_{0}}\sigma_{ij}10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ( 1 - divide start_ARG ( italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT (17)
\displaystyle\approx 10PjPij5β0ln105β0σij.superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽0105subscript𝛽0subscript𝜎𝑖𝑗\displaystyle 10^{\frac{P_{j}-P_{ij}}{5\beta_{0}}}\frac{\ln 10}{5\beta_{0}}% \sigma_{ij}.10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT .

By letting χij=10PjPij5β0(PjPij)ln105β0subscript𝜒𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽0subscript𝑃𝑗subscript𝑃𝑖𝑗105subscript𝛽0\chi_{ij}=10^{\frac{P_{j}-P_{ij}}{5\beta_{0}}}\frac{\left(P_{j}-P_{ij}\right)% \ln 10}{5\beta_{0}}italic_χ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG ( italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG, the ML estimator for 𝐭𝐭\mathbf{t}bold_t and β𝛽\betaitalic_β is formulated using (16) as

min𝝁,ϵsubscriptmin𝝁italic-ϵ\displaystyle\mathop{\rm{min}}_{\bm{\mu},\epsilon}roman_min start_POSTSUBSCRIPT bold_italic_μ , italic_ϵ end_POSTSUBSCRIPT j𝒯i𝒜j𝒯jτ~ij2(dij210PjPij5β0+χijϵ)2subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript~𝜏𝑖𝑗2superscriptsuperscriptsubscript𝑑𝑖𝑗2superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽0subscript𝜒𝑖𝑗italic-ϵ2\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\tilde{\tau}_{ij}^{-2}\left(d_{ij}^{2}-10^{\frac{P_{j}-P_{ij}}{5\beta_{0}}}+% \chi_{ij}\epsilon\right)^{2}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ( italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT + italic_χ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_ϵ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (18a)
+i𝒜δi2𝐬i𝐬˘i2subscript𝑖𝒜superscriptsubscript𝛿𝑖2superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2\displaystyle\hskip 99.58464pt+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\|\mathbf{% s}_{i}-\breve{\mathbf{s}}_{i}\|^{2}+ ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (18b)
s.t. dij=𝐭j𝐬˘i,j𝒯,i𝒜j,formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript˘𝐬𝑖formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|,\ j\in\mathcal{% T},\ i\in\mathcal{A}_{j},italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (18c)
dij=𝐭j𝐭i,j𝒯,i𝒯j.formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript𝐭𝑖formulae-sequence𝑗𝒯𝑖subscript𝒯𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\mathbf{t}_{i}\|,\ j\in\mathcal{T},\ i% \in\mathcal{T}_{j}.italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT . (18d)

Following the approach used in (9a), the minimization problem can be transformed through SDR

minuij,λi,𝝁,𝐊,ϵ\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},\lambda_{i},\bm{\mu},\atop% \mathbf{K},\epsilon}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , end_ARG start_ARG bold_K , italic_ϵ end_ARG end_POSTSUBSCRIPT j𝒯i𝒜j𝒯jτ~ij2(uij10PjPij5β0+χijϵ)2zsubscriptsubscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript~𝜏𝑖𝑗2superscriptsubscript𝑢𝑖𝑗superscript10subscript𝑃𝑗subscript𝑃𝑖𝑗5subscript𝛽0subscript𝜒𝑖𝑗italic-ϵ2𝑧\displaystyle\underbrace{\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup% \mathcal{T}_{j}}\tilde{\tau}_{ij}^{-2}\left(u_{ij}-10^{\frac{P_{j}-P_{ij}}{5% \beta_{0}}}+\chi_{ij}\epsilon\right)^{2}}_{z}under⏟ start_ARG ∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ( italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT + italic_χ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_ϵ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT (19a)
+i𝒜δi2λisubscript𝑖𝒜superscriptsubscript𝛿𝑖2subscript𝜆𝑖\displaystyle\hskip 99.58464pt+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\lambda_{i}+ ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (19b)
s.t. (III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

The objective function of (19a) can be converted into a linear from by considering the epigraph of z𝑧zitalic_z using an an auxiliary variable ω𝜔\omegaitalic_ω. Also, with the assistance of another auxiliary variable 𝝃=[,ξij,]𝝃subscript𝜉𝑖𝑗\bm{\xi}=\left[\dots,\xi_{ij},\dots\right]bold_italic_ξ = [ … , italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , … ], we convert the epigraph constraint (zω)𝑧𝜔(z\leq\omega)( italic_z ≤ italic_ω ) to an LMI constraint and finally represent  (19a) into an SDP-SOCP formulation

minuij,λi,𝝁,𝐊,ϵ,ω,𝝃\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},\lambda_{i},\bm{\mu},\atop% \mathbf{K},\epsilon,\omega,\bm{\xi}}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , end_ARG start_ARG bold_K , italic_ϵ , italic_ω , bold_italic_ξ end_ARG end_POSTSUBSCRIPT ω+i𝒜δi2λi𝜔subscript𝑖𝒜superscriptsubscript𝛿𝑖2subscript𝜆𝑖\displaystyle\,\,\omega+\sum_{i\in\mathcal{A}}\delta_{i}^{-2}\lambda_{i}italic_ω + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (20a)
s.t. [2𝝃T,ω1]ω+1,delimited-∥∥2superscript𝝃𝑇𝜔1𝜔1\displaystyle\left\lVert\left[2\bm{\xi}^{T},\omega-1\right]\right\rVert\leq% \omega+1,∥ [ 2 bold_italic_ξ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_ω - 1 ] ∥ ≤ italic_ω + 1 ,
diag([,ξij(uij10PjPij5β0+χijϵτ~ij),,\displaystyle\text{diag}\big{(}\big{[}\dots,\xi_{ij}-\left(\frac{u_{ij}-10^{% \frac{P_{j}-P_{ij}}{5\beta_{0}}}+\chi_{ij}\epsilon}{\tilde{\tau}_{ij}}\right),\dots,diag ( [ … , italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - ( divide start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT + italic_χ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_ϵ end_ARG start_ARG over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) , … ,
,ξij+(uij10PjPij5β0+χijϵτ~ij),])𝟎,\displaystyle\hskip 5.69046pt\dots,-\xi_{ij}+\left(\frac{u_{ij}-10^{\frac{P_{j% }-P_{ij}}{5\beta_{0}}}+\chi_{ij}\epsilon}{\tilde{\tau}_{ij}}\right),\dots\big{% ]}\big{)}\succcurlyeq\mathbf{0},… , - italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + ( divide start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT + italic_χ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_ϵ end_ARG start_ARG over~ start_ARG italic_τ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) , … ] ) ≽ bold_0 ,
j𝒯,i𝒜j𝒯j,formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗\displaystyle\hskip 99.58464ptj\in\mathcal{T},\ i\in\mathcal{A}_{j}\cup% \mathcal{T}_{j},italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
(III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

Solving (20a), we get an estimate of 𝐭𝐭\mathbf{t}bold_t and β𝛽\betaitalic_β via 𝐭^j=𝝁^(2j1:2j)T\hat{\mathbf{t}}_{j}=\hat{\bm{\mu}}\left(2j-1:2j\right)^{T}over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = over^ start_ARG bold_italic_μ end_ARG ( 2 italic_j - 1 : 2 italic_j ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and β^=β0(1+ϵ^)^𝛽subscript𝛽01^italic-ϵ\hat{\beta}=\beta_{0}\left(1+\hat{\epsilon}\right)over^ start_ARG italic_β end_ARG = italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 1 + over^ start_ARG italic_ϵ end_ARG ), respectively, and we refer to it as CTUP-2.

III-C Scenario III𝐼𝐼𝐼IIIitalic_I italic_I italic_I: Transmit power is unknown

In this section, the transmit power is unknown and is jointly estimated along with the location of target nodes. By rearranging the terms of (1a), we have

dij210Pij5βsubscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑖𝑗5𝛽\displaystyle d^{2}_{ij}10^{\frac{P_{ij}}{5\beta}}italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT =\displaystyle== 10Pj5β10nij5βsuperscript10subscript𝑃𝑗5𝛽superscript10subscript𝑛𝑖𝑗5𝛽\displaystyle 10^{\frac{P_{j}}{5\beta}}10^{\frac{n_{ij}}{5\beta}}10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT (21)
\displaystyle\approx 10Pj5β(1+ln105βnij)=10Pj5β+ρij,superscript10subscript𝑃𝑗5𝛽1105𝛽subscript𝑛𝑖𝑗superscript10subscript𝑃𝑗5𝛽subscript𝜌𝑖𝑗\displaystyle 10^{\frac{P_{j}}{5\beta}}\left(1+\frac{\ln 10}{5\beta}n_{ij}% \right)=10^{\frac{P_{j}}{5\beta}}+\rho_{ij},10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ( 1 + divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT + italic_ρ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ,

where ρij𝒩(0,(10Pj5βln105β=ρ~ij)2)similar-tosubscript𝜌𝑖𝑗𝒩0superscriptsuperscript10subscript𝑃𝑗5𝛽105𝛽subscript~𝜌𝑖𝑗2\rho_{ij}\sim\mathcal{N}\left(0,\left(10^{\frac{P_{j}}{5\beta}}\frac{\ln 10}{5% \beta}=\tilde{\rho}_{ij}\right)^{2}\right)italic_ρ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ∼ caligraphic_N ( 0 , ( 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG = over~ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). Unlike in Section III-A and Section III-B, it is not possible to estimate 𝐭𝐭\mathbf{t}bold_t and 𝐩𝐩\mathbf{p}bold_p by solving the ML estimator obtained from (21) as ρ~ijsubscript~𝜌𝑖𝑗\tilde{\rho}_{ij}over~ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is unknown. Thus, in this scenario, we employ the NLS estimator, a commonly used technique known for its verified effectiveness, especially in cases involving unknown noise statistics. [14, 47]. Therefore, we reformulate (21) as an NLS optimization problem aiming to minimize the sum of squared errors

min𝝁,𝐩subscriptmin𝝁𝐩\displaystyle\mathop{\rm{min}}_{\bm{\mu},\mathbf{p}}roman_min start_POSTSUBSCRIPT bold_italic_μ , bold_p end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(dij210Pij5β10Pj5β)2+i𝒜𝐬i𝐬˘i2subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsuperscriptsubscript𝑑𝑖𝑗2superscript10subscript𝑃𝑖𝑗5𝛽superscript10subscript𝑃𝑗5𝛽2subscript𝑖𝒜superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(d_{ij}^{2}10^{\frac{P_{ij}}{5\beta}}-10^{\frac{P_{j}}{5\beta}}\right)^{% 2}+\sum_{i\in\mathcal{A}}\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i}\|^{2}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (22a)
s.t. dij=𝐭j𝐬˘i,j𝒯,i𝒜j,formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript˘𝐬𝑖formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|,\ j\in\mathcal{% T},\ i\in\mathcal{A}_{j},italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (22b)
dij=𝐭j𝐭i,j𝒯,i𝒯j.formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript𝐭𝑖formulae-sequence𝑗𝒯𝑖subscript𝒯𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\mathbf{t}_{i}\|,\ j\in\mathcal{T},\ i% \in\mathcal{T}_{j}.italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT . (22c)

The non-convex constraints in (22a) are convexified through the utilization of auxiliary variables 𝐊=𝝁𝝁T𝐊𝝁superscript𝝁𝑇\mathbf{K}=\bm{\mu}\bm{\mu}^{T}bold_K = bold_italic_μ bold_italic_μ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and λi=𝐬i𝐬˘i2subscript𝜆𝑖superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2\lambda_{i}=\|\mathbf{s}_{i}-\breve{\mathbf{s}}_{i}\|^{2}italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. By considering gj=10Pj5βsubscript𝑔𝑗superscript10subscript𝑃𝑗5𝛽g_{j}=10^{\frac{P_{j}}{5\beta}}italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT and uij=dij2subscript𝑢𝑖𝑗superscriptsubscript𝑑𝑖𝑗2u_{ij}=d_{ij}^{2}italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT we can express (22a) as

minuij,gj,λi,𝝁,𝐊\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},g_{j},\lambda_{i},\atop\bm{\mu% },\mathbf{K}}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , end_ARG start_ARG bold_italic_μ , bold_K end_ARG end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(uij10Pij5βgj)2+i𝒜λisubscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscript𝑢𝑖𝑗superscript10subscript𝑃𝑖𝑗5𝛽subscript𝑔𝑗2subscript𝑖𝒜subscript𝜆𝑖\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(u_{ij}10^{\frac{P_{ij}}{5\beta}}-g_{j}\right)^{2}+\sum_{i\in\mathcal{A}% }\lambda_{i}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT - italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (23a)
s.t. (III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

We introduce an epigraph variable ω𝜔\omegaitalic_ω for the first term of (23a) and an auxiliary variables 𝝃𝝃\bm{\xi}bold_italic_ξ to obtain the LMI constraint. Thus, we convert the SDP in (23a) to an SDP-SOCP problem.

minuij,gj,λi,𝝁,𝐊,ω,𝝃\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},g_{j},\lambda_{i},\atop\bm{\mu% },\mathbf{K},\omega,\bm{\xi}}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , end_ARG start_ARG bold_italic_μ , bold_K , italic_ω , bold_italic_ξ end_ARG end_POSTSUBSCRIPT ω+i𝒜λi𝜔subscript𝑖𝒜subscript𝜆𝑖\displaystyle\,\,\omega+\sum_{i\in\mathcal{A}}\lambda_{i}italic_ω + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (24a)
s.t. [2𝝃T,ω1]ω+1,delimited-∥∥2superscript𝝃𝑇𝜔1𝜔1\displaystyle\left\lVert\left[2\bm{\xi}^{T},\omega-1\right]\right\rVert\leq% \omega+1,∥ [ 2 bold_italic_ξ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_ω - 1 ] ∥ ≤ italic_ω + 1 ,
diag([,ξijuij10Pij5β+gj,,\displaystyle\text{diag}\big{(}\big{[}\dots,\xi_{ij}-u_{ij}10^{\frac{P_{ij}}{5% \beta}}+g_{j},\dots,diag ( [ … , italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , … ,
,ξij+uij10Pij5βgj,])𝟎,\displaystyle\hskip 14.22636pt\dots,-\xi_{ij}+u_{ij}10^{\frac{P_{ij}}{5\beta}}% -g_{j},\dots\big{]}\big{)}\succcurlyeq\mathbf{0},… , - italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT - italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , … ] ) ≽ bold_0 ,
j𝒯,i𝒜j𝒯j,formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗\displaystyle\hskip 99.58464ptj\in\mathcal{T},\ i\in\mathcal{A}_{j}\cup% \mathcal{T}_{j},italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
(III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

By solving (24a), we can obtain the location and transmit power of target nodes using 𝐭^j=𝝁^(2j1:2j)T\hat{\mathbf{t}}_{j}=\hat{\bm{\mu}}\left(2j-1:2j\right)^{T}over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = over^ start_ARG bold_italic_μ end_ARG ( 2 italic_j - 1 : 2 italic_j ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and P^j=5βlog10g^jsubscript^𝑃𝑗5𝛽subscript10subscript^𝑔𝑗\hat{P}_{j}=5\beta\log_{10}\hat{g}_{j}over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 5 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT over^ start_ARG italic_g end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. We refer to the technique as CTUP-3.

III-D Scenario IV𝐼𝑉IVitalic_I italic_V: Transmit power and PLE are unknown

As the transmit power and PLE are unknown, we rewrite (1a) as a multiplicative form and square both side

dij210Pij5β=10Pj5β0(1+ϵ)10nij5β10Pj5β0(1ϵ)10nij5β,subscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑖𝑗5𝛽superscript10subscript𝑃𝑗5subscript𝛽01italic-ϵsuperscript10subscript𝑛𝑖𝑗5𝛽superscript10subscript𝑃𝑗5subscript𝛽01italic-ϵsuperscript10subscript𝑛𝑖𝑗5𝛽\displaystyle d^{2}_{ij}10^{\frac{P_{ij}}{5\beta}}=10^{\frac{P_{j}}{5\beta_{0}% \left(1+\epsilon\right)}}10^{\frac{n_{ij}}{5\beta}}\approx 10^{\frac{P_{j}}{5% \beta_{0}}\left(1-\epsilon\right)}10^{\frac{n_{ij}}{5\beta}},italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 1 + italic_ϵ ) end_ARG end_POSTSUPERSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT ≈ 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ( 1 - italic_ϵ ) end_POSTSUPERSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β end_ARG end_POSTSUPERSCRIPT , (25)

where ϵitalic-ϵ\epsilonitalic_ϵ is defined in Section III-B. By performing Taylor expansion at ϵ=0italic-ϵ0\epsilon=0italic_ϵ = 0 with sufficiently small noise, (25) is reformulated into

dij210Pij5β0subscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑖𝑗5subscript𝛽0\displaystyle d^{2}_{ij}10^{\frac{P_{ij}}{5\beta_{0}}}italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT \displaystyle\approx 10Pj5β0(1Pjϵln105β0)(1+ln105βnij)superscript10subscript𝑃𝑗5subscript𝛽01subscript𝑃𝑗italic-ϵ105subscript𝛽01105𝛽subscript𝑛𝑖𝑗\displaystyle 10^{\frac{P_{j}}{5\beta_{0}}}\left(1-\frac{P_{j}\epsilon\ln 10}{% 5\beta_{0}}\right)\left(1+\frac{\ln 10}{5\beta}n_{ij}\right)10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) ( 1 + divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) (26)
=\displaystyle== 10Pj5β010Pj5β0Pjϵln105β0+νij,superscript10subscript𝑃𝑗5subscript𝛽0superscript10subscript𝑃𝑗5subscript𝛽0subscript𝑃𝑗italic-ϵ105subscript𝛽0subscript𝜈𝑖𝑗\displaystyle 10^{\frac{P_{j}}{5\beta_{0}}}-10^{\frac{P_{j}}{5\beta_{0}}}\frac% {P_{j}\epsilon\ln 10}{5\beta_{0}}+\nu_{ij},10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG + italic_ν start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ,

where νijsubscript𝜈𝑖𝑗\nu_{ij}italic_ν start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is a zero-mean Gaussian random variable with its unknown standard deviation given by

ν~ij=10Pj5β0(1Pjϵln105β0)ln105βσij.subscript~𝜈𝑖𝑗superscript10subscript𝑃𝑗5subscript𝛽01subscript𝑃𝑗italic-ϵ105subscript𝛽0105𝛽subscript𝜎𝑖𝑗\displaystyle\tilde{\nu}_{ij}=10^{\frac{P_{j}}{5\beta_{0}}}\left(1-\frac{P_{j}% \epsilon\ln 10}{5\beta_{0}}\right)\frac{\ln 10}{5\beta}\sigma_{ij}.over~ start_ARG italic_ν end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) divide start_ARG roman_ln 10 end_ARG start_ARG 5 italic_β end_ARG italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT . (27)

Similar to the method in Section III-C, the NLS estimator is given by

min𝝁,𝐩,βsubscriptmin𝝁𝐩𝛽\displaystyle\mathop{\rm{min}}_{\bm{\mu},\mathbf{p},\beta}roman_min start_POSTSUBSCRIPT bold_italic_μ , bold_p , italic_β end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(dij210Pij5β010Pj5β0+10Pj5β0Pjϵln105β0)2subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsubscriptsuperscript𝑑2𝑖𝑗superscript10subscript𝑃𝑖𝑗5subscript𝛽0superscript10subscript𝑃𝑗5subscript𝛽0superscript10subscript𝑃𝑗5subscript𝛽0subscript𝑃𝑗italic-ϵ105subscript𝛽02\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(d^{2}_{ij}10^{\frac{P_{ij}}{5\beta_{0}}}-10^{\frac{P_{j}}{5\beta_{0}}}+% 10^{\frac{P_{j}}{5\beta_{0}}}\frac{P_{j}\epsilon\ln 10}{5\beta_{0}}\right)^{2}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT + 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (28a)
+i𝒜𝐬i𝐬˘i2subscript𝑖𝒜superscriptnormsubscript𝐬𝑖subscript˘𝐬𝑖2\displaystyle\hskip 142.26378pt+\sum_{i\in\mathcal{A}}\|\mathbf{s}_{i}-\breve{% \mathbf{s}}_{i}\|^{2}+ ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT ∥ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (28b)
s.t. dij=𝐭j𝐬˘i,j𝒯,i𝒜j,formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript˘𝐬𝑖formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|,\ j\in\mathcal{% T},\ i\in\mathcal{A}_{j},italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , (28c)
dij=𝐭j𝐭i,j𝒯,i𝒯j.formulae-sequencesubscript𝑑𝑖𝑗normsubscript𝐭𝑗subscript𝐭𝑖formulae-sequence𝑗𝒯𝑖subscript𝒯𝑗\displaystyle d_{ij}=\|\mathbf{t}_{j}-\mathbf{t}_{i}\|,\ j\in\mathcal{T},\ i% \in\mathcal{T}_{j}.italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT . (28d)

The auxiliary variables 𝐊𝐊\mathbf{K}bold_K and λisubscript𝜆𝑖\lambda_{i}italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are used to tackle the non-convexity of (28a). By defining gj=10Pj5β0subscript𝑔𝑗superscript10subscript𝑃𝑗5subscript𝛽0g_{j}=10^{\frac{P_{j}}{5\beta_{0}}}italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT and rj=10Pj5β0Pjϵln105β0subscript𝑟𝑗superscript10subscript𝑃𝑗5subscript𝛽0subscript𝑃𝑗italic-ϵ105subscript𝛽0r_{j}=10^{\frac{P_{j}}{5\beta_{0}}}\frac{P_{j}\epsilon\ln 10}{5\beta_{0}}italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ϵ roman_ln 10 end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG, we obtain the following optimization problem

minuij,gj,rj,λi,𝝁,𝐊\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},g_{j},r_{j},\atop\lambda_{i},% \bm{\mu},\mathbf{K}}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , bold_K end_ARG end_POSTSUBSCRIPT j𝒯i𝒜j𝒯j(10Pij5β0uijgj+rj)2+i𝒜λisubscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsuperscript10subscript𝑃𝑖𝑗5subscript𝛽0subscript𝑢𝑖𝑗subscript𝑔𝑗subscript𝑟𝑗2subscript𝑖𝒜subscript𝜆𝑖\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(10^{\frac{P_{ij}}{5\beta_{0}}}u_{ij}-g_{j}+r_{j}\right)^{2}+\sum_{i\in% \mathcal{A}}\lambda_{i}∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (29a)
s.t. (III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

The optimization problem (29a) can be solved by standard SDP solvers, which have high computational complexity. To address this issue, the objective function is converted to the epigraph form by applying an auxiliary variable ω𝜔\omegaitalic_ω

minuij,gj,rj,λi,𝝁,𝐊,ω\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},g_{j},r_{j},\atop\lambda_{i},% \bm{\mu},\mathbf{K},\omega}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , bold_K , italic_ω end_ARG end_POSTSUBSCRIPT ω+i𝒜λi𝜔subscript𝑖𝒜subscript𝜆𝑖\displaystyle\,\,\omega+\sum_{i\in\mathcal{A}}\lambda_{i}italic_ω + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (30a)
s.t. j𝒯i𝒜j𝒯j(10Pij5β0uijgj+rj)2ω,subscriptFRACOP𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗superscriptsuperscript10subscript𝑃𝑖𝑗5subscript𝛽0subscript𝑢𝑖𝑗subscript𝑔𝑗subscript𝑟𝑗2𝜔\displaystyle\sum_{j\in\mathcal{T}\atop i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}% }\left(10^{\frac{P_{ij}}{5\beta_{0}}}u_{ij}-g_{j}+r_{j}\right)^{2}\leq\omega,∑ start_POSTSUBSCRIPT FRACOP start_ARG italic_j ∈ caligraphic_T end_ARG start_ARG italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG end_POSTSUBSCRIPT ( 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_ω ,
(III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

To convert (30a) into an SDP-SOCP problem, we introduce 𝝃𝝃\bm{\xi}bold_italic_ξ which stacks all values ξij=uij10Pij5β0gj+rj,j𝒯,i𝒜j𝒯jformulae-sequencesubscript𝜉𝑖𝑗subscript𝑢𝑖𝑗superscript10subscript𝑃𝑖𝑗5subscript𝛽0subscript𝑔𝑗subscript𝑟𝑗formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗\xi_{ij}=u_{ij}10^{\frac{P_{ij}}{5\beta_{0}}}-g_{j}+r_{j},\ j\in\mathcal{T},\ % i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT - italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT to obtain an LMI

minuij,gj,rj,λi,𝝁,𝐊,ω,𝝃\displaystyle\mathop{{\rm{min}}}\limits_{u_{ij},g_{j},r_{j},\atop\lambda_{i},% \bm{\mu},\mathbf{K},\omega,\bm{\xi}}{\rm{}}roman_min start_POSTSUBSCRIPT FRACOP start_ARG italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , bold_italic_μ , bold_K , italic_ω , bold_italic_ξ end_ARG end_POSTSUBSCRIPT ω+i𝒜λi𝜔subscript𝑖𝒜subscript𝜆𝑖\displaystyle\,\,\omega+\sum_{i\in\mathcal{A}}\lambda_{i}italic_ω + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (31a)
s.t. [2𝝃T,ω1]ω+1,delimited-∥∥2superscript𝝃𝑇𝜔1𝜔1\displaystyle\left\lVert\left[2\bm{\xi}^{T},\omega-1\right]\right\rVert\leq% \omega+1,∥ [ 2 bold_italic_ξ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_ω - 1 ] ∥ ≤ italic_ω + 1 ,
diag([,ξij10Pij5β0uij+gjrj,,\displaystyle\text{diag}\big{(}\big{[}\dots,\xi_{ij}-10^{\frac{P_{ij}}{5\beta_% {0}}}u_{ij}+g_{j}-r_{j},\dots,diag ( [ … , italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , … ,
,ξij+10Pij5β0uijgj+rj,])𝟎,\displaystyle\hskip 14.22636pt\dots,-\xi_{ij}+10^{\frac{P_{ij}}{5\beta_{0}}}u_% {ij}-g_{j}+r_{j},\dots\big{]}\big{)}\succcurlyeq\mathbf{0},… , - italic_ξ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + 10 start_POSTSUPERSCRIPT divide start_ARG italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG start_ARG 5 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , … ] ) ≽ bold_0 ,
j𝒯,i𝒜j𝒯j,formulae-sequence𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗\displaystyle\hskip 99.58464ptj\in\mathcal{T},\ i\in\mathcal{A}_{j}\cup% \mathcal{T}_{j},italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
(III-A),(8c),(8d),(9d).italic-(III-Aitalic-)italic-(8citalic-)italic-(8ditalic-)italic-(9ditalic-)\displaystyle\eqref{General_constraint1},\ \eqref{General_constraint2},\ % \eqref{General_constraint3},\ \eqref{General_constraint4}.italic_( italic_) , italic_( italic_) , italic_( italic_) , italic_( italic_) .

The proposed estimator in (31a) can obtain the location of target nodes (𝐭)𝐭(\mathbf{t})( bold_t ), their transmit powers (𝐩)𝐩(\mathbf{p})( bold_p ), and β𝛽\betaitalic_β. However, the estimated accuracy of 𝐩𝐩\mathbf{p}bold_p and β𝛽\betaitalic_β is poor. We obtain a better estimate of 𝐩𝐩\mathbf{p}bold_p and β𝛽\betaitalic_β by exploiting the fact that (3) is a convex function with respect to 𝐩𝐩\mathbf{p}bold_p and β𝛽\betaitalic_β, respectively

P^j=𝟏|𝒜j𝒯j|T𝐐𝐡j𝟏|𝒜j𝒯j|T𝐐𝟏|𝒜j𝒯j|,subscript^𝑃𝑗superscriptsubscript1subscript𝒜𝑗subscript𝒯𝑗𝑇subscript𝐐𝐡𝑗superscriptsubscript1subscript𝒜𝑗subscript𝒯𝑗𝑇subscript𝐐𝟏subscript𝒜𝑗subscript𝒯𝑗\displaystyle\hat{P}_{j}=\frac{\mathbf{1}_{\lvert\mathcal{A}_{j}\cup\mathcal{T% }_{j}\rvert}^{T}\mathbf{Q}\mathbf{h}_{j}}{\mathbf{1}_{\lvert\mathcal{A}_{j}% \cup\mathcal{T}_{j}\rvert}^{T}\mathbf{Q}\mathbf{1}_{\lvert\mathcal{A}_{j}\cup% \mathcal{T}_{j}\rvert}},over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = divide start_ARG bold_1 start_POSTSUBSCRIPT | caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_Qh start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG bold_1 start_POSTSUBSCRIPT | caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_Q1 start_POSTSUBSCRIPT | caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | end_POSTSUBSCRIPT end_ARG , (32a)
β^=𝟏||T𝐐𝐪𝟏||T𝐐ϕ,^𝛽superscriptsubscript1𝑇𝐐𝐪superscriptsubscript1𝑇𝐐bold-italic-ϕ\displaystyle\hat{\beta}=\frac{\mathbf{1}_{\lvert\mathcal{H}\rvert}^{T}\mathbf% {Q}\mathbf{q}}{\mathbf{1}_{\lvert\mathcal{H}\rvert}^{T}\mathbf{Q}\bm{\phi}},over^ start_ARG italic_β end_ARG = divide start_ARG bold_1 start_POSTSUBSCRIPT | caligraphic_H | end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_Qq end_ARG start_ARG bold_1 start_POSTSUBSCRIPT | caligraphic_H | end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_Q bold_italic_ϕ end_ARG , (32b)

where 𝐐𝐐\mathbf{Q}bold_Q is the covariance matrix of nijsubscript𝑛𝑖𝑗n_{ij}italic_n start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, 𝐡jsubscript𝐡𝑗\mathbf{h}_{j}bold_h start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT stacks Pij+10βlog10dijsubscript𝑃𝑖𝑗10𝛽subscript10subscript𝑑𝑖𝑗P_{ij}+10\beta\log_{10}d_{ij}italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, 𝐪𝐪\mathbf{q}bold_q stacks PjPijsubscript𝑃𝑗subscript𝑃𝑖𝑗P_{j}-P_{ij}italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, and ϕbold-italic-ϕ\bm{\phi}bold_italic_ϕ stacks 10log10dij10subscript10subscript𝑑𝑖𝑗10\log_{10}d_{ij}10 roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, j𝒯𝑗𝒯j\in\mathcal{T}italic_j ∈ caligraphic_T, i𝒜j𝒯j𝑖subscript𝒜𝑗subscript𝒯𝑗i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. The total number of anchor-target links and target-target links are expressed as ||=j|𝒜j𝒯j|subscript𝑗subscript𝒜𝑗subscript𝒯𝑗\lvert\mathcal{H}\rvert=\sum_{j}\lvert\mathcal{A}_{j}\cup\mathcal{T}_{j}\rvert| caligraphic_H | = ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT |. In Algorithm 1, we summarize The proposed technique dealing with the scenario for unknown transmit power and PLE. We refer to it as CTUP-4.

𝐅(𝜽)=[𝔼[2lnp(𝐦;𝜽)𝜽12]𝔼[2lnp(𝐦;𝜽)𝜽1𝜽M1]𝔼[2lnp(𝐦;𝜽)𝜽M1𝜽1]𝔼[2lnp(𝐦;𝜽)𝜽M12]]=[𝔼[(lnp(𝐦;𝜽)𝜽1)2]𝔼[lnp(𝐦;𝜽)𝜽1lnp(𝐦;𝜽)𝜽M1]𝔼[lnp(𝐦;𝜽)𝜽1lnp(𝐦;𝜽)𝜽M1]𝔼[(lnp(𝐦;𝜽)𝜽M1)2]]𝐅𝜽matrix𝔼delimited-[]superscript2𝑝𝐦𝜽subscriptsuperscript𝜽21𝔼delimited-[]superscript2𝑝𝐦𝜽subscript𝜽1subscript𝜽subscript𝑀1𝔼delimited-[]superscript2𝑝𝐦𝜽subscript𝜽subscript𝑀1subscript𝜽1𝔼delimited-[]superscript2𝑝𝐦𝜽subscriptsuperscript𝜽2subscript𝑀1matrix𝔼delimited-[]superscript𝑝𝐦𝜽subscript𝜽12𝔼delimited-[]𝑝𝐦𝜽subscript𝜽1𝑝𝐦𝜽subscript𝜽subscript𝑀1𝔼delimited-[]𝑝𝐦𝜽subscript𝜽1𝑝𝐦𝜽subscript𝜽subscript𝑀1𝔼delimited-[]superscript𝑝𝐦𝜽subscript𝜽subscript𝑀12\displaystyle\mathbf{F}(\bm{\theta})=\begin{bmatrix}-\mathbbm{E}\left[\frac{% \partial^{2}\ln p(\mathbf{m};\bm{\theta})}{\partial\bm{\theta}^{2}_{1}}\right]% &\cdots&-\mathbbm{E}\left[\frac{\partial^{2}\ln p(\mathbf{m};\bm{\theta})}{% \partial\bm{\theta}_{1}\partial\bm{\theta}_{M_{1}}}\right]\\ \vdots&\ddots&\vdots\\ -\mathbbm{E}\left[\frac{\partial^{2}\ln p(\mathbf{m};\bm{\theta})}{\partial\bm% {\theta}_{M_{1}}\partial\bm{\theta}_{1}}\right]&\cdots&-\mathbbm{E}\left[\frac% {\partial^{2}\ln p(\mathbf{m};\bm{\theta})}{\partial\bm{\theta}^{2}_{M_{1}}}% \right]\end{bmatrix}=\begin{bmatrix}\mathbbm{E}\left[\left(\frac{\partial\ln p% (\mathbf{m};\bm{\theta})}{\partial\bm{\theta}_{1}}\right)^{2}\right]&\cdots&% \mathbbm{E}\left[\frac{\partial\ln p(\mathbf{m};\bm{\theta})}{\partial\bm{% \theta}_{1}}\cdot\frac{\partial\ln p(\mathbf{m};\bm{\theta})}{\partial\bm{% \theta}_{M_{1}}}\right]\\ \vdots&\ddots&\vdots\\ \mathbbm{E}\left[\frac{\partial\ln p(\mathbf{m};\bm{\theta})}{\partial\bm{% \theta}_{1}}\cdot\frac{\partial\ln p(\mathbf{m};\bm{\theta})}{\partial\bm{% \theta}_{M_{1}}}\right]&\cdots&\mathbbm{E}\left[\left(\frac{\partial\ln p(% \mathbf{m};\bm{\theta})}{\partial\bm{\theta}_{M_{1}}}\right)^{2}\right]\end{bmatrix}bold_F ( bold_italic_θ ) = [ start_ARG start_ROW start_CELL - blackboard_E [ divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ] end_CELL start_CELL ⋯ end_CELL start_CELL - blackboard_E [ divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∂ bold_italic_θ start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ] end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋱ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL - blackboard_E [ divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∂ bold_italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ] end_CELL start_CELL ⋯ end_CELL start_CELL - blackboard_E [ divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ] end_CELL end_ROW end_ARG ] = [ start_ARG start_ROW start_CELL blackboard_E [ ( divide start_ARG ∂ roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] end_CELL start_CELL ⋯ end_CELL start_CELL blackboard_E [ divide start_ARG ∂ roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⋅ divide start_ARG ∂ roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ] end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋱ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL blackboard_E [ divide start_ARG ∂ roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⋅ divide start_ARG ∂ roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ] end_CELL start_CELL ⋯ end_CELL start_CELL blackboard_E [ ( divide start_ARG ∂ roman_ln italic_p ( bold_m ; bold_italic_θ ) end_ARG start_ARG ∂ bold_italic_θ start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] end_CELL end_ROW end_ARG ] (33)
Algorithm 1 CTUP-4: The cooperative technique with unknown transmit power and PLE
0:  Na,Nt,𝒜j,𝒯j,𝒮j,𝐦,𝐐˘,𝐪˘,ϕ˘,𝐐.subscript𝑁𝑎subscript𝑁𝑡subscript𝒜𝑗subscript𝒯𝑗subscript𝒮𝑗𝐦˘𝐐˘𝐪˘bold-italic-ϕ𝐐N_{a},\ N_{t},\ \mathcal{A}_{j},\ \mathcal{T}_{j},\ \mathcal{S}_{j},\ \mathbf{% m},\ \breve{\mathbf{Q}},\ \breve{\mathbf{q}},\ \breve{\bm{\phi}},\ \mathbf{Q}.italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , caligraphic_S start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , bold_m , over˘ start_ARG bold_Q end_ARG , over˘ start_ARG bold_q end_ARG , over˘ start_ARG bold_italic_ϕ end_ARG , bold_Q .
1:  Compute β0subscript𝛽0\beta_{0}italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT using (14).
2:  Solve the SDP-SOCP problem in (31a) to obtain 𝐭^j=𝝁^(2j1:2j)T\hat{\mathbf{t}}_{j}=\hat{\bm{\mu}}\left(2j-1:2j\right)^{T}over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = over^ start_ARG bold_italic_μ end_ARG ( 2 italic_j - 1 : 2 italic_j ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT and d^ij=u^ijsubscript^𝑑𝑖𝑗subscript^𝑢𝑖𝑗\hat{d}_{ij}=\sqrt{\hat{u}_{ij}}over^ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = square-root start_ARG over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG, j𝒯𝑗𝒯j\in\mathcal{T}italic_j ∈ caligraphic_T, i𝒜j𝒯j𝑖subscript𝒜𝑗subscript𝒯𝑗i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT.
3:  Compute 𝐡j=Pij+10β0log10d^ijsubscript𝐡𝑗subscript𝑃𝑖𝑗10subscript𝛽0subscript10subscript^𝑑𝑖𝑗\mathbf{h}_{j}=P_{ij}+10\beta_{0}\log_{10}\hat{d}_{ij}bold_h start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + 10 italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT over^ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, j𝒯,i𝒜j𝒯jformulae-sequence𝑗𝒯𝑖subscript𝒜𝑗subscript𝒯𝑗j\in\mathcal{T},\ i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}italic_j ∈ caligraphic_T , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT.
4:  Compute P^jsubscript^𝑃𝑗\hat{P}_{j}over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT using (32a), j𝒯𝑗𝒯j\in\mathcal{T}italic_j ∈ caligraphic_T.
5:  Compute qij=P^jPijsubscript𝑞𝑖𝑗subscript^𝑃𝑗subscript𝑃𝑖𝑗q_{ij}=\hat{P}_{j}-P_{ij}italic_q start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and ϕij=10log10d^ijsubscriptitalic-ϕ𝑖𝑗10subscript10subscript^𝑑𝑖𝑗\phi_{ij}=10\log_{10}\hat{d}_{ij}italic_ϕ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 10 roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT over^ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, j𝒯𝑗𝒯j\in\mathcal{T}italic_j ∈ caligraphic_T, i𝒜j𝒯j𝑖subscript𝒜𝑗subscript𝒯𝑗i\in\mathcal{A}_{j}\cup\mathcal{T}_{j}italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. 𝐪𝐪\mathbf{q}bold_q comprises all qijsubscript𝑞𝑖𝑗q_{ij}italic_q start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, and ϕbold-italic-ϕ\bm{\phi}bold_italic_ϕ comprises all ϕijsubscriptitalic-ϕ𝑖𝑗\phi_{ij}italic_ϕ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT.
6:  Compute β^^𝛽\hat{\beta}over^ start_ARG italic_β end_ARG using (32b).
6:  𝐭^j,P^j,β^,j𝒯subscript^𝐭𝑗subscript^𝑃𝑗^𝛽𝑗𝒯\hat{\mathbf{t}}_{j},\ \hat{P}_{j},\ \hat{\beta},\ j\in\mathcal{T}over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , over^ start_ARG italic_β end_ARG , italic_j ∈ caligraphic_T.

IV Cramer-Rao lower bounds (CRLB)

The CRLB provides a theoretical lower bound for unbiased estimators, which serves as an efficient performance benchmark for researchers to identify optimal performance [50, 47]. Generally, authors [51, 20, 18] have derived the CRLB for location estimates and specific model parameters, but they have not addressed scenarios where all model parameters are jointly considered. In this section, we provide the CRLB for the Root Mean Square Error (RMSE) of cooperative RSS-based localization. We encompass scenarios involving unknown transmit power, unknown PLE, and anchor location uncertainty. The fisher information matrix (FIM) of 𝜽𝜽\bm{\theta}bold_italic_θ is given in (33), where 𝜽jsubscript𝜽𝑗\bm{\theta}_{j}bold_italic_θ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT denotes the jthsuperscript𝑗thj^{\text{th}}italic_j start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT element of 𝜽𝜽\bm{\theta}bold_italic_θ, and M1=3Nt+2Na+1subscript𝑀13subscript𝑁𝑡2subscript𝑁𝑎1M_{1}=3N_{t}+2N_{a}+1italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 3 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + 1. The first and second moments of the RSS and anchor location measurements are given by

𝔼𝔼\displaystyle\mathbbm{E}blackboard_E [Pij]=Pj10βlog10dij,delimited-[]subscript𝑃𝑖𝑗subscript𝑃𝑗10𝛽subscript10subscript𝑑𝑖𝑗\displaystyle\left[P_{ij}\right]=P_{j}-10\beta\log_{10}d_{ij},\quad[ italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ] = italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 10 italic_β roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , Var(Pij)=σij2,Varsubscript𝑃𝑖𝑗superscriptsubscript𝜎𝑖𝑗2\displaystyle\text{Var}\left(P_{ij}\right)=\sigma_{ij}^{2},Var ( italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) = italic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (34a)
𝔼𝔼\displaystyle\mathbbm{E}blackboard_E [𝐬i]=𝐬˘i,delimited-[]subscript𝐬𝑖subscript˘𝐬𝑖\displaystyle\left[\mathbf{s}_{i}\right]=\breve{\mathbf{s}}_{i},\quad[ bold_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] = over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , Var(𝐬)=δi2,Var𝐬superscriptsubscript𝛿𝑖2\displaystyle\text{Var}\left(\mathbf{s}\right)=\delta_{i}^{2},Var ( bold_s ) = italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (34b)

Thus, substituting (II) and (34a) into (33) yields

𝐅(𝜽)=𝐂T𝐐𝐂+i𝒜δi2𝐑iT𝐑i,𝐅𝜽superscript𝐂𝑇𝐐𝐂subscript𝑖𝒜superscriptsubscript𝛿𝑖2superscriptsubscript𝐑𝑖𝑇subscript𝐑𝑖\displaystyle\mathbf{F}(\bm{\theta})=\mathbf{C}^{T}\mathbf{Q}\mathbf{C}+\sum_{% i\in\mathcal{A}}\delta_{i}^{-2}\mathbf{R}_{i}^{T}\mathbf{R}_{i},bold_F ( bold_italic_θ ) = bold_C start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_QC + ∑ start_POSTSUBSCRIPT italic_i ∈ caligraphic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (35)

where

𝐂𝐂\displaystyle\mathbf{C}bold_C =[𝐜ijt𝐜ijs˘𝐜ijp𝐜ijβ],j𝒯,formulae-sequenceabsentmatrixsubscriptsuperscript𝐜𝑡𝑖𝑗subscriptsuperscript𝐜˘𝑠𝑖𝑗subscriptsuperscript𝐜𝑝𝑖𝑗subscriptsuperscript𝐜𝛽𝑖𝑗𝑗𝒯\displaystyle=\begin{bmatrix}\vdots&\vdots&\vdots&\vdots\\ \mathbf{c}^{t}_{ij}&\mathbf{c}^{\breve{{s}}}_{ij}&\mathbf{c}^{p}_{ij}&\mathbf{% c}^{\beta}_{ij}\\ \vdots&\vdots&\vdots&\vdots\end{bmatrix},\ j\in\mathcal{T},= [ start_ARG start_ROW start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL bold_c start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_CELL start_CELL bold_c start_POSTSUPERSCRIPT over˘ start_ARG italic_s end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_CELL start_CELL bold_c start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_CELL start_CELL bold_c start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL end_ROW end_ARG ] , italic_j ∈ caligraphic_T ,
𝐜ijtsubscriptsuperscript𝐜𝑡𝑖𝑗\displaystyle\mathbf{c}^{t}_{ij}bold_c start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =[𝟎1,2(j1),10βln10(𝐬˘i𝐭j)T𝐬˘i𝐭j2,𝟎1,2(Ntj)],i𝒜j,formulae-sequenceabsentsubscript012𝑗110𝛽10superscriptsubscript˘𝐬𝑖subscript𝐭𝑗𝑇superscriptnormsubscript˘𝐬𝑖subscript𝐭𝑗2subscript012subscript𝑁𝑡𝑗𝑖subscript𝒜𝑗\displaystyle=\left[\mathbf{0}_{1,2\left(j-1\right)},\frac{10\beta}{\ln 10}% \frac{\left(\breve{\mathbf{s}}_{i}-\mathbf{t}_{j}\right)^{T}}{\|\breve{\mathbf% {s}}_{i}-\mathbf{t}_{j}\|^{2}},\mathbf{0}_{1,2\left(N_{t}-j\right)}\right],\ i% \in\mathcal{A}_{j},= [ bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_j - 1 ) end_POSTSUBSCRIPT , divide start_ARG 10 italic_β end_ARG start_ARG roman_ln 10 end_ARG divide start_ARG ( over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_ARG start_ARG ∥ over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_j ) end_POSTSUBSCRIPT ] , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijtsubscriptsuperscript𝐜𝑡𝑖𝑗\displaystyle\mathbf{c}^{t}_{ij}bold_c start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =[𝟎1,2(j1),𝐛ijT,𝟎1,2(ij1),𝐛ijT,𝟎1,2(Nti)],absentsubscript012𝑗1superscriptsubscript𝐛𝑖𝑗𝑇subscript012𝑖𝑗1superscriptsubscript𝐛𝑖𝑗𝑇subscript012subscript𝑁𝑡𝑖\displaystyle=\left[\mathbf{0}_{1,2\left(j-1\right)},\mathbf{b}_{ij}^{T},% \mathbf{0}_{1,2\left(i-j-1\right)},-\mathbf{b}_{ij}^{T},\mathbf{0}_{1,2\left(N% _{t}-i\right)}\right],= [ bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_j - 1 ) end_POSTSUBSCRIPT , bold_b start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_i - italic_j - 1 ) end_POSTSUBSCRIPT , - bold_b start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_i ) end_POSTSUBSCRIPT ] ,
i>j,i𝒯j,formulae-sequence𝑖𝑗𝑖subscript𝒯𝑗\displaystyle\hskip 160.75789pti>j,\ i\in\mathcal{T}_{j},italic_i > italic_j , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijtsubscriptsuperscript𝐜𝑡𝑖𝑗\displaystyle\mathbf{c}^{t}_{ij}bold_c start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =[𝟎1,2(i1),𝐛ijT,𝟎1,2(ji1),𝐛ijT,𝟎1,2(Ntj)],absentsubscript012𝑖1superscriptsubscript𝐛𝑖𝑗𝑇subscript012𝑗𝑖1superscriptsubscript𝐛𝑖𝑗𝑇subscript012subscript𝑁𝑡𝑗\displaystyle=\left[\mathbf{0}_{1,2\left(i-1\right)},\mathbf{b}_{ij}^{T},% \mathbf{0}_{1,2\left(j-i-1\right)},-\mathbf{b}_{ij}^{T},\mathbf{0}_{1,2\left(N% _{t}-j\right)}\right],= [ bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_i - 1 ) end_POSTSUBSCRIPT , bold_b start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_j - italic_i - 1 ) end_POSTSUBSCRIPT , - bold_b start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_j ) end_POSTSUBSCRIPT ] ,
i<j,i𝒯j,formulae-sequence𝑖𝑗𝑖subscript𝒯𝑗\displaystyle\hskip 160.75789pti<j,\ i\in\mathcal{T}_{j},italic_i < italic_j , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijs˘subscriptsuperscript𝐜˘𝑠𝑖𝑗\displaystyle\mathbf{c}^{\breve{{s}}}_{ij}bold_c start_POSTSUPERSCRIPT over˘ start_ARG italic_s end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =[𝟎1,2(i1),10βln10(𝐭j𝐬˘i)T𝐬˘i𝐭j2,𝟎1,2(Nai)],i𝒜j,formulae-sequenceabsentsubscript012𝑖110𝛽10superscriptsubscript𝐭𝑗subscript˘𝐬𝑖𝑇superscriptnormsubscript˘𝐬𝑖subscript𝐭𝑗2subscript012subscript𝑁𝑎𝑖𝑖subscript𝒜𝑗\displaystyle=\left[\mathbf{0}_{1,2\left(i-1\right)},\frac{10\beta}{\ln 10}% \frac{\left(\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\right)^{T}}{\|\breve{\mathbf% {s}}_{i}-\mathbf{t}_{j}\|^{2}},\mathbf{0}_{1,2\left(N_{a}-i\right)}\right],\ i% \in\mathcal{A}_{j},= [ bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_i - 1 ) end_POSTSUBSCRIPT , divide start_ARG 10 italic_β end_ARG start_ARG roman_ln 10 end_ARG divide start_ARG ( bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_ARG start_ARG ∥ over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , bold_0 start_POSTSUBSCRIPT 1 , 2 ( italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT - italic_i ) end_POSTSUBSCRIPT ] , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijs˘subscriptsuperscript𝐜˘𝑠𝑖𝑗\displaystyle\mathbf{c}^{\breve{{s}}}_{ij}bold_c start_POSTSUPERSCRIPT over˘ start_ARG italic_s end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =𝟎1,2Na,i𝒯j,formulae-sequenceabsentsubscript012subscript𝑁𝑎𝑖subscript𝒯𝑗\displaystyle=\mathbf{0}_{1,2N_{a}},\ i\in\mathcal{T}_{j},= bold_0 start_POSTSUBSCRIPT 1 , 2 italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijpsubscriptsuperscript𝐜𝑝𝑖𝑗\displaystyle\mathbf{c}^{p}_{ij}bold_c start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =[𝟎1,j1,1,𝟎1,Ntj],i𝒜j𝒯j,formulae-sequenceabsentsubscript01𝑗11subscript01subscript𝑁𝑡𝑗𝑖subscript𝒜𝑗subscript𝒯𝑗\displaystyle=\left[\mathbf{0}_{1,j-1},1,\mathbf{0}_{1,N_{t}-j}\right],\ i\in% \mathcal{A}_{j}\cup\mathcal{T}_{j},= [ bold_0 start_POSTSUBSCRIPT 1 , italic_j - 1 end_POSTSUBSCRIPT , 1 , bold_0 start_POSTSUBSCRIPT 1 , italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_j end_POSTSUBSCRIPT ] , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∪ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijβsubscriptsuperscript𝐜𝛽𝑖𝑗\displaystyle\mathbf{c}^{\beta}_{ij}bold_c start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =10log10𝐭j𝐬˘i,i𝒜j,formulae-sequenceabsent10subscript10normsubscript𝐭𝑗subscript˘𝐬𝑖𝑖subscript𝒜𝑗\displaystyle=-10\log_{10}\|\mathbf{t}_{j}-\breve{\mathbf{s}}_{i}\|,\ i\in% \mathcal{A}_{j},= - 10 roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - over˘ start_ARG bold_s end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_i ∈ caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐜ijβsubscriptsuperscript𝐜𝛽𝑖𝑗\displaystyle\mathbf{c}^{\beta}_{ij}bold_c start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =10log10𝐭j𝐭i,i𝒯j,formulae-sequenceabsent10subscript10normsubscript𝐭𝑗subscript𝐭𝑖𝑖subscript𝒯𝑗\displaystyle=-10\log_{10}\|\mathbf{t}_{j}-\mathbf{t}_{i}\|,\ i\in\mathcal{T}_% {j},= - 10 roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT ∥ bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐛ijsubscript𝐛𝑖𝑗\displaystyle\mathbf{b}_{ij}bold_b start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT =10βln10𝐭i𝐭j𝐭i𝐭j2,i𝒯j,formulae-sequenceabsent10𝛽10subscript𝐭𝑖subscript𝐭𝑗superscriptnormsubscript𝐭𝑖subscript𝐭𝑗2𝑖subscript𝒯𝑗\displaystyle=\frac{10\beta}{\ln 10}\frac{\mathbf{t}_{i}-\mathbf{t}_{j}}{\|% \mathbf{t}_{i}-\mathbf{t}_{j}\|^{2}},\ i\in\mathcal{T}_{j},= divide start_ARG 10 italic_β end_ARG start_ARG roman_ln 10 end_ARG divide start_ARG bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_i ∈ caligraphic_T start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,
𝐑𝐑\displaystyle\mathbf{R}bold_R =[𝟎2,2Nt+2(i1),𝐈2,𝟎2,2(Nai)+Nt+1],i𝒜.formulae-sequenceabsentsubscript022subscript𝑁𝑡2𝑖1subscript𝐈2subscript022𝑁𝑎𝑖subscript𝑁𝑡1𝑖𝒜\displaystyle=\left[\mathbf{0}_{2,2N_{t}+2\left(i-1\right)},\mathbf{I}_{2},% \mathbf{0}_{2,2\left(Na-i\right)+N_{t}+1}\right],\ i\in\mathcal{A}.= [ bold_0 start_POSTSUBSCRIPT 2 , 2 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 ( italic_i - 1 ) end_POSTSUBSCRIPT , bold_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , bold_0 start_POSTSUBSCRIPT 2 , 2 ( italic_N italic_a - italic_i ) + italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 1 end_POSTSUBSCRIPT ] , italic_i ∈ caligraphic_A .

Define M2=2Nt+2Nasubscript𝑀22subscript𝑁𝑡2subscript𝑁𝑎M_{2}=2N_{t}+2N_{a}italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 2 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT. Now, the lower bounds of the variance of the estimated parameters are shown as follows:

Var(𝐭^j)Varsubscript^𝐭𝑗\displaystyle\text{Var}\left(\hat{\mathbf{t}}_{j}\right)Var ( over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) \displaystyle\geq tr([𝐅1(𝜽)]2j1:2j,2j1:2j),j𝒯,trsubscriptdelimited-[]superscript𝐅1𝜽:2𝑗12𝑗2𝑗1:2𝑗𝑗𝒯\displaystyle\ \text{tr}\left(\left[\mathbf{F}^{-1}\left(\bm{\theta}\right)% \right]_{2j-1:2j,2j-1:2j}\right),\ j\in\mathcal{T},tr ( [ bold_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_θ ) ] start_POSTSUBSCRIPT 2 italic_j - 1 : 2 italic_j , 2 italic_j - 1 : 2 italic_j end_POSTSUBSCRIPT ) , italic_j ∈ caligraphic_T , (36a)
Var(P^j)Varsubscript^𝑃𝑗\displaystyle\text{Var}\left(\hat{P}_{j}\right)Var ( over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) \displaystyle\geq [𝐅1(𝜽)]M2+j,M2+j,j𝒯,subscriptdelimited-[]superscript𝐅1𝜽subscript𝑀2𝑗subscript𝑀2𝑗𝑗𝒯\displaystyle\left[\mathbf{F}^{-1}\left(\bm{\theta}\right)\right]_{M_{2}+j,M_{% 2}+j},\ j\in\mathcal{T},[ bold_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_θ ) ] start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_j , italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_j end_POSTSUBSCRIPT , italic_j ∈ caligraphic_T , (36b)
Var(β^)Var^𝛽\displaystyle\text{Var}\left(\hat{\beta}\right)Var ( over^ start_ARG italic_β end_ARG ) \displaystyle\geq [𝐅1(𝜽)]M1,M1.subscriptdelimited-[]superscript𝐅1𝜽subscript𝑀1subscript𝑀1\displaystyle\left[\mathbf{F}^{-1}\left(\bm{\theta}\right)\right]_{M_{1},M_{1}}.[ bold_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_θ ) ] start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT . (36c)

It is important to obtain the RMSE of the location and transmit power for all target nodes. In numerous practical scenarios, understanding the system’s overall performance holds greater significance than concentrating solely on individual nodes. Let the RMSE of estimated parameters be

RMSE(𝐭^)RMSE^𝐭\displaystyle\text{RMSE}\left(\hat{\mathbf{t}}\right)RMSE ( over^ start_ARG bold_t end_ARG ) =\displaystyle== 1Ntj𝒯𝐭^j𝐭j2,1subscript𝑁𝑡subscript𝑗𝒯superscriptnormsubscript^𝐭𝑗subscript𝐭𝑗2\displaystyle\sqrt{\frac{1}{N_{t}}\sum_{j\in\mathcal{T}}\|\hat{\mathbf{t}}_{j}% -\mathbf{t}_{j}\|^{2}},square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j ∈ caligraphic_T end_POSTSUBSCRIPT ∥ over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (37a)
RMSE(𝐩^)RMSE^𝐩\displaystyle\text{RMSE}\left(\hat{\mathbf{p}}\right)RMSE ( over^ start_ARG bold_p end_ARG ) =\displaystyle== 1Ntj𝒯P^jPj2,1subscript𝑁𝑡subscript𝑗𝒯superscriptnormsubscript^𝑃𝑗subscript𝑃𝑗2\displaystyle\sqrt{\frac{1}{N_{t}}\sum_{j\in\mathcal{T}}\|\hat{P}_{j}-P_{j}\|^% {2}},square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j ∈ caligraphic_T end_POSTSUBSCRIPT ∥ over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (37b)
RMSE(β^)RMSE^𝛽\displaystyle\text{RMSE}\left(\hat{\beta}\right)RMSE ( over^ start_ARG italic_β end_ARG ) =\displaystyle== β^β2.superscriptnorm^𝛽𝛽2\displaystyle\sqrt{\|\hat{\beta}-\beta\|^{2}}.square-root start_ARG ∥ over^ start_ARG italic_β end_ARG - italic_β ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (37c)

Using (36a), we can express the CRLB of the estimated parameters as

RMSE(𝐭^)RMSE^𝐭\displaystyle\text{RMSE}\left(\hat{\mathbf{t}}\right)RMSE ( over^ start_ARG bold_t end_ARG ) \displaystyle\geq 1Nttr([𝐅1(𝜽)]1:2Nt,1:2Nt)CRLBt,1subscript𝑁𝑡trsubscriptdelimited-[]superscript𝐅1𝜽:12subscript𝑁𝑡1:2subscript𝑁𝑡subscriptCRLB𝑡\displaystyle\sqrt{\frac{1}{N_{t}}\text{tr}\left(\left[\mathbf{F}^{-1}\left(% \bm{\theta}\right)\right]_{1:2N_{t},1:2N_{t}}\right)}\triangleq\text{CRLB}_{{t% }},square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG tr ( [ bold_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_θ ) ] start_POSTSUBSCRIPT 1 : 2 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , 1 : 2 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) end_ARG ≜ CRLB start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , (38a)
RMSE(𝐩^)RMSE^𝐩\displaystyle\text{RMSE}\left(\hat{\mathbf{p}}\right)RMSE ( over^ start_ARG bold_p end_ARG ) \displaystyle\geq 1Nttr([𝐅1(𝜽)]M2+1:M2+Nt,M2+1:M2+Nt)1subscript𝑁𝑡trsubscriptdelimited-[]superscript𝐅1𝜽:subscript𝑀21subscript𝑀2subscript𝑁𝑡subscript𝑀21:subscript𝑀2subscript𝑁𝑡\displaystyle\sqrt{\frac{1}{N_{t}}\text{tr}\left(\left[\mathbf{F}^{-1}\left(% \bm{\theta}\right)\right]_{M_{2}+1:M_{2}+N_{t},M_{2}+1:M_{2}+N_{t}}\right)}square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG tr ( [ bold_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_θ ) ] start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + 1 : italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + 1 : italic_M start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) end_ARG (38b)
\displaystyle\triangleq CRLBp,subscriptCRLB𝑝\displaystyle\ \text{CRLB}_{{p}},CRLB start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ,
RMSE(β^)RMSE^𝛽\displaystyle\text{RMSE}\left(\hat{\beta}\right)RMSE ( over^ start_ARG italic_β end_ARG ) \displaystyle\geq [𝐅1(𝜽)]M1,M1CRLBβ.subscriptdelimited-[]superscript𝐅1𝜽subscript𝑀1subscript𝑀1subscriptCRLB𝛽\displaystyle\sqrt{\left[\mathbf{F}^{-1}\left(\bm{\theta}\right)\right]_{M_{1}% ,M_{1}}}\triangleq\text{CRLB}_{\beta}.square-root start_ARG [ bold_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_θ ) ] start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ≜ CRLB start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT . (38c)

The CRLB for Section III-A, Section III-B, and Section III-C can be similarly calculated by considering 𝜽=[𝐭T,𝐬˘T]T𝜽superscriptsuperscript𝐭𝑇superscript˘𝐬𝑇𝑇\bm{\theta}=\left[\mathbf{t}^{T},\breve{\mathbf{s}}^{T}\right]^{T}bold_italic_θ = [ bold_t start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , over˘ start_ARG bold_s end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, 𝜽=[𝐭T,𝐬˘T,β]T𝜽superscriptsuperscript𝐭𝑇superscript˘𝐬𝑇𝛽𝑇\bm{\theta}=\left[\mathbf{t}^{T},\breve{\mathbf{s}}^{T},\beta\right]^{T}bold_italic_θ = [ bold_t start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , over˘ start_ARG bold_s end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , italic_β ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, and 𝜽=[𝐭T,𝐬˘T,𝐩T]T𝜽superscriptsuperscript𝐭𝑇superscript˘𝐬𝑇superscript𝐩𝑇𝑇\bm{\theta}=\left[\mathbf{t}^{T},\breve{\mathbf{s}}^{T},\mathbf{p}^{T}\right]^% {T}bold_italic_θ = [ bold_t start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , over˘ start_ARG bold_s end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_p start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, respectively.

V Performance analysis

In this section, the performance of CTUP is compared with current techniques (refer Table I) with respect to accuracy in estimating location, transmit power, and PLE, alongside computational complexity. The estimation accuracy is verified using both numerical simulations and real-field experimentation. The convergence criterion for iterative techniques (RWLS-AE, RLBM, and IRGDL) is |𝐉k𝐉k1|103superscript𝐉𝑘superscript𝐉𝑘1superscript103\left|\mathbf{J}^{k}-\mathbf{J}^{k-1}\right|\leq 10^{-3}| bold_J start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_J start_POSTSUPERSCRIPT italic_k - 1 end_POSTSUPERSCRIPT | ≤ 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT, with 𝐉ksuperscript𝐉𝑘\mathbf{J}^{k}bold_J start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT denoting the values of the corresponding objective functions. IRGDL undergoes random initialization, and CTUP-X, along with other SDP-based methods, is implemented using the CVX toolbox, leveraging SeDuMi with the best precision. We choose the normalized root mean squared error (NRMSE) as a performance benchmark

NRMSEtsubscriptNRMSE𝑡\displaystyle\text{NRMSE}_{t}NRMSE start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT =\displaystyle== 1NtMck=1Mcj𝒯𝐭^jk𝐭j2,1subscript𝑁𝑡subscript𝑀𝑐superscriptsubscript𝑘1subscript𝑀𝑐subscript𝑗𝒯superscriptnormsuperscriptsubscript^𝐭𝑗𝑘subscript𝐭𝑗2\displaystyle\sqrt{\frac{1}{N_{t}M_{c}}\sum_{k=1}^{M_{c}}\sum_{j\in\mathcal{T}% }\|\hat{\mathbf{t}}_{j}^{k}-\mathbf{t}_{j}\|^{2}},square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j ∈ caligraphic_T end_POSTSUBSCRIPT ∥ over^ start_ARG bold_t end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - bold_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ,
NRMSEpsubscriptNRMSE𝑝\displaystyle\text{NRMSE}_{p}NRMSE start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT =\displaystyle== 1NtMck=1Mcj𝒯P^jkPj2,1subscript𝑁𝑡subscript𝑀𝑐superscriptsubscript𝑘1subscript𝑀𝑐subscript𝑗𝒯superscriptnormsuperscriptsubscript^𝑃𝑗𝑘subscript𝑃𝑗2\displaystyle\sqrt{\frac{1}{N_{t}M_{c}}\sum_{k=1}^{M_{c}}\sum_{j\in\mathcal{T}% }\|\hat{P}_{j}^{k}-P_{j}\|^{2}},square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j ∈ caligraphic_T end_POSTSUBSCRIPT ∥ over^ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ,
NRMSEβsubscriptNRMSE𝛽\displaystyle\text{NRMSE}_{\beta}NRMSE start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT =\displaystyle== 1Mck=1Mcβ^kβ2,1subscript𝑀𝑐superscriptsubscript𝑘1subscript𝑀𝑐superscriptnormsuperscript^𝛽𝑘𝛽2\displaystyle\sqrt{\frac{1}{M_{c}}\sum_{k=1}^{M_{c}}\|\hat{\beta}^{k}-\beta\|^% {2}},square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∥ over^ start_ARG italic_β end_ARG start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - italic_β ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ,

where Mcsubscript𝑀𝑐M_{c}italic_M start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the number of Monte-Carlo simulations. All the simulation results presented in the paper are obtained using 3000 Monte-Carlo simulations.

V-A Numerical simulations

The performance of localization techniques is evaluated for four scenarios discussed in Section III. We employ two networks, denoted as NW-1 and NW-2, to study the impact of noise and anchor location uncertainty, respectively. NW-1 consists of 5 anchor nodes and 10 target nodes, and NW-2 consists of 20 anchor nodes and 10 target nodes. In both NW-1 and NW-2, the target nodes and anchor nodes are randomly deployed over an area of 100×100100100100\times 100100 × 100 m2superscript𝑚2m^{2}italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, with fixed locations throughout the simulations. NW-1 and NW-2 are assumed to be fully connected in the simulations, enabling all anchor nodes and target nodes to communicate interchangeably. The transmit power of target nodes is randomly selected from a uniform distribution between [-10 10] dBm, and the path loss exponent (β)𝛽(\beta)( italic_β ) in (1a) is set to 3. Without loss of generality, we assume that σij=σsubscript𝜎𝑖𝑗𝜎\sigma_{ij}=\sigmaitalic_σ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_σ and δi=δsubscript𝛿𝑖𝛿\delta_{i}=\deltaitalic_δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_δ [14, 52]. All the results presented in Section V-A1, Section V-A2, Section V-A3, and Section V-A4 are obtained using NW-1 and the simulation results shown in Section V-A5 are based on NW-2.

Refer to caption
Figure 1: Performance of the localization techniques for scenarios where transmit power and PLE are known (δ=3𝛿3\delta=3italic_δ = 3 m).
Refer to caption
(a) NRMSE of location estimate as a function of σ𝜎\sigmaitalic_σ.
Refer to caption
(b) NRMSE of PLE estimate as a function of σ𝜎\sigmaitalic_σ.
Figure 2: Performance of the localization techniques for scenarios where PLE is unknown (δ=3𝛿3\delta=3italic_δ = 3 m).
Refer to caption
(a) NRMSE of location estimate as a function of σ𝜎\sigmaitalic_σ.
Refer to caption
(b) NRMSE of transmit power estimate as a function of σ𝜎\sigmaitalic_σ.
Figure 3: Performance of the localization techniques for scenarios where transmit power is unknown (δ=3𝛿3\delta=3italic_δ = 3 m).
TABLE III: Computational complexity of existing techniques.
Algo. Manner Computational complexity CPU runtime (in s) Year
T1subscriptT1\text{T}_{1}T start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT T2subscriptT2\text{T}_{2}T start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT
LSRE-Shi Non-cooperative 𝒪(NtNa+2(Na+4)3)𝒪subscript𝑁𝑡subscript𝑁𝑎2superscriptsubscript𝑁𝑎43\mathcal{O}\big{(}N_{t}\sqrt{N_{a}+2}(N_{a}+4)^{3}\big{)}caligraphic_O ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT square-root start_ARG italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + 2 end_ARG ( italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + 4 ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) 12.41 13.17 2020
RWLS-AE Non-cooperative 𝒪(NtNa6.5j𝒯ijitr)𝒪subscript𝑁𝑡superscriptsubscript𝑁𝑎6.5subscript𝑗𝒯superscriptsubscript𝑖𝑗itr\mathcal{O}\big{(}N_{t}N_{a}^{6.5}\sum_{j\in\mathcal{T}}i_{j}^{\text{itr}}\big% {)}caligraphic_O ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6.5 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j ∈ caligraphic_T end_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT itr end_POSTSUPERSCRIPT ) 92.03 153.06 2021
SDP-Zou Non-cooperative 𝒪((Nt+Na)NtNa6.5)𝒪subscript𝑁𝑡subscript𝑁𝑎subscript𝑁𝑡superscriptsubscript𝑁𝑎6.5\mathcal{O}\big{(}(N_{t}+N_{a})N_{t}N_{a}^{6.5}\big{)}caligraphic_O ( ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6.5 end_POSTSUPERSCRIPT ) 18.41 94.71 2021
RLBM Non-cooperative 𝒪(Nt(Na4+7Na2)j𝒯ijitr)𝒪subscript𝑁𝑡superscriptsubscript𝑁𝑎47superscriptsubscript𝑁𝑎2subscript𝑗𝒯superscriptsubscript𝑖𝑗itr\mathcal{O}\big{(}N_{t}(N_{a}^{4}+7N_{a}^{2})\sum_{j\in\mathcal{T}}i_{j}^{% \text{itr}}\big{)}caligraphic_O ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 7 italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ∑ start_POSTSUBSCRIPT italic_j ∈ caligraphic_T end_POSTSUBSCRIPT italic_i start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT itr end_POSTSUPERSCRIPT ) 11.02 11.63 2021
MSL Non-cooperative 𝒪(Nt)𝒪subscript𝑁𝑡\mathcal{O}\big{(}N_{t}\big{)}caligraphic_O ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) 0.001 0.002 2022
IRGDL Cooperative 𝒪(||kitr)𝒪superscript𝑘𝑖𝑡𝑟\mathcal{O}\big{(}\lvert\mathcal{H}\rvert k^{itr}\big{)}caligraphic_O ( | caligraphic_H | italic_k start_POSTSUPERSCRIPT italic_i italic_t italic_r end_POSTSUPERSCRIPT ) 0.07 0.07 2022
SDP-2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT Cooperative 𝒪(2Nt(Nt+Na)(2Nt)4(Nt+Na)4)𝒪2subscript𝑁𝑡subscript𝑁𝑡subscript𝑁𝑎superscript2subscript𝑁𝑡4superscriptsubscript𝑁𝑡subscript𝑁𝑎4\mathcal{O}\big{(}\sqrt{2N_{t}(N_{t}+N_{a})}(2N_{t})^{4}(N_{t}+N_{a})^{4}\big{)}caligraphic_O ( square-root start_ARG 2 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) end_ARG ( 2 italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) 9.06 17.75 2022
FCUP Cooperative 𝒪(Nt0.5(||2Na(Nt+2)2+||(Nt+2)3))𝒪superscriptsubscript𝑁𝑡0.5superscript2subscript𝑁𝑎superscriptsubscript𝑁𝑡22superscriptsubscript𝑁𝑡23\mathcal{O}\Big{(}N_{t}^{0.5}\big{(}\lvert\mathcal{H}\rvert^{2}N_{a}(N_{t}+2)^% {2}+\lvert\mathcal{H}\rvert(N_{t}+2)^{3}\big{)}\Big{)}caligraphic_O ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0.5 end_POSTSUPERSCRIPT ( | caligraphic_H | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | caligraphic_H | ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) ) 2.29 2.68 2023
CTUP-1 Cooperative 𝒪(Nt0.5(||4+||2(Nt+2)2+||(Nt+2)3+||3))𝒪superscriptsubscript𝑁𝑡0.5superscript4superscript2superscriptsubscript𝑁𝑡22superscriptsubscript𝑁𝑡23superscript3\mathcal{O}\Big{(}N_{t}^{0.5}\big{(}\lvert\mathcal{H}\rvert^{4}+\lvert\mathcal% {H}\rvert^{2}\left(N_{t}+2\right)^{2}+\lvert\mathcal{H}\rvert(N_{t}+2)^{3}+% \lvert\mathcal{H}\rvert^{3}\big{)}\Big{)}caligraphic_O ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 0.5 end_POSTSUPERSCRIPT ( | caligraphic_H | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + | caligraphic_H | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | caligraphic_H | ( italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + 2 ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT + | caligraphic_H | start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) ) 2.74 3.88 2023
CTUP-2 2.81 4.12
CTUP-3 2.79 4.08
CTUP-4 2.87 4.21
Refer to caption
(a) NRMSE of location estimate as a function of σ𝜎\sigmaitalic_σ.
Refer to caption
(b) NRMSE of transmit power estimate as a function of σ𝜎\sigmaitalic_σ.
Refer to caption
(c) NRMSE of PLE estimate as a function of σ𝜎\sigmaitalic_σ.
Figure 4: Performance of the localization techniques for scenarios where transmit power and PLE are unknown (δ=3𝛿3\delta=3italic_δ = 3 m).
Refer to caption
(a) NRMSE of location estimate as a function of δ𝛿\deltaitalic_δ.
Refer to caption
(b) NRMSE of transmit power estimate as a function of δ𝛿\deltaitalic_δ.
Figure 5: Performance of the localization techniques with respect to the anchor location uncertainty (σ=3𝜎3\sigma=3italic_σ = 3 dB).
Refer to caption
(a) NRMSE of location estimate as a function of σ𝜎\sigmaitalic_σ.
Refer to caption
(b) NRMSE of location estimate as a function of δ𝛿\deltaitalic_δ.
Figure 6: Performance of the localization techniques in non-cooperative scenarios.
Refer to caption
Figure 7: Photographs of the localization experimental site and setups.
Refer to caption
Figure 8: Fit the log-normal model to estimate the transmit power and PLE.

V-A1 Scenario I𝐼Iitalic_I

We compare the performance of CTUP-1 with IRGDL [21] and SDP-2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT [22] when the transmit power of the nodes and PLE are known. Fig. 1 demonstrates that CTUP-1 outperforms SDP-2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and IRGDL for all values of σ𝜎\sigmaitalic_σ. This occurs because SDP-2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and IRGDL are affected by both σ𝜎\sigmaitalic_σ and δ𝛿\deltaitalic_δ, while CTUP-1 mitigates the influence of anchor location uncertainty. For low noise scenarios, the performance of SDP-2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and CTUP-1 are similar; however, its effectiveness diminishes notably in scenarios where σ>3𝜎3\sigma>3italic_σ > 3 dB. The variations in σ𝜎\sigmaitalic_σ have less impact on the NRMSE of IRGDL, yet it exhibits high localization error. This is due to the loss of information caused by invexifying the ML objective function.

V-A2 Scenario II𝐼𝐼IIitalic_I italic_I

In the scenario of unknown β𝛽\betaitalic_β, we compare the performance of CTUP-2 with MLS [20] in terms of the location estimate and PLE estimate. The performance of localization techniques is studied when PLE is unknown. The NRMSE of the location estimate as a function of σ𝜎\sigmaitalic_σ is presented in Fig. 2(a). CTUP-2 demonstrates superior performance compared with MSL for considered scenarios. As the σ𝜎\sigmaitalic_σ increases, the performance gap between MSL and CTUP-2 widens, primarily due to the limitations of LLS in managing high-noise scenarios. In Fig. 2(b), it can observed that CTUP-2 outperforms MSL in the estimate of PLE.

V-A3 Scenario III𝐼𝐼𝐼IIIitalic_I italic_I italic_I

In the case of unknown transmit power, we evaluate the performance of CTUP-3, LSRE-Shi [16], RLBM [19], and FCUP [23] in estimating the location and transmit power of target nodes. The performance of the localization techniques is shown in Fig. 3(a). CTUP-3 and FCUP exhibit comparable performances, surpassing other techniques. However, CTUP-3 showcases superior performance over FCUP due to FCUP’s lack of consideration for anchor location uncertainty. CTUP-3 outperforms LSRE-Shi and FCUP in estimating the transmit power, as shown in Fig. 3(b). RLBM and LSRE-Shi demonstrate inferior performance since they do not incorporate RSS readings of the target-target links.

V-A4 Scenario IV𝐼𝑉IVitalic_I italic_V

In the fourth scenario where transmit power and PLE are unknown, we evaluate CTUP-4’s performance in comparison to RWLS-AE [17] and SDP-Zou [18]. In Fig. 4(a), we present the localization accuracy of the techniques as a function of σ𝜎\sigmaitalic_σ. CTUP-4 outperforms RWLS-AE and SDP-Zou at low noise levels. Although RWLS-AE performs slightly better than CTUP-4 at high noise levels, it has the highest computational complexity among the compared techniques (refer Table III). The accuracy of the transmit power estimate as a function of σ𝜎\sigmaitalic_σ is illustrated in Fig. 4(b), where CTUP-4 outperforms RWLS-AE across all values of σ𝜎\sigmaitalic_σ. In Fig. 4(c), we present NRMSEβsubscriptNRMSE𝛽\text{NRMSE}_{\beta}NRMSE start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT as a function of the noise standard deviation. CTUP-4 achieves the best performance, especially at low noise levels. RWLS-AE demonstrates comparable performance to CTUP-4 when σ>6𝜎6\sigma>6italic_σ > 6 dB. However, The noise standard deviation is typically less than 4 dB in practical scenarios (refer Table IV), thereby indicating the superior performance of CTUP-4 in the realistic implementation.

V-A5 Effect of the anchor location uncertainty

In this section, we study the performance of localization techniques as a function of δ𝛿\deltaitalic_δ (refer Fig. 5(a)). Across all δ𝛿\deltaitalic_δ values, CTUP-4 outperforms other existing techniques. When δ𝛿\deltaitalic_δ is small, LSRE-Shi has a performance similar to CTUP-4; however, in scenarios where δ>5𝛿5\delta>5italic_δ > 5 dBm, its effectiveness decreases significantly. In Fig. 5(b), CTUP-4 shows superior performance in estimating the transmit power of target nodes. Although RWLS-AE and CTUP-4 are less influenced by anchor location uncertainty, CTUP-4’s transmit power estimate is closest to CRLBpsubscriptCRLB𝑝\text{CRLB}_{{p}}CRLB start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, highlighting its increasing supriority with greater uncertainty in anchor locations. In conclusion, numerical simulations have verified the effectiveness of proposed techniques in considered scenarios. CTUP shows superior performance in estimating location, transmit power, and PLE compared to existing techniques.

V-A6 Non-cooperative localization

In this section, we evaluate the performance of localization techniques in non-cooperative scenarios. We utilize two networks, denoted as NW-3 and NW-4, to examine the effects of noise standard deviation and anchor location uncertainty, respectively. NW-3 and NW-1 share identical configurations except for NW-3 containing only one randomly deployed target node. Similarly, NW-4 and NW-2 have identical configurations, with NW-4 featuring only one randomly deployed target node. Simulation results presented in Fig. 6(a) and Fig. 6(b) are obtained from NW-3 and NW-4, respectively. We study the performance of localization techniques as a function σ𝜎\sigmaitalic_σ in Fig. 6(a). CTUP-4 demonstrates superior performance across most scenarios. Despite RWLS-AE marginally outperforming CTUP-4 for σ>5𝜎5\sigma>5italic_σ > 5 dB, It has the highest complexity (refer to Table III). The performance order of localization techniques is similar to that observed in cooperative scenarios. Fig. 6(b) presents the localization performance as a function of δ𝛿\deltaitalic_δ. Similar to the scenario depicted in Fig. 5(a), LSRE-Shi and CTUP-4 exhibit comparable performance when δ<5𝛿5\delta<5italic_δ < 5 m. However, CTUP-4 significantly surpasses LSRE-Shi for δ>5𝛿5\delta>5italic_δ > 5 m. While RWLS-AE outperforms CTUP-4 for δ>15𝛿15\delta>15italic_δ > 15 m, it has extremely high complexity. Overall, CTUP-4 exhibits superior performance compared to existing techniques in non-cooperative scenarios.

Refer to caption
(a) The distribution of gathered latitude and longitude readings.
Refer to caption
(b) The distribution of RSS measurements.
Figure 9: The distribution of gathered experimental data: a) anchor location readings, and b) RSS measurements.

V-B Complexity comparison

The computational complexity of localization techniques is provided in Table III. We consider only the dominant elements to compute the computational complexity to ensure consistency with compared localization techniques [16, 17, 18, 19, 20, 21, 22, 23]. In Table III, we compute the CPU runtime of all techniques in MATLAB R2021a using an Intel(R) Xeon(R) W-2245 CPU @ 3.90GHz processor with 64GB RAM. RLBM and RWLS-AE are non-cooperative iterative techniques, whereas IRGDL is a cooperative technique utilizing gradient descent. Therefore, in Table III, we employ two distinct notations to represent the number of iterations required for convergence. For RLBM and RWLS-AE, ijitrsuperscriptsubscript𝑖𝑗itri_{j}^{\text{itr}}italic_i start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT itr end_POSTSUPERSCRIPT denotes the iteration count necessary for the jthsuperscript𝑗thj^{\text{th}}italic_j start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT target node to converge. In IRGDL, kitrsuperscript𝑘itrk^{\text{itr}}italic_k start_POSTSUPERSCRIPT itr end_POSTSUPERSCRIPT denotes the number of steps taken for gradient descent to achieve convergence. T1subscriptT1\text{T}_{1}T start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and T2subscriptT2\text{T}_{2}T start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT represent the CPU running time of the localization techniques for NW-1 and NW-2, respectively. It can be observed in Table III that MSL has the least complexity, however, it exhibits significantly poor localization accuracy (refer Fig. 2). Non-cooperative techniques usually have high computational complexity since they are required to solve an SDP problem for each target node. IRGDL benefits from the simplicity of gradient descent, with its computational complexity increasing linearly in accordance with the network’s size. Nevertheless, it demonstrates poor performance, as can be observed in Fig. 1. The computational complexity of SDP-2subscript2\ell_{2}roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT scales proportionally to Nt8.5superscriptsubscript𝑁𝑡8.5N_{t}^{8.5}italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 8.5 end_POSTSUPERSCRIPT, whereas CTUPs exhibit a computational complexity of Nt6.5similar-toabsentsuperscriptsubscript𝑁𝑡6.5\sim N_{t}^{6.5}∼ italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6.5 end_POSTSUPERSCRIPT, making them suitable for dense networks. However, CTUP-2 and CTUP-4 require additional time as they leverage links between anchor nodes prior to solving the mixed SDP-SOCP problem. CTUP-3 takes slightly longer than CTUP-1 due to the additional step of extracting the estimate of the transmit power. In comparison to FCUP, the CTUPs have marginally higher CPU runtime. However, this trade-off allows them to address the impact of anchor location uncertainty effectively and also consider scenarios where PLE is unknown (refer Section III-D), leading to enhanced performance (refer Fig. 3 and Fig. 5).

V-C Experimental results

Real-world network experiments are significant for the implementation and analysis of cooperative localization techniques [53]. We carried out extensive real-field experiments to further validate the effectiveness of localization techniques. We use the RAK 4631 [54] to establish a Bluetooth low energy (BLE) mesh network employing an omnidirectional BLE antenna with a gain of 2 dBi [55]. The RSS measurements among the nodes are uploaded to the data center using a LoRa transceiver. The precise location of the nodes, accurate to the centimeter level, is obtained using real-time kinematic (RTK) GPS, serving as the ground truth. We also collected the location of the anchor nodes using standard GPS, providing meter-level accuracy. The imprecision associated with these readings is referred to as “anchor location uncertainty”. Each node is equipped with a solar panel and a lithium battery to ensure long-term operation. The nodes are mounted on aluminium poles, each standing at a height of 1 meter. Across a vast outdoor expanse measuring 640×180m2640180superscript𝑚2640\times 180~{}m^{2}640 × 180 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, we deploy a total of 50 nodes. The photographs of the experiment site and the node are shown in Fig. 7.

TABLE IV: Parameters of the experimental site.
Area (in m2superscript𝑚2m^{2}italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) 640×180m2640180superscript𝑚2640\times 180~{}m^{2}640 × 180 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Number of nodes 50
Received RSS readings per link 500similar-toabsent500\sim 500∼ 500
The nodes’ height 1 m
Transmit power (in dBm) -3.59
PLE 3.27
Average noise standard deviation (in dB) 2.47
Average anchor location uncertainty (in m) 1.53

Although the transmit power and PLE are not required for CTUP-4, these parameters are essential to implement other localization techniques. To obtain the transmit power of the nodes and PLE, we placed 9 nodes in a straight-line configuration. One node is configured as the BLE transmitter, and the remaining nodes are the BLE listener. Fig. 8 shows the variation of RSS as a function of distance. We estimated the transmit power of the node and PLE by applying the log-normal model (refer (1a)) to the dataset. The network details are shown in Table IV.

We gathered approximately 100 location readings of a node using a standard GPS, while the precise location was determined using RTK GPS. Fig. 9(a) showcases the deviations in latitude and longitude of the GPS data compared to the precise location. We employed the MATLAB routine histogram(data,Nb,‘Normalization’,‘pdf’)𝑖𝑠𝑡𝑜𝑔𝑟𝑎𝑚𝑑𝑎𝑡𝑎subscript𝑁𝑏‘Normalization’‘pdf’histogram(data,N_{b},\text{`Normalization'},\text{`pdf'})italic_h italic_i italic_s italic_t italic_o italic_g italic_r italic_a italic_m ( italic_d italic_a italic_t italic_a , italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , ‘Normalization’ , ‘pdf’ ) to normalize the counts within each bin, where data𝑑𝑎𝑡𝑎dataitalic_d italic_a italic_t italic_a represents the readings of interest, and Nbsubscript𝑁𝑏N_{b}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT stands for the number of bins. We select Nbsubscript𝑁𝑏N_{b}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT employing Sturges’ rule [56, 57]: Nb=1+log2(Nd)subscript𝑁𝑏1subscript2subscript𝑁𝑑N_{b}=\lceil 1+\log_{2}(N_{d})\rceilitalic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = ⌈ 1 + roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) ⌉, where Ndsubscript𝑁𝑑N_{d}italic_N start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT denotes the total sample size, and \lceil\cdot\rceil⌈ ⋅ ⌉ represents the ceiling function. Our dataset comprises of 100 location readings from a single GPS node, hence, Nbsubscript𝑁𝑏N_{b}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is set to be 8 bins. In Fig. 9(a), the mean deviation for latitude is -0.11 m, and for longitude, it is 0.29 m. Moreover, the standard deviation for longitude and latitude measurements is similar-to\sim1.53 m. Therefore, Fig. 9(a) demonstrates that the anchor location uncertainties for both latitude and longitude follow a common zero-mean Gaussian distribution, affirming the efficacy of our considered model (1b). Fig. 9(b) depicts the distribution of 500 RSS readings from a BLE communication link. The mean value and standard deviation are -70.43 dBm and 2.57 dB, respectively. Given the distance between the two nodes as 86.23 m, utilizing (1a) and parameters from Table IV, the mean value and standard deviation of RSS measurements in this link are computed as -66.88 dBm and 2.47 dB, respectively. These values align with Fig. 9(b), affirming the effectiveness of our approach in obtaining experimental parameters. In addition, Fig. 9(b) demonstrates that RSS measurements follow a Gaussian distribution. Moreover, as RSS measurements and anchor locations are mutually independent, the efficacy of (II) can be confirmed.

The performance of localization techniques is evaluated using the experimental data, with each node receiving a minimum of 500 readings. Fig. 10 displays the topology of the network consisting of 50 nodes.

Refer to caption
Figure 10: The network utilized in the experiment, comprising 50 nodes.
Refer to caption
(a) NRMSE of location estimate as a function of the number of anchor nodes.
Refer to caption
(b) NRMSE of transmit power estimate as a function of the number of anchor nodes.
Refer to caption
(c) NRMSE of PLE estimate as a function of the number of anchor nodes.
Figure 11: Localization performance as a function of anchor node numbers utilizing experimental data.
Refer to caption
(a) NRMSE of location estimate as a function of the number of target nodes.
Refer to caption
(b) NRMSE of transmit power estimate as a function of the number of target nodes.
Refer to caption
(c) NRMSE of PLE estimate as a function of the number of target nodes.
Figure 12: Localization performance as a function of target node numbers using experimental data.

V-C1 Effect of the number of anchor nodes

In this study, we randomly selected 10 target nodes to explore the impact of varying the number of anchor nodes on the location algorithms. In Fig. 11(a), we present the performance of the localization technique as a function of the number of anchor nodes (Nasubscript𝑁𝑎N_{a}italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT). LSRE-Shi, SDP-Zou, RLBM, and MSL are excluded from Fig. 11(a) due to their poor performance. Fig. 11(a) demonstrates that the increase in the number of anchor nodes tends to decrease the NRMSE of the location estimate. Non-cooperative techniques fail to achieve high accuracy since they cannot leverage the target-target links. CTUP-4 outperforms FCUP and SDP-l2subscript𝑙2l_{2}italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT by effectively mitigating the impact of anchor location uncertainty. IRGDL exhibits marginally superior performance compared to CTUP-4 at Na=10subscript𝑁𝑎10N_{a}=10italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = 10; however, as Nasubscript𝑁𝑎N_{a}italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT increases, IRGDL’s performance deteriorates. This occurs since the error induced by the invex relaxation method escalates alongside the growing number of available links, resulting in a situation where IRGDL gains fewer benefits from the increased number of anchor nodes compared to SDP-based techniques.

We utilize the transmit power and PLE presented in Table IV as ground truths to evaluate the accuracy of localization techniques in estimating transmit power and PLE. The accuracy of the transmit power estimate with respect to the of number anchor node is depicted in Fig. 11(b). From Fig. 11(b) it can be observed that CTUP-4 outperforms RWLS-AE and FCUP across all considered scenarios. In Fig. 11(c), we compare the NRMSEβsubscriptNRMSE𝛽\text{NRMSE}_{\beta}NRMSE start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT of CTUP-4 with that of RWLS-AE as a function of the number of anchor nodes, with CTUP-4 demonstrating superior performance.

V-C2 Effect of the number of target nodes

Fig. 12(a) displays the performance of the location techniques as the number of target nodes is increased. Non-cooperative techniques are not included as they cannot leverage the target-target links. A tendency of performance enhancement is observed with the rising number of target nodes due to additional RSS measurements obtained from new links. CTUP-4 shows the best performance in comparison to other techniques. In Fig. 12(b), CTUP-4 demonstrates superior performance compared to existing localization techniques. While CTUP-4 uniquely possesses the capability to estimate PLE among cooperative techniques (refer to Table I), we present its performance in Fig. 12(c). It’s noteworthy that the performance enhancement resulting from an increased number of target nodes is less significant compared to the improvements obtained from expanding the number of anchor nodes. This disparity arises because, with an increase in target nodes, more decision variables (such as the location and transmit power of new nodes) are introduced to the optimization problem.

VI Conclusion

In this paper, we have addressed cooperative RSS-based localization in scenarios involving unknown transmit power, PLE, and anchor location uncertainty. We have proposed localization techniques (CTUPs) using mixed SDP-SOCP to jointly estimate target nodes’ location, transmit power, and PLE. The reformulation of the ML estimator employs Taylor expansion, SDR, and the epigraph method, leveraging the accuracy of SDP and the computational efficiency of SOCP. We have carried out comprehensive simulations to demonstrate CTUPs’ superior performance in terms of estimation accuracy and computational complexity compared to existing localization techniques. We have conducted extensive real-field experiments to curate an indigenous dataset encompassing RSS measurements among 50 nodes (with anchor location uncertainty) and further validate the effectiveness of CTUPs. Our future work will focus on develo** localization techniques in the presence of malicious nodes, aiming to enhance robustness and security in cooperative localization.

References

  • [1] S. Chen, B. Liu, C. Feng, C. Vallespi-Gonzalez, and C. Wellington, “3D point cloud processing and learning for autonomous driving: Impacting map creation, localization, and perception,” IEEE Signal Process. Mag., vol. 38, no. 1, pp. 68–86, Jan. 2021.
  • [2] Y. Zou, H. Liu, and Q. Wan, “Joint synchronization and localization in wireless sensor networks using semidefinite programming,” IEEE Internet Things J., vol. 5, no. 1, pp. 199–205, Feb. 2018.
  • [3] X. Ma, B. Hao, H. Zhang, and P. Wan, “Semidefinite relaxation for source localization by TOA in unsynchronized networks,” IEEE Signal Process. Lett., vol. 29, pp. 622–626, Feb. 2022.
  • [4] A. Pandey, P. Tiwary, S. Kumar, and S. K. Das, “Fadeloc: Smart device localization for generalized κμ𝜅𝜇{\kappa{-}\mu}italic_κ - italic_μ faded IoT environment,” IEEE Trans. Signal Process., vol. 70, pp. 3206–3220, Jun. 2022.
  • [5] M. Z. Win, F. Meyer, Z. Liu, W. Dai, S. Bartoletti, and A. Conti, “Efficient Multisensor Localization for the Internet of Things: Exploring a New Class of Scalable Localization Algorithms,” IEEE Signal Process. Mag., vol. 35, no. 5, pp. 153–167, Sep. 2018.
  • [6] T. Stoyanova, F. Kerasiotis, C. Antonopoulos, and G. Papadopoulos, “RSS-based localization for wireless sensor networks in practice,” in 2014 9th International Symposium on Communication Systems, Networks & Digital Sign (CSNDSP), Jul. 2014, pp. 134–139.
  • [7] M. Z. Win, A. Conti, S. Mazuelas, Y. Shen, W. M. Gifford, D. Dardari, and M. Chiani, “Network localization and navigation via cooperation,” IEEE Commun. Mag., vol. 49, no. 5, pp. 56–62, May. 2011.
  • [8] Z. Liu, W. Dai, and M. Z. Win, “Mercury: An Infrastructure-Free System for Network Localization and Navigation,” IEEE Trans. Mob. Comput., vol. 17, no. 5, pp. 1119–1133, May. 2018.
  • [9] Y. Sun, K. C. Ho, and Q. Wan, “Eigenspace solution for AOA localization in modified polar representation,” IEEE Trans. Signal Process., vol. 68, pp. 2256–2271, Mar. 2020.
  • [10] X. Ma, B. Hao, H. Zhang, and P. Wan, “Semidefinite relaxation for source localization by TOA in unsynchronized networks,” IEEE Signal Process. Lett., vol. 29, pp. 622–626, Feb. 2022.
  • [11] K. C. Ho and T.-K. Le, “Integrating AOA with TDOA for joint source and sensor localization,” IEEE Trans. Signal Process., vol. 71, pp. 2087–2102, May. 2023.
  • [12] B. Mukhopadhyay, S. Srirangarajan, and S. Kar, “RSS-based cooperative localization and edge node detection,” IEEE Trans. Veh. Technol., vol. 71, no. 5, pp. 5387–5403, Feb. 2022.
  • [13] A. Coluccia and A. Fascista, “On the hybrid TOA/RSS range estimation in wireless sensor networks,” IEEE Trans. Wirel. Commun., vol. 17, no. 1, pp. 361–371, Jan. 2018.
  • [14] R. M. Vaghefi, M. R. Gholami, R. M. Buehrer, and E. G. Strom, “Cooperative received signal strength-based sensor localization with unknown transmit powers,” IEEE Trans. Signal Process., vol. 61, no. 6, pp. 1389–1403, Dec. 2013.
  • [15] S. Yang, G. Wang, Y. Hu, and H. Chen, “Robust differential received signal strength based localization with model parameter errors,” IEEE Signal Process. Lett., vol. 25, no. 11, pp. 1740–1744, Nov. 2018.
  • [16] J. Shi, G. Wang, and L. **, “Least squared relative error estimator for RSS based localization with unknown transmit power,” IEEE Signal Process. Lett., vol. 27, pp. 1165–1169, Jun. 2020.
  • [17] Y. Sun, S. Yang, G. Wang, and H. Chen, “Robust RSS-based source localization with unknown model parameters in mixed LOS/NLOS environments,” IEEE Trans. Veh. Technol., vol. 70, no. 4, pp. 3926–3931, Mar. 2021.
  • [18] Y. Zou and H. Liu, “RSS-based target localization with unknown model parameters and sensor position errors,” IEEE Trans. Veh. Technol., vol. 70, no. 7, pp. 6969–6982, Jun. 2021.
  • [19] H. Lohrasbipeydeh and T. A. Gulliver, “RSSD-based MSE-SDP source localization with unknown position estimation bias,” IEEE Trans. Commun., vol. 69, no. 12, pp. 8416–8428, Sep. 2021.
  • [20] X. Mei, Y. Chen, X. Xu, and H. Wu, “RSS localization using multistep linearization in the presence of unknown path loss exponent,” IEEE Sens. Lett., vol. 6, no. 8, pp. 1–4, Aug. 2022.
  • [21] B. Mukhopadhyay, S. Srirangarajan, and S. Kar, “Invex relaxation based cooperative localization using RSS measurements,” IEEE Trans. Commun., vol. 70, no. 8, pp. 5482–5497, Jun. 2022.
  • [22] Q. Wang, Z. Duan, and F. Li, “Semidefinite programming for wireless cooperative localization using biased RSS measurements,” IEEE Commun. Lett., vol. 26, no. 6, pp. 1278–1282, Apr. 2022.
  • [23] Y. Li, B. Mukhopadhyay, and M.-S. Alouini, “RSS-based cooperative localization and transmit power(s) estimation using mixed SDP-SOCP,” IEEE Trans. Veh. Technol., pp. 1–6, Jul. 2023.
  • [24] H. C. So and L. Lin, “Linear least squares approach for accurate received signal strength based source localization,” IEEE Trans. Signal Process., vol. 59, no. 8, pp. 4035–4040, Aug. 2011.
  • [25] G. Wang and K. Yang, “A new approach to sensor node localization using RSS measurements in wireless sensor networks,” IEEE Trans. Wireless Commun., vol. 10, no. 5, pp. 1389–1395, Mar. 2011.
  • [26] C. Soares, J. Xavier, and J. Gomes, “Simple and fast convex relaxation method for cooperative localization in sensor networks using range measurements,” IEEE Trans. Signal Process., vol. 63, no. 17, pp. 4532–4543, Jul. 2015.
  • [27] N. Piovesan and T. Erseghe, “Cooperative localization in WSNs: A hybrid convex/nonconvex solution,” IEEE Trans. Signal Inf., vol. 4, no. 1, pp. 162–172, Dec. 2018.
  • [28] S. Chang, Y. Li, H. Wang, W. Hu, and Y. Wu, “RSS-based cooperative localization in wireless sensor networks via second-order cone relaxation,” IEEE Access, vol. 6, pp. 54 097–54 105, Sep. 2018.
  • [29] K. N. R. S. V. Prasad and V. K. Bhargava, “Rss localization under gaussian distributed path loss exponent model,” IEEE Wireless Communications Letters, vol. 10, no. 1, pp. 111–115, 2021.
  • [30] Z. Wang, H. Zhang, T. Lu, and T. A. Gulliver, “Cooperative RSS-based localization in wireless sensor networks using relative error estimation and semidefinite programming,” IEEE Trans. Veh. Technol., vol. 68, no. 1, pp. 483–497, Nov. 2019.
  • [31] H. Xiong, M. Peng, S. Gong, and Z. Du, “A novel hybrid RSS and TOA positioning algorithm for multi-objective cooperative wireless sensor networks,” IEEE Sens. J., vol. 18, no. 22, pp. 9343–9351, Sep. 2018.
  • [32] N. Saeed, A. Celik, T. Y. Al-Naffouri, and M.-S. Alouini, “Localization of energy harvesting empowered underwater optical wireless sensor networks,” IEEE Trans. Wireless Commun., vol. 18, no. 5, pp. 2652–2663, May. 2019.
  • [33] J. Choi, “Sensor-aided learning for Wi-Fi positioning with beacon channel state information,” IEEE Trans. Wireless Commun., vol. 21, no. 7, pp. 5251–5264, Jul. 2022.
  • [34] A. Nagy, T. Bigler, A. Treytl, R. Stenzl, S. Wilker, T. Sauter, and T. Wien, “RSS-based localization for directional antennas,” in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, Sep. 2020, pp. 774–781.
  • [35] M. K. Simon and M.-S. Alouini, Digital Communication over Fading Channels.   New York: Wiley, 2001.
  • [36] J. Miranda, R. Abrishambaf, T. Gomes, P. Gonçalves, J. Cabral, A. Tavares, and J. Monteiro, “Path loss exponent analysis in wireless sensor networks: Experimental evaluation,” in 2013 11th IEEE International Conference on Industrial Informatics (INDIN), Jul. 2013, pp. 54–58.
  • [37] S.-H. Kim, S.-W. Moon, D.-G. Kim, M. Ko, and Y.-H. Choi, “A neural network-based path loss model for bluetooth transceivers,” in 2022 International Conference on Information Networking (ICOIN), Jan. 2022, pp. 446–449.
  • [38] S. Sun, T. S. Rappaport, T. A. Thomas, A. Ghosh, H. C. Nguyen, I. Z. Kovács, I. Rodriguez, O. Koymen, and A. Partyka, “Investigation of prediction accuracy, sensitivity, and parameter stability of large-scale propagation path loss models for 5G wireless communications,” IEEE Trans. Veh. Technol., vol. 65, no. 5, pp. 2843–2860, May. 2016.
  • [39] M. R. Gholami, R. M. Vaghefi, and E. G. Ström, “RSS-based sensor localization in the presence of unknown channel parameters,” IEEE Trans. Signal Process., vol. 61, no. 15, pp. 3752–3759, Aug. 2013.
  • [40] L. Wu, D. He, B. Ai, J. Wang, H. Qi, K. Guan, and Z. Zhong, “Artificial neural network based path loss prediction for wireless communication network,” IEEE Access, vol. 8, pp. 199 523–199 538, Nov. 2020.
  • [41] Y. Xu, J. Zhou, and P. Zhang, “RSS-based source localization when path-loss model parameters are unknown,” IEEE Commun. Lett., vol. 18, no. 6, pp. 1055–1058, Jun. 2014.
  • [42] A. G. Dempster and E. Cetin, “Interference localization for satellite navigation systems,” Proc. IEEE, vol. 104, no. 6, pp. 1318–1326, Jun. 2016.
  • [43] H. Lohrasbipeydeh, T. A. Gulliver, and H. Amindavar, “Unknown transmit power RSSD based source localization with sensor position uncertainty,” IEEE Trans. Commun., vol. 63, no. 5, pp. 1784–1797, May. 2015.
  • [44] P. Barsocchi, S. Lenzi, S. Chessa, and G. Giunta, “A novel approach to indoor RSSI localization by automatic calibration of the wireless propagation model,” in VTC Spring 2009 - IEEE 69th Vehicular Technology Conference, Apr. 2009, pp. 1–5.
  • [45] H. Lim, L.-C. Kung, J. C. Hou, and H. Luo, “Zero-configuration, robust indoor localization: Theory and experimentation,” in Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications, Apr. 2006, pp. 1–12.
  • [46] A. Coluccia and F. Ricciato, “On ML estimation for automatic RSS-based indoor localization,” in IEEE 5th International Symposium on Wireless Pervasive Computing 2010, May. 2010, pp. 495–502.
  • [47] S. M. Kay, Fundamentals of Statistical Signal Processing.   Prentice Hall PTR, 1993.
  • [48] L. Vandenberghe and S. Boyd, “Semidefinite programming,” SIAM review, vol. 38, no. 1, pp. 49–95, 1996.
  • [49] M. Grant and S. Boyd, “CVX: Matlab software for disciplined convex programming, version 2.1,” http://cvxr.com/cvx, Mar. 2014.
  • [50] N. Patwari, J. Ash, S. Kyperountas, A. Hero, R. Moses, and N. Correal, “Locating the nodes: cooperative localization in wireless sensor networks,” IEEE Signal Process. Mag., vol. 22, no. 4, pp. 54–69, Jul. 2005.
  • [51] S. Tomic et al., “RSS-based localization in wireless sensor networks using convex relaxation: Noncooperative and cooperative schemes,” IEEE Trans. Veh. Technol., vol. 64, no. 5, pp. 2037–2050, Jul. 2015.
  • [52] Y. Zou and H. Liu, “Semidefinite programming methods for alleviating clock synchronization bias and sensor position errors in TDOA localization,” IEEE Signal Process. Lett., vol. 27, pp. 241–245, Jan. 2020.
  • [53] A. Conti, M. Guerra, D. Dardari, N. Decarli, and M. Z. Win, “Network Experimentation for Cooperative Localization,” IEEE J. Sel. Areas Commun., vol. 30, no. 2, pp. 467–475, Feb. 2012.
  • [54] T. N. Nguyen, “Development of wireless sensor network to detect lameness in dairy cows,” Ph.D. dissertation, Massachusetts Institute of Technology, 2022.
  • [55] T. G. H. Ltd. (2018, May.) Specification of GW.11.A153. [Online]. Available: https://cdn.taoglas.com/datasheets/GW.11.A153.pdf
  • [56] H. A. Sturges, “The choice of a class interval,” Journal of the american statistical association, vol. 21, no. 153, pp. 65–66, 1926.
  • [57] D. W. Scott, “Sturges’ rule,” Wiley Interdisciplinary Reviews: Computational Statistics, vol. 1, no. 3, pp. 303–306, 2009.