Skip to main content

Main menu

  • Home
  • Current Issue
  • Archive
  • About Us
    • About NAVIGATION
    • Editorial Board
    • Peer Review Statement
    • Open Access
  • More
    • Email Alerts
    • Info for Authors
    • Info for Subscribers
  • Other Publications
    • ion

User menu

  • My alerts

Search

  • Advanced search
NAVIGATION: Journal of the Institute of Navigation
  • Other Publications
    • ion
  • My alerts
NAVIGATION: Journal of the Institute of Navigation

Advanced Search

  • Home
  • Current Issue
  • Archive
  • About Us
    • About NAVIGATION
    • Editorial Board
    • Peer Review Statement
    • Open Access
  • More
    • Email Alerts
    • Info for Authors
    • Info for Subscribers
  • Follow ion on Twitter
  • Visit ion on Facebook
  • Follow ion on Instagram
  • Visit ion on YouTube
Research ArticleRegular Papers
Open Access

Precise Positioning and Timekeeping in a Lunar Orbit via Terrestrial GPS Time-Differenced Carrier-Phase Measurements

Keidai Iiyama, Sriramya Bhamidipati, and Grace Gao
NAVIGATION: Journal of the Institute of Navigation March 2024, 71 (1) navi.635; DOI: https://doi.org/10.33012/navi.635
Keidai Iiyama
1Department of Aeronautics and Astronautics, Stanford University, California, United States
  • Find this author on Google Scholar
  • Find this author on PubMed
  • Search for this author on this site
Sriramya Bhamidipati,
1Department of Aeronautics and Astronautics, Stanford University, California, United States
  • Find this author on Google Scholar
  • Find this author on PubMed
  • Search for this author on this site
Grace Gao
1Department of Aeronautics and Astronautics, Stanford University, California, United States
  • Find this author on Google Scholar
  • Find this author on PubMed
  • Search for this author on this site
  • Article
  • Figures & Data
  • Supplemental
  • References
  • Info & Metrics
  • PDF
Loading

Abstract

There is a growing interest in the use of legacy terrestrial Global Positioning System (GPS) signals to determine the precise positioning and timing onboard a lunar satellite. Unlike prior works that utilize pseudoranges with meter-level accuracy, we propose a precise positioning and timekeeping technique that leverages carrier-phase measurements with millimeter-level accuracy (when integer ambiguities are correctly fixed). We design an extended Kalman filter framework that harnesses the intermittently available terrestrial GPS time-differenced carrier-phase (TDCP) values and gravitational accelerations predicted by the orbital filter. To estimate the process noise covariance, we implement an adaptive state noise compensation algorithm that adapts to the challenging lunar environment with weak gravity and strong third-body perturbations. Additionally, we perform measurement residual analysis to discard TDCP measurements corrupted by cycle slips and increased measurement noise. We present Monte-Carlo simulations of a lunar satellite in an elliptical lunar frozen orbit and quasi-frozen low lunar orbit, wherein we showcase higher positioning and timing accuracy as compared with the pseudorange-only navigation solution.

Keywords
  • GPS side lobes
  • lunar positioning, navigation, and timing (PNT)
  • time-differenced carrier phase

1 INTRODUCTION

After more than 50 years since the Apollo program, there is a growing interest in establishing a sustainable human presence on the Moon. To support increasing plans for lunar exploration, various missions are being planned in different lunar orbit regimes, e.g., the European Space Agency’s lunar Pathfinder (Giordano et al., 2022), which is to be deployed in an elliptical lunar frozen orbit (ELFO), and the Lunar Gateway (Winternitz et al., 2019), which is being spearheaded by the National Aeronautics and Space Administration (NASA), in a near-rectilinear halo orbit (NRHO). These missions require precise positioning and onboard timing to execute reliable communication; onboard guidance, navigation, and control; and mission activity planning. As per NASA’s Services Requirement Document (SRD) for lunar relay satellites (National Aeronautics and Space Administration, 2022), the required signal-in-space error (SISE) in position is 13.34 m (3σ, 99.7% of the time), and the SISE requirement in velocity is 1.2 mm/s (3σ) over any 10-s interval.

1.1 Prior Work on Positioning, Navigation, and Timing in Lunar Orbits

In the Lunar Reconnaissance Orbiter (LRO) mission, positioning accuracy better than 20 m is achieved by combining range and Doppler radiometric data tracked from the Universal Space Network and altimetric data from the lunar orbiter laser altimeter (Mazarico et al., 2012). However, in ground-based tracking, the position, navigation, and timing (PNT) information is estimated with a delay due to the time required for data post-processing and uplinking, thus restricting the real-time estimation of lunar satellite position. In addition, the scalability of these ground-station-based techniques is limited because they require dedicated deep-space antennas for recurring downlink/uplink tasks. Moreover, conducting orbit determination via ground station measurements requires human-in-the-loop operations, which could lead to an increase in mission operation costs. To this end, efforts have been made to achieve onboard navigation for lunar orbits. For example, the cislunar autonomous positioning system technology operations and navigation experiment (CAPSTONE) satellite, which entered an NRHO around the Moon, estimates its position in space without having to rely exclusively on Earth tracking stations (Cheetham et al., 2022). In particular, the CAPSTONE satellite communicates directly with the LRO and utilizes crosslink data to measure its distance and rate of distance change from the LRO, thus determining CAPSTONE’s position.

There has been growing interest in harnessing the signals being broadcast by the legacy terrestrial Global Positioning System (GPS) to achieve precise, standalone positioning in a lunar orbit. This research is motivated by the widespread use of terrestrial GPS for near-Earth space applications. Prior simulation works (Capuano et al., 2016, 2017; Schonfeldt et al., 2020) have demonstrated the presence of continual time segments at lunar distances during which terrestrial GPS signals are not occluded by Earth or the Moon, and their received signal power is sufficient for signal acquisition and tracking. These findings establish that, in a lunar orbit, it is possible to intermittently track a sufficient number of terrestrial GPS satellite signals required for estimating a full navigation solution (i.e., position, velocity, and timing). SpacePNT has developed a high-sensitivity, spaceborne global navigation satellite system (GNSS) receiver named NAVIMOON (Pultarova, 2021; Scotti et al., 2022), which will fly onboard the Lunar Pathfinder in 2026 and will perform a satellite navigation positioning fix in a lunar orbit. Additionally, the NASA Goddard Space Flight Center (GSFC) has pioneered work in developing the Navigator, a fully space-flight-qualified receiver with the ability to track very weak terrestrial GPS signals (Winternitz et al., 2004). GSFC is planning to test GPS navigation in the Earth-Moon transfer orbit in 2024 during the Lunar GNSS Receiver Experiment (Parker et al., 2022).

Particularly, achieving precise positioning and timing of satellites in lunar orbits poses significant challenges, including the following key issues:

  • Increased measurement noise due to the low carrier-to-noise ratio (C/N0) of weak terrestrial GPS signals;

  • Weak central gravitational potential and significant gravitational anomaly of the Moon, stronger third-body effects due to Earth, and relatively stronger solar radiation perturbations compared with central gravity, especially in highly eccentric orbits such as ELFOs and NRHOs;

  • Intermittent outage of terrestrial GPS signals in low lunar orbits and near perilunes of eccentric orbits; and

  • Poor geometry of terrestrial GPS satellites as seen from lunar satellites, leading to large dilution of precision (DOP) values and low observability of terrestrial GPS measurements.

Several works have also evaluated terrestrial GPS-based positioning and timing performance in various lunar orbits, including Earth-Moon transfer orbits, ELFOs, NRHOs, and low lunar orbits (Capuano et al., 2016, 2017; Lopes et al., 2014; Small et al., 2022; Winternitz et al., 2019). Capuano et al. (2016) and Capuano et al. (2017) developed an orbital filter that fuses observations of terrestrial GPS pseudorange and pseudorange rate with an orbital force model through an adaptive extended Kalman filter framework. In our prior works (Bhamidipati et al., 2022a, 2022b), we successfully demonstrated the use of terrestrial GPS pseudoranges to achieve precise and standalone timing onboard small satellites (SmallSats) in various lunar orbits such as low lunar orbit, prograde circular orbit, ELFO, and NRHO. In another prior work (Iiyama et al., 2021), we developed a decentralized, autonomous state estimation algorithm for SmallSats that provides PNT service using terrestrial GPS pseudoranges and inter-satellite communication links. However, all of these works rely on pseudorange measurements with only meter-level accuracy, thus restricting the positioning and timing accuracy achieved in lunar orbits.

1.2 Opportunities and Challenges of Using Terrestrial GPS Carrier-Phase Measurements in a Lunar Orbit

To achieve precise navigation in a lunar orbit, it would be beneficial to explore leveraging carrier-phase measurements that provide millimeter-level ranging accuracy when integer ambiguities are correctly fixed, unlike the meter-level pseudorange measurements used in prior lunar PNT works.

