Ronni Grapenthin - Notes (he / him / his) email: |
University of Alaska Fairbanks Geophysical Institute 2156 Koyukuk Drive Fairbanks, AK-99775 |
Published: 2019/03/11
This is the weby-fied version of a handout for my course on geodetic methods and modeling; might as well share it more broadly. How can we get a position estimate from signals a GPS / GNSS satellite sends?
A range describes the geometric distance between two points, in our case they are a satellite and a receiver. This could be inferred by (1) measuring the transit time, , of a signal that travels from satellite to receiver at the speed of light, , or (2) by calculating the Euclidean distance between known satellite and known receiver positions.
The problem with (2) is that we don't have the receiver's position and (1) depends on the receiver clock that is biased (non-atomic clock!) and the signal is affected by path delays due to ionosphere and toposphere impacts and other error sources. That's why a travel-time derived observable of distance between satellite and receiver is called pseudorange.
In the derivation below we will use pseudorange observables in a simple method to estimate receiver positions. We will not deal with all the error terms (e.g., ionosphere or troposphere) and instead assume that they can be easily integrated.
The pseudorange from receiver to satellite , , can be expressed as:
where is the true range to satellite , remains the speed of light, is the receiver clock bias, is clock bias of satellite and are ionospheric and tropospheric delays. The last term, , captures unmodeled effects, such as multipath, measurement errors, etc. Note that subscripts (e.g., ) reflect receiver specific values, while superscripts identify individual satellites; these are not powers of !
As mentioned in the introduction, we have two ways to express the geometric range: the transit time, multiplied by the speed of light, , and the Euclidean distance. The former does not include the receiver position, which we would like to estimate. Thus, we use Euclidean distance here:
giving the Euclidean distance between a receiver at position and the satellite, , at position . Note that here, we assume that the satellite position is given. Several levels of quality of these positions exist from broadcast (sent by satellite; about 100 cm precision) to high-precision-two-weeks-after-the-fact-satellite-positions (about 2.5 cm precision), see IGS website for more.
Note that range is also time dependent, which is not explicitly stated above. Obviously, the satellite moves and its position changes. But our receiver may also move (which is actually the interesting application for geophysics). Furthermore, both positions have to be given in the same coordinate system, which we will require to be earth centered earth-fixed, ECEF (details on coordinate systems may come later, for now assume that we can get the satellite position in ECEF).
Welcome to the meat of this post! Our goal is some sort of solution that gives us the receiver position. Let's have at it!
Inserting the Euclidean distance expression for into the pseudorange measurement model we introduced above, we get:
where are unknown and now captures all delays including ionosphere and troposphere delays given separately before. Unfortunately, this equation is non-linear in . This prevents us from directly setting up a linear system of equations that could be easily solved with, for instance, least-squares approximations. What to do? Instead of throwing up our hands and walking away from the problem, we can try to find a linear approximation of the problem and solve that for receiver position and receiver clock error.
To achieve this, your Calc III knowledge will come in quite handy! We'll use the linear parts of a multivariate Taylor Series expansion of , which assumes that we can approximate with a linear function in the vicinity of a point. For any function that is at least differentiable once, a linear approximation about the point is given by the sum of the function at this point and its partial derivatives at that point:
So, if we linearize about an approximate position and expected receiver clock bias using the linear part of the multivariate Taylor Series expansion, we get:
Note that we substituted with to avoid double deltas here. We can simplify this a bit:
Remember that is the difference between the measured pseudorange and the expected geometric range between a satellite position and the apriori position. We can calculate an updated absolute position and clock bias by adding to the apriori values . We're pretty close to a solution here, but we first need to calculate the partial derivatives:
Let's work on this for the term . We will need the chain rule (yay, Calc I!):
and we set to be the term under the square-root in the range expression for the Euclidean distance given above:
we can write:
Doing this for all the partial derivatives at the apriori position gives us:
The result for the partial derivative with respect to the clock error follows from earlier expressions of . Note that is the geometric range from the apriori position to satellite , which can be calculated without needing the precise position. Any model corrections that could be applied (e.g., troposphere, ...) could go in there, too. With these expressions for the partial derivatives, we can rewrite the equation for as:
Assuming that we have satellites in view, each of which giving us a pseudorange measurement , we can now set up a linear system of equations:
This matrix equation is of the form where is a matrix containing the partial derivatives, is a vector with the pseudorange differences, and is the vector with the unknowns; specifically the receiver position and clock error. We can solve this with least squares techniques to minimize the sum of squared residuals, for instance, using the normal equations:
We can also introduce a weight matrix to, for instance, put less emphasis on satellites at low elevation angles (I leave it up to you to define reasonable relationships here):
Once we have a solution , we can add update the apriori values:
and iterate until improvements are small.
You can now do what your phone does. If you wish, practice it here in a lab that's part of my class. Use any programming language you like.
The position quality you're getting here isn't fantastic, but good enough to keep you on the road. In science we're usually using dual frequency GPS and track the phase of the signal, which allows for much higher precision. More on that another time, I hope.
rg <at> nmt <dot> edu | Created: 2019/03/11 | Last modified: March 12 2019 15:14.