<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Unsimultaneous Time of Arrival Multipath-Based Localization and Mapping</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Conghua Chen</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ao Peng</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Xuemin Hong</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>School of Informatics, Xiamen University</institution>
          ,
          <addr-line>Xiamen</addr-line>
          ,
          <country country="CN">China</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Indoor positioning based on time of arrival (TOA) can be a huge challenge. The complexity and uncertainty of data association (DA) due to the multipath efect and the visibility of anchor observation due to continuous terminal movement are important issues to be addressed by current indoor positioning algorithms. Multipath-assisted localization treats the reflected signal received at the base station as the direct signal received at the virtual anchor point (VA), which can significantly improve the multipath interference problem. Unlike traditional multipath SLAM, anchors in the scenario are firstly estimated in a training set when the terminal locations are known using Feature mapping single clusterprobabilistic hypothesis density (FMSC-PHD) filtering. Then the terminal localization are solved with a factor graph based belief propagation (BP) algorithm based on the estimated anchors. Experimental results demonstrate the excellent performance of the algorithm in mapping and localization.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Indoor positionings</kwd>
        <kwd>TOA</kwd>
        <kwd>PHD</kwd>
        <kwd>RFS</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>With the repaid development of mobile equipment and 5G networks, indoor positioning and
location-based services provide us with more convenience and raise many new requirements.
The applications for indoor positioning are very promising, including robotics[1], Internet of
Things[2], location-aware communication[3] and so on, all have a large demand. The indoor
environment has severe shading, multipath efect, and Doppler efect, which severely limit the
accuracy and reliability of positioning. In recent years, many solutions have also been derived
including inertial guidance, geomagnetic, LiDAR, radio, and other measurement sources that
can be used for localization[4]. Among them, radio signals have become the focus of research
with their advantages of easy deployment, wide applicability, and low cost.</p>
      <p>Wireless signals like Bluetooth, UWB, Wi-Fi, and other positioning information source are
widely available in our indoor space[5]. Currently, there are two major radio-based localization
approaches[2, 6, 7]: fingerprint-based and geometry-based methods. Fingerprinting localization
is a method of correlating the specific location with signal features[ 8]. On the other hand, the
geometry-based approach has great potential for generalization. Geometric methods consist
of range-based and angle-based methods. TOA based on the time of arrival and AoA based
on the angle of arrival is commonly used measurements respectively. Although it can solve
the problems of spatial consistency in indoor positioning, it requires high angular resolution
of terminals[8]. This means that to achieve better accuracy, the complexity and cost of the
equipment will be greatly increased. In contrast, TOA is a very accessible measurement that
requires only very simple equipment to obtain observations of considerable accuracy. TOA is
currently the most likely option for large-scale deployment.</p>
      <p>Multipath-assisted positioning[9, 10] is one of the best solutions for indoor positioning to
solve the multipath efect. It assumes that the walls are all smooth, so the multipath components
are the specular reflection. Specular reflection components are generated in the process of
transmitting radio signals from the mobile terminal to the base station, and they are equivalent to
the Line of Sight(LOS) signals generated by the VAs. Multipath-assisted localization transforms
the previous multipath interference into LOS path signals sent by multiple virtual base stations.
Multipath-assisted localization takes full advantage of the geometric properties of space, not only
overcoming multipath interference but also adding many useful signal sources for localization.</p>
      <p>Although multipath-assist localization can take full advantage of the otherwise interfering
multipath reflection components, there are still some problems with the accuracy and complexity
of DA and visibility of anchors in the region of interest. Since there is no distinguishability
among multipath components, we cannot know the relation between anchors and multipath
components. TOA-based indoor localization requires anchors’ position and their corresponding
measurements to solve the location of the terminals. Therefore, a method to solve DA is needed.
In addition, the indoor environments are often heavily obscured, which can cause visibility
problems the terminal may not observe the PAs and VAs when it moves.</p>
      <p>Our approach is divided into two phases, first estimating the anchor in the environment using
FMSC-PHD, and then localizing the terminal when the anchor prior information is available.
Our method split into two phases since it is dificult for SC-PHD to perform SLAM with only
TOA observations[11]. When SLAM is performed by SC-PHD, the estimated localization of the
terminal depends on being able to estimate the approximate location of the anchors in a short
time. Estimated the accurate position of anchors needs a process to convergence when SC-PHD
is performed on SLAM with only TOA metric. This means that neither the terminals nor the
anchors can be reliably located. Even though [12, 13] solved this problem to some extent, it is
still limited by the observation of the LOS component. Therefore, by adding terminal locations
as a priori information in the training set, FMSC-PHD can estimate the location of anchors in
the scenario using the terminal locations and TOA.</p>
      <p>FMSC-PHD is a filter method extended from PHD[ 14] and SC-PHD[15, 16] which directly
avoids the complex DA process and solves the uncertainty problem of it. In addition, FMSC-PHD
uses the RFS for modeling anchors in the scenario, which solves the problem of the visibility
of the anchor during the motion of the terminal. After estimating the anchors’ position in the
training set, the localization of the terminal in this indoor scenario can be reduced to the DA
between TOA observations and estimated anchors and the estimation of the terminal positioning
based on the mapping result. We build a probabilistic model of DA and terminal positioning
based on factor graphs and solve it with the BP algorithm. The BP algorithm running on factor
graphs has a great advantage for solving edge probabilities and is suitable for solving DA and
location estimation.</p>
      <p>Key innovative contributions of this paper include the following:</p>
      <p>Terminal