While carrier-phase measurements could provide more precision compared with pseudorange, this precision comes at the cost of fixing the unknown integer ambiguity. Integer ambiguity is often resolved via a least-squares ambiguity decorrelation adjustment (Teunissen et al., 1997). For pairs of satellites in an Earth orbit, several missions have demonstrated that precise real-time relative navigation can be achieved by processing single-difference carrier-phase measurements (D’Amico et al., 2013; Kahr et al., 2018). However, it is difficult to resolve integer ambiguity for the absolute positioning of lunar satellites because of the following challenges:

  • Currently, base stations or reference satellites with well-known positions that could be used for differential positioning do not exist on the Moon or in a lunar orbit.

  • It is difficult to fix integer ambiguities when the terrestrial GPS geometry seen from the user is poor compared with Earth orbits.

  • It is challenging to keep track of the carrier-phase signal from the same terrestrial GPS satellite for a long time in a lunar orbit, because of signal blockage by the Earth and Moon.

The time-differenced carrier-phase (TDCP) formulation avoids the problem of integer ambiguity fixing by differentiating the carrier-phase measurement between two time steps (Guillard et al., 2022; Kim et al., 2019; Zhao, 2017). The TDCP appraoch utilizes the fact that the integer ambiguity is constant over time while the carrier phase is tracked, which is true except when a cycle slip occurs. The TDCP formulation is also beneficial for removing slow-varying signal errors caused by terrestrial GPS satellite clocks and relativistic effects. Moreover, the TDCP formulation is well suited for the rapid motion of a lunar satellite, as we can benefit from the geometrical diversity of the terrestrial GPS satellites between two carrier-phase values at different time steps.

1.3 Proposed Framework

We propose a precise positioning and timing technique (see Figure 1) for lunar satellites that harnesses the intermittently available terrestrial GPS TDCP measurements and the gravitational accelerations predicted by the orbital filter. Note that our proposed framework can improve state estimates only when terrestrial GPS satellites are available. When terrestrial GPS measurements are not visible because of occultations from Earth and the Moon, the orbital filter can mitigate the drift in the position estimate (see results in Section 4 for further details).

FIGURE 1
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 1

Our proposed framework performs precise positioning and timekeeping onboard a lunar satellite by leveraging the intermittently available terrestrial GPS TDCP measurements. The figure is not to scale.

Here, we design a TDCP-based extended Kalman filter framework. To account for time correlations across TDCP measurements, we design an augmented state vector that incorporates consecutive lunar satellite states and performs fixed-point smoothing at each measurement update. The increase in the computational cost of the time and measurement update due to the increase in state size is minimized by effectively skipping unnecessary computations in the classical Kalman filter. The filter also executes cycle-slip detection, which discards corrupted TDCP measurements via measurement residual analysis. Moreover, we also implement an adaptive state noise compensation (ASNC) algorithm (Stacey & D’Amico, 2021) to adaptively adjust the process noise of the filter and to enhance the robustness of estimation in the challenging, dynamic lunar environment (i.e., with weak gravity and strong external perturbations). This approach is particularly beneficial for elliptical lunar orbits such as ELFOs, wherein the dynamic environment changes significantly between periapsis and apoapsis, thus also changing the process noise statistics. Our proposed framework will bridge the gap in lowering the current standards for positioning and timing accuracy achievable in a lunar orbit and thereby facilitate reliable operations during the entire mission life cycle of a lunar satellite. To the best of the authors’ knowledge, this is the first work to leverage TDCP measurements of terrestrial GPS satellites to navigate lunar satellites.

1.4 Key Contributions

Our key contributions are listed below. This work is based on our prior conference paper presented at the 2023 International Technical Meeting of the Institute of Navigation (Iiyama et al., 2023a).

  • We propose a precise PNT technique for lunar satellites that harnesses the intermittently available terrestrial GPS TDCP values and gravitational accelerations predicted by the orbital filter.

  • We address the problem of conditional dependence that occurs in the processing of GPS TDCP measurements by introducing augmented states constructed by concatenating states of two time steps.

  • We propose a time update and measurement update scheme that effectively reduces the computational cost compared with directly applying the Kalman filter update equations to the augmented state.

  • We detect outliers to discard TDCP measurements corrupted by increased measurement noise due to a low received (C/N0) and cycle slips.

  • We execute an ASNC algorithm to optimally adjust the process noise of the filter based on the dynamic characteristics of a lunar satellite within orbit.

  • Through high-fidelity Monte-Carlo simulations of a lunar satellite in an ELFO and quasi-frozen low lunar orbit (QFLLO), we confirm that our proposed framework achieves improved positioning and onboard timing as compared with the pseudorange-only navigation technique.

The remainder of this paper is organized as follows. Section 2 describes the formulation of lunar satellite dynamics and terrestrial GPS TDCP measurements. Section 3 discusses our proposed TDCP-based extended Kalman filter framework. Section 4 explains our simulation setup and experimental results. Section 5 provides concluding remarks.

2 PRELIMINARIES

We now describe the preliminaries regarding the linearized dynamics associated with the nonlinear motion of lunar satellites. We also introduce the math related to terrestrial GPS-based TDCP measurement formulation.

2.1 Lunar Satellite Dynamics Formulation

The satellite dynamics in a lunar orbit can be explained in terms of the equations of motion associated with their a) position and velocity via orbital dynamics, and b) time via dynamics of the onboard clock.

2.1.1 Orbital Dynamics

Based on the work by Montenbruck and Gill (2000), at any time step k, the satellite dynamics is a nonlinear function of time, position, velocity, and the solar radiation pressure coefficient and is given by the following:

Embedded Image 1

where γ denotes the ballistic coefficient of the solar radiation pressure, tk denotes the time based on GPS time, Embedded Image and Embedded Image denote the position and velocity of the lunar satellite in the Moon-centered inertial (MCI) frame, respectively, and ϵrv denotes the associated process noise. In this paper, we use a Moon-centered J2000 frame for the MCI frame. Additionally, a(t, ru, vu, γ) is the total acceleration on the lunar satellite, which equals the sum of the gravitational acceleration ag(t, ru, vu) and the acceleration due to solar radiation pressure a⊙(γ).

In Equation (1), the gravitational acceleration of the lunar satellite, which is calculated as the sum of the high-order gravitational terms from the Moon and third-body perturbations from the Earth, Sun, and Jupiter, can be expressed as follows (Montenbruck & Gill, 2000):

Embedded Image 2

Embedded Image 3

where Ug and ∇Ug denote the gravitational potential and its gradient, respectively, G is the universal gravitational constant, which equals 6.67430 × 10−11 m3/kg s2, M☾, R☾ are the mass and position of the Moon, rp is the position of the third-body planets (Earth, Sun, and Jupiter), and Mp is the corresponding mass. At each time step, rp is obtained from the DE440 ephemerides data available in the Spacecraft, Planet, Instrument, C-matrix, Events (SPICE) library of the Navigation and Ancillary Information Facility (NAIF) (Acton et al., 2018). Additionally, ϕ and λ are the latitude and longitude of the spacecraft position in the Moon-fixed frame, respectively. Embedded Image is the normalized Legendre function, and Embedded Image and Embedded Image are the normalized geopotential coefficients. For the Moon-fixed frame, we used the “IAU_MOON” frame provided in the NAIF SPICE library. Nsph is the maximum degree and order of the higher-order gravity terms.

In Equation (1), the acceleration due to solar radiation pressure α⊙ is calculated from the cannon ball model as follows:

Embedded Image 4

where Φ⊙ denotes the solar flux at 1 astronomical unit (AU) (=1360 W/m2; 1 AU = 1.498 × 108 km) and Au and Mu denote the surface area and mass of the lunar satellite, respectively. Additionally, d denotes the heliocentric distance to the lunar satellite, êSun denotes the sun unit direction vector from the lunar satellite, and CR = 1 + ϵ denotes the coefficient of reflection, where 0 ≤ ϵ ≤ 1 is the radiation reflection ratio of the spacecraft body. Finally, c denotes the speed of light, which equals 299792.458 km/s. To account for orbital perturbations due to solar radiation pressure with high precision, existing literature on orbit determination of satellites (Montenbruck & Gill, 2000) estimates Embedded Image as part of the state.

Let S(t) = [ru(t) vu(t) γ]⊤ be the vector of states related to the orbital dynamics. To obtain the linearized dynamics, consider the linearized state sk around the reference state Embedded Image as follows:

Embedded Image 5

where the reference state is initialized at the current estimate of the states, Embedded Image (e.g., the predicted state estimated via a time update step, as explained in Section 3.2).

By re-defining a(t, ru, vu, γ) from Equation (1) as a(t, S(t)), we obtain the linearized dynamics as follows:

Embedded Image 6

where:

