Abstract
Clock synchronization is critical for synchronous pseudolite systems. Wireless synchronization methods are desirable for their flexibility in system deployment, and most of them build a tree topology of time information flow based on master-slave synchronization between pseudolites. A slave pseudolite can receive signals broadcast by multiple pseudolites; however, existing methods usually utilize one signal and ignore others in which the time information could improve synchronization precision and reliability. We present a mesh topology based clock synchronization (MTCS) technique by utilizing all received signals. MTCS builds a mesh topology of time information flow, which can keep synchronization in case of link interruption or pseudolite failure. The coupling relationship of slave clocks is derived, and the influence of measurement biases is analyzed. As shown by both analysis and simulations, MTCS has better clock synchronization precision. When link interruption or pseudolite failures occur, MTCS is more robust than tree topology based methods.
1 INTRODUCTION
Global Navigation Satellite Systems (GNSSs) can provide all-weather positioning, navigation, and timing services, which have been widely used in both civil and military fields over the past few decades. However, in harsh environments such as urban canyons, the availability and accuracy of GNSS are greatly affected by the lack of visible satellites. In applications such as aircraft landing, the reliability and accuracy of GNSS might be unable to meet stringent requirements.
As a solution to this issue, pseudolites are widely valued for their flexibility and high precision. Their concept and applications were explored by early researchers in order to improve the performance of GPS (Beser & Parkinson, 1982; Klein & Parkinson, 1984). Pseudolites broadcast GNSS-like signals, and compared with other positioning approaches, they are convenient to integrate with GNSS in open air environments (Cobb, 1997; Jiang, Li, & Rizos, 2015; Kiran & Bartone, 2004; Lee, Wang, Rizos, & Grejner-Brzezinska, 2004; Montillet et al., 2009).
Early pseudolites were simply transmitters that rebroadcast GNSS signals, whereas some later pseudolites can transmit and receive GNSS-like signals simultaneously. In many recent implementations, pseudolites have been stand-alone systems and are able to provide positioning services in GNSS-denied environments. A series of experiments has proved that pseudolites can provide high-precision positioning services from centimeter to decimeter level (Barnes et al., 2003; Kee et al., 2000; LeMaster, 2002; Wang, Yao, & Lu, 2019a, 2019b; Yun & Kee, 2002).
For pseudolite systems, clock synchronization precision directly affects the accuracy of measurements and has a crucial influence on positioning performance, since the coordinates of receivers are determined via the principle of time difference of arrival (TDOA). Only with high-precision clock synchronization can carrier-phase measurements be used in precise positioning (Wang, 2002).
Clock synchronization can be achieved via wired or wireless links between pseudolites. Wired synchronization has high reliability and precision and has been used in some indoor pseudolite systems. However, due to the wired links, this approach lacks flexibility and limits the system deployment, especially in outdoor applications.
Wireless synchronization is desirable for flexibility and convenience in system deployment. For pseudolites simply consisting of transmitters, wireless synchronization involves a reference station, which monitors pseudolites’ signals and generates synchronization data for all clocks (Yun & Kee, 2002). For pseudolites that can receive and transmit signals simultaneously, the reference station is not necessary. For example, pseudolites that consist of self-differencing transceivers can be synchronized by two-way measuring without position information (Lee, So, Kim, & Kee, 2007; LeMaster, 2002). In the Locata system, the clock synchronization is realized by one-way measuring with the known coordinates of pseudolites (Barnes et al., 2003).
Most existing wireless methods are based on master-slave synchronization between neighboring pseudolites (Barnes et al., 2003; Lee et al., 2007; LeMaster, 2002). That is to say, they usually select a master pseudolite to provide the clock reference, with the others as slave pseudolites. Slave pseudolites visible to the master can maintain synchronization by continuously tracking the signal of the master pseudolite. Otherwise, slave pseudolites can achieve cascade synchronization by tracking the signal of a slave pseudolite that has been synchronized with the master. In such a master-slave way, clock synchronization is accomplished throughout the system, and a tree topology is built with the master pseudolite as the root.
Nevertheless, the tree topology of existing wireless methods has some disadvantages in reliability and precision. With only one-way time information flow, existing methods are fragile in case of failures. In a tree topology, there is only one synchronization path from a slave pseudolite to the master pseudolite, and any unexpected link interruption or pseudolite failure can block the synchronization of pseudolites along the path. Although such failures can be detected, it is hard to maintain or restore synchronization in a master-slave way since a slave pseudolite has only local information. Further, if the master pseudolite fails, the entire system will be out of synchronization, which is undesirable in practice.
On the other hand, the feasibility of cascade synchronization indicates that the time information useful for clock synchronization exists not only in the ranging signal of the master pseudolite, but also in the signals of synchronized slave pseudolites. Furthermore, for each slave pseudolite, most existing methods use only one signal, which is usually received from the master pseudolite, and do not utilize other signals to improve synchronization precision.
Hence, one disadvantage of the tree topology based methods is that they fail to take advantage of all signals that a pseudolite can receive, which can degrade clock synchronization performance and make the system susceptible to failures.
In this paper, we propose a mesh topology based clock synchronization (MTCS) method for pseudolite systems. Its core innovations are to use all signals that a slave pseudolite can receive and establish a mesh topology of time information flow. A local MTCS filter is established to reduce random noise for each slave pseudolite and improve the synchronization precision without additional link cost. Since clocks of slave pseudolites influence each other, a global model of MTCS is established to analyze their coupling relationship as well as the influences of measurement biases. Furthermore, it is shown that the dense topology of MTCS is beneficial for keeping all pseudolites synchronized in case of link interruptions or pseudolite failures.
The remainder of this paper is arranged as follows. First, in Section 2, the basic model is established for the clock and measurements, and the evaluation on synchronization performance is discussed. In Section 3, the local MTCS filter as well as the tracking loop is derived to reduce random noise. In Section 4, a global model of MTCS is established to analyze the coupling relationship of slave clocks and the constant differences caused by measurement biases. The advantages of MTCS in synchronization precision and performance with failures are shown. In Section 5, a series of simulations are done to verify the performance of MTCS. Finally, conclusions are drawn in Section 6.
2 SYSTEM MODEL
In this section, a typical clock model based on state space is reviewed and then the measurement model between a pair of neighboring pseudolites is established. In addition, the evaluation on synchronization performance is discussed.
Herein, we consider a system consists of N + 1 pseudolites labeled as PL0, PL1,…,PLN and assume that PL0 serves as the master pseudolite providing the clock reference for the system.
2.1 Clock model
The clock model and performance evaluation has been widely studied. In this research, a two-state clock model is used
1
where k denotes the epoch count, t[k] and f[k] represent the time and frequency, Ts denotes the sampling interval, wt[k] and wf[k] are the noise of time and frequency, respectively (Brown & Hwang, 1997; Van Dierendonck, McGraw, & Brown, 1984).
The variance matrix Q = 𝔼{w[k]wT[k]} characterizes the instability of the crystal oscillator. The value of Q can be determined as following:
2
where
3
where h0 and h−2 are the coefficients of white and random walk frequency noise, respectively. Typical values are given by Brown and Hwang (Brown & Hwang, 1997).
2.2 Measurement model
Similar to existing methods, the proposed method is based on the measurements of clock differences between a pair of neighboring pseudolites.
Suppose that there is a line-of-sight (LoS) path between PLi and PLj, and then the TOA measurement obtained by PLi can be modeled as
4
where τij represents the propagation delay between PLi and PLj, eij represents the multipath error and tropospheric delays, and represents the measurement noise at the kth epoch.
Since all pseudolites are stationary and their coordinates can be precisely surveyed in advance, the value of τij is assumed to be known. Then, the following observation is obtained
5
where bij represents the measurement bias and is assumed to be constant or change very slowly.
Time measurements are typically obtained via the code-phase estimation (Barnes et al., 2003; LeMaster, 2002). Technologies that can help to mitigate the multipath effects include multiple antennas and multi-frequency techniques (Dai, Wang, Rizos, & Han, 2002; Montillet, Bonenberg, Hancock, & Roberts, 2014). Tropospheric delays can be estimated using appropriate models (Dai et al., 2002; Wang, Wang, Sinclair, & Lee, 2005). The residual biases after using these techniques are assumed to be included in bij.
In addition, a time-hopping technique is usually used to mitigate near-far effects, and the internal system interference is ignored in this research (Borio & Odriscoll, 2014).
2.3 Synchronization performance
Before further elaborating on the proposed method, we formalize the notations of synchronization states. Full synchronization means that for a period, all pseudolites share the common clock time
6
and frequency synchronization means that for a period, all pseudolites share the same clock frequency
7
This research allows constant clock differences and its main goal is to optimize the precision of frequency synchronization. In this case, the clock differences of pseudolites are constant and can be mitigated by other techniques such as two-way ranging (Lee et al., 2007; LeMaster, 2002).
Moreover, for double differential measurements widely used in precise positioning, the constant clock differences of pseudolites are eliminated and have no influence on positioning accuracy. For traditional single-point positioning, constant clock biases can have a critical influence. However, with high-precision frequency synchronization, several recent studies have achieved centimeter-level positioning accuracy, in which constant clock differences of pseudolites are absorbed in generalized carrier-phase ambiguities and resolved (Wang et al., 2019a, 2019b).
Hence, random noise is the main concern in the evaluation of synchronization performance. In the next section, a local MTCS filter will be derived to reduce random noise, and the constant clock differences caused by measurement biases will be discussed in Section 4.
3 MESH TOPOLOGY BASED CLOCK SYNCHRONIZATION
Most existing methods are based on master-slave synchronization between pseudolites, resulting in a tree topology as shown in Figure 1a. PL0 is the master pseudolite, and the arrow indicates the direction of time information flow. PL1-PL4 are directly synchronized with PL0, whereas PL5 and PL6 are not visible to PL0 and synchronized with other slave pseudolites. In such a master-slave way, clock synchronization is achieved.
Time information flow of exisiting methods and MTCS. Each circle represents one pseudolite, and the arrows show the directions of information flow between pseudolites
As discussed in the introduction, although a pseudolite can usually receive signals from multiple neighbors, only one signal is utilized. Hence, it is reasonable to improve synchronization performance by making use of all received signals.
On the other hand, in existing methods, the tree topology is quite fragile when link interruption or pseudolite failures occur. For example, in Figure 1a, PL5 will be influenced when PL3 fails or the link between PL0 and PL3 is interrupted due to obstruction. Although slave pseudolites can detect such failures, it is difficult to quickly and correctly select another pseudolite as an alternative. More seriously, the entire system will be out of synchronization if PL0 fails.
In MTCS, all the received signals are utilized to reduce random noise, building a mesh topology as shown in Figure 1b. When a few links or pseudolite failures occur, the synchronization will not be interrupted as long as the entire network is connected.
To improve the synchronization precision, the MTCS filter is derived based on the state space model. At the kth epoch, all observations that a slave pseudolite PLi can obtain are denoted as yi0[k], yi1[k],…,yiN[k]. With Equations (1) and (4), the state space model is established as
8
where hT = [10] and
9
If there is no LoS path between PLi and PLj, we have , and we specify
. In addition, we assume
, which will be explained later. We also use a trick that tj[k] = t0[k] + (tj[k] − t0[k]) to introduce x0[k] and obtain the expression of yi[k] in Equations (8) from (5).
If we follow the traditional establishment of a Kalman filter and try to reduce the error of time synchronization, the variance matrix of bi is required. However, as in the discussion in Section 2.3, the clock differences can be mitigated in a number of ways on the basis of frequency synchronization. On the other hand, some precise positioning techniques only require frequency synchronization.
Therefore, we allow constant clock differences and establish the local MTCS filter to reduce the random noise by taking ei[k] as observation errors. The impact of measurement biases will be analyzed in Section 4.
Taking ei[k] as observation errors, the local MTCS filter corresponding to Equation (8) is written as
10
11
12
13
14
where and
represent the a priori and a posteriori estimate,
and
are the a priori and a posteriori variance matrices, Ki denotes the Kalman gain, IM represents the M-dim identity matrix, and
. The detailed derivation of the a priori and a posteriori covariance matrices can be found in the Appendix.
Note that ni0[k] is irrelevant with other observation errors in Equation (9), and Ri[k] can be written as
15
where denotes the a priori covariance matrix.
Herein, for convenience of expression, it is specified that if a certain diagonal element of a matrix is ∞, the corresponding row and column in the inverse matrix are all zero.
Now, we derive the tracking loop based on the local MTCS filter. From Equation (8), it can be seen that
16
where 1M represents an M-dim column vector of all 1. According to the matrix inversion lemma, we have
17
Define a new gain matrix Gi[k] as
18
Now substitute Equations (16)–(18) into Equation (12), and the gain matrix Ki[k] can be represented as
19
Putting Equation (19) into Equation (14) obtains
20
where
21
In this way, the update equation of the posteriori estimate is implemented by the second-order tracking loop, while represents the new information from the observations.
With Equation (20), the function of the MTCS filter is easier to understand and can be implemented by a second-order loop
22
An implementation structure of the MTCS filter is shown in Figure 2. In the phase detector, multiple channels obtain time measurements from the code-phase estimation of received signals (Barnes et al., 2003; LeMaster, 2002). Then, the estimator defined by Equation (21) obtains the optimal estimate from these time measurements, and the local time is subtracted from it to obtain the input of the loop filter. With Equation (20), the filter in the figure is the second order, and its gain coefficients are given by Equation (18).
The implementation structure of the proposed local MTCS filter
It can also be seen from Figure 2 that the a priori estimate defines the local time of a pseudolite, based on which pseudolites broadcast signals. Hence, the time information delivered by PLi’s signal is
23
This explains why the observation equations in Equation (9) contain instead of tj[k].
With the local MTCS filter, each slave pseudolite utilizes all of its received signals and does not require additional data links.
4 PERFORMANCE ANALYSIS
In the previous section, a local MTCS filter is derived to reduce the random noise, and an implementation structure is then derived.
In this section, a global model of MTCS is established to describe the coupling relationship of slave clocks. Then, the synchronization precision as well as the influence of measurement biases will be analyzed. In addition, the advantages of MTCS will be discussed in case of system failures.
4.1 Coupling relationships of slave clocks
From Figure 2, it is seen that a slave pseudolite can broadcast and receive time information simultaneously, when the slave clocks are coupled in MTCS. In addition, the measurement biases will cause constant clock differences to be in steady state, and such influences will be broadcast among slave pseudolites.
As a result, it is difficult to show the coupling relationship with the local structure in Equation (20). Hence, in this subsection, we will establish a global model of MTCS to help to analyze the influences of measurement biases.
For the convenience of derivation, denote the local time and frequencies of all slave pseudolites as two vectors
24
With the definition above, by considering Equation (22) of all slave pseudolites together, the coupling relationships of clocks can be expressed as
25
where G1[k] and G2[k] are two diagonal matrices
Herein, represents the global time information, which is written as
26
where
27
28
Matrix A[k] is denoted as
29
and the measurement biases are summarized as a vector
30
It is more convenient to analyze the coupling relationship of all slave clocks based on the global model in Equation (25), which is obtained by simply putting Equation (20) together for 1 ≤ i ≤ N. The global time information is represented by in Equation (26) and consists of three parts; matrix A[k] characterizes the coupling relationship of the clocks of slave pseudolites; matrix B describes the one-way information propagation from the master pseudolite; and the measurement biases b will result in constant clock differences.
In Equation (26), the term A[k]t[k] describes the information exchange of slave pseudolites with each other. It is not difficult to prove that the matrix A[k] satisfy that
31
This means that when the clock time of slave pseudolite are different, A[k]t[k] in Equation (26) will drive them to be consistent.
On the other hand, if the slave clocks are not synchronized with the master clock, the term B(t0[k]1N − t[k]) will be nonzero and drive them to achieve time synchronization.
If PLi is not visible to PL0, its synchronization relies on the information of neighboring slave pseudolites. Under the influences of these two terms, the system can achieve clock synchronization.
In MTCS, a certain measurement bias will affect multiple pseudolites. The vector b describes the influence of measurement biases on the global time information, which will result in constant clock differences.
In fact, the tree topology is a special case of the mesh topology. If there is no information exchange between slave pseudolites, we have A[k] = O and B = IN. In this case, MTCS will degenerate into a tree topology based method.
4.2 Constant clock differences
In this subsection, the steady state is derived to analyze the influence of b. For tree topology based methods and MTCS, measurement biases can cause constant clock differences, so that only frequency synchronization can be achieved.
Let f[k + 1] = f[k] and from Equation (25), it can be obtained that
32
With Equation (31), we have A[k]t01N = O and
33
Putting this into Equation (32), it is obtained that
34
where the vector δt[k] denotes the clock differences between the master and slave pseudolites
35
Therefore, in the steady state, the constant clock differences are written as a vector
36
In MTCS, clock differences are represented as the linear combination of measurement biases in Equation (36).
Similar analysis can be performed on tree topology based methods. For example, if all slave pseudolites are visible to the master pseudolite, we have A[k] = O, and C−1B[k] = IN. As a result, the clock differences can be represented as
37
If a slave pseudolite is synchronized in a cascade fashion, the clock differences will be the sum of biases along the links. For instance, in Figure 1a, the constant clock differences of PL5 will be −(b30 + b53).
Nevertheless, due to the lack of a reasonable model of measurement biases, it is difficult to compare the performance of different topologies.
4.3 Synchronization precision
In this subsection, it will be proved by mathematical induction that MTCS has smaller a priori and a posteriori estimation errors than tree topology based methods. Similar to the traditional analysis of filter design, the following discussion is mainly focused on the random noise.
First, denote the a priori and a posteriori variance matrix respectively as and
for tree topology based methods, respectively. Assume that for k = m − 1, there have been
. The notation X ⪯ Y denotes that matrix Y − X is semi-positive.
Then, for k = m, it can be obtained that
38
which yields .
On the other hand, according to the information form of the Kalman filter, we have the following two equations
39
40
where denotes the variance of observation errors for tree topology based methods. With additional observations in MTCS, it can be said that
41
Then, it can be obtained that
42
which yields .
Furthermore, for k = 1, the preset of the variance matrix depends only on a priori assumptions, which should be the same for MTCS and tree topology based methods. In other words, it is assumed that . Then, it can be said that
.
Based on the two results above, it can be proved that and
. According to the properties of semi-positive matrices, MTCS has smaller variance in a priori and a posteriori estimation errors and shows advantages in synchronization precision.
4.4 Link interruptions and pseudolite failures
It is assumed that a slave pseudolite can detect the failures of its neighboring pseudolites or links. For tree topology based methods, when failures occur unexpectedly, a slave pseudolite might choose another neighbor to maintain synchronization, but with local information alone, it is possible to rebuild an incorrect topology.
As shown in Figure 3a, if PL3 and PL4 are not visible to PL0 due to link interruptions, they might be synchronized with each other. As a result, the system is divided into two parts, and this is obviously a wrong topology for clock synchronization.
Examples of clock synchronization topology. The arrows show information flow, whereas PL3 and PL4 are not visible to PL0 now
When the master pseudolite fails, the situation may be even worse. It will be difficult for pseudolites to restore synchronization based on data messages, since they have been out of synchronization.
However, in MTCS, with additional links involved in synchronization, the frequency synchronization will still be maintained if the network is connected. As shown in Figure 3b, PL3-PL6 can keep clock synchronization via information from PL2, even though they have no knowledge of topology changes. Matrices A[k] and B will change according to the new information flow topology.
When pseudolite failures occur, it is not difficult to draw similar conclusions. A special situation is that the master pseudolite fails or all its links fail. In this case, B will be a zero matrix, and in Equation (26), will only depend on the clock difference between slave pseudolites. It will result in a distributed synchronization, which is another topic (Giridhar & Kumar, 2006; Mallada & Tang, 2011).
It is not difficult to see that a dense network is desirable for dealing with such failures, and this is an advantage of MTCS over tree topology based methods.
In the future, a topic to be studied is how to choose the master pseudolite when considering the failure problem.
5 SIMULATIONS
In this section, the performance of MTCS will be verified by numerical simulations involving seven pseudolites. PL0 is the master pseudolite and visible to all others, and four different topologies are shown in Figure 4.
Four topologies used in the simulations
The tree topology is shown in Figure 4a, while MTCS(n) refers to that each slave pseudolite is visible to n other pseudolites as shown in Figures 4b, 4c, and 4d. It can be seen that from MTCS(3) to MTCS(6), the links in the topology are strictly increased, and for MTCS(6), all pseudolites are visible to each other.
The typical values of clock parameters in Equation (3) are set as h0 = 2 × 10−19 and h−2 = 2 × 10−20 for a low-quality temperature compensating crystal oscillator (TCXO) (Brown & Hwang, 1997). All simulations are performed with MATLAB.
5.1 Transient process
In this subsection, the transient process of MTCS is compared with that of tree topology based methods. There is no system failure in the simulation. With 10.23 MHz code rate, 1 ms loop update interval, 10% duty cycle, and 60 dB⋅Hz C/N0, the standard deviation of code-phase estimation is about 0.01 code chip, and in this case, the time measurement noise is set as 1 ns (Cheong, 2012).
The initial states of slave pseudolites can be found in Table 1. The transient processes with the four topologies are shown in Figure 5 and in the subfigures where a curve represents the frequency difference of specific pseudolite. The variation of clock differences in the transient processes is shown in Figure 6.
The initial error of slave pseudolites. All values are scaled by 1 × 10−8
It can be seen from Figure 5 that in the four topologies, all slave pseudolites can achieve frequency synchronization, and their frequency differences gradually reach near zero. However, the transient processes with the four topologies are different. For example, in the initial stage, the frequency of PL5 in the tree topology is significantly different from those in mesh topologies, which is indicated by dotted circles in the subfigures.
Comparison of frequency differences in transient processes without failures
In fact, such differences of the transient processes in the four topologies can be seen more clearly in Figure 6. With the tree topology in Figure 4a, the convergence process of each slave clock is irrelevant with others, whereas in MTCS, the slave clocks reach approximately the same state first and then gradually converge.
Comparison of clock differences in transient processes without failures
This is consistent with the analysis in Section 4.1. Due to the information exchanges between pseudolites, which are represented by A[k] in Equation (26), the slave clocks are coupled and driven by A[k]t[k] to arrive at a common state.
This phenomena can be clearly seen in Figures 6c and 6d in the first 70 epochs, but is less obvious in Figure 6b. This is because the topology of MTCS(3) is relatively sparse and characterizes fewer information exchanges between slave pseudolites.
On the other hand, the time information from PL0, which is represented by B(t0[k]1N − t[k]), makes all slave pseudolites achieve synchronization. As a result, the slave clocks converge in a similar process after the 100th epoch in Figures 6b, 6c, and 6d.
5.2 Behaviors with system failures
In this subsection, the behaviors of MTCS with system failures are investigated. The four topologies in Figure 4 are used, but the communication links PL1 − PL0, PL3 − PL0, and PL6 − PL0 are interrupted at the 30th epoch. Other parameters are the same as those in the previous simulation.
The frequency and time differences in transient processes are shown in Figures 7 and 8, respectively, and the link interruption points are indicated by dotted circles in Figure 8.
Comparison of frequency differences in transient processes with link failures
Comparison of clock differences in transient processes with link failures
It can be seen from Figure 7a that in the tree topology, PL1, PL3, and PL6 can not be synchronized and their frequency differences stay near a fixed value, while other slave pseudolites can achieve synchronization. This shows that the tree topology is very vulnerable to such failures. Nevertheless, as shown in Figure 7, all pseudolites can be synchronized in MTCS. In this regard, the mesh topology shows its robustness advantages.
By analyzing the change of topology, it is not difficult to conclude that in the tree topology, other slave pseudolites are not affected by link interruptions. This can also be seen by comparing Figures 6a and 8a.
However, in MTCS, such link interruptions cause some changes of transient processes due to the information exchange between slave pseudolites. For example, as shown by Figure 6b, the clock differences of PL4 and PL5 in MTCS(3) reach almost zero at the 100th epoch in the previous simulation, but with the link interruptions in this simulation, they are positive as indicated by the dotted rectangular in Figure 8b.
In addition, it can be seen that, compared to Figure 8b, the curve changes at the interruption points are less significant in Figures 8c and 8d. This is because MTCS(5) and MTCS(6) have denser topologies than MTCS(3) and are less affected.
5.3 Synchronization precision
The synchronization precision of MTCS is verified in this simulation. The loop update interval Ts varies from 1 ms to 100 ms. With Ts = 1 ms, the standard deviation of measurement noise is set as 1 ns. If Ts is increased to 10 ms, the noise level will be reduced to ns, and so on. The four topologies in Figure 4 are still used for this simulation.
In each case with specific Ts, 100 Monte Carlo trials are performed. The synchronization precision is evaluated by the standard deviation of t0[k], t1[k],…,tN[k].For each trial, the results in 500 epochs under steady state are averaged.
The simulation results are illustrated in Figure 9. It is shown that MTCS has better synchronization precision than tree topology based methods. The precision is improved with the increase in the number of links among pseudolites. In the four topologies, MTCS(6) achieves the best performance while MTCS(5) is quite close to it.
Comparison of synchronization precision with different topologies and loop update intervals
In addition, Figure 10 illustrates the simulation results with a TCXO model of better quality. The clock parameters in Equation (3) are set as h0 = 2 × 10−20 and h−2 = 2 × 10−22, and in this case, similar conclusions on the advantages of MTCS can be drawn as shown in Figure 9.
Comparison of synchronization precision with a TCXO model of better quality
On the other hand, it can be seen that the advantage of MTCS gradually decreases as the loop update interval Ts increases. With a larger Ts, the measurement noise is weakened; however, the instability of oscillators will have more significant influences. In this case, all slave pseudolites have worse synchronization precision, and the time information provided by them is less useful. As a result, the increase in the number of links between slave pseudolites is less crucial and the advantages of MTCS decrease.
This phenomenon is more obvious in Figure 9, since oscillators of poor quality will also degrade the time information provided by slave pseudolites. Nevertheless, it can be seen that in Figure 9, when Ts ≤ 50 ms, MTCS has a significant advantage. In fact, a rapid loop update rate is always desirable, and a interval of tens of milliseconds is too long in practice.
6 CONCLUSIONS
We present a new clock synchronization technique named MTCS that is based on a mesh topology for pseudolite systems. The analysis shows that each pseudolite broadcasts its a priori estimate of the system time, and MTCS makes better use of received signals to improve the synchronization precision. The global model of MTCS is established, and then the coupling effects of slave clocks are analyzed.
The performance of MTCS is verified by both analysis and numerical simulations. MTCS shows advantages in synchronization precision, especially with dense links and a rapid loop update rate. Another important advantage is that when link interruptions or pseudolite failures occur, MTCS is more likely to keep the entire system in synchronization.
In future research, how to choose a master pseudolite in a specific network, which can affect the synchronization precision and behaviors with system failures, is a valuable topic. In addition, we are planning to conduct real-world experiments to further verify and improve the robustness of MTCS in challenging environments.
HOW TO CITE THIS ARTICLE
Wang T, Yao Z, Lu M. Mesh topology based clock synchronization technique for pseudolite systems. NAVIGATION. 2020;67:619–631. https://doi.org/10.1002/navi.383
ACKNOWLEDGMENT
This work was supported by the National Natural Science Foundation of China (NSFC) under Grant 61771272.
APPENDIX: SUPPLEMENTARY DERIVATION OF THE LOCAL MTCS FILTER
First, denote the a priori covariance matrix and a posteriori covariance matrix
as
A1
A2
From the analysis in Section 2.3, the influences of biases and noise should be discussed separately. Herein, the following derivation is focused on the random noise, while the measurement biases are ignored. In fact, we can assume all the measurement biases and subtract them from the equations.
First, with Equation (20), can be rewritten as
A3
Define as
A4
It can be said that the measurement noise is independent on the a priori estimate, and we have
A5
Then, with Equations (A3)–(A5), Equation (A2) can be rewritten as
A6
where
A7
With Equation (A6) and , the iterative computation of
and
can be carried out.
Footnotes
Funding information
National Natural Science Foundation of China, Grant/Award Number: 61771272
- Received November 26, 2019.
- Revision received March 19, 2020.
- © 2020 Institute of Navigation
This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.