• We divide the complex SLAM process into two independent processes, first using
FMSCPHD to obtain the features of the scenario such as PAs/VAs, and then performing terminal
positioning based on these estimated anchors. The limitations of SC-PHD in TOA
measurements are avoided, and the complexity of the system is reduced at the same time.
• We build a Bayesian model based on FMSC-PHD filtering to represent PA/VA in the form
of RFS, which well solves the problem of visibility of anchor during terminal moving. the
FMSC-PHD inherited from PHD filtering also avoids the process of DA
• Our proposed algorithm is verified through simulation experiments, and the experimental
results demonstrate the high accuracy and scalability of our algorithm.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Problem Formulation</title>
      <p>As shown in Fig.1, we consider a static PA as a receiver and a mobile terminal as a transmitter
in a two-dimensional space (2-D). The terminal is constantly transmitting signals to the base
station during the movement. The base station is also receiving multipath signals to extract TOA
parameters. In multipath-assisted localization, a PA in a scenario may correspond to multiple
mirrored VAs. From the principle of geometric optics, it is known that in the premise of specular
reflection, the reverse extension of the reflected signal intersects with the wall-normal through
PA at the same point, which is the mirror point of PA, and the linear distance between the
terminal and the mirror point is equal to the reflected signal propagation distance. We only
consider first-order reflections, and subsequently no longer make a strict distinction between
PA and VAs.</p>
      <p>The state of the mobile terminal at step k is represented by a vector xk = [pk, vk], where
pk = [xk,1, xk,2] denotes position and vk = [vk,1, vk,2] denotes speed. The position of the nth
static anchor at step k can be expressed as mk,n = [mk,1, mk,n,2]. During the movement of the
terminal, encountering obstacles and long distances may lead to missed detections, and new
anchors may be detected at the same time, which causes visibility problems. The number of
anchors which can be observed by the terminal is variable. RFS is suitable for representing such
a variable number of observed anchors. Hence all anchor nodes observed at each moment can
be represented as an RFS, with each set element representing a random variable of the anchor
distribution. The cardinality of RFS represents the number of anchors at the moment. The RFS
containing all environmental features at step k can then be expressed as</p>
      <p>Mk = Mk−1 ∪ Bk = {︀ mk,1, . . . , mk,|Mk|︀} ,
where Mk−1 = {mk,1, ..., mk,nk } is anchor set survive at step k-1, Bk represents newly
detected anchors set. Bk can be modeled as a Possion point process with intensity bk = μkI (·)
where I (·) is the distribution of new birth anchors and the new birth rate μk means the average
number of new birth anchors.
equation can be express as</p>
      <p>Assuming terminal moving with constant velocity obeys a linear Gaussian model. Its state
xk = Fxk−1 + Guk−1 =
︂[ I2
02</p>
      <p>I
2
ΔT · I2]︂ xk−1 +
︂[ ΔT 2 · I2 ]︂</p>
      <p>2
ΔT · I2
uk−1,
where uk−1 is accelerate noise, IN and 0N represents N dimension identity matrix and zero
matrix respectively, ΔT represents the sample period.</p>
      <p>
        Assume that an anchor corresponds to only one multipath component. Since wireless signals
are multipath propagated in indoor space, we can solve the parameters corresponding to diferent
multipath signals from the received signals. Provided that clocks between the terminal and base
station are synchronized, the signal s (t) received by the base station from the terminal r (t)
can be expressed as
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
(
        <xref ref-type="bibr" rid="ref5">5</xref>
        )
|Mk|
n=1
rk (t) = ∑︁
wn,ks (t − τn,k) + dk (t) + nAW GN (t).
      </p>
      <p>Zk = Z(xk, Mk) ∪ Ck.</p>
      <p>The first term on the right-hand side of the equation represents |Mk| multipath component
at step k. It can be considered the signal received by diferent anchors at step k.
wn,k and
τn,k represents the nth multipath component complex amplitude and latency respectively. In
the ideal case the time delay is in proportional to the distance, which can be expressed as
τn,k = ‖xk − mk,n‖ /c, where c is the speed of light. The second term dk(t) represents the
scattering components which afect the observation of specular reflections in the form of false
alarms. The last term nAW GN (t) is additive Gaussian white noise(AWGN). Based on the signal
model, the measurement nth zk,n between terminal and anchors can define as
zk,n =
︁√</p>
      <p>(xk,1 − mk,n,1)2 + (xk,2 − mk,n,2)2 + nk,n,
where nk,n is the observation noise. Since the number of observations at step k is in dependent
on the detected anchors and false alarms. Hence the RFS of observation can be defined as
The observations at step k consist of two sets. One is the TOA-based observation of the distance
with added noise. The miss-detection is mainly represented by the number of sets that may be
less than the number of current anchor points. The second represents the set Ck of false alarm
measurements caused by the scattering component. Ck can be considered as a Poisson point
process with intensity c(z) = λcU (z), where λc is the false alarm rate (also understood as the
average number of false alarms), and U (z) denotes a uniform distribution of false alarms over
the detection range.</p>
      <p>The anchors estimated in the training set can assist the mobile terminal positioning. State
equation and measurement equation identical to those of the previous training set. The problem
of terminal localization then reduce to DA and location estimation. DA is described by two
vectors - a feature-oriented vector ak,i and an observation-oriented vector bk,m.
ak,i =
bk,m =
0</p>
      <p>0