Embedded Image 7

By propagating Equation (6) from tk–1 to tk, we have the following:

Embedded Image 8

where Embedded Image is the state transition matrix. The state transition matrix can be computed by propagating the following equation from tk–1 to tk:

Embedded Image 9

2.1.2 Clock Dynamics

The clock bias Embedded Image and clock drift Embedded Image are propagated by using the following discrete, two-state error model taken from Galleani (2008):

Embedded Image 10

Embedded Image 11

where the noise vector Embedded Image is Gaussian noise sampled from the random-walk process of the clock.

2.2 Terrestrial GPS TDCP Formulation

It is difficult to resolve the integer ambiguity in a non-differential mode and poor GPS geometry scenario, as considered in this paper. However, as discussed in Section 1, under the condition that the integer ambiguity is constant over time, the integer ambiguity can be eliminated by differencing the carrier-phase measurements between two time steps.

The terrestrial GPS TDCP measurement of any i-th satellite ΔTϕi using carrier-phase values at time steps k and (k – 1), i.e., Embedded Image and Embedded Image, respectively, is given by the following:

Embedded Image 12

where, eliminating subscripts k and k – 1 for the sake of simplicity, τu is the receiver’s clock bias and Embedded Image is the carrier-phase measurement noise. For any terrestrial GPS satellite i, ri is the satellite position in the MCI frame, (eu)i is the unit line-of-sight vector from the lunar satellite to the terrestrial GPS satellite i, and τi is the satellite clock error. Additionally, ΔT is sufficiently small such that the time difference in the tropospheric, ionospheric, and multipath-related terms in the standard carrier-phase equation (Kaplan & Hegarty, 2017) is considered negligible and is thus absorbed into the residual noise term Embedded Image. Additionally, we utilize terrestrial GPS-based pseudorange and pseudorange rate measurements in our proposed filter, with standard equations taken from the work of Kaplan and Hegarty (2017). A detailed explanation regarding the terrestrial GPS measurement formulation can be found in our prior work (Iiyama et al., 2023b).

3 PROPOSED TDCP EXTENDED KALMAN FILTER

Figure 2 shows a high-level overview of our proposed framework, which is based on an extended Kalman filter. In this framework, we execute the time update step based on the orbital dynamics and the measurement update step via terrestrial GPS-based pseudorange, pseudorange rate, and TDCP measurements. We perform outlier detection in carrier-phase measurements during the measurement update step. We implement an ASNC algorithm to adjust the process noise to be used in the time update. The details of each process are provided in the following subsections.

FIGURE 2
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 2

Flowchart of our proposed framework, wherein the time update is performed via an orbital filter and the measurement update is executed via terrestrial GPS-based measurements when at least one terrestrial GPS satellite is visible

3.1 Augmented State

Let Embedded Image be the lunar satellite state vector defined in Equation (13):

Embedded Image 13

The lunar satellite state vector Embedded Image includes the position ru, velocity vu, solar radiation pressure reflection coefficient CR, clock bias τu, and clock drift Embedded Image. The position ru and velocity vu are in the MCI frame, where the axes of the inertial frame are chosen to coincide with J2000.

In Equation (12), Embedded Image and Embedded Image are functions of Embedded Image and Embedded Image, respectively. Therefore, the TDCP measurement Embedded Image is a function of two consecutive lunar satellite states. This breaks one of the assumptions of the Kalman filter, which is the conditional independence of Embedded Image and Embedded Image, given Embedded Image, as follows:

Embedded Image 14

Previous works have addressed this issue by modifying the extended Kalman filter update equations to account for the conditional dependance (Guillard et al., 2022; Kim et al., 2019). However, the framework in those previous works processes the TDCP measurement separately from the other measurements (e.g., pseudorange), which ignores the effect of future measurements on the past state estimate. Note that when TDCP measurements are present, future measurements will also provide information on the past states because the TDCP measurements will correlate the states at two different time steps.

In this paper, we propose an alternative approach, where we construct an augmented state:

Embedded Image 15

by concatenating the two states at consecutive time steps at which the two carrier-phase measurements that construct the TDCP measurement are taken. By introducing this new state, the TDCP measurement becomes a function of Xk only; thus, conditional independence can be secured. One advantage of the augmented state approach is that it accounts for the aforementioned effect in the measurement update by processing other measurements together with the TDCP measurements. Another advantage of the augmented state approach is that it can handle an arbitrary number of intermediate measurements (e.g., inertial measurement unit [IMU] data, inter-satellite range) between two TDCP measurements. While intermediate measurements are not considered in this paper, we have presented a framework to jointly process IMU and TDCP measurements with the augmented state approach in our previous work (Iiyama et al., 2023b).

3.2 Time Update Step

We first define the linearized state vector Embedded Image around the reference lunar satellite state (i.e., current estimate of the state in the extended Kalman filter) vector Embedded Image as follows:

Embedded Image 16

Based on Equations (16), (8), and (11), the linearized dynamics of the lunar satellite state vector Embedded Image at any k time step are given by the following:

Embedded Image 17

Embedded Image 18

Embedded Image 19

where ϵk denotes zero-mean Gaussian process noise, whose covariance Embedded Image depends on the noise covariance in the lunar satellite position and velocity, which is given by Embedded Image, and that in the lunar satellite clock, which is given by Embedded Image. Note that the state transition matrices Φrvc(tk, tk–1) and Φclk(tk, tk–1) were defined in Equations (9) and (11), respectively. We set the process noise of the solar ballistic coefficient γ to 0 because its variation will most likely be slow enough to justify the assumption of zero process noise.

In Equation (19), the process noise covariance Embedded Image is modeled as Embedded Image, where σ1, σ2 are the diffusion components of the clock phase deviation and clock frequency deviation.

The process noise covariance Embedded Image is formulated as follows (Tapley et al., 2004):

Embedded Image 20

Embedded Image 21

where Embedded Image is defined as the unmodeled acceleration, Embedded Image is the position and velocity component of the state transition matrix, and κ is the variable of integration, which represents time. With the assumption that the process noise does not perturb the state enough to change the accelerations over the update interval, Equation (20) can be approximated as follows (Myers, 1974):

Embedded Image 22

Next, we formulate the linearized augmented state vector xk given by Embedded Image, where Embedded Image was introduced in Equation (16). In the time update of our proposed framework, we propagate the linearized augmented state xk and its covariance Pk as follows:

Embedded Image 23

Embedded Image 24

where Embedded Image and Embedded Image are the predicted augmented state vector and its covariance at time step k, respectively. Similarly, Embedded Image and Embedded Image are the estimated augmented state vector and its covariance at time step (k – 1), respectively. The state transition matrix of the augmented state Φ(tk, tk–1) is given by Embedded Image with the state transition matrix Embedded Image defined in Equation (18). In addition, the process noise covariance Qk is given by Embedded Image, where the process noise covariance matrix Embedded Image of the linearized state vector Embedded Image was defined in Equation (19). Note that the state transition matrix and process noise covariance matrix corresponding to the second part of the state are identity and zero matrices, respectively, because the second half of the state represents the fixed past state tk–1 and thus remains unchanged.

3.3 Measurement Update Step: Modified for Computational Efficiency

Compared with simply applying the measurement update step equations performed in the extended Kalman filter to the full augmented state, we can reduce the computational cost by only calculating half of the Kalman gain matrix. This approach is possible because the second half of the updated linearized augmented state vector Embedded Image (i.e., after the measurement update step) will be the estimate of the lunar satellite state vector at time tk–1 based on the measurements up to tk (i.e., Embedded Image). The full estimate Embedded Image and its covariance Embedded Image need not be calculated unless we want to refine our past state estimate at which the last terrestrial GPS measurement was received. Because the augmented state will be re-initialized after the measurement update, as shown in Section 3.4, and will not be used in the later time steps, the Kalman gain only has to be calculated for the first half of the states (as shown later in Equation (26)).

In the measurement update step, our proposed filter processes a stacked measurement vector that combines three types of terrestrial GPS measurements, i.e., pseudorange ρ, pseudorange rate Embedded Image, and TDCP ΔTϕ. Let zk be the stacked measurements obtained at time step k as follows:

Embedded Image 25

where m and m′ are the number of available terrestrial GPS signals and TDCP signals, respectively. The total number of measurements will be M = 2m + m′. We additionally model the measurement covariance matrix Rk as a time-dependent diagonal matrix. We modeled the pseudorange error based on the thermal noise of the receiver delay lock loop (DLL), carrier tracking errors with phase lock loop (PLL) thermal noise, and pseudorange rate errors with frequency lock loop (FLL) tracking loop jitter. More details regarding this covariance modeling can be found in the work by Kaplan and Hegarty (2017). We also added a Gaussian noise term of 10 m (2σ) to the pseudorange and 0.01 m/s (2σ) to the pseudorange rate as a SISE. This value is based on the SISE values (≤7.0 m 95% user range error and ≤0.006 m/s 95% user range rate error) specified in the GPS performance standard (Department of Defense, 2020). We added some margins to the specified values to account for additional errors, such as group delays in the sidelobe signal and ionospheric delays. Time correlations in the SISE are not modeled in this work, but will be addressed in future work. For the TDCP measurements, we assumed that SISEs and propagation errors were completely removed via time differentiation.

As explained earlier, to improve computational efficiency, we compute the Kalman gain for only the first half of the states. To do so, we first divide the predicted state covariance (the covariance matrix after the time update in Equation (24)) into four sub-matrices of size Embedded Image, as follows:

Embedded Image 26

We then calculate the Kalman gain Embedded Image as follows:

Embedded Image 27

Embedded Image 28

Embedded Image 29

Here, Hk denotes the linearized measurement model (defined in Equation (28)) that stacks the linearized measurement models associated with the pseudorange Hρ,k, pseudorange rate Embedded Image, and TDCP Embedded Image. The augmented state and its covariance will be reconstructed from these values following the procedure shown in Section 3.4. For any i-th satellite, the linearized measurement models of the pseudorange Embedded Image, pseudorange rate Embedded Image, and TDCP Embedded Image are defined in Equations (30), (31), and (32), respectively:

Embedded Image 30

Embedded Image 31

Embedded Image 32

With our measurement vector zk from Equation (25), the modeled measurement covariance Rk, and the updated Kalman gain Kk from Equation (27), the state estimate Embedded Image and the covariance estimate Embedded Image are updated via the sub-component of the Joseph form equation for the extended Kalman filter (Bucy & Joseph, 1987) as follows:

Embedded Image 33

Embedded Image 34

Embedded Image 35

where Embedded Image denotes the measurement residual, i.e., the difference between the received measurements zk and the expected measurement for the predicted augmented state vector Embedded Image (defined as a stack of the measurement equations related to pseudorange, pseudorange rate, and TDCP). The Joseph form is mathematically equivalent to the standard Kalman filter measurement update equations, but has better numerical robustness and prevents the covariance matrix from becoming non-positive definite (Tapley et al., 2004).

3.4 Augmented State Vector Reconstruction

We reconstruct the augmented state vector and covariance after the measurement update to process the next TDCP measurements. The reconstructed augmented state for processing the next TDCP measurement between time steps k and (k + 1) is as follows:

Embedded Image 36

where Embedded Image is the obtained covariance in Equation (34). Note that the covariance matrix of the augmented state given by Equation (36) is positive semi-definite and therefore valid. See Appendix A for a corresponding proof. The augmented state Embedded Image and its covariance Embedded Image are propagated via time update steps until the next terrestrial GPS measurement at time step k + 1. As noted by Gopalakrishnan et al. (2011), this procedure can be viewed as a fixed-point smoothing of the lagged state xk based on future predictions from the orbital filter and the terrestrial GPS measurements at time step k + 1.

Note that the time update of the augmented state covariance matrix of size 18 × 18 shown in Equation (24) can be executed with the same computational cost as updating the 9 × 9 covariance matrix, as shown below in Equation (37):

We expand Equation (24) using Embedded Image (which is similar to Equation (36)):

Embedded Image 37

which has the same computational cost as calculating Embedded Image, because the other three sub-matrices of Embedded Image, i.e., Embedded Image, and Embedded Image, can be obtained during the computation of Embedded Image.

3.5 Adaptive State Noise Compensation

As explained in Section 1, the dynamic environment changes significantly between the periapsis and apoapsis for elliptical lunar orbits such as ELFOs and NRHOs. Therefore, it would be beneficial to estimate the process noise covariance online through adaptive filtering techniques to automatically tune the process noise covariance to improve performance and robustness.

In ASNC, the empirical process covariance of the position and velocity is calculated as an average over the sliding window of the past N time steps as follows:

Embedded Image 38

Here, the state update Embedded Image is defined as Embedded Image, where Embedded Image denotes the measurement residual defined in Equation (33) and Kk denotes the Kalman gain defined in Equation (27). Correspondingly, note that the theoretical process noise covariance matrix and its approximation were defined in Section 3.2.

The objective of this ASNC step is to calculate the covariance of the unmodeled acceleration Embedded Image that minimizes the difference between Equation (38) and Equation (22), assuming that Qa is a diagonal matrix. This is a weighted least-squares problem, and the solution can be obtained analytically as follows (Stacey & D’Amico, 2021):

Embedded Image 39

Embedded Image 40

Embedded Image 41

where:

Embedded Image 42

Here, Embedded Image is the first six rows and columns of the covariance of the state update Embedded Image (Sp is defined in Equation (29)), and (∘) denotes Hadamard (element-wise) multiplication.

After Qa is computed from Equations (39)–(42), it is inserted into Equation (22) to perform the time update.

3.6 Outlier Detection

To correctly process TDCP measurements, outliers caused by different factors, such as increased measurement noise or cycle slips, should be detected and discarded. For each TDCP measurement i ∈ 1,…m′, as discussed for Equation (43), we perform outlier detection by comparing the normalized residual metric, which is formulated as the ratio of the squared measurement residual Embedded Image and its expected covariance Embedded Image. We discard measurement i if the normalized residual metric is greater than the pre-defined threshold Embedded Image or if the ratio of the carrier wavelength λc and the expected covariance of the residual is below a predefined threshold Embedded Image. The first criterion discards outliers, whereas the second criterion discards all TDCP measurements whenever we have large residual expectations and it is difficult to distinguish whether the residuals are due to cycle slips or measurement noise. The selection of γcs depends on the desired balance between sensitivity and false alarm rate as follows:

Embedded Image 43

4 EXPERIMENTAL SETUP AND RESULTS

We validate our proposed framework using a MATLAB simulation of lunar satellites equipped with a terrestrial GPS receiver and an onboard clock.

4.1 Experimental Setup

To verify the proposed algorithm, we simulate the PNT performance of a satellite operating in an ELFO. The starting epoch of the simulation is set to 2022 August 01, 01:00:00, and the simulation time duration is set to four orbits for the ELFO. The orbit is shown in Figure 3(a). The initial orbital elements and the orbital periods are shown in Table 1.

FIGURE 3
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 3

The lunar satellite’s trajectory and skyplot and the statistics of terrestrial GPS signals tracked from an ELFO (a) ELFO shown in the Moon-centered J2000 (b) Skyplot at a chosen time epoch where 11 terrestrial GPS signals are tracked. The GPS satellites are clustered in the satellite’s boresight direction. (c) Number of terrestrial GPS satellites tracked in the ELFO. The gray-shaded region in (c) illustrates the terrestrial GPS outage period (48 min per orbit, which corresponds to 6.1% of the orbital period). (d) DOP value of the terrestrial GPS signals. The DOP values are defined in the satellite body frame, where the z axis is the antenna boresight direction. The VDOP and GDOP values are over 100 times larger than the HDOP values.

View this table:
  • View inline
  • View popup
TABLE 1

Initial Orbit Elements and Orbital Period of the ELFO

The orbital elements are given in the J2000 frame.

To model the transmit antenna onboard the terrestrial GPS satellites in our simulation setup, we utilize the transmit power and antenna gain patterns of the L1 coarse acquisition signals from the NASA antenna characterization experiment (Donaldson et al., 2020) for Block II-F and the original data from Lockheed Martin for Block IIR and IIR-M satellites (Marquis & Reigh, 2015). Because of a lack of data for Block III satellites, we assumed they have the same antenna patterns as Block II-F satellites. For the GPS receiver, we consider a high-gain steering antenna with 14 dBi at an off-boresight angle of 0° and a 3-dB beamwidth of 12.2°, representative of the current design of the Pretty CubeSat mission (Fragner et al., 2020).

The terrestrial GPS signal from each GPS satellite is considered to be visible when it is not blocked by the Earth and Moon and the C/N0 continuously exceeds the acquisition and tracking threshold of 15 dB-Hz. All terrestrial GPS signals that pass through a region within an altitude of 1000 km from the Earth’s surface are also discarded to remove signals subject to tropospheric or ionospheric delay. It is assumed that the demodulation of the almanac and ephemeris is not performed onboard but is provided from ground stations or other satellites, as the modulation requires a higher C/N0 threshold of 26.5 dB-Hz for legacy navigation (LNAV) (Delépaut et al., 2020). Based on the simulation results reported by Delépaut et al. (2020), the mean number of GPS satellites whose ephemeris can be demodulated is 3.08 for an NRHO. Computing the number of GPS satellites whose ephemeris can be demodulated onboard will be addressed as future work.

Figure 3(c) shows the number of terrestrial GPS signals that can be tracked. At some time points, a lunar receiver can track a maximum of 11 terrestrial GPS satellites. However, near the perilune, there exist complete GPS outages, lasting for an average of 48 min per orbit, which corresponds to 6.1% of the orbital period.