︃{ m ∈ ℳ k , ith anchor generate mth measurement</p>
      <p>, miss detect ith anchor
︃{ i ∈ ℐ k , mth anchor generate ith measurement</p>
      <p>, mth measurement is false alarm
where ℳ</p>
      <p>k and ℐ k correspond to measurement set and anchor set, respectively.</p>
      <p>After obtaining the probability distribution of the DA, the prediction and update formulas of
the Bayesian filter can be used to recursively work out the distribution of the real-time terminal
location distribution. The Bayesian filter is updated in real-time, so the terminal positions can
be estimated in real time.</p>
    </sec>
    <sec id="sec-3">
      <title>3. Mapping scenario Via FMSC-PHD</title>
      <p>We first estimate the anchors in the scenario using FMSC-PHD. In the training set, the state
of the terminal is known, which can simplify the otherwise more complex SC-PHD that is
more applicable to our problem formulation. We also give the Monte Carlo implementation for</p>
      <sec id="sec-3-1">
        <title>FMSC-PHD.</title>
        <p>According to SC-PHD[15], the prediction of terminal and anchors can be written as
Dk|k−1 (︀ xk|k−1, mk|k−1)︀ =
︁∫</p>
        <p>
          D˜ k|k−1 (︀ mk|k−1|xk−1)︀
× sk−1 (xk−1) φk|k−1 (︀ xk|k−1|xk−1)︀ dxk−1
(
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
where sk−1 (xk−1) is terminal probabilistic distribution at step k-1 and φk|k−1 (︀ xk|k−1|xk−1)︀
is terminal state dynamics follow Markov process. D˜ k|k−1 (︀ mk|k−1|xk−1)︀ is anchors’ PHD
conditioned on terminal state at step k.
        </p>
        <p>
          The terminal state of the training set is known so that FMSC-PHD filter prediction can be
generated from (
          <xref ref-type="bibr" rid="ref6">6</xref>
          ). With the help of the sample property of the Dirac delta function, terminal
probability distribution s (xk) also can be used for the case where the terminal state is known,
i.e.
        </p>
        <p>
          ′
sk (xk) = δ (︁ xk − x )︁
k
where δ (·) is Dirac delta function. Substituting (
          <xref ref-type="bibr" rid="ref7">7</xref>
          ) into (
          <xref ref-type="bibr" rid="ref6">6</xref>
          ) and according to sampling property
of Dirac delta function, the joint PHD of terminal and anchors can be write as
Dk|k−1 (︀ xk|k−1, mk|k−1)︀ = φk|k−1
︁( xk|k−1|xk−1
′ )︁ D˜ k|k−1
        </p>
        <p>′ )︁
︁( mk|k−1|xk−1</p>
        <p>
          According to (
          <xref ref-type="bibr" rid="ref8">8</xref>
          ), it can be seen that the joint FMSC-PHD of terminal and anchors predictions
at step k is the state transition equation multiplied by the prediction of conditional PHD of
anchors. When the state of the terminal is known, the terminal state at both step k-1 and
step k is a fixed value, and both can be described by a Dirac delta function like (
          <xref ref-type="bibr" rid="ref7">7</xref>
          ). Because
the uncertainty in the terminal locations is eliminated, the state transition equation does not
impact the anchor’s PHD prediction. Therefore, this joint distribution only needs to consider
the conditional PHD of anchors in a scenario where the terminal state is known. Hence the
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>FMSC-PHD prediction can be represented as</title>
        <p>′
Dk|k−1 (︀ xk|k−1, mk|k−1)︀ = δ (︁ xk|k−1 − xk|k−1
︁) D˜ k|k−1
︁( mk|k−1|x′k−1)︁ .</p>
        <p>With previous processing, the prediction of FMSC-PHD was transformed into the prediction
D˜ k|k−1 (︀ mk|k−1|xk−1)︀ in step k can be specifically be expressed as[ 15]
of PHD for anchor conditioned on the terminal state alone. The prediction PHD of anchors
D˜ k|k−1 (︀ mk|k−1|xk−1)︀ = γk|k−1 (︀ mk|k−1|xk−1)︀
+
︁∫</p>
        <p>D˜ k−1 (mk−1|xk−1) pS (mk−1|xk−1) × φk|k−1 (︀ mk|k−1|mk−1; xk−1)︀ dmk−1
It consists of two parts, the new birth anchors γk|k−1 (︀ mk|k−1|xk−1)︀ and the prediction of the
anchor survive from the previous step. D˜ k−1 (mk−1|xk−1) and φk|k−1 (︀ mk|k−1|mk−1; xk−1)︀
represents the updated PHD of anchor at step k-1 and Markov transition probability of anchor.</p>
        <p>The joint update function of SC-PHD can be shown as
function and D˜ k|k (mk|xk) is the updated PHD of anchor conditional on terminals
where sk|k−1(xk) is the predicted terminal distribution, LZk (xk) is the measurement likelihood</p>
        <p>
          The terminal part of the update formula can be simplified using known terminal positions.
The predicted terminal state is the same as the terminal position at step k. Hence, the distribution
(
          <xref ref-type="bibr" rid="ref7">7</xref>
          )
(
          <xref ref-type="bibr" rid="ref8">8</xref>
          )
(
          <xref ref-type="bibr" rid="ref9">9</xref>
          )
(
          <xref ref-type="bibr" rid="ref10">10</xref>
          )
(
          <xref ref-type="bibr" rid="ref11">11</xref>
          )
        </p>
        <p>D˜ k|k (︀ mk|x′k)︀ = δ (︀ xk − x′k)︀ D˜ k|k (︀ mk|x′k)︀</p>
        <p>
          Dirac delta function changes the integral of the denominator into a product, while the
likelihood function becomes the value of the function at the terminal position at step k. Similarly,
the likelihood function of the numerator is afected by the Dirac delta function and becomes
the value of the terminal state as a variable at step k. At this point, the values of the likelihood
functions of the numerator and denominator can be eliminated from each other, leaving the
updated part about the anchor PHD[15]
D˜ k|k (mk|xk) = D˜ k|k−1 (mk|xk) × (1 − pD (mk|xk)) + ∑︁
of predicted terminal states can be replaced by a known Dirac delta function of the terminal
state. Substituted predicted terminal state Dirac delta function into (
          <xref ref-type="bibr" rid="ref11">11</xref>
          ), we can get
        </p>
        <sec id="sec-3-2-1">
          <title>3.2. Monte Carlo implements of FMSC-PHD</title>
          <p>︁∫
ηz(xk) = κk (z) +</p>
          <p>
            D˜ k|k−1 (mk|xk) pD (mk|xk) g (z|mk, xk) dmk
where pD (mk|xk) represents the detection probability, g (z|mk, xk) represents the likelihood
function, and κk (z) represents the false alarm. Likelihood factor in (
            <xref ref-type="bibr" rid="ref13">13</xref>
            ) has two parts:
undetected anchors and detected anchors based on measurements RFS Zk.
          </p>
          <p>The advantage of PHD is that it does not require DA. We can see DA hidden in the likelihood
function, which can work out anchors’ PHD without calculating DA. With the training set
terminal position known, the PHD of the anchors at step k can be computed recursively at step
k-1 by a prediction and an update. The prediction equation and update equation reveal that the
FMSC-PHD constructed by the cluster model is very similar to the PHD filter[ 14] under the
condition that the terminal state is known. The diference is that the previous PHD was used to
estimate targets, but now we can use it to estimate anchors in the surrounding.
⎡
⎣</p>
          <p>
            Lk−1
i=1
Lk−1
(
            <xref ref-type="bibr" rid="ref12">12</xref>
            )
⎤
⎦ ,
(
            <xref ref-type="bibr" rid="ref13">13</xref>
            )
(
            <xref ref-type="bibr" rid="ref14">14</xref>
            )
(
            <xref ref-type="bibr" rid="ref15">15</xref>
            )
(16)
{wk(i−) 1, m(i)
          </p>
          <p>k−1}iL=k1
Monte Carlo particle filter can be use to implements FMSC-PHD we performed in
3.1. The
updated PHD at step k-1 of anchors Dk−1 (mk−1) can be simulated by set of weighted particles
Dk−1 (mk−1) ≈ ∑︁</p>
          <p>
            wk(i−) 1δ ︁( mk−1 − m(ki−)1)︁ ,
Dk|k−1(mk−1|k) ≈ Dγ (mk) + ∑︁
wk(i−) 1ps,k
︁( m(i) )︁ φk|k−1
k−1
︁( mk|k−1|m(ki−)1)︁
where Lk−1 is the number of particles and wk(i−) 1 is the weight of the ith particle at step k-1
respectively. Substituting particles simulation (
            <xref ref-type="bibr" rid="ref15">15</xref>
            ) into (
            <xref ref-type="bibr" rid="ref10">10</xref>
            ), we can get particles of predicted
          </p>
        </sec>
      </sec>
      <sec id="sec-3-3">
        <title>PHD of anchors at step k</title>
        <p>particles in the predicted PHD.</p>
      </sec>
      <sec id="sec-3-4">
        <title>The ith particle weight is</title>
        <p>Dk|k (︀ mk|k)︀ ≈</p>
        <p>wk(i|)kδ ︁( mk|k − m(ki|)k)︁ .</p>
        <p>Lk−1+Lγ
︁∑
i=1
m(ki|)k = m(ki|)k−1.</p>
        <p>The anchor updated PHD particles are directly inherited from the surviving and newborn anchor
(17)
(18)
(19)
(20)
(21)
(22)
.
(23)
where</p>
        <p>Lk−1+Lγ
︁∑
i=1
Dk|k−1 (︀ mk|k−1)︀ ≈</p>
        <p>wk(i|)k−1δ ︁( mk|k−1 − m(ki|)k−1︁)
m(ki|)k−1 ∼
wk(i|)k−1 ∼
⎪
⎪
⎧
⎪
⎪
⎪
⎪
⎪
⎨
⎪
⎧⎨ qk (︁ mk|m(ki−)1, Zk)︁ ,
⎩ qk (mk|Zk) ,</p>
        <p>φk|k−1ps,kw
⎪⎪⎪ qk (︁ mk|m(ki−)1, Zk)︁
(i)
k−1 ,
Dγ,k (︁ m(i))︁</p>
        <p>k
⎩⎪ Lγ,kqk (mk|Zk)
i = Lk−1 + 1 · · · Lk−1 + Lγ,k,
i = 1, · · · , Lk−1,</p>
        <p>i = 1, · · · , Lk−1,
, i = Lk−1 + 1 · · · Lk−1 + Lγ,k.</p>
        <p>
          Substituted the predicted PHD particles set into (
          <xref ref-type="bibr" rid="ref13">13</xref>
          ) can get particle simulated updated PHD
where ps,k
︁( m(ki−)1)︁ is the probability that particles at moment k-1 survives at step k, φk|k−1
is the transition probability of the ith particle from step k-1 to the step k. The predicted PHD of
anchors can be calculated by importance sampling.
        </p>
        <p>Dk|k−1 (︀ mk|k−1)︀ ≈ ∑︁</p>
        <p>Lk−1
i=1
Hence, we can get the approximate predicted PHD of anchors.
wk(i|)k = wk|k−1 ︁( 1 − pD (︁ m(ki|)k−1︁)
(i)</p>
        <p>(i)
+ wk|k−1
︁∑
z∈Zk
g ︁( z|m(i)
k|k−1, xk)︁ pD (︁ m(ki|)k−1|xk)︁
ηz (︁ m(ki|)k−1|xk)︁
It is possible to calculate the anchor PHD using the Monte Carlo method.</p>
        <p>Since the anchors’ PHD are simulated by Monte Carlo methods using particles. Clustering
algorithm[17] can be taken to estimate anchors’ position from particles. The introduction of
the clustering algorithm brings instability and error to the resulting map, so it is crucial to find
a good estimation from all the training sets. However, we do not know the exact location of
the anchor nodes beforehand, so it is impossible to find the best-performing point directly by a
method.</p>
        <p>To solve this tricky problem, we choose to use OSPA[18] as a measure for analyzing the
error of the anchor points. To overcome the unknown real anchors’ position, we make a small
change in its input. Since terminal trajectories are known, the distance can be calculated using
the terminal’s position and the anchor node’s estimated position at each moment. We can use
this distance and the observed distance as the OSPA input, and the result thus calculated can
be used as an alternative to the OSPA of estimated result and the exact anchors. We name it
measurement-oriented OSPA (MOSPA) for convenience.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. localization based on Mapping result</title>
      <p>With the help of the training set, we estimate the approximate locations of the anchor in the
scenario by FMSC-PHD filtering. The estimated anchors in the scenario can simplify the indoor
localization problem, which is then divided into two significant problems: DA and location
estimation of terminals. Solving the DA to obtain the correspondence between the observation
and the anchors enables further estimation of the anchor’s location by MMSE.</p>
      <p>The relationship between observations and anchors in terms of probabilities usually involves
many operations for solving marginal probabilities. The direct calculation of edge probabilities
leads to the excessive complexity of the algorithm. We use factor graphs to represent the
probabilistic model of DA and then optimize the marginal probability solution in DA using
the BP algorithm. Since the localization of terminals is also based on the probabilistic form of
Bayesian filtering, it can also be represented by factor graphs. DA and terminal state distribution
can be computed directly and eficiently using the BP algorithm.</p>
      <p>As mentioned earlier, DA between anchors and observations is described by feature-oriented
vector ak,i and observation-oriented vector bk,m. The prior state for Bayesian filtering at step k
can be expressed as p (xk, ak). Through straightforward and well-known manipulation, the
likelihood function of DA and measurements conditional on the terminal state can be expressed
as[19]
|Mk|
i=1
p (Zk, ak|xk) ∝ ∏︁
(1 − pD (mk,i))1−θd(ak,i) ×
︃( pD (mk,i|xk) p (︀ zkak,i )︀ )︃ θd(ak,i) |Zk|
κk (︀ zk,ak,i ︀)
︁∏
j=1
ψc (ak,i, bk,j ),
where |Mk| is the number of anchors in the region of interest, |Zk| is the number of
measurements, pD (mk,i) is the detect probability of ith anchor at step k, κk (︀ zk,ak,i ︀) represent false
alarm. θd(ak,i) indicate whether the ith multipath component is detected or not, which can be
represent as
θd(aik) =
︃{ 0, aik = 0
1, aik ̸= 0.</p>
      <p>(24)
(25)</p>
      <p>Using Bayes’ rule and independence assumptions related to the prior probability density
function(pdf) and likelihood function, the joint posterior pdf of xk and ak at step k is obtained</p>
      <p>From equation (26) we can obtain a factor graph as shown in Fig.2, and in turn we can run
the message propagation algorithm on the factor graph. The message propagated between ak,i
and bk,j can be obtained as
μai→bj (bj ) = ∑︁
μbj→ai (ai) = ∑︁
ai
bj
ψi (ai) ψcij (ai, bj ) ∏︁
j′̸=j</p>
      <p>μbj′ →ai (ai)
ψcij (ai, bj ) ∏︁
i′̸=i</p>
      <p>μai′ →bj (bj )
⎧ [1 − pD (mk,i)] p (xk|Zk) , ak,i = 0
⎪
ψp (xk, ak,i) = ⎨ pD (mk,i) p (︀ zk,ak,i |xk, mk,i)︀ p (xk|Zk) (27)
⎪⎩ κk (︀ zk,ak,i ︀) , ak,i ̸= 0
Since DA is based on the mutual constraints of the feature-oriented vector and the
observationoriented vector, it can also be reformulated as
ψci,j (ak,i, bk,j ) =
︃{ 0, ak,i = j, bk,j ̸= i or bk,j = i, ak,i ̸= j
1, otherwise</p>
      <p>|Mk|
p (xk, ak|Zk, mk) ∝ ∏︁
i=1</p>
      <p>|Zk|
ψp (xk, ak,i) ∏︁
j=1
ψc (ak,i, bk,j )
(26)
(28)
(29)
(30)</p>
      <p>Since the factor graph has loops, there are no closed-form solutions. Approximate marginal
pdf can be obtained using iterative operations, and convergence was proved in the article[20].
The marginal probability density of the variable nodes can be computed by the computed
messages. The marginal pdf is associated with the location of the terminal, and the data at the
moment k can be expressed as
|Mk|
i=1
︁∫
︁∫
p (xk) = ∏︁
ψp (xk, ak,i) ∏︁</p>
      <p>μbj→ai (ak,i)dak,i
p (ak,i) =
ψp (xk, ak,i) ∏︁</p>
      <p>μbj→ai (ai) dxk
|Zk|
j=1
|Zk|
j=1
For estimating xk, we will develop an approximate calculation of the minimum mean-square
error (MMSE) estimator
xˆ</p>
      <p>MMSE =
k
︁∫
xkp (xk) dxk</p>
    </sec>
    <sec id="sec-5">
      <title>5. experimental and Simulation result</title>
      <p>In this section, to analyze the performance of the proposed FMSC-PHD filter and BP localization
algorithm, we apply it to simulation data within 2-D scenarios in Fig.1. The first situation
confiders the training set using the FMSC-PHD filter to position anchors. The second situation
considers the test set using the BP algorithm to simultaneously solve the DA and terminal
localization.</p>
      <sec id="sec-5-1">
        <title>5.1. Analysis setup</title>
        <p>k and n, zero-mean, and Gaussian with covariance matrix σm2I2
State-Evolution Model</p>
        <p>The terminal’s state-transition pdf shown in Section 2 is defined
by a linear, near constant-velocity motion model[21] with sampling period ΔT = 1s. The
driving process uk is iid across k, zero-mean, and Gaussian with σu2I2 accelerate noise, σu is
the accelerate noise. The anchors are static. However, implementing the FMSC-PHD algorithm
introduced a tiny driving process in the anchor state-evolution model for measurement noise.
Accordingly the state evolution is modeled as mk,n = mk−1,n + ωk,n, where ωk,n is iid across
Measurement Model</p>
        <p>
          According to the signal and measurement distance in Section 2, the
measurement noise nk,n is iid across k and n, zero-mean, and Gaussian with variance σz2I2. The
measurement model determines the likelihood function factors in (
          <xref ref-type="bibr" rid="ref13">13</xref>
          ) and (24).
Common Simulation Parameters
        </p>
        <p>
          The simulating teaching building, terminal trajectory
of the training set and test set, and static anchors show in Fig.1. The following parameters
are used for both the training set and test set. The false alarm measurements in (
          <xref ref-type="bibr" rid="ref5">5</xref>
          ) range
uniformly distribute on the region of interest, and the number follows the Poisson distribution.
The measurement we detect can be regarded as newly born anchors set in (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ). The detection
probability is a constant value for anchors, i.e. pD (mk|xk) = pD.
(31)
(32)
(33)
        </p>
        <p>OSPA</p>
        <p>MOSPA
50
100
150
200
250
300
350</p>
        <p>400
Estimated Anchor</p>
        <p>No. of Measurement</p>
      </sec>
      <sec id="sec-5-2">
        <title>5.2. Result for Training Set</title>
        <p>We used the common simulation parameters described above for our simulations based on a
training set. Terminal travels the diamond trajectory in Fig.4 to map the five anchors in the
scenarios with FMSC-PHD. We used pd = 0.9 and measurement standard variance σz = 0.1
and λc = 1 as parameters to analyze the FMSC-PHD algorithm. The PHD of newborn anchors
were each represented by 10000 particles.</p>
        <p>Fig.3 shows the OSPA and MOSPA map error. The OSPA errors are based on the Euclidean
metric and use the cutof parameter 10m and order 1. Fig. 3 shows the simulated MOSPA can
approximate the real OSPA very well. These results demonstrate that the FMSC-PHD algorithm
can extract the best OSPA performance estimation in the scenarios. The OSPA meets a cutof in
the 100 steps, corresponding to a big turn that solves the problem of space consist. We go on a
diamond trajectory, not a simple line. The estimated anchors are shown in Fig.4, which are very
close to the real anchor positions.</p>
        <p>Fig.3 shows the number of anchors estimated and measurements generated. Due to visibility
problems, the clutter measurements and false alarms make the number of measurements vibrate
and ofer larger than the actual number of anchors. Nevertheless, the performance of our
algorithm is still good. The number of estimated anchors is much more stable at around five,
the number of anchors shown in Fig.4.
0.6
0.5
)0.4
m
(E0.3
S
M
R0.2
0.1
500
4
3
P
O
D
2
G
1
00
2000 2500</p>
        <p>trajectory steps
500
1000
1500
3000
3500
4000
4500</p>
      </sec>
      <sec id="sec-5-3">
        <title>5.3. Results of Test Set</title>
        <p>In the test set, we can use the anchors estimated in the training set to assist terminal positioning.
Terminal walking through the trajectory shown in Fig.4. We also used the common simulation
parameters described above in our test set. We consider three diferent parameter settings
dubbed Test1, Test2, and Test3. In Test1 and Test2, we used detection probability pD = 0.9. The
mean number of false alarms are λc = 1 and λc = 2 respectively. In Test3, we used pD = 0.5
and λc = 2 to analyze the robustness of our algorithm to deplorable wireless signal conditions.
We use measurement standard variance σz = 0.01. 10000 particles represented the posterior
pdf of the terminal state. The number of message passing iterations for DA is limited by a
maximum iteration number or the message diference lower than 10−7.</p>
        <p>As a performance benchmark for the accuracy of terminal localization, we also plot in Fig.5
the terminal position RMSE obtained for Test1 with the known anchor real positions. Table ??
shows the 1 − σ cumulative distribution function (CDF) of position error of Test1, Test2, Test3
and known anchors taken together. Test3 is just 0.3m larger than Test2, which suggests a high
accuracy and robustness.</p>
        <p>Fig.5 shows terminal position RMSEs of our algorithm obtained individually for the four tests.
We do not give the entire map to plot more detail of four tests. We can find our algorithm plays
a good performance before step 3000. Most errors are less than 0.15. The terminal position error
in Fig.5 illustrates considerable errors between 3500 and 4000. We can find there is a big vibrate
in the bottom left corner. The analysis shows that the anchors that can receive signals in the
bottom right corner are the three vertical anchors, and the other two horizontal anchors cannot
receive signals. We believe that the geometric position of the three vertical anchor points is
responsible for the poor positioning results.</p>
        <p>For this reason, we introduce (Geometric Dilution of Precision) GDOP[22] as an analytical
method to analyze measurement errors due to the geometric distribution of anchors. GDOP is
not related to measurement errors but only to the geometric relationship of the anchor, which
fully reflects the geometric afected of anchors’ distribution. The GDOP plot in Fig. 5 reflects a
massive error in the lower left-hand corner. At the same time, the fluctuations between 1700
and 2200 also show pool GDOP at the lower right corner. The good thing is that the geometry
of the anchors visible in the bottom right corner is better than that of the anchors in the bottom
left corner, which our algorithm can tolerate. That is why the bottom right corner is not as bad
as the bottom left corner.</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>6. conclusions and future research direction</title>
      <p>In this paper, we proposed a TOA-based anchor mapping and terminal localization algorithm.
The simulation result shows that the FMSC-PHD method based on PHD filtering well estimates
the anchors in the scenarios and solves the problems of DA, false alarm, and miss detection
in indoor localization of wireless signals. In the test set, the factor graph-based BP algorithm
solved both the DA and location estimation problem simultaneously. It was able to be extended
to multi-objective contexts.</p>
      <p>Several problems remain to be solved. A limitation of this study is that our search is totally
based on simulation. Therefore, in the future, we are dedicated to validating it with real signals.
Furthermore, our anchor estimation relies on the training set’s observations accuracy. The
test set also depends on the accuracy of the estimation of anchors. We are still working on
PHD methods that can dynamically estimate scenario information, for example, by introducing
information such as AoAs and AoDs for information fusion.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgments</title>
      <p>This research was funded by National Key Research and Development Program of China with
Grant Number 2018YFB0505200. (Corresponding author: Ao Peng)
[16] A. Swain, D. Clark, The single-group phd filter: An analytic solution, in: 14th International</p>
      <p>Conference on Information Fusion, IEEE, 2011, pp. 1–8.
[17] M. Gupta, L. Jin, N. Homma, Static and dynamic neural networks: from fundamentals to
advanced theory, John Wiley &amp; Sons, 2004.
[18] D. Schuhmacher, B.-T. Vo, B.-N. Vo, A consistent metric for performance evaluation of
multi-object filters, IEEE transactions on signal processing 56 (2008) 3447–3457.
[19] J. Williams, R. Lau, Approximate evaluation of marginal association probabilities with
belief propagation, IEEE Transactions on Aerospace and Electronic Systems 50 (2014)
2942–2959.
[20] J. L. Williams, R. A. Lau, Convergence of loopy belief propagation for data association,
in: 2010 Sixth International Conference on Intelligent Sensors, Sensor Networks and
Information Processing, IEEE, 2010, pp. 175–180.
[21] Y. Bar-Shalom, X. R. Li, T. Kirubarajan, Estimation with applications to tracking and
navigation: theory algorithms and software, John Wiley &amp; Sons, 2004.
[22] I. Sharp, K. Yu, Y. J. Guo, Gdop analysis for positioning system design, IEEE Transactions
on Vehicular Technology 58 (2009) 3371–3382.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>S.</given-names>
            <surname>Thrun</surname>
          </string-name>
          ,
          <article-title>Probabilistic robotics</article-title>
          ,
          <source>Communications of the ACM</source>
          <volume>45</volume>
          (
          <year>2002</year>
          )
          <fpage>52</fpage>
          -
          <lpage>57</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>P. S.</given-names>
            <surname>Farahsari</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Farahzadi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Rezazadeh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Bagheri</surname>
          </string-name>
          ,
          <article-title>A survey on indoor positioning systems for iot-based applications</article-title>
          ,
          <source>IEEE Internet of Things Journal</source>
          (
          <year>2022</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>R. Di</given-names>
            <surname>Taranto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Muppirisetty</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Raulefs</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Slock</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Svensson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Wymeersch</surname>
          </string-name>
          ,
          <article-title>Locationaware communications for 5g networks: How location information can improve scalability, latency, and robustness of 5g</article-title>
          ,
          <source>IEEE Signal Processing Magazine</source>
          <volume>31</volume>
          (
          <year>2014</year>
          )
          <fpage>102</fpage>
          -
          <lpage>112</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>P.</given-names>
            <surname>Davidson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Piché</surname>
          </string-name>
          ,
          <article-title>A survey of selected indoor positioning methods for smartphones</article-title>
          ,
          <source>IEEE Communications Surveys &amp; Tutorials</source>
          <volume>19</volume>
          (
          <year>2016</year>
          )
          <fpage>1347</fpage>
          -
          <lpage>1370</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>X.</given-names>
            <surname>Guo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Ansari</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Hu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Shao</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N. R.</given-names>
            <surname>Elikplim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <article-title>A survey on fusion-based indoor positioning</article-title>
          ,
          <source>IEEE Communications Surveys &amp; Tutorials</source>
          <volume>22</volume>
          (
          <year>2019</year>
          )
          <fpage>566</fpage>
          -
          <lpage>594</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Q. D.</given-names>
            <surname>Vo</surname>
          </string-name>
          , P. De,
          <article-title>A survey of fingerprint-based outdoor localization</article-title>
          ,
          <source>IEEE Communications Surveys &amp; Tutorials</source>
          <volume>18</volume>
          (
          <year>2015</year>
          )
          <fpage>491</fpage>
          -
          <lpage>506</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>F.</given-names>
            <surname>Dwiyasa</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.-H. Lim</surname>
          </string-name>
          ,
          <article-title>A survey of problems and approaches in wireless-based indoor positioning</article-title>
          , in: 2016 International conference
          <article-title>on indoor positioning and indoor navigation (IPIN)</article-title>
          , IEEE,
          <year>2016</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>7</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>W.</given-names>
            <surname>Liu</surname>
          </string-name>
          , Q. Cheng,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Deng</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Chen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Fu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Zheng</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Zheng</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Chen</surname>
          </string-name>
          ,
          <string-name>
            <surname>S. Wang,</surname>
          </string-name>
          <article-title>Survey on csi-based indoor positioning systems and recent advances</article-title>
          ,
          <source>in: 2019 International Conference on Indoor Positioning and Indoor Navigation (IPIN)</source>
          , IEEE,
          <year>2019</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>8</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>C.</given-names>
            <surname>Gentner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Jost</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Zhang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Dammann</surname>
          </string-name>
          , U.-C. Fiebig,
          <article-title>Multipath assisted positioning with simultaneous localization and mapping</article-title>
          ,
          <source>IEEE Transactions on Wireless Communications</source>
          <volume>15</volume>
          (
          <year>2016</year>
          )
          <fpage>6104</fpage>
          -
          <lpage>6117</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>E.</given-names>
            <surname>Leitinger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Meissner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Rüdisser</surname>
          </string-name>
          , G. Dumphart,
          <string-name>
            <given-names>K.</given-names>
            <surname>Witrisal</surname>
          </string-name>
          ,
          <article-title>Evaluation of positionrelated information in multipath components for indoor positioning</article-title>
          ,
          <source>IEEE Journal on Selected Areas in communications 33</source>
          (
          <year>2015</year>
          )
          <fpage>2313</fpage>
          -
          <lpage>2328</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>C. S.</given-names>
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. E.</given-names>
            <surname>Clark</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Salvi</surname>
          </string-name>
          ,
          <article-title>Slam with single cluster phd filters</article-title>
          ,
          <source>in: 2012 IEEE International Conference on Robotics and Automation</source>
          , IEEE,
          <year>2012</year>
          , pp.
          <fpage>2096</fpage>
          -
          <lpage>2101</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>H.</given-names>
            <surname>Zhang</surname>
          </string-name>
          , S. Y. Tan,
          <article-title>Toa based indoor localization and tracking via single-cluster phd ifltering</article-title>
          ,
          <source>in: GLOBECOM</source>
          <year>2017</year>
          -2017
          <string-name>
            <given-names>IEEE</given-names>
            <surname>Global Communications</surname>
          </string-name>
          <string-name>
            <surname>Conference</surname>
          </string-name>
          , IEEE,
          <year>2017</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>6</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>H.</given-names>
            <surname>Zhang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. Y.</given-names>
            <surname>Tan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. K.</given-names>
            <surname>Seow</surname>
          </string-name>
          ,
          <article-title>Toa-based indoor localization and tracking with inaccurate lfoor plan map via mrmsc-phd filter</article-title>
          ,
          <source>IEEE Sensors Journal</source>
          <volume>19</volume>
          (
          <year>2019</year>
          )
          <fpage>9869</fpage>
          -
          <lpage>9882</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>R. P.</given-names>
            <surname>Mahler</surname>
          </string-name>
          ,
          <article-title>Multitarget bayes filtering via first-order multitarget moments</article-title>
          ,
          <source>IEEE Transactions on Aerospace and Electronic systems</source>
          <volume>39</volume>
          (
          <year>2003</year>
          )
          <fpage>1152</fpage>
          -
          <lpage>1178</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>A.</given-names>
            <surname>Swain</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. E.</given-names>
            <surname>Clark</surname>
          </string-name>
          ,
          <article-title>First-moment filters for spatial independent cluster processes</article-title>
          , in: Signal Processing, Sensor Fusion, and
          <string-name>
            <surname>Target Recognition XIX</surname>
          </string-name>
          , volume
          <volume>7697</volume>
          ,
          <string-name>
            <surname>International</surname>
            <given-names>Society</given-names>
          </string-name>
          <source>for Optics and Photonics</source>
          ,
          <year>2010</year>
          , p.
          <fpage>76970I</fpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>