Figure 3(d) shows the geometric DOP (GDOP), time DOP (TDOP), horizontal DOP (HDOP), and vertical DOP (VDOP). Here, the HDOP and VDOP were calculated with respect to the body frame of the lunar satellite, where the +z axis points toward the center of the Earth. The VDOP and TDOP values are over 100 times larger than the HDOP values, which implies that we incur larger positioning errors in the line-of-sight direction of the signal. This result occurs because the lines of sight to the terrestrial GPS satellites are all clustered around the boresight direction and lack variation in elevation, as shown in Figure 3(b), because of the large distance between the lunar orbit and Earth compared with the size of the terrestrial GPS orbit.

We sample the position and velocity of the terrestrial GPS satellites at a rate of 1 Hz. Correspondingly, we design our filter with an update interval of Δt = 1.0 s. To simulate the frequency random-walk noise and white frequency noise of the clock in Equation (10), parameters of the mini-rubidium atomic frequency standard (RAFS) (Orolia, 2021) (σ1 = 1.0 × 10−11, σ2 = 1.1 × 10−15) are used in modeling the on-board clock. The tracking loop parameters used to compute the thermal noise in the DLL, PLL, and FLL are summarized in Table 3.

View this table:
  • View inline
  • View popup
TABLE 3

Tracking Loop Parameters Used in the Simulation

The parameters shown in Table 2 are used for the truth dynamics model (used to generate measurement data) and the filter dynamics model (used for time updates). We assume that the filter model is only able to calculate the high-order gravity terms of the Moon up to a lower order and degree compared with the truth model because of the limited computation available onboard.

View this table:
  • View inline
  • View popup
TABLE 2

Dynamics Model Used in the Simulation

To evaluate the navigation performance of the filter and compare this performance with the LunaNet SRD specifications, we calculate the root mean square (RMS) and the 68, 95, and 99.7 percentile values of the two values shown below:

Embedded Image 44

Embedded Image 45

where Embedded Image are the true positions and velocities (in the MCI frame), Embedded Image are the estimated positions and velocities, Embedded Image are the true clock bias and clock drifts, and Embedded Image are the estimated clock bias and clock drifts. We assess the mean performance over 24 Monte-Carlo simulations with different clock motions and state estimate initializations. However, in this work, we do not consider other sources of SISE, such as orbit and clock fitting errors in broadcasted ephemeris parameters (Cortinovis & Iiyama, 2023) or uncalibrated or unknown group delays. Therefore, the position SISE and velocity SISE will be larger than the PCBE and VCDE values, respectively.

Assuming navigation aids from the ground station are provided for initial orbit determination, the initial state estimation error (1σ) was set to 100 m for each position axis in the MCI frame, 1.0 m/s for each velocity axis in the MCI frame, 100 m for the clock bias (converted to meters by multiplication with the speed of light), and 0.1 m/s for the clock drift. Each performance metric was calculated by using the last orbital period of all of the Monte-Carlo runs to evaluate the PNT performance after convergence.

4.2 PNT Performance

The PNT performance was simulated for the cases in which all three types of measurements (psueduorange, pseudorange rate, and TDCP) were processed with or without ASNC. For the case without ASNC, the unmodeled acceleration was fixed to Qa = diag([1.0 × 10−14 1.0 × 10−14 1.0 × 10−14]). When ASNC is used, the Qa matrix is adaptively updated; its trace value is shown in Figure 4. We can see that the unmodeled acceleration noise grows near the perilune. This increase occurs because the effects of unmodeled high-order gravity terms become more significant near the perilune; moreover, the linearization errors between fixed time steps become larger because of the faster motion of the satellite.

FIGURE 4
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 4

Trace of the unmodeled acceleration matrix (Qa) computed by the ASNC algorithm

The unmodeled acceleration noise grows near the perilune, where the effects of unmodeled high-order gravity terms become more significant and a larger linearization error occurs because of the fast motion of the lunar satellite.

The obtained estimation error is summarized in Table 4. Both PCBE and VCDE estimates are improved by adding the ASNC compared with using a fixed unmodeled acceleration value. However, despite the improved performance obtained with ASNC, the filter was not able to meet both SISE requirements of NASA, as shown by the cumulative distribution function (CDF) histogram in Figure 6. Potential ways to further reduce the estimation error include incorporating additional sensor measurements, receiving signals from other GNSS constellations (e.g., Galileo), and tuning the ASNC window length, which is currently set to N = 10.

View this table:
  • View inline
  • View popup
TABLE 4

PNT Performance Obtained with Our Proposed Framework in an ELFO with an Onboard Mini-RAFS

“Below Req.” denotes the time ratio at which the PCBE/VCDE ratio falls below the SISE requirements of the LunaNet SRD (13.43 m for SISE of position and 1.2 mm/s for SISE of velocity).

FIGURE 6
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 6

CDF of the PCBE and VCDE for an ELFO, obtained with ASNC

The red line shows the value of the corresponding 3σ SISE requirement from LuneNet SRD, and the green line shows the obtained 3σ estimation error of the PCBE and VCDE.

The time history of the estimation error and covariance of the lunar satellite states for the ASNC case is shown in Figure 5. From Figure 5, we observe that the position, velocity, and clock bias estimations converge after roughly two orbital periods. This result occurs because the satellite is able to receive terrestrial GPS measurements from various directions while circulating around the orbit. Recall that it is challenging to estimate a lunar satellite’s position using single or limited terrestrial GPS measurements because of the high DOP values in the line-of-sight directions, as explained in Section 4.1. The ballistic solar radiation pressure coefficient γ takes a longer time to converge than the other parameters, as it cannot be directly observed from the measurements, and the perturbations created by solar radiation pressure are relatively small compared with gravitational forces.

FIGURE 5
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 5

Estimation error (red line) and 3σ covariance (red shaded area) of the lunar satellite states for a Monte-Carlo simulation in an ELFO

The position and velocity state errors are represented in the radial-tangential-normal (RTN) frame with respect to the true orbit. The estimation errors in the normal direction are larger compared with the radial and tangential directions, as they are more aligned with the GPS line-of-sight direction, where pseudorange error exists. The gray shaded area shows the terrestrial GPS outage period near the perilune. The duration corresponds to four orbital periods, and the simulation begins at the apolune. The state estimates other than the solar radiation pressure (SRP) coefficient γ converge after approximately one orbital period. Spikes in the state covariance estimate occur during the terrestrial GPS outage.

4.3 Outlier Detection

Our outlier detector (as explained in Section 3.6) was tested by randomly adding cycle slips to 30% of the simulated carrier-phase signals. The detection threshold was set to a constant value of γcs = 3. Each cycle slip was simulated as an instantaneous change in the integer ambiguity term from the previous time step. The number of cycles that change from the previous time step when a cycle slip occurs was limited to integers between –5 and +5.

The navigation performance for the scenario with simulated cycle slips is shown in Table 5. When our outlier detector was not incorporated into the filter, the state estimation diverged by unknowingly processing biased estimates. In contrast, our proposed outlier detector was able to avoid degradation by successfully removing outliers, as shown in Figure 7. When cycle slips were present, the implemented detector was able to detect and discard 100% of corrupted measurements. When cycle slips were not present, the detector identified 99.7% as non-corrupted. In simple terms, our detector had a misdetection rate of 0% and a false alarm rate of 0.3%.

View this table:
  • View inline
  • View popup
TABLE 5

Navigation Results (24 Monte-Carlo Runs) When Cycle Slips are Added to the Simulator

The filter crashed because of the ill-matrix condition when our outlier detector was not incorporated in the filter. In contrast, our proposed cycle slip detector avoided this degradation by successfully removing outliers. The percentage of corrupted measurements in any Monte-Carlo run denotes the percentage of measurements among the total that are induced with cycle slips.

FIGURE 7
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 7

Residuals of the TDCP measurements, shown in meters

The residuals from a single run are split into two figures: the left figure shows the residuals of the cycle-slip-corrupted measurements, and the right figure shows the residuals of the non-corrupted TDCP measurements. The black dashed horizontal lines show multiples of the carrier-phase wavelength. The outlier detector discards 100% of the cycle-slip-corrupted measurements and accepts 99.7% of the non-corrupted measurements.

4.4 Different Terrestrial GPS Measurement Combinations

Different measurement combinations were tested to investigate the contribution of each measurement to the navigation accuracy, as follows: 1) pseudorange only; 2) pseudorange + pseudorange rate; and 3) pseudorange + pseudorange rate + TDCP. The results are summarized in Table 6. As expected, adding the pseudorange rate and/or TDCP measurements to the pseudorange measurement reduces the state estimation errors. In particular, compared with the pseudorange + pseudorange rate solution, which has a 99.7% value of 25.4 m in PCBE and 8.76 mm/s in VCDE, the addition of the TDCP measurement reduces the 99.7% value to 14.0 m in PCBE (a 44.0% improvement) and 5.37 mm/s in VCDE (a 38.6% improvement). These improvements can be attributed to the precise position difference information provided by the TDCP measurement.

View this table:
  • View inline
  • View popup
TABLE 6

Navigation Results (24 Monte-Carlo Runs) for Different Measurement

Combinations Compared with the pseudorange + pseudorange rate solution, the addition of the TDCP measurement reduces both the PCBE and VCDE.

4.5 Performance in a QFLLO

The PNT performance that can be achieved by using terrestrial GPS signals depends on the geometrical features and dynamic environment of the lunar orbit. To investigate the achievable PNT performance of the proposed algorithm in a more challenging scenario, we also conducted a PNT simulation in a QFLLO. The initial orbital elements of the QFLLO were obtained via the method introduced by Singh et al. (2020), with values shown in Table 7. The generated orbit is shown in Figure 8(a), and the number of GPS signals that could be tracked is shown in Figure 8(b).

View this table:
  • View inline
  • View popup
TABLE 7

Initial Orbit Elements and Orbital Period of a QFLLO

The orbital elements are given in the J2000 frame.

FIGURE 8
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 8

Trajectory of the lunar satellite and the number of GPS satellites tracked in the QFLLO (a) QFLLO shown in the MCI J2000 frame (b) Number of terrestrial GPS satellites tracked in the QFLLO

It is challenging to performed GPS-based PNT in a QFLLO for two main reasons. First, a satellite at a low lunar orbit experiences a proportionally longer GPS outage period compared with an ELFO, with an average GPS outage period of 32 min per orbit, which corresponds to 25% of the orbital period. Second, there exists a larger discrepancy between acceleration modeled by the truth and filter model, because the effects of unmodeled high-order gravity terms become more significant in low lunar orbits.

A simulation was conducted for eight orbital periods for a QFLLO, with the results summarized in Table 8. Compared with an ELFO, a satellite in an QFLLO experiences larger state estimation errors because of the higher ratio of the GPS outage period to the orbital period. As seen for the ELFO case, the positioning error increases during the outage period, as shown in Figure 9, but the error is still bounded and soon decreases again after the outage period has passed.

View this table:
  • View inline
  • View popup
TABLE 8

Navigation Performance for a Satellite in a QFLLO Equipped with a Mini-RAFS (24 Monte-Carlo Runs)

Each performance metric is calculated from the last two orbital periods of all of the Monte-Carlo runs for eight orbital periods each. “PR” and “PRR” in the measurement column denote pseudorange and pseudorange rate measurements, respectively.

FIGURE 9
  • Download figure
  • Open in new tab
  • Download powerpoint
FIGURE 9

Position estimation error (red line) and 3σ covariance (red shaded area) of the satellite position in a Monte-Carlo simulation for a QFLLO

The position errors are represented in the RTN frame with respect to the true orbit. The gray shaded area shows the terrestrial GPS outage period near the perilune. The duration corresponds to eight orbital periods, and the simulation begins at the apolune.

Similar to the ELFO, compared with the pseudorange + pseudorange rate solution, which shows a 99.7% PCBE of 121.2 m and VCDE of 115.2 mm/s, the addition of the TDCP measurement reduces the 99.7% PCBE to 48.5 m (a 75.9% improvement) and 3σ VCDE to 27.7 mm/s (a 77.1% improvement). The improvement in the PCBE is larger than that of the ELFO case because a satellite in a QFLLO experiences faster motion compared with an ELFO, and therefore, obtaining a precise time-differential position estimate via TDCP measurements more strongly improves the position estimate accuracy.

5 CONCLUSIONS

We designed an augmented state Kalman filter framework for lunar satellite PNT that utilizes terrestrial GPS pseudorange, pseudorange rate, and TDCP measurements with the orbital dynamics predicted by the filter. The developed filter accounts for the issue of conditional dependence that occurs in the processing of TDCP measurements by introducing an augmented state vector that incorporates consecutive satellite states. Our proposed framework discards corrupted TDCP measurements (outliers such as cycle slips) by comparing the post-measurement residuals and their estimated covariance. Additionally, our framework adaptively adjusts the process noise covariance by minimizing the difference between the theoretical and empirical unmodeled acceleration covariance.

The performance of the proposed filter was validated through Monte-Carlo simulations of a lunar satellite in an ELFO, equipped with a mini-RAFS. Our work successfully isolated the TDCP measurements suffering from cycle slips and demonstrated 99.7% PCBE and VCDE values below 20 m and 10 mm/s, respectively. The results of the navigation simulation with different measurement combinations indicate that we can reduce the 99.7% PCBE by 44.0% and 3σ VCDE by 38.6% by using the precise TDCP measurements, compared with using only pseudorange and pseudorange rate measurements. In addition, we conducted navigation simulations for a QFLLO and demonstrated the applicability of the proposed framework over different lunar orbit regimes. Overall, although the simulation results of our proposed TDCP-based extended Kalman filter framework did not meet the target set by NASA’s SRD, our findings show a promising improvement in position, velocity, and clock bias estimate when compared with the use of an extended Kalman filter with only pseudorange and pseudorange rate measurements.

Future research areas include higher-fidelity modeling of the carrier-phase tracking process to investigate the feasibility of carrier-phase tracking of low C/N0 signals, simulating the onboard ephemeris and almanac availability in ELFOs and QFLLOs, investigating the required uplink intervals from ground stations, and computing achievable performance when other GNSS signals (e.g., Galileo) are available. Moreover, we may consider simulating the achievable performance for lower-grade clocks, although a higher C/N0 threshold will likely be required to track the carrier with lower-grade clocks. Finally, we may assess the integration of other sensor measurements and/or satellite crosslinks to reduce positioning and timing errors and to meet the LunaNet SISE requirements.

HOW TO CITE THIS ARTICLE

Iiyama, K., Bhamidipati, S., & Gao, G. (2024). Precise positioning and timekeeping in a lunar orbit via terrestrial GPS time-differenced carrier-phase measurements. NAVIGATION, 71(1). https://doi.org/10.33012/navi.635

ACKNOWLEDGMENTS

We would like to thank Daniel Neamati for reviewing this paper.

A PROOF THAT THE RECONSTRUCTED AUGMENTED STATE COVARIANCE MATRIX IS POSITIVE SEMI-DEFINITE

Here, we prove that the reconstructed augmented state covariance matrix given by Embedded Image (from Equation (36)) is positive semi-definite (p.s.d.) for an arbitrary time step k when the covariance estimate at the initial time step Embedded Image is p.s.d. We prove this by mathematical induction.

  1. If Embedded Image is p.s.d., Embedded Image is p.s.d.

    Proof: From the assumption, Embedded Image is p.s.d. Here, let Embedded Image, where Embedded Image. Then, we have the following:

    Embedded Image 46

    Therefore, the augmented state covariance matrix Embedded Image is p.s.d.

  2. If Embedded Image is p.s.d., Embedded Image is also p.s.d.

    Proof: In the time update (as per Section 3.2) and the measurement update (as per Section 3.3), the state covariance matrix is updated via the Joseph form of the Kalman filter equation (Bucy & Joseph, 1987): Equations (24) and (34). In these two equations, Embedded Image is p.s.d. from the assumption, and to satisfy the setup conditions for an extended Kalman filter, the process noise and measurement noise matrices, Qk and Rk, are p.s.d.

    For any p.s.d. matrix Embedded Image and an arbitrary matrix Embedded Image, TAT⊤ is also p.s.d. because of the following:

    Embedded Image 47

    Moreover, the sum of two p.s.d. matrices is also p.s.d. Therefore, from Equation (24), Embedded Image is p.s.d.; based on this finding and Equation (34), Embedded Image is p.s.d.

    Finally, we can prove that the following matrix is also p.s.d.:

    Embedded Image 48

    by performing operations analogous to those in Equation (46).

From mathematical induction, Embedded Image is p.s.d. for arbitrary k, if the covariance estimate at the initial time step Embedded Image is p.s.d.

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.

REFERENCES

  1. ↵
    1. Acton, C.,
    2. Bachman, N.,
    3. Semenov, B., &
    4. Wright, E.
    (2018). A look towards the future in the handling of space science mission geometry. Planetary and Space Science, 150, 9–12. https://www.doi.org/10.1016/j.pss.2017.02.013
  2. ↵
    1. Bhamidipati, S.,
    2. Mina, T., &
    3. Gao, G.
    (2022a). A case study analysis for designing a lunar navigation satellite system with time-transfer from Earth-GPS. Proc. of the 2022 International Technical Meeting of the Institute of Navigation (ITM 2022), 407–419. https://www.doi.org/10.33012/2022.18202
  3. ↵
    1. Bhamidipati, S.,
    2. Mina, T., &
    3. Gao, G.
    (2022b). Time transfer from GPS for designing a SmallSat-based lunar navigation satellite system. NAVIGATION, 69(3). https://www.doi.org/10.33012/navi.535
  4. ↵
    1. Bucy, R. S., &
    2. Joseph, P. D.
    (1987). Filtering for stochastic processes with applications to guidance: Second edition. AMS Chelsea Publishing.
  5. ↵
    1. Capuano, V.,
    2. Basile, F.,
    3. Botteron, C., &
    4. Farine, P. A.
    (2016). GNSS-based orbital filter for Earth Moon transfer orbits. Journal of Navigation, 69(4), 745–764. https://www.doi.org/10.1017/S0373463315000843
  6. ↵
    1. Capuano, V.,
    2. Blunt, P.,
    3. Botteron, C., &
    4. Farine, P. A.
    (2017). Orbital filter aiding of a high sensitivity GPS receiver for lunar missions. NAVIGATION, 64(3), 323–338. https://www.doi.org/10.1002/navi.185
  7. ↵
    1. Cheetham, B.,
    2. Gardner, T.,
    3. Forsman, A.,
    4. Kayser, E., &
    5. Clarkson, M.
    (2022). Capstone: A unique CubeSat platform for a navigation demonstration in cislunar space, Proc. of the ASCEND 2022 Conference, Las Vegas, NV, 4382. https://www.doi.org/10.2514/6.2022-4382
  8. ↵
    1. Cortinovis, M., &
    2. Iiyama, K.
    (2023). Satellite ephemeris approximation methods to support lunar positioning, navigation, and timing services. Proc. of the 36th International Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS+ 2023), Denver, CO, 3647–3663. https://doi.org/10.33012/2023.19282
  9. ↵
    1. D’Amico, S.,
    2. Ardaens, J.-S., &
    3. Florio, S. D.
    (2013). Autonomous formation flying based on GPS — PRISMA flight results. Acta Astronautica, 82(1), 69–79. https://www.doi.org/10.1016/j.actaastro.2012.04.033
  10. ↵
    1. Delépaut, A.,
    2. Giordano, P.,
    3. Ventura-Traveset, J.,
    4. Blonski, D.,
    5. Schönfeldt, M.,
    6. Schoonejans, P.,
    7. Aziz, S., &
    8. Walker, R.
    (2020). Use of GNSS for lunar missions and plans for lunar in-orbit development. Advances in Space Research, 66(12), 2739–2756. https://www.doi.org/10.1016/j.asr.2020.05.018
  11. ↵
    1. Department of Defense
    . (2020). Global Positioning System standard positioning service performance standard 5th edition. https://www.gps.gov/technical/ps/2020-SPS-performance-standard.pdf
  12. ↵
    1. Donaldson, J. E.,
    2. Parker, J. J.,
    3. Moreau, M. C.,
    4. Highsmith, D. E., &
    5. Martzen, P. D.
    (2020). Characterization of on-orbit GPS transmit antenna patterns for space users. NAVIGATION, 67(2), 411–438. https://www.doi.org/10.1002/navi.361
  13. ↵
    1. Fragner, H.,
    2. Dielacher, A.,
    3. Moritsch, M.,
    4. Wickert, J.,
    5. Koudelka, O.,
    6. Hoeg, P.,
    7. Cardellach, E.,
    8. Martin-Neira, M.,
    9. Semmling, M.,
    10. Walker, R., &
    11. Lissi, F.
    (2020). Status of the ESA Pretty mission. Proc. of the 2020 IEEE International Geoscience and Remote Sensing Symposium (IGARSS 2020), Waikoloa, HI, 3345–3348. https://www.doi.org/10.1109/IGARSS39084.2020.9323454
  14. ↵
    1. Galleani, L.
    (2008). A tutorial on the two-state model of the atomic clock noise. Metrologia, 45(6), S175. https://www.doi.org/10.1088/0026-1394/45/6/S23
  15. ↵
    1. Giordano, P.,
    2. Malman, F.,
    3. Swinden, R.,
    4. Zoccarato, P., &
    5. Ventura-Traveset, J.
    (2022). The Lunar Pathfinder PNT experiment and Moonlight navigation service: The future of lunar position, navigation and timing. Proc. of the 2022 International Technical Meeting of the Institute of Navigation, Long Beach, CA, 632–642. https://www.doi.org/10.33012/2022.18225
  16. ↵
    1. Gopalakrishnan, A.,
    2. Kaisare, N. S., &
    3. Narasimhan, S.
    (2011). Incorporating delayed and infrequent measurements in Extended Kalman Filter based nonlinear state estimation. Journal of Process Control, 21(1), 119–129. https://www.doi.org/10.1016/j.jprocont.2010.10.013
    CrossRef
  17. ↵
    1. Guillard, A.,
    2. Thevenon, P., &
    3. Milner, C.
    (2022). Using TDCP Measurements in a low-cost PPP-IMU hybridized filter for real-time applications. Proc. of the 35th International Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS+ 2022), 2090–2103. https://www.doi.org/10.33012/2022.18331
  18. ↵
    1. Iiyama, K.,
    2. Bhamidipati, S., &
    3. Gao, G.
    (2023a). Precise positioning and timekeeping in lunar orbit via terrestrial GPS time differenced carrier-phase measurements. Proc. of the 2023 International Technical Meeting of the Institute of Navigation, Long Beach, CA, 213–232. https://www.doi.org/10.33012/2023.18597
  19. ↵
    1. Iiyama, K.,
    2. Bhamidipati, S., &
    3. Gao, G.
    (2023b). Terrestrial GPS time-differenced carrier-phase positioning of lunar surface users. Proc. of the 2023 IEEE Aerospace Conference (AERO), Big Sky, MT, 1–8. https://www.doi.org/10.1109/AERO55745.2023.10115673
  20. ↵
    1. Iiyama, K.,
    2. Kawabata, Y., &
    3. Funase, R.
    (2021). Autonomous and decentralized orbit determination and clock offset estimation of lunar navigation satellites using GPS signals and inter-satellite ranging. Proc. of the 34th International Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS+ 2021), St. Louis, MO, 936–949. https://www.doi.org/10.33012/2021.18019
  21. ↵
    1. Kahr, E.,
    2. Roth, N.,
    3. Montenbruck, O.,
    4. Risi, B., &
    5. Zee, R. E.
    (2018). GPS relative navigation for the CanX-4 and CanX-5 formation-flying nanosatellites. Journal of Spacecraft and Rockets, 55(6), 1545–1558. https://doi.org/10.2514/1.a34117
  22. ↵
    1. Kaplan, E. D., &
    2. Hegarty, C.
    (2017). Understanding GPS/GNSS: Principles and applications. Artech House.
  23. ↵
    1. Kim, J.,
    2. Kim, Y.,
    3. Song, J.,
    4. Kim, D.,
    5. Park, M., &
    6. Kee, C.
    (2019). Performance improvement of time-differenced carrier phase measurement-based integrated GPS/INS considering noise correlation. Sensors, 19(14), 3084. https://www.doi.org/10.3390/s19143084
  24. ↵
    1. Lopes, H. D.,
    2. Silva, J. S.,
    3. Silva, P. F.,
    4. Musumeci, L.,
    5. Dovis, F.,
    6. Serant, D.,
    7. Calmettes, T.,
    8. Challamel, R.,
    9. Ospina, J. A.,
    10. Pessina, I., &
    11. Perello, J. V.
    (2014). GNSS-based navigation for lunar missions. Proc. of the 27th International Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS+ 2014), Tampa, FL, 1536–1553. https://www.ion.org/publications/abstract.cfm?articleID=12471
  25. ↵
    1. Marquis, W. A., &
    2. Reigh, D. L.
    (2015). The GPS block IIR and IIR-M broadcast L-band antenna panel: Its pattern and performance. NAVIGATION, 62(4), 329–347. https://www.doi.org/10.1002/navi.123
  26. ↵
    1. Mazarico, E.,
    2. Rowlands, D. D.,
    3. Neumann, G. A.,
    4. Smith, D. E.,
    5. Torrence, M. H.,
    6. Lemoine, F. G., &
    7. Zuber, M. T.
    (2012). Orbit determination of the Lunar Reconnaissance Orbiter. Journal of Geodesy, 86(3), 193–207. https://www.doi.org/10.1007/s00190-011-0509-4
  27. ↵
    1. Montenbruck, O., &
    2. Gill, E.
    (2000). Satellite orbits: Models, methods and applications. Springer Berlin Heidelberg.
  28. ↵
    1. Myers, K. A.
    (1974). Filtering theory methods and applications to the orbit determination problem for near-earth satellites [Doctoral dissertation, The University of Texas at Austin].
  29. ↵
    1. National Aeronautics and Space Administration
    . (2022). Lunar communications relay and navigation systems (LCRNS) Preliminary Lunar Relay Services Requirements Document (SRD). https://esc.gsfc.nasa.gov/static-files/ESC-LCRNS-REQ-0090%20Rev_B%2012-05-2022%20DCN001.pdf
  30. ↵
    1. Orolia
    . (2021). Ispace+™ miniRAFS spec. https://www.orolia.com/wp-content/uploads/2021/07/Spectratime-miniRAFS-Spec-01-19-21-1.pdf
  31. ↵
    1. Parker, J. J.,
    2. Dovis, F.,
    3. Anderson, B.,
    4. Ansalone, L.,
    5. Ashman, B.,
    6. Bauer, F. H.,
    7. D’Amore, G.,
    8. Facchinetti, C.,
    9. Fantinato, S.,
    10. Impresario, G.,
    11. McKim, S. A.,
    12. Miotti, E.,
    13. Miller, J. J.,
    14. Musmeci, M.,
    15. Pozzobon, O.,
    16. Schlenker, L.,
    17. Tuozzi, A., &
    18. Valencia, L.
    (2022). The Lunar GNSS Receiver Experiment (LuGRE). Proc. of the 2022 International Technical Meeting of the Institute of Navigation, Long Beach, CA, 420–437. https://www.doi.org/10.33012/2022.18199
  32. ↵
    1. Pultarova, T.
    (2021). This device will make GPS work on the Moon. SPACE.com. https://www.space.com/gps-navigation-at-the-moon-navimoon
  33. ↵
    1. Schonfeldt, M.,
    2. Grenier, A.,
    3. Delépaut, A.,
    4. Giordano, P.,
    5. Swinden, R.,
    6. Ventura-Traveset, J.,
    7. Blonski, D., &
    8. Hahn, J.
    (2020). A system study about a lunar navigation satellite transmitter system. Proc. of the 2020 European Navigation Conference (ENC), Dresden, Germany, 1–10. https://www.doi.org/10.23919/enc48637.2020.9317521
  34. ↵
    1. Scotti, M.,
    2. Botteron, C.,
    3. Rico, M.,
    4. Basile, F.,
    5. Massaras, V.,
    6. Kieniewicz, B.,
    7. Svaton, J.,
    8. Giordano, P., &
    9. Ventura-Traveset, J.
    (2022). Navimoon–ultra-high sensitivity GNSS receiver for lunar navigation. NAVITEC 2022, 1. https://atpi.eventsair.com/navitec-2022/agenda
  35. ↵
    1. Singh, S. K.,
    2. Woollands, R.,
    3. Taheri, E., &
    4. Junkins, J.
    (2020). Feasibility of quasi-frozen, near-polar and extremely low-altitude lunar orbits. Acta Astronautica, 166, 450–468. https://www.doi.org/10.1016/j.actaastro.2019.10.037
  36. ↵
    1. Small, J. L.,
    2. Mann, L. M.,
    3. Crenshaw, J. M.,
    4. Gramling, C. J.,
    5. Rosales, J. J.,
    6. Winternitz, L. B.,
    7. Hassouneh, M. A.,
    8. Baker, D. A.,
    9. Hur-Diaz, S., &
    10. Liounis, A. J.
    (2022). Lunar relay onboard navigation performance and effects on lander descent to surface. Proc. of the 2022 International Technical Meeting of the Institute of Navigation, Long Beach, CA, 587–601. https://www.doi.org/10.33012/2022.18221
  37. ↵
    1. Stacey, N., &
    2. D’Amico, S.
    (2021). Adaptive and dynamically constrained process noise estimation for orbit determination. IEEE Transactions on Aerospace and Electronic Systems, 57(5), 2920–2937. https://www.doi.org/10.1109/TAES.2021.3074205
  38. ↵
    1. Tapley, B. D.,
    2. Schutz, B. E., &
    3. Born, G. H.
    (2004). Statistical orbit determination. Elsevier.
  39. ↵
    1. Teunissen, P., De
    2. Jonge, P., &
    3. Tiberius, C.
    (1997). Performance of the LAMBDA method for fast GPS ambiguity resolution. NAVIGATION, 44(3), 373–400. https://www.doi.org/10.1002/j.2161-4296.1997.tb02355.x
  40. ↵
    1. Winternitz, L.,
    2. Moreau, M.,
    3. Boegner, G. J., Jr., &
    4. Sirotzky, S.
    (2004). Navigator GPS receiver for fast acquisition and weak signal space applications. Proc. of the 17th International Technical Meeting of the Satellite Division of the Institute of Navigation (ION GNSS 2004), Long Beach, CA, 1013–1026. https://ntrs.nasa.gov/citations/20040171175
  41. ↵
    1. Winternitz, L. B.,
    2. Bamford, W. A.,
    3. Long, A., &
    4. Hassouneh, M. A.
    (2019). GPS based autonomous navigation study for the Lunar Gateway. Proc. of the Annual American Astronautical Society (AAS) Guidance, Navigation, and Control Conference, Breckenridge, CO. https://ntrs.nasa.gov/citations/20190002311
  42. ↵
    1. Zhao, Y.
    (2017). Applying time-differenced carrier phase in nondifferential GPS/IMU tightly coupled navigation systems to improve the positioning performance. IEEE Transactions on Vehicular Technology, 66, 992–1003. https://www.doi.org/10.1109/TVT.2016.2558206
PreviousNext
Back to top

In this issue

NAVIGATION: Journal of the Institute of Navigation: 71 (1)
NAVIGATION: Journal of the Institute of Navigation
Vol. 71, Issue 1
Spring 2024
  • Table of Contents
  • Index by author
Print
Download PDF
Article Alerts
Sign In to Email Alerts with your Email Address
Email Article

Thank you for your interest in spreading the word on NAVIGATION: Journal of the Institute of Navigation.

NOTE: We only request your email address so that the person you are recommending the page to knows that you wanted them to see it, and that it is not junk mail. We do not capture any email address.

Enter multiple addresses on separate lines or separate them with commas.
Precise Positioning and Timekeeping in a Lunar Orbit via Terrestrial GPS Time-Differenced Carrier-Phase Measurements
(Your Name) has sent you a message from NAVIGATION: Journal of the Institute of Navigation
(Your Name) thought you would like to see the NAVIGATION: Journal of the Institute of Navigation web site.
Citation Tools
Precise Positioning and Timekeeping in a Lunar Orbit via Terrestrial GPS Time-Differenced Carrier-Phase Measurements
Keidai Iiyama, Sriramya Bhamidipati,, Grace Gao
NAVIGATION: Journal of the Institute of Navigation Mar 2024, 71 (1) navi.635; DOI: 10.33012/navi.635

Citation Manager Formats

  • BibTeX
  • Bookends
  • EasyBib
  • EndNote (tagged)
  • EndNote 8 (xml)
  • Medlars
  • Mendeley
  • Papers
  • RefWorks Tagged
  • Ref Manager
  • RIS
  • Zotero
Share
Precise Positioning and Timekeeping in a Lunar Orbit via Terrestrial GPS Time-Differenced Carrier-Phase Measurements
Keidai Iiyama, Sriramya Bhamidipati,, Grace Gao
NAVIGATION: Journal of the Institute of Navigation Mar 2024, 71 (1) navi.635; DOI: 10.33012/navi.635
Twitter logo Facebook logo Mendeley logo
  • Tweet Widget
  • Facebook Like
  • Google Plus One
Bookmark this article

Jump to section

  • Article
    • Abstract
    • 1 INTRODUCTION
    • 2 PRELIMINARIES
    • 3 PROPOSED TDCP EXTENDED KALMAN FILTER
    • 4 EXPERIMENTAL SETUP AND RESULTS
    • 5 CONCLUSIONS
    • HOW TO CITE THIS ARTICLE
    • ACKNOWLEDGMENTS
    • A PROOF THAT THE RECONSTRUCTED AUGMENTED STATE COVARIANCE MATRIX IS POSITIVE SEMI-DEFINITE
    • REFERENCES
  • Figures & Data
  • Supplemental
  • References
  • Info & Metrics
  • PDF

Related Articles

  • Google Scholar

Cited By...

  • No citing articles found.
  • Google Scholar

More in this TOC Section

  • Ranging Performance Evaluation for Higher-Order Scalable Interplex
  • Combinatorial Watermarking Under Limited SCER Adversarial Models
  • Wide-Sense CDF Overbounding for GNSS Integrity
Show more Regular Papers

Similar Articles

Keywords

  • GPS side lobes
  • lunar positioning, navigation, and timing (PNT)
  • time-differenced carrier phase

Unless otherwise noted, NAVIGATION content is licensed under a Creative Commons CC BY 4.0 License.

© 2025 The Institute of Navigation, Inc.

Powered by HighWire