Beruflich Dokumente
Kultur Dokumente
Theory
Slides
Barcelona, Spain
http://www.gage.upc.edu
gAGE
The authorship of this material and the Intellectual Property Rights are owned
by J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
Contents
Lecture 0: Introduction.
List of Acronyms.
gAGE
research group of Astronomy and Geomatics
Introduction
Contact: jaume.sanz@upc.edu
gAGE/UPC
An intuitive approach to
GNSS positioning
gAGE/UPC
Master
Ma
Master off Science
ter Sciience in GNSS @ J. Sanz & J.M. Juan
5
A ship determines its location from a set on lighthouses that
gAGE
research group of Astronomy and Geomatics
send an acoustic signal at a known time.
the sea!
Master
Maste
Mas
aster
te off Science
Sciience in GNSS @ J. Sanz & J.M. Juan
6
Master
Ma
Master off Science
ter Sciience in GNSS @ J. Sanz & J.M. Juan
7
Errors in the clocks (lighthouses and ship) synchronism affects the accuracy
gAGE
research group of Astronomy and Geomatics
True range or
Geometric range
True range or
Geometric range
Satellites broadcast
orbit and clock data
Satellite coordinates
and clock offset
Lighthouses
coordinates P
Receiver measures
traveling time from
satellite
sate
sa
ate
ellite to receiver
Pseudorange (P)
Lighthouses-ship
gAGE/UPC
ranges.
gAGE
How GNSS Works
research group of Astronomy and Geomatics
Receiver
location
gAGE/UPC
gAGE
How GNSS Works
Lesson 1:
research group of Astronomy and Geomatics
GPS measurements
and its combinations
Measurements:
Ranges
Pseudoranges are
computed from the
traveling time sat-rec
Several error sources
affect these
measurements
Receiver
gAGE/UPC
location
Satellite coordinates
and clock offsets are Lesson 2:
computed from the
navigation message: GPS Orbits and
(orbit.f) clocks
Measurements:
Me
Meas
asur
u em
ur emen
ents
en ts::
ts
Raangges
Ranges
Pseudoranges
Pse
P seud
udor
ud oran
ange
g s are
ge are
computed
comp
co mput
mp uted
ut
tedd from
from
from thethhe
traveling
tr
rav
a el ing time
elin
in
ing time sat-rec
e sa
satt-reec
Seve
Se vera
ve
Severalrall error
ra erro
er rorr so
ro sour
urce
urces
ce
sources s
affect
af
ffect
fe
ect these
thes
th e e
es
measurements
meas
me asur
as urem
ur emen
em ents
en ts
Receiver
gAGE/UPC
location
gAGE
How GNSS Works
Satellite location
research group of Astronomy and Geomatics
Satellite coordinates
and clock offsets are
computed from the
navigation message:
(orbit.f)
Measurements:
Ranges
Pseudoranges are
Atmospheric propagation: IONO, TROPO computed from the
traveling time sat-rec Lesson 3:
Several error sources
affect GPS
thesemeasurements
modeling (code)
Relativistic effects
measurements
MODEL:
Atmospheric propag.,
relativistic effects,
Receiver clocks and instrum.
gAGE/UPC
22
i
11
io
io dt
11
GG
11
kk
x x2
io
Ranges io
'xii
yio y 2are zio z 2 'y
P dt22
Pi UUio2io2 dt GGkk2 Pseudoranges
1
2 io
ii
Uio
computed
c fromUio2 the Uio2
2
'zii
........
........ ttraveling
time sat-rec
..........
P nn
Pi UUioio dtdt GGkk Several nerror sources
cdtii
nn nn nn
xio x
affect yio these
yn zio z n
Un 1
Lesson 3: measurements
io Uion Uion
Solving the
MODEL:
navigation Equations
Atmospheric propag.,
Navigation relativistic effects,
equations clocks and instrum.
The geometric delays are modeled
gAGE/UPC
gAGE
How GNSS Works
research group of Astronomy and Geomatics
Lessons 4, 5, 6:
Code and Carrier phase
Differential positioning.
Floating/fixing
ambiguities
Receiver
gAGE/UPC
location
gAGE
research group of Astronomy and Geomatics
Thank you!
gAGE/UPC
Lecture 1
research group of Astronomy and Geomatics
GNSS measurements
and their combinations
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
22 Jan 2015
gAGE
Contents
research group of Astronomy and Geomatics
1227.6
27.6 M
MHz 1575.42
5.42 M
MHz
L2 L1
gAGE/UPC
gAGE
GPS Code Pseudorange Measurements
S L(1k ) (t ) aP X P( k ) (t ) D ( k ) (t ) sin(Z1t M L1 ) aC X C( k ) (t ) D ( k ) (t ) cos(Z1t M L1 )
research group of Astronomy and Geomatics
S L( 2k ) (t ) bP X P( k ) (t ) D ( k ) (t ) sin(Z2t M L2 )
binary code XP(t)
C1,P
P 1, P2
'T
S L( 2k ) (t ) bP X P( k ) (t ) D ( k ) (t ) sin(Z2t M L2 )
Carrier phase
Carrier beat phase:
gAGE
Carrier and Code pseudorange measurements
research group of Astronomy and Geomatics
P1 P1
P1= c 'T= c [trec(T)-tsat(T-'T)]
P1 | U clock offset
| 20.000 Km
P1 is basically the geometric range (U)
between satellite and receiver, plus the
relative clock offset.
The range varies in time due to the
satellite motion relative to the receiver.
gAGE/UPC
c 'T O1 N1
research group of Astronomy and Geomatics
L1 (T )
Relative measurement
(shifted by the unknown ambiguity ON )
L1 | U clock offset O1 N1
Master of Science in GNSS @ J. Sanz & J.M. Juan
9
Ambiguity
Antispoofing (A/S):
The code P is encrypted to Y. Wavelength
W V noise Main
Only theGPS
code Csignal
at characteristics
((chip-length) (1% of O) [*]
frequency L1 is available.
research group of Astronomy
m
Code measurements
C1 300 m 3m
Unambiguous
P1 (Y1): encrypted 30 m 30 cm
but noisier
P2 (Y2): encrypted 30 m 30 cm
Phase measurements
L1 19.05 cm 2 mm Precise
L2 24.45 cm 2 mm but ambiguous
gAGE/UPC
[*] the codes can be smoothed with the phases in order to reduce noise
(i.e, C 1 smoothed with L 1 50 cm noise)
gAGE
RINEX FILES
research group of Astronomy and Geomatics
gAGE/UPC
HEADER
MEASUREMENTS
gAGE/UPC
Measurement time
(receive time tags)
Synthetic P2
(A/S=on)
gAGE/UPC
gAGE
Pseudorange modeling
research group of Astronomy and Geomatics
P= c 'T= c [trec(T)-tsat(T-'T)]
Psat
sat
rec
rec U sat
rec c (dtrec dt sat
) GG
Geometric range Clock offsets
gAGE/UPC
G Trop sat
rec Ion sat
rec K rec K sat
H
Ionospheric delay noise
Master of Science in GNSS @ J. Sanz & J.M. Juan
Tropospheric delay Instrumental delays 18
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
Exercise:
research group of Astronomy and Geomatics
a) Using Exercise 1:
the file 95oct18casa___r0.rnx, generate the txt file
95oct18casa.a (with data ordered in columns).
b) Plot code and phase measurements for satellite PRN28 and
discuss the results.
Resolution:
a) gLAB_linux -input:cfg meas.cfg -input:obs coco0090.97o
gAGE/UPC
cambiar
gAGE/UPC
P1
gAGE/UPC
sat
P1sta U sta
sat
c (dtsta dt sat ) Tropsta
Master of Science in GNSS
sat
Ion1sat
sta K K sat
H231
@ J. Sanz & J.M. Juan
1sta 1
Notice that
P2 Ionosphere (Ion) and
Instrumental delays (K)
depend on frequency.
gAGE/UPC
P2 sat U sta
sat
c (dtsta dt sat ) Tropsta
Master of Science in GNSS
sta
sat
Ion2 sat
sta K K sat
24H 2
@ J. Sanz & J.M. Juan
2 sta 2
Code
Ionosphere delays and
code and Phase measurements
gAGE advances phase measurements
sat
; U sta c (dtsta dt sat ) Tropsta Ion1sat H1
sta K1sta K1
C
1 sta
sat
P1sta sat sat sat
P2 sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion2 sat
sta K 2 sta K 2
sat
H2
Frequency dependent
Phase measurements: L1,L2
L1sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion1sat
sta b1sta b1
sat
O1 N1 O1w Q 1
L2 sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion2 sat
sta b2 sta b2
sat
O2 N 2 O2 w Q 2
research
rese
phase Ambiguities
gAGE/UPC
of cycles (N)
L1sat
sta U sta c (dtsta dt sat ) Tropsta
Master of Science
sat in GNSS sat
Ion1sat
sta b1sta b1
sat
O1 N1 O1w Q 1
@ J. Sanz & J.M. Juan
Carrier Phase measurements
s The geometry U is the
gAGE
dominant term in the
plot. The pattern in the
research group of Astronomy and Geomatics
L2 sat
sta U sta c (dtsta dt sat ) Tropsta
Master of Science
sat in GNSS sat
Ion2 sat
sta b2 sta b2
sat
O2 N 2 O2 w Q 2
@ J. Sanz & J.M. Juan
gAGE
Contents
research group of Astronomy and Geomatics
PI= P2 P1=Iono+ctt
LI= L1 L2= Iono+ctt+Ambig
Ambiguity
P2 sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion2 sat
sta K 2 sta K 2
sat
H2
s
res
L1sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion1sat
sta b1sta b1
sat
O1 N1 O1w Q 1
L2 sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion2 sat
sta b2 sta b2
sat
O2 N 2 O2 w Q 2
gA
Ambiguity
gAGE/UPC
&
40.3 r [ GPSreceiver ]
&
Ion
f2
STEC STEC
&
N (r , t )dr
e
r [ GPStransmitter ]
Ionosphere
Ambiguity
gAGE/UPC
2. Ionosphere-free
Ionospheric-Free
Combination
Combination(Pc,Lc)
gAGE
f12 P1 f 22 P2 f12 L1 f 22 L2
Pc Lc
f12 f 22 f12 f 22
Note: Ksat cancels in Pc
sat
Pcsta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Hc and Ksta included in dtsta
sat
Lcsta U sta
sat
c (dtsta dt sat ) Tropsta
sat
bc , sta bc sat ON Rc ON w Q c
Comments:
f1 P1 f 2 P2 f1 L1 f 2 L2
PN LW
f1 f 2 f1 f 2
PN sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ionw sat K w K w sat H N
sta sta
LW sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ionw sat bw bw sat Ow N w Q w
sta sta
gAGE/UPC
Hint:
LW= OW IW ; IW = I1 I2
Master of Science in GNSS Slides associated to the GNSS Data Processing book
J. Sanz Subirana, J.M. Juan Zornoza, M. Hernndez-Pajares 37
gAGE
Contents
research group of Astronomy and Geomatics
involves millions
of cycles it is
easy to detect!!
There is a cycle-
slip of only one
gAGE/UPC
cycle (~20cm)
How to detect it?
Master of Science in GNSS @ J. Sanz & J.M. Juan
39
gAGE
Exercise:
research group of Astronomy and Geomatics
U
gAGE/UPC
L1Master
sta U sta
sat of Science
c (dtsta dt sat ) Tropsta
sat in GNSS sat
Ion1sat
sta b1sta b1
sat
O1 N1 O1w 41Q 1
@ J. Sanz & J.M. Juan
P1sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion1sat
sta K1sta K1
sat
H1
L1Master
sta U
sat of Science
sta c
sat in GNSS
( dt sta dt sat
) Trop sat
sta Ion sat
1sta b1sta b1
sat
O1 N1 O1w 42Q 1
@ J. Sanz & J.M. Juan
The geometry and clock offsets have been removed.
gAGE
The trend is due to the Ionosphere. The P1 code noise shadows
the cycle-slip, and without the reference (in blue), the time where
research group of Astronomy and Geomatics
P1sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion1sat
sta K1sta K1
sat
H1
L1Master
sta U sta
sat of Science
c (dtsta dt sat ) Tropsta
sat in GNSS sat
Ion1sat
sta b1sta b1
sat
O1 N1 O1w 43Q 1
@ J. Sanz & J.M. Juan
gAGE
The geometry, clock offsets and iono have been removed.
There is a constant pattern plus noise. The P1 code noise also shadows
the cycle-slip, and without the reference (in blue), the time where the
research group of Astronomy and Geomatics
sat
Lcsta Pcsta
sat
ctt ambig H
gAGE/UPC
sat
Pcsta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Hc
sat
Lcsta U sta
sat
c (dtsta dt sat ) Tropsta
Master of Science in GNSS
sat
bC , sta bC sat ON Rc ON w Q c
@ J. Sanz & J.M. Juan
44
gAGE
The geometry, clock offsets and iono have been removed.
There is a constant pattern plus noise. The P1 code noise also shadows
the cycle-slip, and without the reference (in blue), the time where the
research group of Astronomy and Geomatics
sat
LI sta PI sta
sat
ctt ambig H
gAGE/UPC
sat
PI sta IonI K I sta K I sat H I
Master of Science in GNSS
sat
LI sta IonI bI sta bIsat O1 N1 O2 N 2 (O1 O2 ) w Q I45
@ J. Sanz & J.M. Juan
sta PN sta
LW sat sat
ctt ambig H
gAGE/UPC
sat
PN sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ionw sat K w K w sat H N
sta sta
LWMaster
sta U sta
sat of Science
c (dtsta dt sat ) Tropsta
sat in GNSS sat
Ionw sat
sta
bw sta
bw
sat
Ow N w Q46w
@ J. Sanz & J.M. Juan
gAGE
The geometry and clock offsets have been removed.
The trend is due to the Iono. The L1 code noise is few mm, and
the variation of the ionosphere in 1 second is lower than O1 =19 cm
research group of Astronomy and Geomatics
H mm
(O1 O2 )w
L1,satsta Lsat
2, sta Ion1,satsta Ion2,satsta ctt ambig H
gAGE/UPC
L1sat
sta U sta
sat
c (dtsta dt sat ) Tropsta
sat
Ion1sat
sta b1sta b1
sat
O1 N1 O1w Q 1
L2Master
sta U sta
sat of Science
c (dtsta dt sat ) Tropsta
sat in GNSS sat
Ion2 sat
sta b2 sta b2
sat
O2 N 2 O2 w 47Q 2
@ J. Sanz & J.M. Juan
Summary
gAGE
L1
research group of Astronomy and Geomatics
L1-P1
LI-PI LC-PC
gAGE/UPC
LI Lw-PN
L1 L2
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
p ( s; k )
> LI ( s; k N I ), , LI ( s; k 1)@
LI ( s; k )
p ( s; k )
LI ( s; k ) p ( s; k ) ! threshold
gAGE/UPC
LI ( s; k )
gAGE
LI ( s; k )
research group of Astronomy and Geomatics
Carrier
measurements
p ( s; k )
Fitted Polynomial
A cycle-slip is
declared when
the measurement
differs form the
mean value by a
gAGE/UPC
predefined
number of
standard
deviations (SBW)
Threshold
The enlargement of the
Moving sigma
ambiguity spacing, thanks to
Moving average the larger wavelength
OW =80.4cm.
The noise is reduced by
the narrow-lane combination
of code measurement
Cycle-slip detection
carrier-phase-only based
detector and it is used as a
secondary test.
Missed detection
Master of Science in GNSS @ J. Sanz & J.M. Juan
This detector is affected by the
gAGE code pseudorange noise and
multipath as well as the
divergence of the ionosphere.
research group of Astronomy and Geomatics
gAGE
Contents
research group of Astronomy and Geomatics
n 1
1
P ( k )
n
P(k )
n
P ( k 1) L( k ) L(k 1)
where P (1) P (1) and
n k; k N
n N; k t N
n 1
P (k )
1
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
L PL
n 1
P (k )
1
n
P(k )
n
P (k 1) L(k ) L(k 1) L(k ) P L (k )
P
P
PL
L
gAGE/UPC
n 1
P (k )
1
n
P(k )
n
P (k 1) L(k ) L(k 1) L(k ) P L (k )
gAGE
research group of Astronomy and Geomatics
P
P
PL
L
gAGE/UPC
n 1
P (k )
1
n
P(k )
n
P (k 1) L(k ) L(k 1) L(k ) P L (k )
P1 L1 2 I1 B H1 2 I1 : Code-carrier divergence
Substituting P1 L1 in Hatch filter equation
P (k ) L(k ) P L (k )
U (k ) I1 (k ) B1 2 I1 B1 (k )
U (k ) I1 (k ) 2 I1 ( k ) I1 (k ) P1 U I1 biasI X1
gAGE/UPC
biasI
where X1 is the noise term
where, being the ambiguity term B1 a constant bias, after smoothing.
thence B1 k B1 , and cancels in the previous expression.
Master of Science in GNSS @ J. Sanz & J.M. Juan
63
gAGE
research group of Astronomy and Geomatics
N=3600 s
Iono
gAGE/UPC
gAGE
Halloween storm
research group of Astronomy and Geomatics
STEC
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
PC U H PC J P1 P2 J L1 L2 77
2
PIFree { PC ; LIFree { LC J
LC U BLC X LC J 1 J 1 60
Thence, J 2 1
V Pc V 3V P1
J 1 P 1
PC LC BC H PC PIFree { PC U X IFree
gAGE
research group of Astronomy and Geomatics
N=100 N=100
research group of Astronomy and Geomatics
Exercise:
STEC
Justify that the ionosphere-free
combination (PC) is (obviously) not
affected by the code-carrier
gAGE/UPC
C1, L1 PC, LC
gAGE
N=360 N=360
research group of Astronomy and Geomatics
N=100 N=100
gAGE/UPC
N=3600 N=3600
N=360 N=360
gAGE/UPC
gAGE
Halloween storm
research group of Astronomy and Geomatics
STEC
gAGE/UPC
gAGE
Multipath
One or more reflected signals reach the antenna in addition
to the direct signal. Reflective objects can be earth surface
research group of Astronomy and Geomatics
Butterfly shape
Butterfly shape:
Master of Science in GNSS
High multipath for low elevation rays (when satellite rises and sets)
@ J. Sanz & J.M. Juan
77
gAGE
research group of Astronomy and Geomatics
M Pc Pc Lc
gAGE/UPC
M Pc Pc Lc
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
M MW PN LW
gAGE/UPC
M MW PN LW
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
After one year, the directions of the Sun and Aries coincide again, but
the number of laps relative to the Sun (solar days) is one less than
those relative to Aries (sidereal days).
24h
3m56s
gAGE/UPC
365.2422
Thus, a sidereal day is shorter than a solar day for about 3m 56s
Master of Science in GNSS @ J. Sanz & J.M. Juan
82
Receiver and multipath noise
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
Same environment!
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Thank you!
gAGE/UPC
Lecture 2
Satellite orbits and clocks
computation and accuracy
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
24 April 2014
gAGE
Contents
research group of Astronomy and Geomatics
pseudo-Keplerian
elements to compute
satellite coordinates
gAGE/UPC
gAGE
(X, Y, Z, Vx, Vy, Vz) (a, e, i, :, Z, V)
research group of Astronomy and Geomatics
perigee
x
a ae
focus
research group of Astronomy and Geomatics
velocity n=2S/P=constant
M Mean anomaly M(t)
Perigee
T0 : time of passage by
satellites perigee
2S P
T0 M (t ) n(t T0 ) ; n
P a3
t n
2S V(t) E (t ) M (t ) e sin E (t )
P
gAGE/UPC
1 e E (t )
P , a, e V (t ) 2 arctan tan
1 e 2
True path
gAGE/UPC
Instantaneous
elliptic tangent
(osculating) orbit.
gAGE
research group of Astronomy and Geomatics
Central body
Central body + J2
Central body + J2 + SM
gAGE/UPC
Central body
Central body + J2
Central body + J2 + SM
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Central body
Where:
gAGE/UPC
Solution:
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
25 pages
Subframes #4 and #5
have 25 pages
rk
Calculation of orbital plane inclination ik from inclination io at
reference epoch toe and corrections cic and cis :
:k :0 : ZE tk ZE toe
Calculation of coordinates in CTS system, applying three rotations
(around uk, ik, :k) : X r
gAGE/UPC
k k
Y R 3 (:k )R1 (ik )R 3 (uk ) 0
k
Z k 0
Master of Science in GNSS @ J. Sanz & J.M. Juan
26
gAGE
t Orbit.f (x,y,z)[CTS]
research group of Astronomy and Geomatics
z
Nav. message
(ephemeris)
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
SA=on/off
gAGE/UPC
80
60
40
20
0
-20
-40
-60
-80 ANALYSIS NOTES
-100
-120 - Data taken from Overlook PAN Monitor Station,
equipped with Trimble SVeeSix Receiver
-140 - Single Frequency Civil Receiver
gAGE/UPC
SA=off
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
SA=off
gAGE/UPC
Zoom
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
IGS orbit and clock products (for PPP):
Discrepancy between the different centres
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
GPS Satellite Clock computation: Broadcast message
t0 a0 a1 a2
YY MM DD H M S
PRN
2 NAVIGATION DATA GPS RINEX VERSION / TYPE
srx/v1.8.1.4 BAI 95/10/19 03:18:35 PGM / RUN BY / DATE
CASA COMMENT
-2444431.2031 -4428688.6270 3875750.1442 COMMENT
END OF HEADER
14 95 10 18 00 51 44.0 1.129414886236D-05 1.136868377216D-13 0.000000000000D+00
1.730000000000D+02-5.175000000000D+01 4.375182243902D-09-5.836427291652D-01
-2.712011337280D-06 2.427505562082D-03 8.568167686462D-06 5.153718931198D+03
2.623040000000D+05 4.470348358154D-08 1.698435481558D+00 1.676380634308D-08
gAGE/UPC
They are providing precise orbits and clock files with a sampling rate
of 15 min, as well as precise clock files with a sample rate of 5 min
and 30 s in SP3 format.
Some centres also provide GPS satellite clocks with a 5 s sampling
rate, like the les obtained from the Crustal Dynamics Data Information
System (CDDIS) site.
gAGE
IGS orbit and clock products (for PPP):
Discrepancy between the different centres
research group of Astronomy and Geomatics
Exercise:
Show that a common error
on all satellites does not
affect user positioning.
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
IGS Precise orbit and clock products:
RMS accuracy, latency and sampling
research group of Astronomy and Geomatics
gAGE/UPC
http://igscb.jpl.nasa.gov/components/prods.html
gAGE
Ephemeris Errors and Geographic decorrelation
Position
research group of Astronomy and Geomatics
from
Satellite
broadcast
location error
ephemeris
True position H
user
Uuser
Differential range error due
to satellite obit error
ref
U ref
Uuser user ref
GU
Uuser Uref
b
GU H
U
User
gAGE/UPC
user
error
CREU and Uuser
EBRE
Position
from
Satellite
location error
broadcast Differential range error from
ephemeris
True position H
user
Uuser
between CREU and EBRE
ref
U ref
U user user reff
GU
Uuser Uref
U user
gAGE/UPC
User
288 km of baseline
Reference Station
CREU-EBRE
CREU
Differential positioning
Absolute positioning
gAGE/UPC
288 km of baseline
Note: u sin I u
GU { G ( U B U A ) 2G a b sin I b
wa wa wI wI GU T u T sin I u
2 H 2
wH wI wH
H b sin I
wH
H U U
T I T
1 b Where: b = b b
b sin I H
U
Master of Science in GNSS
Note: A H U GI U is the baseline
J. Sanz Subirana, JM. Juan Zornoza, M. Hernndez-Pajares, vector
gAGE
ORBIT TEST :
Broadcast orbits
Along-track Error (PRN17)
research group of Astronomy and Geomatics
PRN17:
Doy=077, Transm. time: 64818 sec
rov2
11 km
15.2 km
gAGE/UPC
T I T
b
19.7 km
GU
rov3 U
gAGE
research group of Astronomy and Geomatics
Exercise:
gAGE References
research group of Astronomy and Geomatics
Thank you
gAGE/UPC
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
24 April 2014
gAGE
Contents
research group of Astronomy and Geomatics
Input:
- Pseudoranges (receiver-satellite j): P j
- Navigation message. In particular:
satellite position when transmitting signal: r j = (x j , y j , z j )
offsets of satellite clocks: dt j
(j = 1,2,n) (n>=4)
gAGE/UPC
Unknowns:
- receiver position : r = (x , y, z)
- receiver clock offset: DT
gAGE
For each satellite in view Iono+Tropo+TGD
c ( dtrec dt sat ) G k H
research group of Astronomy and Geomatics
sat
C1rec U rec
sat
where:
'xrec =xrec x0,rec ; 'yrec =yrec y0, rec ; 'zrec zrec z0, rec
Prefit-residuals (Prefit)
x0,rec x sat y0,rec y sat z0,rec z sat
C1 U
sat sat
c dt G k
sat
'xrec 'yrec 'zrec c dtrec
U0,satrec U0,satrec U0,satrec
rec 0, rec
gAGE/UPC
Observations Unknowns
(measured/computed)
Measurements modelling:
Prefit residual is the difference between measured and modeled
pseudorange: sat sat
Prefit recsat
C1rec [measured] C1rec [modelled]
gAGE/UPC
where:
,0 c dt
sat
C1rec [modelled] U rec
sat
sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
7
gAGE
Contents
research group of Astronomy and Geomatics
C1
,0 c dt
sat
C1rec [modelled] U rec
sat
sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
9
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
,0 c dt
sat
C1rec [modelled] U rec
sat
sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
U rec
sat
Of course, receiver coordinates are not known (is the target of this
gAGE/UPC
,0 c dt
sat
C1rec [modelled] U rec
sat
sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
11
Of course, receiver coordinates xrec , yrec , zrec are not known (they are
the target of this problem). But, we can always assume that an
approximate position x0,rec , y0,rec , z0,rec is known.
3.- Linearise the equations again, about the new improved estimates,
and iterate until the change in the solution estimates is sufficiently
small. The estimates converges quickly. Generally in two to four
Master of Science in GNSS iterations, even if starting from the Earths @Centre.
J. Sanz & J.M. Juan
12
gAGE Satellite coordinates at emission time (rec2ems.f)
gAGE
clock dt S can
C1 be
computed from the
time
navigation message
systemand
tems(TS) = trec(TR)-C1/c
Emission time
gAGE/UPC
Distance 'r
gAGE/UPC
U
gAGE/UPC
,0 c dt
sat
C1rec [modelled] U rec
sat
sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
23
gAGE
a0 + a1(t-t0) + a2(t-t0)2
research group of Astronomy and Geomatics
t0 a0 a1 a2
YY MM DD H M S
PRN
gAGE/UPC
sat
gAGE Ionospheric Delay Ion f rec
2000 km, with a sharp electron density maximum at around 350 km.
The ionosphere delays code and advances carrier by the same amount
The ionospheric delay depends on sat 40.3
Ion1 rec I
signal frequency as given by: f12
research group of Astronomy and Geomatics It was designed to minimize user IPP
computational complexity.
Slant delay
Minimum user computer storage
Minimum number of coefficients
transmitted on satellite-user link
At least 50% overall RMS ionospheric
error reduction worldwide.
Obliquity factor
It is assumed that the electron IonSLANT IonVERT m (elev)
content is concentrated in a thin R
1/ 2
2
gAGE
IONOSPHERIC PIERCE
research group of Astronomy and Geomatics
POINTS (IPP)
IPP
m (elev) 1 E
cos (elev)
RE h
gAGE/UPC
Ionospheric Layer
(350 Km in height)
20 2S (t ) )
DC A cos ) (day
P
Amplitude IonVERT
15 ) DC ; if 2S (t ) ) ! S (night
P 2
10
Being :
3 3
5
*Period
A D
n 0
n
n
; P E
n 0
n
n
Dc=5ns
4 8 12 16 18 24
)Local Time (hours Where:
gAGE/UPC
gAGE
elev, I
gAGE/UPC
Klobuchar model
STEC: I ON SLANT
TEC: I on VER T
gAGE/UPC
m (elev) 1 E
cos (elev)
Master of Science in GNSS R h
E @ J. Sanz & J.M. Juan
37
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
1.001
m(elev)
0.002001 sin 2 (elev)
sat
C1Master
rec [modelled]
of Science in GNSS U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD41
sat
@ J. Sanz & J.M. Juan
gAGE
research group of Astronomy and Geomatics
1.001
m(elev)
0.002001 sin 2 (elev)
gAGE/UPC
K1,sat
rec K1,rec TGD sat
f12
K sat
2, rec K 2,rec 2 TGD sat
f2
sat
CMaster
1rec [modelled]
of Science in GNSS U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
@ J. Sanz & J.M. Juan
gAGE Range variation: Instrumental delays (TGD)
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
Measurement noise (thermal noise)
y and Geomatics
Antispoofing (A/S):
The code P is encrypted to Y. Wavelength
W V noise Main
Only theGPS
code Csignal
at ((chip-length) (1% of O) [*] characteristics
frequency L1 is available.
research group of Astronomy
Code measurements
C1 300 m 3m
Unambiguous
P1 (Y1): encrypted 30 m 30 cm
but noisier
P2 (Y2): encrypted
P 30 m 30 cm
Phase measurements
L1 19.05 cm 2 mm Precise
L2 24.45 cm 2 mm but ambiguous
[*] codes may be smoothed with the phases in order to reduce noise
gAGE/UPC
Butterfly shape
Same environment!
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
1. Select orbital elements closer to 38230
research group of Astronomy and Geomatics
sat
C1rec [modelled] U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
56
gAGE
Transmission time:
979 208818 10h 0m 18s
PRN
GPS week
GPS sec of week
gAGE/UPC
gAGE
2. Satellite clock offset computation: From file
brdc2860.98n, compute satellite clock offset at time t=3830
research group of Astronomy and Geomatics
s for PRN14:
PRN t0 a0 a1 a2
t = 38230 sec
t0= 12h 0m 0s= 43200 s
sat
C1rec [modelled] U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
58
gAGE
3. Satellite-receiver geometric range computation:
Use the following values (4789031, 176612, 4195008) as
research group of Astronomy and Geomatics approximate coordinates.
gAGE Note:
From RINEX measurement file gage2860.98o, select the C1
research group of Astronomy and Geomatics
PRN 14
t = 38230 sec= 10h 37m 10s
4 L1 L2 C1 P2 # / TYPES OF OBSERV
Thence:
gAGE/UPC
CTS [emission]
Use the selected
ephemeris for PRN14
(from file brdc2860.98n)
sat
CMaster
1rec [modelled]
of Science in GNSS U0,satrec c dt sat 'rel sat Troprec
sat
Ion
@
1rec TGD
sat sat
J. Sanz & J.M. Juan
63
sat
C1rec [modelled] U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
64
gAGE5. Relativistic clock correction:
PRN e )sqrt(a
research group of Astronomy and Geomatics
sat
C1rec [modelled] U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
65
gAGE
6. Tropospheric correction
sat
Troprec dry
3
d dry 2.3e 0.11610 H
2.3m
See klob.f
d wet 0.1m
1.001 S
)m(elev ele
elev 20.57 0.359rad
)0.002001 sin 2 (elev 180
) H 160m (heigh over the ellipsoid
sat
C1rec [modelled] U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
66
gAGE
7. Ionospheric correction
t 38230sec
( x, y, z ) satellite (11453350.2771, 22468589.7975, 8245076.1448)CTS [ reception ]
( x0 , y0 , z0 ) receiver (4789031, 176612, 4195008)CTS [ reception ]
Approximate values for
receiver or satellite
gAGE/UPC
sat
C1rec [modelled] U0,satrec c dt sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
Master of Science in GNSS @ J. Sanz & J.M. Juan
67
gAGE
7. Compute the modeled pseudorange.
research group of Astronomy and Geomatics
,0 c dt
sat
C1rec [modelled] U rec
sat
sat 'rel sat Troprec
sat
Ion1rec
sat
TGD sat
U0,satrec 23616699.124 m
c dt sat 5.65 10-6 c 1693.828 m
c 'rel sat 2.33 10-10 c 0.071m
sat
sat
Troprec 6.760 m C1rec [modelled] 23615021.689m
sat
Ion1rec 10.260 m
TGD sat 0.698 m
gAGE/UPC
sat
Pref rec sat
C1rec C1[mod]rec
sat
U rec
sat
U0,satrec c dtrec K1rec H
Previously calculated
From measurement file
Master of Science in GNSS @ J. Sanz & J.M. Juan
69
gAGE
Contents
research group of Astronomy and Geomatics
Input:
- Pseudoranges (receiver-satellite j): P j
- Navigation message. In particular:
satellite position when transmitting signal: r j = (x j , y j , z j )
offsets of satellite clocks: dt j
(j = 1,2,n) (n>=4)
gAGE/UPC
Unknowns:
- receiver position : r = (x , y, z)
- receiver clock offset: DT
gAGE
For each satellite in view Iono+Tropo+TGD
c ( dtrec dt sat ) G k H
research group of Astronomy and Geomatics
sat
C1rec U rec
sat
where:
'xrec =xrec x0,rec ; 'yrec =yrec y0, rec ; 'zrec zrec z0, rec
Prefit-residuals (Prefit)
x0,rec x sat y0,rec y sat z0,rec z sat
C1 U
sat sat
c dt G k
sat
'xrec 'yrec 'zrec c dtrec
U0,satrec U0,satrec U0,satrec
rec 0, rec
gAGE/UPC
G T sat n
0 rec
U0 sat
rec
n
0 sat
gAGE/UPC
rec
G sat n
T0 rec
T sat n
{ Unitary Line-Of-Sight
0 rec
U0 sat
rec
1
vector from receiver
to satellite
Master of Science in GNSS @ J. Sanz & J.M. Juan
73
(x,y,z) coordinates
gAGE x0,rec x sat1 y0,rec y sat1 z0,rec z sat1
1
U0,satrec1 U sat 1
U sat1
Prefit
Prefit11
0, rec 0, rec
x ''xxrec
rec
research group of Astronomy and Geomatics
0,rec
x sat 2 y0,rec y sat 2 z0,rec z sat 2 'y
Prefit 22
Prefit 1 'yrec
rec
U 0,satrec2 U0,satrec2 U0,satrec2
........
........ ''zzrec
.......... rec
Prefit
Prefit nn
x ccdt
dtrec
rec
x sat n y0,rec y sat n z0,rec z sat n
0,rec 1
U 0,satrecn U0,satrecn U0,satrecn
Prefit 1 cos el 1 sin az1 cos el1 cos az1 sin el1 1 'erec
gAGE/UPC
2
cos el sin az cos el cos az sin el 1 'nrec
2 2 2 2 2
Prefit
........ .......... 'urec
Prefit cos el sin az cos el cos az sin el 1 c dtrec
n n n n n n
..........
Prefit
n
x c dtrec
x sat n y0,rec y sat n z0,rec z sat n
0,rec 1
U 0,satrecn U0,satrecn U0,satrecn
Of course, receiver coordinates xrec , yrec , zrec are not known (they are
the target of this problem). But, we can always assume that an
approximate position x0,rec , y0,rec , z0,rec is known.
Thence, as it will be shown in next lesson, the navigation problem will
consist on:
1.- To start from an approximate value for receiver position
x0,rec , y0,rec , z0,rec ( e.g. the Earths centre ) to linearise the equations
2.- With the pseudorange measurements and the navigation
equations, compute the correction 'xrec , 'yrec , 'zrec to have
gAGE/UPC
3.- Linearise the equations again, about the new improved estimates,
and iterate until the change in the solution estimates is sufficiently
Master of Science in GNSS @ J. Sanz & J.M. Juan
small. 76
gAGE For all sat. x0,rec x sat1 y0,rec y sat1 z0,rec z sat1
in view 1
U0,satrec1 U sat 1
U sat1
Prefit
Prefit11
0, rec 0, rec
x ''xxrec
rec
research group of Astronomy and Geomatics
0,rec
x sat 2 y0,rec y sat 2 z0,rec z sat 2 'y
Prefit 22
Prefit 1 'yrec
rec
U 0,satrec2 U0,satrec2 U0,satrec2
........
........ ''zzrec
.......... rec
Prefit
Prefit nn
x ccdt
dtrec
rec
x sat n y0,rec y sat n z0,rec z sat n
0,rec 1
U 0,satrecn U0,satrecn U0,satrecn
yy
equation can be written as:
Gx
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
y1 m x1 n y1 x1 1
y mx n y x 1 m
2
2 2 y Gp
gAGE/UPC
2
# # n
#
N u1 N u 2 2 u1
yN m xN n yN xN 1
Master of Science in GNSS @ J. Sanz & J.M. Juan
79
gAGE y1 m x1 n y1 x1 1
y mx n y x 1 m
2
2 2 y Gp
research group of Astronomy and Geomatics
2
# # n
#
N u1 N u 2 2 u1
yN m xN n yN xN 1
This is an over-determined (incompatible) system of equations
(due to the measurement noise H).
It is evident that there is no straight line passing over all the data
points (red points). Thence, we have to look for a solution that
fits the measurements best in some sense.
y Note that, as G is not an squared
matrix (N>2), we cannot try:
y G p p G 1y
But, GTG is a squared (N x N)
gAGE/UPC
yi
matrix, thence, we can try:
xi x GT y G T G p p (G T G ) 1 G T y
Master of Science in GNSS @ J. Sanz & J.M. Juan
80
gAGE
Results from Linear Algebra:
N 2
2) p (G G ) G y min y y min yi yi Least Squares
T 1 T
where i1 solution
y G p
min y y min yi yi ?
xi x i1
min y y min yi yi ?
i1
yi
yi yi
yi
gAGE/UPC
xi x
Master of Science in GNSS @ J. Sanz & J.M. Juan
82
The Least Squares solution gives the solution of equilibrium
gAGE
of the following physical system, in which the red dots (i.e. data
y points) are attached to the straight line by springs that can only
research group of Astronomy and Geomatics move in the direction of the y axis.
yi
yi
N 2
min yi yi
i1
gAGE/UPC
xi x
Master of Science in GNSS @ J. Sanz & J.M. Juan
83
i i i i
2 2
1 N k
k yi yi
2
VTOTAL
2 i1 k
k
k
k
yi k k
k
yi
k
N 2
min VTOTAL min yi yi
i1
gAGE/UPC
xN i 2
x
min y y min yi yi p (G G ) G y
T 1 T
Master of Science in GNSS
i1 @ J. Sanz & J.M. Juan
84
gAGE Let be the basic linearized GPS measurement equation:
G W G
1 2
min wi yi yi
2
min y y
x
t
G Wy
t W
i
y G x
Master of Science in GNSS @ J. Sanz & J.M. Juan
85
1 1
wi yi yi
2
Vi wi 'yi2
2 2 wN
1 N
i i i
2
VTOTAL w y
y
2i1
yi w1 wj
wi
yi
w2
N 2
min VTOTAL min wi yi yi
i1
gAGE/UPC
N x 2 x
min y y W
min wi yi i yi p (G WG ) G Wy
T 1 T
Master of Science in GNSS
i1 @ J. Sanz & J.M. Juan
86
gAGE
Contents
research group of Astronomy and Geomatics
G W G
1 2
min wi yi yi
2
min y y
x
t
G Wy
t W
i
y G x
Master of Science in GNSS @ J. Sanz & J.M. Juan
88
Assuming that measurements Y have
gAGE random errors with zero mean and 1/ V y21 0
variance V2 , and assuming that error sources
research group of Astronomy and Geomatics for each satellite are uncorrelated with W %
error sources for any other satellite, the 0 1/ V y2n
following weighted matrix may be used:
wi
1
V y2 n wi p
V y2 i
i
greater error less weight V -V
V
V
VDt= 300Km= 1msec
V
G t Py1 G G t Py1 y
1
x
gAGE/UPC
G P G
And the error covariance matrix 1 1
for the estimation X is: Px t
y
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
y ( n) (i.e., at t = t )
the measurement Y(n) n
1. Weighted average:
y ( n) G ( n) x( n)
Lets assume, that we have the
prediction x (n) , with Pthence,
x
(n)
1
y ( n) G ( n) Py ( n ) 0
x( n) W
0
Px ( n )
x
( n )
Master of Science in GNSS I
@ J. Sanz & J.M. Juan
94
1
y ( n) G ( n) Py ( n )
gAGE
0
x( n) W
0
Px ( n )
research group of Astronomy and Geomatics
x
( n ) I
G P G G 1 1
x
t
y
t
Py1 y
G P G 1 1
Px t
y
x
( n) Px ( n ) G t ( n) Py(1n ) y ( n) Px1( n ) x
( n)
gAGE/UPC
1
Px ( n ) G t ( n) P 1 G ( n) P 1
y(n) x ( n )
Master of Science in GNSS J. Sanz Subirana, JM. Juan Zornoza, M. Hernndez-Pajares,
95
gAGE
2.- Prediction
research group of Astronomy and Geomatics
Scalar case:
xn I xn 1
Thence, existing a linear relation between xn 1 and xn , the
variance of the prediction will be: 2
V x I 2 V x2 q 2
n 1
n
gAGE/UPC
xn I xn 1
V x2
n
I 2 V x2 n 1
q2
xn o x( n)
I o ( n) ( n) : transition matrix
V x2n
o Px ( n ) Q( n) : process noise matrix
q 2
o Q( n)
( n)
x ( n 1)
( n 1)
gAGE/UPC
Px ( n ) ( n 1) x ( n 1) t ( n 1) ( n 1)
( n)
x y ( n)
Px ( n ) Py ( n )
Estimation
Prediction
x (n) (n 1) x (n) Px ( n ) G t Py(1n ) y (n) Px1( n ) x (n)
1
Px ( n ) x ( n 1)t Px ( n ) G t Py(1n ) G P 1
x ( n )
x
(0)
Px (0) x
( n)
Px ( n )
gAGE/UPC
Initialization
x (n) x (n) K (n) y (n) G (n) x (n)
x (n) (n 1) 1
K ( n) Px ( n ) G t (n) G (n) Px ( n ) G t (n) Py ( n )
Px ( n ) x ( n 1)t
Px ( n ) >I K (n) G (n)@ Px ( n )
x
(0)
Px (0) x
( n)
Px ( n )
gAGE/UPC
Initialization
gAGE
Contents
research group of Astronomy and Geomatics
a) Static positioning:
State vector to be determined is X = (xrec , yrec , zrec , dtrec) where coordinates
(xrec , yrec , zrec) are considered constant (because receiver is fixed) and clock
offset dTrec is treated as white noise with zero mean and variance VDt . In
these conditions, matrices have the form:
1 0
1 0
( n) Q( n)
1 0
0 V DT
2
gAGE/UPC
Being V DT process noise associated to clock offset (in some way, the
2
Constant
gAGE
* * *
)=1 x(n)=x(n-1)
Q=(no prediction error)
gAGE/UPC
-2V
-V
+V
* * *
V
-V
V
)=0 x(n)=0 (zero mean)
Q=V2 (prediction error noise)
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
S/A=on
Master of Science in GNSS @ J. Sanz & J.M. Juan
105
gAGE
b) Kinematic positioning
research group of Astronomy and Geomatics
0 V dx
2
0 V 2
( n) Q( n) dy
0 V dz2
0 V DT
2
2) In case of a slow moving vehicle, coordinates2 may be modeled as
random walk, process spectral density q dV , and the clock as a
dt
white noise:
1 qdx 't
1 qdy 't
( n) Q( n)
gAGE/UPC
1 qdz 't
0 V DT
2
** *
( n)
x
x
( n 1)
Px ( n )
Px ( n 1) t
- 1) Q(n - 1)
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
S/A=on
Master of Science in GNSS @ J. Sanz & J.M. Juan
109
Kinematic positioning: random walk noise coordinates and white noise clock
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
S/A=on
Master of Science in GNSS @ J. Sanz & J.M. Juan
110
gAGE
Positioning: Random walk coordinates with Q=0 and white noise clock
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
S/A=on
Master of Science in GNSS @ J. Sanz & J.M. Juan
112
gAGE
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Thank you
gAGE/UPC
Lecture 4
research group of Astronomy and Geomatics
Introduction to DGNSS
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
24 April 2014
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
GNSS Positioning
Differential Positioning: GNSS augmented with data (differential
research group of Astronomy and Geomatics
Receiver noise
gAGE
Selective Availability (S/A)
was an intentional degradation of
public GPS signals implemented for
research group of Astronomy and Geomatics
gAGE
BELL
research group of Astronomy and Geomatics
~100 Km baseline
S/A=on
EBRE
Error
gAGE/UPC
S/A=on
Master of Science in GNSS @ J. Sanz & J.M. Juan
10
gAGE
research group of Astronomy and Geomatics BELL
<100 Km baseline
S/A=on
EBRE
BELL- EBRE
gAGE/UPC
gAGE
BELL
research group of Astronomy and Geomatics
Error
b
EBRE
BELL- EBRE
gAGE/UPC
Error
b
User
Reference receiver
receiver
gAGE/UPC
The determination of the vector between the receivers APCs (i.e. the baseline b)
is more accurate than the single receiver solution, because common errors cancel.
position position
True
position
(known)
Error More
accurate
position
Reference
receiver User receiver
gAGE/UPC
If the coordinates of the reference receiver are known, thence the reference
receiver can estimate its positioning error, which can be transmitted to the user.
Then, the user can apply these corrections to improve the positioning
Note: Actually the corrections are computed in range domain (i.e. for each
Master of Science in GNSS @ J. Sanz & J.M. Juan
satellite) instead of in the position domain. 14
In the previous example, the differential error has been cancelled in
gAGE
the position domain (i.e. solution domain approach).
But:
research group of Astronomy and Geomatics
2.- The reference receiver (not necessarily at rest) broadcast its time-
tagged measurements to the user. The user applies these
gAGE/UPC
gAGE
1.- Range Differential Correction Calculation
Broadcast SV Actual SV
research group of Astronomy and Geomatics
Position Position
The user receiver applies the PRC and RRC to correct its own
gAGE/UPC
DGNSS with code ranges: users within a hundred of kilometres can obtain
one-meter-level positioning accuracy using such pseudorange
Master of Science in GNSS
corrections.
@ J. Sanz & J.M. Juan
16
gAGE
research group of Astronomy and Geomatics
GODN
USN3 76 m
GODS
Ref. station
ftp://cddis.gsfc.nasa.gov/highrate/2013/
gAGE/UPC
S/A=off
DGPS DGPS
gAGE/UPC
S/A=off
2.- The reference receiver (not necessarily at rest) broadcast its time-
tagged measurements to the user. The user applies these
gAGE/UPC
station is not known accurately or is moving, as well. In this case, the user
estimates its relative position vector with the reference receiver.
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
d GW up to ~ 800 m/s
Extrapolated to reduce error due to dTrec / dt ~ 670 m/s
latency: carrier can be extrapolated with
error < 1cm.
Master of Science in GNSS @ J. Sanz & J.M. Juan
23
gAGE
PRC L1
research group of Astronomy and Geomatics
RRC dL1 / dt
d GW up to ~ 800 m/s
gAGE/UPC
RRC ~ 2cm/s
dTrec / dt ~ 670 m/s
1 ms jump
research group of Astronomy and Geomatics
of receiver
clock adjust
dL1 / dt ZOOM
dL1 / dt
300 km=1 ms
dL1 | d U dTrec
d GW up to ~ 800 m/s
dL1 | d U dTrec
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
these errors vary slowly with time. That is, the errors are correlated on
space and time.
The spatial decorrelation depends on the error component (e.g. clocks are
common, ionosphere ~100km...). Thence, a reference stations network is
needed to cover a wide-area.
Error
gAGE/UPC
Short-baselines Long-baselines
Clock error
Clock modelling error is small (~2m RMS) and
changes slowly over hours.
Does not depend on user location, thence, it can
be eliminated in differential mode.
Satellite ephemeris:
Only the Line-Of-Sight (LOS) of error affects
positioning. This error is small (~2m RMS) and
Orbit error
changes slowly over minutes.
The residual error, after applying the differential
corrections depends upon the separation
between the LOS from user and reference
station.
A conservative bound is given by:
gAGE/UPC
broadcast
Satellite
ephemeris
location error
&
True position
H &
user
Uuser
Differential range error
due to satellite obit error
& &
&
& ref & user & ref
GU
U ref Uuser U ref
Uuser
b
T , T
&
U
Uuser
A conservative bound:
b
GU H
User U
gAGE/UPC
gAGE
Range error
Satellite H from &
& user
research group of Astronomy and Geomatics
Position from
broadcast
Satellite ephemeris
location error
&
True position
H &
user
Uuser
&
& ref
U ref
U user
MATA
Barcelona U user
gAGE/UPC
User
Reference Station
b
T , T
&
GU
U
CREU-EBRE
CREU Differential positioning
Absolute positioning
gAGE/UPC
288 km of baseline
Reference stations can detect and remove clock failures and other anomalies (e.g. GBAS)
gAGE
Atmosphere Propagation Errors
Ionospheric propagation delay:
research group of Astronomy and Geomatics
76 km
140 km
97 km
317 km
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
138 km
93 km
gAGE/UPC
Tropospheric delay depends upon the air density profile along the signal
path.
Most of the tropospheric delay (~90%) comes from the predictable
hydrostatic component.
Wet component delay can vary considerably, both spatially and
temporally.
With 10km separation between
receivers, the residual range error Nominal
can be 0.1-0.2m
For long distance or significant
altitude difference it is preferable to
correct for the tropospheric delay at
both reference and user receivers. Actual
For a low elevation satellite, the
gAGE/UPC
Variation of Zenith
residual range error can be 2-7 mm
Total Tropospheric Delay (ZTD)
per meter of altitude difference.
gAGE
Nominal
USN3
research group of Astronomy and Geomatics
GODZ
Actual
GODE
Actual
Zoom
Nominal
gAGE/UPC
m(elev)
0.002001 sin 2 (elev)
Actual
Actual
Zoom
Nominal
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
72 km
98 km 93 km
gAGE
research group of Astronomy and Geomatics
Same environment!
Multipath
Same environment!
gAGE/UPC
Strong spatial
Propagation Errors
correlation
Ionospheric delay
Tropospheric delay Weak spatial
correlation
Local Errors
Multipath No spatial
Receiver noise correlation
gAGE/UPC
Conditions: 0.1 -1 m
System.
gAGE
Contents
research group of Astronomy and Geomatics
Vector correction (Wide Area), where the corrections are given for
each error source separately (state-space approach)
Examples: SBAS (WAAS, EGNOS...), DGPS (JPL), Fast-PPP.
gAGE/UPC
gAGE
Real Time Kinematics (RTK)
In this implementation of DGPS, the
reference station broadcast its time-tagged
research group of Astronomy and Geomatics
Note: In Carrier phase Differential positioning, with a single reference station, the
accuracy decreases as a function of the distance from the reference station by a
rate of about 0.5-1cm per km.
Typical baselines up to
static 5 mm + 0.5 ppm 10-15km, depending on
Kinematic 5 cm + 5 ppm the ionosphere conditions
59 Proprietary message
The NTRIP protocol has been defined For transmission RTCM data over internet
station collects the range measurements of the monitor stations and process
the data to generate the range corrections, which are broadcasted to users
An example for High Accuracy Positioning, is the Virtual Reference
Station (VRS) technique, which is based on generating measurements
of a virtual (non existing) reference station, close to the user, from real
measurements of a multiple reference station network. These virtual
measurements are transmitted to the user to compute the RTK solution.
The NRTK yields accuracies at the level of 5cm for baselines up to 40km.
gAGE/UPC
Use of the RTN can be limited by cell phone coverage and system
down times.
http://water.usgs.gov/osw/gps/real-time_network.html
Comment:
VRS is the most widely used implementation method of Network RTK
(NRTK). Other possible implementations are briefly described in:
gAGE/UPC
http://www.wasoft.de/e/iagwg451/intro/introduction.html
station collects the range measurements of the monitor stations and process
the data to generate the range corrections, which are broadcasted to users
Examples using L1 carrier smoothed code are the Local Area Augmentation
System (LAAS) or the Ground Based Augmentation System (GBAS), where a
ground facility computes differential corrections and integrity data from
measurements collected by
several redundant receivers.
This system is used to
support aircraft operations
during approach and
landing. The differential
corrections are transmitted
on a VHF channel, up to
about 40km. Meter level
gAGE/UPC
Vector correction (Wide Area), where the corrections are given for
each error source separately (state-space approach)
Examples: SBAS (WAAS, EGNOS...), DGPS (JPL), Fast-PPP.
gAGE/UPC
broadcast for each error source separately: Satellite clocks, ephemeris and
ionosphere.
These corrections are computed by a Central processing Facility (CPF) from the
range measurements of the monitor stations network with baselines of several
hundreds up to thousand of kilometres.
Error Mitigation
gAGE
research group of Astronomy and Geomatics
EGNOS
gAGE/UPC
gAGE
Wide Area DGNSS (WADGNSS)
research group of Astronomy and Geomatics
http://www.gdgps.net/monitoring/index.html
gAGE
CPF Corrections
Service
Time +
research group of Astronomy and Geomatics
Global/ +
Integrity ~5/300s Confidence bounds
gAGE/UPC
Continental Integrity
Horizontal Vertical
24h of data: The
full user state
has been reset
No iono
every two hours
to better
characterize the
convergence
10 cm process.
10 cm
gAGE/UPC
With iono
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
OmniSTAR HP
10 cm High
research group of Astronomy and Geomatics
Performance
http://www.omnistar.com/
SubscriptionServices/
OmniSTARHP.aspx
tasks. It operates in real time and without the need for local Base Stations
or telemetry links. OmniSTAR HP is a true advance in the use of GPS for
on-the-go precise positioning.
Master of Science in GNSS @ J. Sanz & J.M. Juan
70
gAGE
OmniSTAR XP:
15 cm Worldwide
research group of Astronomy and Geomatics
Service
gAGE
OmniSTAR VBS
Global Reliable
research group of Astronomy and Geomatics
Sub-Meter Accuracy
gAGE
research group of Astronomy and Geomatics
Thank you
gAGE/UPC
Backup slides
gAGE/UPC
Example of
gAGE
Differential Atmospheric propagation effects analysis
research group of Astronomy and Geomatics
GODN
USN3
76 m
GODS
DGPS DGPS
gAGE/UPC
x x x
x { k
x R
x
' { rov ref ' { ' k
' R
- Only residual errors in single differences between sat. affect absolute posit.
- Only residual errors in double differences between sat. and receivers affect
relative positioning.
Exercise,
Master of Science in GNSS Discuss the previous @sentences.
J. Sanz & J.M. Juan
79
gAGE
Depicting atmosphere propagation errors affecting DGNSS:
Double-differences between satellites and receivers
research group of Astronomy and Geomatics
'L1sat 'U sat c'dt 'T sat 'I1sat O1'Z sat 'b1 O1'N1sat m'L1 H 'L1
'L1sat 'U sat c'dt 'T sat 'I1sat O1'Z sat 'b1 O1'N1sat m'L1 H 'L1
'L1satR 'U satR c'dt 'T satR 'I1satR O1'Z satR 'b1 O1'N1satR m'L1 H 'L1
'L1
Comments:
The wind-up term 'Z can be neglected, except over long baselines.
Double-differenced ambiguities are integer numbers of wavelengths.
Exercise,
f12 L1 f 22 L2
Show that, neglecting the wind-up, Lc
f12 f 22
the following expressions are met over
a continuous carrier phase arch: 2
f1
J
'L1 'U 'T 'I1 bias1 f2
'L2 'U 'T J 'I1 bias2 Ionosphere-free:
gAGE/UPC
gAGE
GODN
research group of Astronomy and Geomatics
USN3
76 m
GODS
DGPS DGPS
gAGE/UPC
GODN
USN3 76 m
GODS
PRN06-PRN13 PRN05-PRN15
gAGE
GODN
research group of Astronomy and Geomatics
USN3
76 m
GODS
DGPS DGPS
gAGE/UPC
USN3
76 m
GODS
PRN06-PRN13 PRN05-PRN15
gAGE/UPC
gAGE
L1 L2
research group of Astronomy and Geomatics
PRN05-PRN15
Ionosphere-free Geometry-free
' L1 L2 'Iono
gAGE/UPC
' LC U 'Tropo
f22
' L1 U ' Tropo Iono ' L2 U u ' Tropo Iono
f12
PRN06-PRN13
Ionosphere-free Geometry-free
gAGE/UPC
' L1 L2 'Iono
' LC U 'Tropo
gAGE
research group of Astronomy and Geomatics
Other
Backup slides
gAGE/UPC
PRN05-PRN15
' L1 L2 'Iono
gAGE/UPC
' LC U 'Tropo
gAGE
research group of Astronomy and Geomatics
PRN06-PRN13
gAGE/UPC
' L1 L2 'Iono
' LC U 'Tropo
gAGE
GNSS Positioning: Space Segment errors
research group of Astronomy and Geomatics
Orbit error
Clock error
gAGE/UPC
Troposphere
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
Troposphere
gAGE/UPC
Lecture 5
research group of Astronomy and Geomatics
Precise Positioning
with carrier phase (PPP)
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
22 Jan 2015
one hour.
This high accuracy requires the use of code and carrier measurements
and an accurate measurement modelling up to centimetre level or
better.
Master of Science in GNSS @ J. Sanz & J.M. Juan
4
gAGE
research group of Astronomy and Geomatics Contents
meters.
Astronomy
sttrronom a dG
and
o y an
S/A=on off
As
of A
S/A=off
a ch
research gro po
oup
h group
at left).
UPC
gAGE/UPC
Zoom
gAGE/UPC
gAGE
IGS Precise orbit and clock products:
RMS accuracy, latency and sampling
research group of Astronomy and Geomatics
gAGE/UPC
http://igscb.jpl.nasa.gov/components/prods.html
gAGE
IGS orbit and clock products (for PPP):
Discrepancy between the different centres
research group of Astronomy and Geomatics
gAGE/UPC
They are providing precise orbits and clock files with a sampling rate
of 15 min, as well as precise clock files with a sample rate of 5 min
and 30 s in SP3 format.
Some centres also provide GPS satellite clocks with a 5 s sampling
rate, like the les obtained from the Crustal Dynamics Data Information
System (CDDIS) site.
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
Exercise:
Show that a common error
on all satellites does not
affect user positioning.
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
G
Carrier is ambiguous, but
precise
and
my an Geomatics
Geo
nd Ge cs
mattiic
om
Cycle-slip unambiguous,
str
but noisy
off As
up o
research group
the other parameters (coordinates, clock offsets, etc.). If these biases were
fixed, measurements accurate to the level of few millimetres would be
available for positioning. However, some time is needed to decorrelate such
biases from the other parameters in the filter, and the estimated values are
notoffully
Master Science unbiased.
in GNSS @ J. Sanz & J.M. Juan
18
Precise Point Positioning: Static
From default configuration of [PPP Template],
Select Static in the [Filter] panel. Run gLAB and plot results
Centimetre error
level positioning after
24h data
Receiver positioned as a
permanent station (static mode)
Remember that the error component most difficult to model is the ionosphere.
gAGE/UPC
But, in the PPP technique the ionosphere error is removed (more than 99.9%)
using dual-frequency measurements in the ionosphere-free combination (Lc,Pc).
This combination also removes the Differential Code Bias (or TGD).
gAGE
U U
U'
U
Astronomy
p of Astr ono
n and Geomatics
U
U'
up
group
Coord. at emission
research
res
es
U
/UPC
gAGE/UPC
Earth rotation
Troposphere
gAGE/UPC
Ionosphere
gAGE
research group of Astronomy and Geomatics
Satellite clock
TGD (satellite)
[*] Remember that in the PPP technique the ionosphere error is removed
gAGE/UPC
L2 Antenna Phase
APC center
L1 Antenna Phase
center
Antenna Reference
ARP Point (ARP)
(ARP)
gLAB.out gLAB.out
gAGE
Antenna biases and orientation:
The satellite and receiver antenna phase centres can be
research group of Astronomy and Geomatics
found in the IGS ANTEX files, after GPS week 1400 (Nov. 2006)
The carrier phase wind-up effect due to the satellite's motion
must be taken into account.
gAGE/UPC
A residual tropospheric
delay is estimated (as
wet ZTD delay) in the
Kalman filter, together with
the coordinates, clock and
carrier phase biases.
The troposphere is estimated as
a Random Walk process in the
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
sat
LC rec U rec
sat
c (dtrec dt sat ) Troprec
sat
ON Zrec
sat
BC rec
sat
mL H L C C
where
f12 P1 f 22 P2 f12 L1 f 22 L2 O
PC ; LC BC ON B1 W BW
f12 f 22 f12 f 22 O2
BW B1 B2
Ionosphere is removed
gAGE/UPC
gAGE
Linear model: For each satellite in view
sat
PC rec U rec
sat
c ( dtrec dt sat ) Trop H
research group of Astronomy and Geomatics
where:
'xrec =xrec xrec ,o ; 'yrec =yrec yrec ,o ; 'zrec zrec zrec ,o
sat
and taking: Troprec
sat
Trop0 rec M wet
sat
, rec 'TrZ , wet
Prefit-residuals (Prefit)
xrec ,o x sat yrec ,o y sat zrec ,o z sat
P sat
U sat
c dt Trop
sat sat
'xrec 'yrec 'zrec c dtrec M wet
sat
'TrZ ,wet
U U U
C rec rec ,o 0 rec sat sat sat
gAGE/UPC
follows: y Gx
xo ,rec x1 yo ,rec y1 zo ,rec z1 1
1 M wet 0 0 'xrec
U0,rec U U
1 1 1
0, rec 0, rec
Prefit ( Pc)1 x x1 yo ,rec y1 zo ,rec z1 'yrec
o ,rec 1
1 M wet 1 0 'zrec
1
Prefit ( Lc) U0,1 rec U0,1 rec U0,1 rec
........ cdtrec
'TrZ , wet
Prefit ( Pc) n x xn yo ,rec y n zo ,rec z n
o ,recn 1 M wet
n
0 0 1
n
BC
Prefit ( Lc) U0,rec U n
0, rec U n
0, rec
xo ,rec x yo ,rec y n zo ,rec z n
n
n
Un 1 M wet
n
0 1 BC
0, rec U n
0, rec U n
0, rec
gAGE/UPC
Equivalent notation:
gAGE
0
Using U U0 T U , where
research group of Astronomy and Geomatics
U0
The previous system, can be written as:
T0 rec
1 1
1 M wet 0 0 'rrec
Prefit ( Pc)1 cdt
1 rec
0 rec
T 1 1
Prefit ( Lc) 1 M wet 1 0
'Trz , wet
........ 1
T recn B
Prefit ( Pc) n 1 M wet
n
0 0
n
0
T recn
Prefit ( Lc ) 0
1 M wet
n
0 1 B n
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
sat
B1, rec O1 N1, rec
sat
b1, rec b1sat
BC
O
ON N1 w NW bC ,rec bC sat
O2
sat
B2, rec O2 N 2, rec
sat
b2, rec b2 sat
Bc is not an integer number of ON but
sat
BW , rec OW NW , rec
sat
bW , rec bW sat can be related with the integers N1, LW
gAGE/UPC
'LW 'PN
'NW
Differential Ionosphere OW rundoff
Error
Ambiguity FIXED
OW
'BC ON 'N1 'NW Quick convergence time: Few
O2
gAGE/UPC
1 O
'N1
ON
'BC W 'NW
O2 rundoff
OW
'BC ON 'N1 'NW
Large convergence time, due to the
O2
gAGE/UPC
time-span need for 'BC to converge
Immune to the ionosphere
gAGE
research group of Astronomy and Geomatics
Thank you
gAGE/UPC
Lecture 6
Differential positioning with
Code pseudoranges
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
24 April 2014
and these errors vary slowly with time. That is, the errors are
correlated on space and time.
Error
gAGE/UPC
Short-baselines
Long-baselines
Pi j Ui j c G ti G t j Ti j I i j Ki K j Mi j Q j
Pi
Lij Ui j c G ti G t j Ti j Ii j O Zi j O Ni j bi b j mij Q j
Li
r0j roi
0i
User coordinates
i
gAGE
Linear model for Differential Positioning
Code and carrier measurements
research group of Astronomy and Geomatics
Pi j Ui j c G ti G t j Ti j I i j Ki K j Mi j Q Pi
j
Lij Ui j c G ti G t j Ti j Ii j O Zi j O Ni j bi b j mij Q Li
j
Pu j Uuj c G tu G t j Tu j Iuj Ku K j Q j
Pu
Pr j Urj c G tr G t j Tr j I rj Kr K j Q Pr
j
rru ru rr
Pi j Ui j c G ti G t j Ti j I i j Ki K j Mi j Q Pi
j
Lij Ui j c G ti G t j Ti j Ii j O Zi j O Ni j bi b j mij Q j
Li
rru ru rr
Ionosphere ( I i )
j
Troposphere (Ti )
j
ru rr
Wind-up (Zi )
j
gAGE
Single-Difference of measurements
(corrected by geometric range!!)
research group of Astronomy and Geomatics
PRN06
PRN06
PLAN-GARR: 15km
PRN30
'( L1 U ) { L1ru
sat
Urusat PRN30 '( P1 U ) { L1ru
sat
Urusat
'( L1 U ) { Lruj Uruj c G tru Truj I ruj O Zruj O Nruj bru Q L ruj
Dif. Instrumental
Dif. Receiver clock: delays and carrier
Main variations Common Dif. Tropo. and Iono. : ambiguities:
for all satellites Small variations constant
Master of Science in GNSS @ J. Sanz & J.M. Juan
8
gAGE
Single-Difference of measurements
research group of Astronomy and Geomatics (corrected by geometric range!!)
PRN06
PRN06
PLAN-GARR: 15km
PRN30 PRN30
'( L1 U ) { L1ru
sat
Urusat '( P1 U ) { L1ru
sat
Urusat
PRN06 PRN06
IND1-IND2: 7m IND1-IND2: 7m
gAGE/UPC
PRN30 PRN30
'( L1 U ) { L1ru
sat
Urusat '( P1 U ) { L1ru
sat
Urusat
Master of Science in GNSS @ J. Sanz & J.M. Juan
9
gAGE
Single-Difference of measurements
(corrected by geometric range!!)
research group of Astronomy and Geomatics
PRN06 PRN06
IND1-IND2: 7m IND1-IND2: 7m
PRN30 PRN30
'( L1 U ) { L1ru
sat
Urusat '( P1 U ) { L1ru
sat
Urusat
'( L1 U ) { Lruj Uruj c G tru Truj I ruj O Zruj O Nruj bru Q L ruj
Dif. Instrumental
Dif. Receiver clock: delays and carrier
Main variations Common Dif. Tropo. and Iono. : ambiguities:
for all satellites Small variations constant
Master of Science in GNSS @ J. Sanz & J.M. Juan
10
gAGE
Linear model for Differential Positioning
Code and carrier measurements
research group of Astronomy and Geomatics
Pi j Ui j c G ti G t j Ti j Ii j Ki K j Q P ij
Lij Ui j c G ti G t j Ti j Ii j O Zi j O Ni j bi b j Q Li
j
where: U j 'r j
i U0ij 0ij 'ri 0ij 'r j
0j u 0j r
where: U
j
U U j j uj j
'rr
ru u r
User
'ru rru r
Uruj U0 ruj 0uj 'ru 0 rj 'rr 0uj 'r j 0j r 'r j receiver Ref.
Station
gAGE/UPC
Baseline
U0 ruj 0uj 'rru 0 ruj 'rr 0 ruj 'r j rru ru rr
gAGE
Exercise:
research group of Astronomy and Geomatics
ru rr
gAGE/UPC
eph
j
gAGE
Linear model for Differential Positioning
and where the 'rru estimate will be affected in
research group of Astronomy and Geomatics
site
Range error due to Range error due to User rru ru rr
reference station Sat. coordinates receiver Ref.
Sta.
coordinates uncertainty uncertainty
U u
j
U u
j To Earth Centre
U u
j
1000 is less than 5 mm in range for the estimation of 'rru .
b
0 ru
j
site d site
U
Hint:
0 ru
j
site j
0u 0 rj site rj
0j u 0j r b
site d
U U site uj
b rrurru rj
User Ref
receiver Sta
Note: the following approaches have been taken: rru ru rr
j j
j
0 r
0r 0r
U j
U j
U0jr U0ju U 0r
ru rr
j j
0uj
gAGE/UPC
0u
0u U j
0u Uj
gAGE
Contents
research group of Astronomy and Geomatics
broadcast
Satellite
ephemeris
location error
True position H
user
Uuser
Differential range error due to
satellite obit error
ref
U ref
Uuser user ref
GU
Uuser Uref
Uuser
A conservative bound:
b
GU H
U
User
gAGE/UPC
gAGE
Satellite Range error
location error H from
user
research group of Astronomy and Geomatics
CREU and
EBRE Uuser
Position
from
Satellite
broadcast
Differential range error from
location error
ephemeris between CREU and EBRE
True position H
user
Uuser
ref
U ref
U user user reff
GU
Uuser Uref
U user
gAGE/UPC
288 km of baseline
User
Reference Station
CREU-EBRE
CREU Differential positioning
Absolute positioning
gAGE/UPC
288 km of baseline
gAGE
research group of Astronomy and Geomatics
H eph
U1 U2
U2
U1
U1 U1 'UH
gAGE/UPC
U1 U2 U1 U2 constant GU
eph
0
U2 U 2 'UH eph
H eph
U1 U2
U2
U1
U1 U1 'UH
gAGE/UPC
U1 U2 U1 U2 constant GU
eph
0
U2 U 2 'UH eph
where a
1
b cos I
u
u b u b - b
T T
I b T b I b
2 T
Note: in this 3D problem I is NOT the elevation of ray.
Note: u sin I u
GU { G ( U B U A ) 2G a b sin I b
wa wa wI wI GU T u T sin I u
2 GH 2
wH wI wH
GH b sin I
wH
GH U U
T I T
1 b Where: b = b b
b sin I GH
U
Master of Science in GNSS
Note: A G
GH U GI U @ J. Sanz
is the baseline
& J.M. Juan vector
gAGE
ORBIT TEST :
Broadcast orbits
Along-track Error (PRN17)
research group of Astronomy and Geomatics
PRN17:
Doy=077, Transm. time: 64818 sec
gAGE
rov2
11 km
15.2 km
gAGE/UPC
T I T
b
19.7 km
GU
rov3 U
Exercise:
gAGE
Contents
research group of Astronomy and Geomatics
so that the residual error ionospheric, tropospheric and ephemeris are small
compared to the typical errors due to receiver noise and multipath, it can be
assumed: j j
Tru j j
I ru 0; 0ru eph 0
Working with smoothed code, a residual error of about 0.5 metres could be
tolerable, but for carrier based positioning it should be less than 1 cm to
allow the carrier ambiguity fixing.
The typical spatial gradient of the ionosphere (STEC) is 1-2 mm/km (i.e.
gAGE/UPC
0.1-0.2 m in 100km), but it can be more than one order of magnitude higher
when the ionosphere is active.
gAGE
Error mitigation and short baseline concept
The correlation radio of the troposphere is lower than for the ionosphere. At
10km of separation the residual error can be up to 0.1-0.2 m. Nevertheless,
90% of the tropospheric delay can be modelled and the remaining 10% can
be estimated together with the coordinates (for high precision applications).
For distances beyond a ten of kilometres or significant altitude difference it
would be preferable to correct for the tropospheric delay at the reference
station and user receiver.
Carrier-smoothed code:
Pseudorange code measurement errors due to receiver noise and multipath
can be reduced smoothing the code with carrier measurements.
Smoothed codes of 0.5m (RMS) can be obtained with 100 seconds smoothing.
On the other hand, the ionospheric error is substantially eliminated in
gAGE/UPC
differential mode and the filter can be allowed for lager time smoothing
windows.
The left hand side of previous equation can be spitted in two terms:
one associated to the reference station and the other to the user:
gAGE/UPC
Pruj U 0 ruj
Pu j U 0 uj Pr j U 0 rj
Master of Science in GNSS
'rru 'ru 'rr 'ru site @ J. Sanz & J.M. Juan
gAGE Differential code based positioning
Pruj U 0 ruj 0 uj 'ru c G tru Kru Q P ruj
research group of Astronomy and Geomatics
The left hand side of previous equation can be spitted in two terms:
one associated to the reference station and the other to the user:
Pruj U 0 ruj
Pu j U 0 uj Pr j U 0 rj
The term Pr U 0 r is the error in range measured by the reference
j j
gAGE
Range Differential Correction Calculation
Broadcast SV Actual SV
research group of Astronomy and Geomatics
Position Position
The user receiver applies the PRC and RRC to correct its own
gAGE/UPC
DGNSS with code ranges: users within a hundred of kilometres can obtain
one-meter-level positioning accuracy using such pseudorange
Master of Science in GNSS
corrections.
@ J. Sanz & J.M. Juan
32
gAGE Differential code based positioning
The user applies this differential correction to remove/mitigate common
research group of Astronomy and Geomatics
rum
where the receivers instrumental delay term K ru is included in
the differential clock c G tru
The previous system for navigation equations is written in matrix notation as:
1
T
1
Pref 1 0u
2
T
Pref
2
0u
1 'ru
c G tru
n
Pref
T
n
1
0u
gAGE/UPC
where
Pref j { Pu j U 0 uj PRC j
Note: we have considered here only code measurements. The carrier based
positioning will be treated next, using double differences of measurements and
targeting the ambiguity fixing.
Master of Science in GNSS @ J. Sanz & J.M. Juan
35
gAGE
Range Differential Correction Calculation
Broadcast Actual SV
research group of Astronomy and Geomatics
SV Position Position
The user receiver applies the PRC and RRC to correct its own
gAGE/UPC
DGNSS with code ranges : users within a hundred of kilometres can obtain
one-meter-level positioning accuracy using such pseudorange
Master of Science in GNSS
corrections.36
@ J. Sanz & J.M. Juan
gAGE
research group of Astronomy and Geomatics
GODN
USN3 76 m
GODS
ftp://cddis.gsfc.nasa.gov/highrate/2013/
gAGE/UPC
GODS
USN3
S/A=off
DGPS DGPS
GODN
GODN
GODS: reference
gAGE/UPC
GODS: reference
USN3 station
GODS: reference
USN3 station
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
PERFORMANCE CATEGORY I
Requirements
?
Time to alarm 6 s
80
60
40
20
0
-20
-40
-60
-80 ANALYSIS NOTES
-100
-120 - Data taken from Overlook PAN Monitor Station,
equipped with Trimble SVeeSix Receiver
-140 - Single Frequency Civil Receiver
gAGE/UPC
GPS/GLONASS Satellites:
Time to alarm is from minutes to hours
No indication of quality of service
Health Messages:
GPS up to 2 hours late
GLONASS up to 16 hours late
gAGE/UPC
gAGE
Continuity: Ability of a system to perform its function without
(unpredicted) interruptions during the intended operation.
research group of Astronomy and Geomatics
Continuity:
Less than 10-5 Chance of Aborting
a Procedure Once it is Initiated.
Availability:
gAGE/UPC
NSE
Confidence bound
gAGE/UPC
gAGE
SBAS
gAGE/UPC
GBAS
gAGE
Contents
research group of Astronomy and Geomatics
gAGE
Ground System Functional Flow Diagram
This is from [RD-5]
research group of Astronomy and Geomatics
DQM: Checks the validity of the GPS ephemeris and clock data for each
satellite that rises in view of the LGF and at each time new navigation
data messages are broadcast.
MQM: Confirms the consistency of the pseudorange and carrier-phase
measurements over the last few epochs to detect sudden step and any
other rapid errors.
MRCC: Examines the consistency of corrections for each satellite across all
reference receivers.
VP-monitor: Helps ensure a Gaussian distribution for the correction error
with zero mean and that the broadcast Vpr _ gnd overbounds the actual
errors in the broadcast differential corrections.
MFRT: Verifies that the computed averaged pseudorange corrections and
correction rates fit within the message field bounds. This is from [RD-5]
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
SBAS Concept
research group of Astronomy and Geomatics
Receiver Noise
gAGE
70
Artemis
IOR
AOR-E
60
50
Latitude ()
40
30
gAGE/UPC
20
-40 -30 -20 -10 0 10 20 30 40
Longitude ()
RIMS
(x 37)
NLES
(x 6)
EWAN
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
http://egnos-user-support.essp-sas.eu/egnos_ops/egnos_system/system_description/current_architecture
Do-229A, B, C, D
gAGE
Message Format
research group of Astronomy and Geomatics
DIRECTION OF DATA FLOW FROM SATELLITE; MOST SIGNIFICANT BIT (MSB) TRANSMITTED FIRST
gAGE
Issues of Data (IOD)
research group of Astronomy and Geomatics
IODEk
IODE IODk Long-term No IOD: Fast
GPS repeat msg, Corrections
Corrections
s s
Ephemeris
Ephemeri small
(25) (2 - 5, 24)
changes
IODCk
IODP
GPS IODGk IODP
IODF
IODF j
IODP
Clock IODP
PRN Integrity
GLONASS
Mask Information n
DATA
(1) ( )
(6)
IODS IODP
IODP
Service Acceleration
Message Information
(7)
gAGE/UPC
(27)
Ionospheric
c Ionospheric
c
Mask Corrections
s
(18) IODI
IODI
(26)
Master of Science in GNSS @ J. Sanz & J.M. Juan
70
gAGE
Message Time-Outs:
Users can operate even when missing Messages
research group of Astronomy and Geomatics
System Latency
master station
Correction time-Out
Corrections
UTC Timing Data 12 300 None None
Almanac Data 17 300 None None
(*) Fast Correction Time-Out intervals are given in MT7 [between 12 to 120 sec]
Master of Science in GNSS @ J. Sanz & J.M. Juan
72
gAGE
research group of Astronomy and Geomatics PRN MASK (MT01)
Bit No 1 2 3 4 5 6 . 38 . 120 . 210
Value 0 1 0 1 1 0 1 1 0
PRN GPS GPS GPS GLONASS AORE
PRN 2 PRN 4 PRN 5 Slot 1 PRN 120
PRN mask 1 2 3 21 29
Number
Each MT01 contains its associated IODP
Assignment
Up to 51 satellites in 210 slots. PRN
Slot
120-138 GEO/SBAS
number, between 1 to 51. 139-210 Future GNSS/GEO/SBAS/Pseudolites
gAGE
Example of message: Fast Corrections
(MT2-5,24)
research group of Astronomy and Geomatics
Primarily Removed SA
Common to ALL users
Up to 13 Satellites Per Message
Pseudorange Correction /confidence Bound
Range Rate Formed by Differencing
UDRE degrades Over Time
Acceleration Term in MT 7
gAGE/UPC
PRC (t
(t ) PRC n RRC n (t t n ) Y C1 PRC U * 't sat dt sat
PRC n PRC o
RRC n TGD IONO TROP
t n to
DIRECTION OF DATA FLOW FROM SATELLITE; MOST SIGNIFICANT BIT (MSB) TRANSMITTED FIRST
( RSSUDRE 0 >MT10@)
N75
N65
N55
N50
S50
0 1 2 3 4 5 6 7 8
S55
S65
gAGE/UPC
S75
S85
Fast Corrections
gAGE
Ephemeris +
+ Long Term Corrections MT1, MT2,5,24, MT6,
+ MT25, MT7, MT12,
research group of Astronomy and Geomatics
MT10
IONO Corrections
+ MT18
IONO GIVE
+ MT26
Degradation Param.
V 2 V 2flt V UIRE
2
V air
2
V tropo
2
x
X >'N , 'E, 'U , cdt @
d N2 d NE d NV d NT
2
d NE dE d EV d ET
Px G T WG
1 2
d N2 d E2 d N2 d E2
d NE
2
2
2
d NV d EV dV dVT HPL 6.00
d d ET dVT d T2 2
NT
W PY1
VPL 5.33 dV
V 12 0
Py
0 2
VN V i2 V i2, flt V i2,UIRE V i2,air V i2,tropo
-KV-V V KV
gAGE/UPC
X ~ N (0,1)
P( X ! 5.33) 107
gAGE
Fast and Long-Term Correction Degradation
V
UDRE H fc H rrc H ltc H er , if
2
research group of Astronomy and Geomatics
V 2 RSSUDRE 0 ( MT10)
i , flt
V 2UDRE H 2 fc H 2 rrc H 2ltc H 2er , if RSSUDRE 1 ( MT10)
t tu tlat
2
MT25
H fc a 2
MT2-6,24 tltc , v0 or v1
IODFcurrent , IODFprevious z3
0 , ( IODF IODFprevious ) mod 2 1 Cer , RSSUDRE ,
H rrc
current
a I fc Brrc
4 't t t of , ( IODF current
IODFprevious ) mod 2 z1
Ciono _ ramp , Ciono _ step ,
Iiono , RSSiono
Master of Science in GNSS @ J. Sanz & J.M. Juan
80
gAGE
Degradation of Ionospheric Corrections
1
R cos E 2
V UIRE Fpp2 V UIVE
research group of Astronomy and Geomatics
2
2 2 1 e
Fpp
R h
e I
W x , y pp V n2,ionogrid , N MT10
N
V 2
UIVE n pp 4 or 3
n 1 Brrc , Cltc _ lsb , Cltc _ v1 ,
I ltc _ v1 , Cltc _ v 0 , I ltc _ v 0 ,
V GIVE H iono
2
V 2ionogrid
, if RSSiono 0 ( MT10)
2 Cer , RSSUDRE ,
V GIVE H iono
2
, if RSSiono 1 ( MT10)
Ciono _ ramp , Ciono _ step ,
I iono , RSSiono
Hiono t t
Ciono _ step floor I iono Ciono _ ramp t tiono MT26
gAGE/UPC
iono
tiono,GIVEi
gAGE
Users know the receiver-satellites geometry and can compute bounds on
the horizontal and vertical position errors.
These bounds are called Protection Levels (HPL and VPL). They provide
research group of Astronomy and Geomatics
Protection
Level
True
Error
N
V i2 V i2, flt V i2,UIRE V i2,air V i2,tropo
s V
gAGE/UPC
2 2
VPL KV Vi i
i 1
GEOMETRY
EGNOS
Availability
Integrity
gAGE/UPC
Accuracy
gAGE
research group of Astronomy and Geomatics
EGNOS
Availability
Integrity
Continuity
gAGE/UPC
Accuracy
gAGE
EGNOS Safety of Life Service Definition Document (Ref : EGN-SDD SoL, V1.0).
European Comission.
http://www.essp-sas.eu/downloads/vubjj/egnos_sol_sdd_in_force.pdf
research group of Astronomy and Geomatics
Lecture 7
research group of Astronomy and Geomatics
Carrier-based Differential
Positioning.
Ambiguity Resolution
Techniques
Contact: jaume.sanz@upc.edu
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Authorship statement
The authorship of this material and the Intellectual Property Rights are owned by
J. Sanz Subirana and J.M. Juan Zornoza.
This authorship statement must be kept intact and unchanged at all times.
gAGE/UPC
22 Jan 2015
- LAMBDA Method
gAGE
Linear model for Differential Positioning
Single difference (x) ruj { '(x) ruj (x)uj (x) rj
research group of Astronomy and Geomatics
Double difference
(x) rujk { '(x) rujk (x) ru
k
(x) ruj (x)uk (x) rk (x)uj (x) rj
User Reference
P jk
ru U T I Q
jk
ru
jk
ru
jk
ru
jk
P ru
Station
Receiver clock
The same for carrier : Receiver code instrumental delays
Lrujk U rujk Truj I rujk O Zrujk O N rujk Q jk
L ru
Receiver carrier instrumental
delays
Master of Science in GNSS
Carrier ambiguities N are integer
@ J. Sanz & J.M. Juan
4
gAGE
Single-Difference of measurements
research group of Astronomy and Geomatics (corrected by geometric range!!)
PRN06
PRN06
PLAN-GARR: 15km
PRN30
'( L1 U ) { L1ru
sat
U rusat PRN30 ' ( P1 U ) { L1ru
sat
U rusat
'( L1 U ) { Lruj U ruj c G tru Truj I ruj O Zruj O N ruj bru Q L ruj
gAGE
Double-Difference of measurements
(corrected by geometric range!!)
research group of Astronomy and Geomatics
constant
Dif. Tropo. and Iono. :
Small variations
Master of Science in GNSS @ J. Sanz & J.M. Juan
6
gAGE
Linear model for Differential Positioning
Single difference (x) ruj { '(x) ruj (x)uj (x) rj
research group of Astronomy and Geomatics
where:
U ruj U0 ruj 0uj 'Uru 0 ruj site 0 ruj eph
j
Double difference
(x) rujk { '(x) rujk (x) ru
k
(x) ruj (x)uk (x) rk (x)uj (x) rj
gAGE
Exercise:
research group of Astronomy and Geomatics
where U ru Uuj U rj
j
where: U rujk U jk
0 ujk 'Uru 0 jkru site 0kru eph
k
0 jru eph
j
0 ru
For short baselines (e.g. up to 10 km) and if the reference 'rru { 'ru 'rr
station coordinates are accurately known, we can assume:
Trujk 0 ; I rujk 0 ; Zrujk 0 Note for baselines up to 10 km
the range error of broadcast
0 ru
j
eph
j
0 orbits is less than 1cm
site 0 'Uru 'Uu (assuming H ephj
10 m ).
gAGE
Differential code and carrier positioning
As with the SD, the left hand side of previous equations can be spitted
research group of Astronomy and Geomatics
in two terms: one associated to the reference station and the other to
the user. Then, the differential corrections can be computed for code
and carrier as: jk jk
PRCP jk jk jk
U jk
0r
Pr ; PRCL U 0r
Lr
The user applies this differential correction to remove/mitigate common
errors:
Pu jk U 0 ujk PRCP jk 0 ujk 'Uu Q P rujk
The previous system for navigation equations is written in matrix notation as:
Pref P R ,1 0u
1 R T
0u
0 0
'ru
R ,1
T
1
R
1 0
Pref L 0u 0u
O N ru
R ,1
R , n 1
Pref P
T
n 1 R
Pref R ,n 1 0u 0u 0 0
O N ru
R , n 1
L T
n 1
0 u 0 u 0 1
R
gAGE/UPC
gAGE
Differential positioning
research group of Astronomy and Geomatics
Broadcast SV Actual SV
Position Position
The single difference (SD) and its covariance matrix can be computed as:
X uk
X ruk
1 1 0 0 X rk
Thence, if the measurements are
j 0 0 1 1 j ; uncorrelated, so are they in single
X ru Xu
j differences, but the noise is twice!
X r
V X2 0 0 0 1 0
1 1 0 0 0 V X2 1 0
gAGE/UPC
0 0
PX SD 2V X2 I
0 0 1 1 0 V 0 1
2
0 0
X
0 0 0 V X2 0 1
computed as:
X ruk
X jk
ru 1 1 0 j
jl 0 1 1 X ru ;
X ru l
X ru
2V X2 0 0 1 0
1 1 0 2 1
PX DD 0 1 1 0 2V X2 0 1 1 2V X2
1 2
0 0 2V X2 0 1
x x x
x { k
x R
x
' { rov ref ' { ' k
' R
Receiver errors common for all satellites do not affect positioning (as
they are assimilated in the receiver clock estimate). Thence:
gAGE/UPC
- Only residual errors in single differences between sat. affect absolute posit.
- Only residual errors in double differences between sat. and receivers affect
relative positioning.
Master of Science in GNSS @ J. Sanz & J.M. Juan
15
gAGE
Single and double differences of receivers/satellites
research group of Astronomy and Geomatics
x x x
x { k
x R
x
' { rov ref ' { ' k
' R
- LAMBDA Method
second satellite k
Station
U u
j
U rj
research group of Astronomy and Geomatics
The previous system for navigation equations is written in matrix notation as:
1 R T 0 0 Baseline
P R ,1
u u
vector
r ,u
R ,1 rru
Lr ,u
u
1
u
R T
1 0 R ,1
O N ru
Satellite-j
PrR,u, n 1 n 1 R T 0 0 U u
j
R , n 1 u u
O N R , n 1
ru U rj
Lr ,u
u
n 1
u
R T
0 1 uj
rrurru rruurrrr
gAGE/UPC
Reference
Station
DD Code and
Carrier
Carrier
ambiguities ru rr
measurements U ruj Uuj U rj
'L1 { L1ru
sat
'P1 { P1ru
sat
Satellite-j
'L1 { L jk
ru U jk
ru T jk
ru I jk
ru OZ O N
jk
ru
jk
ru Q jk
L ru
Uuj
U rj
Station
Line-Of-Sight vector
Master of Science in GNSS @ J. Sanz & J.M. Juan
21
gAGE
Double-Difference of measurements
research group of Astronomy and Geomatics
'L1 { L1ru
sat
'P1 { P1ru
sat
IND1-IND2: 7 m IND1-IND2: 7m
PRN06-PRN30 PRN06-PRN30
gAGE/UPC
'L1 { L1ru
sat
'P1 { P1ru
sat
Thence, the user can form the double differences of its own
measurements with those of the reference receiver, satellite by
satellite, and estimate its position relative to the reference receiver.
RRC dL1
RRC ~ 2cm/s
d U up to ~800 m/s
gAGE L1 L1
1 ms jump
of receiver
research group of Astronomy and Geomatics
clock adjust
dL1 dL1
300Km=1ms
dL1 | d U dtrec
d U up to ~800 m/s
uj Uru / 2 rj uj e j
e j rru / 2
uj Uru / 2 2uj Uru
rru ru rr
2
2 2
j
u Uru H j Uru rj uj User Reference Station
j
r uj j
r uj
U r
j
Uuj uj Uru uj
Then:
Uuj U rj Z j e j rru
gAGE/UPC
gAGE
Contents
research group of Astronomy and Geomatics
- LAMBDA Method
Let us consider again the problem of relative positioning for short baselines.
research group of Astronomy and Geomatics
T
where: u u
G Lrujk { Lrujk (t2 ) Lrujk (t1 ) For simplicity, we assign (j=1) to the
reference satellite
Master of Science in GNSS @ J. Sanz & J.M. Juan
31
gAGE
The Role of Geometric Diversity: Triple differences
This is from [RD-3]
G 2 G 1 T
research group of Astronomy and Geomatics
G L 12
ru u u
1 T
G uk G uj Uru GQ L rujk G L G u G u rru
13 3
G Lrujk ru
1K
G Lru G G
K 1 T
u u
from [RD-3]
Let us now consider a simple model for the estimation of the relative
position vector from SD carrier measurements, assuming short baselines
(e.g. <10km):
1 T 1 Satellite-j
L 1
ru u
O N ru
1
U j
2 T r
u
u
L
2
1 ru O N ru2 U rj
ru
d ru uj
K K
gAGE/UPC
ru rr
O N ru
rru
Lru K T 1
Reference
Station
U ruj Uuj U rj
ru rr
Master of Science in GNSS @ J. Sanz & J.M. Juan
To Earth Centre 33
from [RD-3]
Previous system can be arranged as:
1 T 1 Considering now differences between two
L1ru u
O N ru
1
2 2 T r 2 epochs t0 and t1 , and assuming no cycle-slips:
Lru u 1 ru O N ru
d ru
r (t ) r (t )
K K L ru (t1 ) L ru (t0 ) G (t1 ) ru 1 G (t0 ) ru 0
Lru K T O N ru d ru (t1 ) d ru (t0 )
u 1
d ru (t0 ) cannot be
the geometry matrix matrix at time t1 . This would estimated at all!
at time t1 . This can be poor determined if such
be well determined. change is not significant.
Master of Science in GNSS @ J. Sanz & J.M. Juan
34
gAGE
research group of Astronomy and Geomatics
Contents
1. Linear model for DGNSS: Double Differences
1.1. Differential Code and carrier based positioning
1.2. Precise relative Positioning
1.3. The Role of Geometric Diversity
2. Ambiguity resolution Techniques
2.1. Resolving ambiguities one at a time
- Single-frequency measurements
- Dual-frequency measurements
- Three-frequency measurements
2.2 . Resolving ambiguities as a set: Search techniques
- Least-Squares Ambiguity Search Technique.
gAGE/UPC
- LAMBDA Method.
Zrujk
ru ru ru ru
0 Lq
V L | 0.5cm
q
V L | 1cm
jk
measurement error.
q
AsMaster
commented before, the ambiguity terms are integer numbers, and@we
of Science in GNSS can take benefit
J. Sanz & J.M. Juan
of this property to fix such ambiguities applying integer ambiguity resolution techniques.36
gAGE
research group of Astronomy and Geomatics
Contents
1. Linear model for DGNSS: Double Differences
1.1. Differential Code and carrier based positioning
1.2. Precise relative Positioning
1.3. The Role of Geometric Diversity
2. Ambiguity resolution Techniques
2.1. Resolving ambiguities one at a time
- Single-frequency measurements
- Dual-frequency measurements
- Three-frequency measurements
2.2 . Resolving ambiguities as a set: Search techniques
- Least-Squares Ambiguity Search Technique.
gAGE/UPC
- LAMBDA Method.
P1 jk U jk Q Pjk L1jk P1 jk
1 o L P1
jk
1
jk
O1 N Q o
1
jk jk
N 1jk
Ljk
U O1 N Q
jk jk jk
P1
O1 roundoff
1 1 L1
O1 20 cm
V P | 1m 1
1
jk
V N VP | 5
O1
jk jk
V L | 1cm
jk
1 1
1
N 1
Fail Too much error (5 wavelengths)!
N 1/ 2 Note that, assuming a Gaussian
Good N
N distribution of errors, V N jk 1/ 2
guarantee only the 68% of success
1
N 1/ 2
N 1 As the ambiguity is constant (between
cycle-slips), we would try to reduce
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
- LAMBDA Method.
NW N1 N 2
P1 jk
U Q jk jk
f1 P1 jk f 2 P2jk OW
c
86.2 cm
P1
PNjk U jk Q Pjk f1 f 2
P2 jk
U Q jk jk
P2
f1 f 2 N
U O1 N Q LWjk
jk jk jk jk N 1
L1 1 L1
f1 f 2 W
V L | 6 V L | 6 cm
jk jk
1
U O2 N Q
W
jk jk jk jk
L 2 2 L2
p
L PNjk
jk
OW NWjk Q Pjk o LWjk PNjk
W N Wjk
OW
N
roundoff
Fixing N1 (after fixing NW)
1 71cm
V N | VP 0.8
L L
jk
1
jk
2 O1 N O2 N Q
1
jk
2
jk jk
L1 L2
jk
W OW N
jk
86.2cm
O1 O2 N1jk O2 NWjk Q Ljk L 1 2 Now, with uncorrelated
O1 19.0 cm
L1jk L2jk O2 N Wjk measurements from 10
gAGE/UPC
1 1.4cm
1
V N | 2V jk 1/ 4
N jk N jk N jk 1
jk
O1 O2 L1 5.4cm
2 of Science
Master 1 in GNSSW @ J. Sanz & J.M. Juan
42
gAGE
research group of Astronomy and Geomatics
gAGE/UPC
gAGE
research group of Astronomy and Geomatics
Once the integer ambiguities are known, the carrier phase measurements
become unambiguous pseudoranges, accurate at the centimetre level (in DD),
gAGE/UPC
or better.
Thence, the estimation of the relative position vector is straightforward
following the same approach as with pseudoranges.
Master of Science in GNSS @ J. Sanz & J.M. Juan
44
gAGE
research group of Astronomy and Geomatics Exercises:
Hint:
LW= OW IW ; IW = I1 I2
gAGE
Contents
research group of Astronomy and Geomatics
- LAMBDA Method.
for short baselines (e.g. < 10 km) Ionosphere, troposphere and wind-
up differential errors cancel.
f 2 / f5
W
2
LW
f1 f 2 W J 25 (24 / 23) 2
J 25 1
f 2 L2 f5 L5 VL V 33,3 cm
LEW U OEW N EW Q L EW
J 25 1 L 1
NW N1 N 2
f 2 f5
gAGE/UPC
EW
f1 P1 f 2 P2
J 12 1 N EW N 2 N5
VP V 0, 712 m
PN U Q P N
J 12 1 P 1
f1 f 2 N
J 25 1 Exercise:
f 2 P2 f5 P5 VP V 0, 707 m
PEN U Q PEN J 25 1 P Justify the previous
f 2 fin5 GNSS
EN 1
Master of Science
expressions for V 47
@ J. Sanz & J.M. Juan
L1 U O1 N1 Q L V L | V L | 1cm
GPS Frequency Wavelengths Combinations
1 1 2
LEW U OEW N EW Q L EW
PEN U Q P EN
NW N1 N 2 ; N EW N 2 N5
f1 / f 2
2
LEW PEN 1 0.71m J 12 (77 / 60) 2
N EW V N | VP 0.12
OEW f 2 / f5
2
5.861m J 25
OEW
EN
(24 / 23) 2
roundoff
EW
J 12 1
VP V 0, 71m
N
J 12 1 P 1
J 12 1
gAGE/UPC
VL V 5, 7 cm
L1 L2 O2 N W 1 1.4cm
W
J 12 1 L 1
N 1 V N | 2V 1/ 4
O1 O2 5.4cm J 25 1
O1 O2 1 L1
roundoff VL V 33,3 cm
EW
J 25 1 L 1
L2 U O2 N 2 Q L V P | V P | 1m
1 2
E5b 118 x 10.23 MHz O =0.248 m OW = 0.814 m
2
LEW U OEW N EW Q L EW
PEN U Q P EN
f1 / f 2
2
LEW PEN 1 J 12 (77 / 59) 2
N EW V N | VP > @
OEW f 2 / f3
2
J 23 (118 /115) 2
OEW
EN
roundoff
EW
J 12 1
VP V > @
N
J 12 1 P 1
OEW N EW LEW LW 1 J 25 1
N W V N | VL > @ VP V > @
OW roundoff W OW EW EN
J 25 1 P 1
J 12 1
> @
gAGE/UPC
VL V
L1 L2 O2 N W 1
W
J 12 1 L 1
N 1
V N | 2V > @
O1 O2 O1 O2 L1
J 25 1
> @
1
roundoff VL V
EW
J 25 1 L 1
Exercise:
gAGE
Repeat the previous study for the Galileo signals E1, E5b and E5a
V L | V L | 1cm
research group of Astronomy and Geomatics
L2 U O2 N 2 Q L V P | V P | 1m
1 2
E5b 118 x 10.23 MHz O =0.248 m OW = 0.814 m
2
LEW U OEW N EW Q L EW
PEN U Q P EN
f1 / f 2
2
LEW PEN 1 0.71m J 12 (77 / 59) 2
N EW V N | VP 0.07
OEW f 2 / f3
2
9.768 m J 23
OEW
EN
(118 /115) 2
roundoff
EW
J 12 1
VP V 0, 71m
N
J 12 1 P 1
J 12 1
gAGE/UPC
VL V 5.4 cm
L1 L2 O2 N W 1 1.4 cm
W
J 12 1 L 1
N 1 V N | 2V 1/ 4
O1 O2 5.8cm J 25 1
O1 O2 1 L1
roundoff VL V 54.9 cm
EW
J 25 1 L 1
- LAMBDA Method.
gAGE
Resolving Ambiguities as a set
As a driven problem to study the ambiguity fixing, we will consider problem of
differential positioning in DD for short baselines (e.g. < 10 km). To simplify, we
research group of Astronomy and Geomatics
Prefit-residual
U jk
(ti ) U jk
(ti ) 0 jk (ti ) 'U (ti ) G(t)
0 y(t)
y (ti )
Dual freq.: K=2(K-1)
K u3
K 3 K
vector matrix vector vector
The problem can be easily reformulated for the kinematic case. Kalman filtering
can be applied as well.
For an observation span relatively long, e.g. one hour, the floated ambiguities
would typically be very close to integers, and the change in the position
solution from the float to the fixed solution should not be large.
1. Initialization time
2. Reliability (or, correctness) of the integer estimates
Estimate the floated solution N and its uncertainty (e.g. N =2502347.74 cycles, V N 0.6 cycles)
Define as a volume to be searched e.g. r 3V N r2 cycles and
evaluate the cost function (the RMS residuals) over the 6 ambig.: 2502345, , 2502350
The integer ambiguity solution corresponding to the smallest RMS residuals is used
to select the candidate. However if two or more candidates give roughly similar
values of RMS, the test can not be resolute.
A ratio test (of 2 or 3, depending of the algorithm) between the two smallest RMS
gAGE/UPC
- LAMBDA Method
Residual of real-valued
floated solution 'r , N
[*] Remember that DD measurements are correlated, as already
Master of Science in GNSS
seen.
@ J. Sanz & J.M. Juan
58
gAGE LAMBDA Method
Thence, we have to find 'r a 3-vector of real numbers, and N a (K-1)-vector
research group of Astronomy and Geomatics
of integers minimizing:
2 2
y G 'r O A N
2
y G 'r O A N 'r 'r (N)
2
O2 N N
Wy Wy W'r ( N ) WN
This term is irrelevant for This term can be This term must
minimization since it does made zero for be minimized
not depend on 'r and N any N over the integers
2
Float solution and covariance matrix:
min N N o N
WN
'r 'r
; Cov
P'r
P'r ,N
'r 'r (N)
'r W'r ,N WN1 N N
N
N P'r ,N PN
gAGE/UPC
N N
2 T
c(N)
N N
WN N N
WN WN PN1
A diagonal WN matrix would mean that the integer ambiguity estimates are
uncorrelated.
If the weight WN matrix is diagonal, the minimizing of the cost function is trivial. The
best estimate is the float ambiguity rounded to the nearest integer.
N 2
2 2
1/ V 2 0 N1 N 1 N 2 N 2
c(N)
WN
N1N1
V N2 N V N2 N
0 1/ V 2
1 1 2 2 N1
N 2 N 2
Ellipse parallel to coordinate axes
The idea is to apply a transformation that decorrelates the ambiguities so that the matrix
W becomes diagonal. W is a positive definite matrix and thence, can be always
diagonalized (as a real-valued matrix) with orthogonal eigenvectors. But the problem here
is that the integer ambiguities N must be transformed preserving its integer nature!
Thence, we are looking for an integer-valued transformation matrix Z that makes the
matrix W as close as possible to a diagonal matrix (decorrelating as much as possible
the ambiguities) and with similar axes (spherical).
Moreover, the inverse of transformation
matrix Z-1 must be also integer, to transform
Nc ZN back the results after finding the ambiguities
PN c Z PN ZT
c
N
ZN Note that Z, Z 1 det(Z) 1
(i.e. it is a volume-preserving transformation)
Z
gAGE/UPC
Pictures
from
[RD-6]
gAGE
research group of Astronomy and Geomatics
Exercise:
Show that:
Z, Z 1 det(Z) 1
Gauss manipulation over matrix P=W-1 can be applied to find-out the matrix Z.
Gauss manipulation over matrix P=W-1 can be applied to find-out the matrix Z
gAGE
1 0 Transforms N2 (N1 remains unchanged)
Z1 D
pN1N1 pN N
1 1
research group of Astronomy and Geomatics
PN
1 2
Di int pN N / pN N
pN1N 2 pN N 1 2 i i
2 2 1 D 2
Z2 0 1 Transforms N1 (N2 remains unchanged)
Step 1:
1 1 We transform first the element with
Z2 0 1 D 2 int >38.4 / 28.0@ 1 largest variance (in this case N1)
1 1 53.4 38.4 1 0 4.6 10.4 The half,
PN c Z 2 PN ZT2 0 1 38.4 28.0 1 1 10.4 28.0 at most!
In general,
Step 2: to increase the
1 0
gAGE/UPC
1 0 1 1 1 1
Z Z1Z 2 2 1 0 1 2 3
gAGE/UPC
1 1 53.4 38.4 1 2 4.6 1.2
PN cc Z PN ZT 2 3 38.4 28.0 1 3 1.2 4.8
Master of Science in GNSS @ J. Sanz & J.M. Juan
65
Example:
gAGE
1.05 53.4 38.4 4.6 1.2
N 1.30 PN 38.4 28.0 PN cc 1.2 4.8
research group of Astronomy and Geomatics
1 1
Z 2 3
0 3 1 0 2
N Z 1 2 1 2 2
2
1 N2
p11 p12 p11 p22 w N 2c
research group of Astronomy and Geomatics
P O1
p p22
2 N1c
12 1
O2 p11 p22 w O1
2 O2 I
w ( p11 p22 ) 2 4 p122 N1
O1 0
Pc 0
O2 tan 2I
2 p12
p11 p22
Example:
O1 81.14 9.0
gAGE/UPC
81.14 0
PNc 0 O2 0.25 0.5
0.25
tan 2I 3.02 I 35$85
BACKUP
Master of Science in GNSS @ J. Sanz & J.M. Juan
67
gAGE Consider again the previous problem of estimating 'r , a 3-vector of real
numbers, and N a (K-1)-vector of integers, which are solution of
G 'r O A N
research group of Astronomy and Geomatics
Integer rounding
Comment:
Integer bootstrapping In principle, the previous transformation Z
is not required by the estimation concept;
Integer Least-Squares
it is only to achieve considerable gain in
.. speed in the computation process [RD-5].
0.25 0
Ncc int 2
1.80
1. We start with the most precise ambiguity (here we will assume Nn)
2. Then, the remaining float ambiguities are corrected taking into account
their correlation with the last ambiguity.
N n int N n Using the triangular
decomposition
n1 n n
N n 1 int N n 1|n int N n 1 V N , N V N2 N n N n
PN LT D L
lij V N V N2
n
N1 int N n|I int N1 V N , N V N2 N i|I N i
j , N i|I i|I
i 2
1 i|I i|I
gAGE/UPC
N i|I Stands for the i-th ambiguity obtained through a conditioning of the
previous I ^i 1, , n` sequentially rounded ambiguities.
Float
N2
Conditional
estimate
N1|2
N1
gAGE/UPC
N2 nint N 2 0 N1 nint N 1|2 nint N 1 V N , N V N2 N 2 N 2 1
2 1 2
1. The target to find the integer vector N which minimizes the cost function
research group of Astronomy and Geomatics
N N PN1
2 T
c(N)
N N
PN1 N N WN
PN 1
2. The integer minimiser is obtained through a search over the integer grid
points on the n-dimensional hyper-ellipsoid:
T
P 1 N N
N N d F2
N
N N N N
T
d F2
L1 D1 LT N N
T
d F2
D1 N N
Defining:
N N N
gAGE/UPC
2 2 2
N 1 N 2 N n
) o LT N
N LT (N N
N N N)
(N c( N )
1 2
n
d F2
d1 d2 dn
N 1 N 2 N n
T
N N D 1 d F2
N N 1 2
d F2
n
c( N )
d1 d2 dn
research group of Astronomy and Geomatics
But N i depends on N i 1 , , N n .
N n N n
N
L N
T
N)
(N
N
n
N i N i j N i l ji ; i n 1, n 2, ,1
j i 1
2 1/ 2 2 1/ 2
N n 1 d n1/21 F 2 N n N n dn d N n 1 d N n 1 d n1/21 F 2 N n N n dn
1/ 2 1/ 2
n 2 n 2
N 1 d11/ 2 F 2 N j N j dj d N1 d N n d11/ 2 F 2 N j N j dj
j 2 j 2
gAGE/UPC
A small F may result in a ellipsoidal region that fails to contain the solution.
A too large value for F may result in high time-consuming for the search process.
If p candidates are requested, the values of cost function c(N) are ordered in
ascending order and F is chosen equal to the p-th value.
If more than n+1 candidates are requested, the volume of the search ellipsoid can be used
Master of Science in GNSS
([RD-6]).
@ J. Sanz & J.M. Juan
74
gAGE
Search with shrinking technique: practical example
This is an alternative to the previous strategy, based on shrinking the search
ellipsoid during the process of finding the candidates.
research group of Astronomy and Geomatics
4th nearest is
out of the
region.
No more
candidates at
gAGE/UPC
this step
Thence, the best 6 candidates are found (in the ISL sense). The one
with
Master thein GNSS
of Science smallest cost function c(N) value is the actual ISL@ J.solution.
Sanz & J.M. Juan
76
gAGE
research group of Astronomy and Geomatics Acceptance Test
However if two or more candidates give roughly similar values of RMS, the
test can not be resolutive.
N N
T
RMS
N N
PN1 N N
gAGE/UPC
PN 1
Note:
This document uses
the transposed
matrix ZT, but the
gAGE/UPC
principle is the
same.
load large Q, a
imagesc(Q) imagesc(Qz)
colorbar colorbar
Z
gAGE/UPC
[L,D] = ldldecom(Q)
Qz=Lz*diag(Dz)*Lz
Q=L*diag(D)*L
-3 2 3 10 -8 -2 -5 0 -4 1 -4 0
-1 6 8 -1 2 1 2 7 3 -2 6 1
-8 7 -8 3 -6 -1 1 0 0 3 -1 -1
8 1 6 -3 5 4 -5 -3 0 -0 1 -3
Decorrelation + bootstrapping
[Qz,Zt,Lz,Dz,az,iZ] = decorrel (Q,a)
gAGE/UPC
azfixed=bootstrap(az,Lz);
afixed=iZ*azfixed
[ -28451 65749 38814 5025 -29165 -278 -22170 51233 30245 3916 -22725 -144]
gAGE
Decorrelation + bootstrapping
[Qz,Zt,Lz,Dz,az,iZ] = decorrel (Q,a)
azfixed=bootstrap(az,Lz);
research group of Astronomy and Geomatics
afixed=iZ*azfixed
[ -28451 65749 38814 5025 -29165 -278 -22170 51233 30245 3916 -22725 -144]
-28727 65935 39032 4844 -29337 -178 -22385 51378 30415 3775 -22859 -66 33.9
-28546 66062 39027 4998 -29228 -83 -22244 51477 30411 3895 -22774 8 34.5
-28229 65518 38583 5197 -29056 -500 -21997 51053 30065 4050 -22640 -317 34.7
-28365 65586 38683 5084 -29124 -418 -22103 51106 30143 3962 -22693 -253 35.5
afixed=iZ*azfixed
[ -28451 65749 38814 5025 -29165 -278 -22170 51233 30245 3916 -22725 -144]
-28727 65935 39032 4844 -29337 -178 -22385 51378 30415 3775 -22859 -66 33.9
-28546 66062 39027 4998 -29228 -83 -22244 51477 30411 3895 -22774 8 34.5
-28229 65518 38583 5197 -29056 -500 -21997 51053 30065 4050 -22640 -317 34.7
-28365 65586 38683 5084 -29124 -418 -22103 51106 30143 3962 -22693 -253 35.5
gAGE References
[RD-1] J. Sanz Subirana, J.M. Juan Zornoza, M. Hernndez-Pajares, GNSS
research group of Astronomy and Geomatics
[RD-7] XW. Chang, CC. Paige, L. Yin, 2005, Code and carrier phase based
short baseline GPS positioning: computational aspects. GPs Solutions,
2005 (2005) 9:72-83, DOI 10.1007/s10291-004-0112-8 Springer.
Master of Science in GNSS @ J. Sanz & J.M. Juan
84
gAGE
research group of Astronomy and Geomatics
Least-Squares Ambiguity Search technique
1
y G 'r O N
N y G 'r
O
K-1 equations with Then , given the 3-D position, the (K-1) integer
3+(K-1) unknowns. ambiguities can be resolved automatically.
Thence, That is, the (K-1) integer ambiguities are
K-4 equations are redundant constrained to three degrees of freedom.
gAGE/UPC
'r
gAGE
The technique is based on exploiting the
constrains on the integer ambiguities: 'r V G (k ) 'r V
The tracked satellites into two groups: 4 sat. (with good DOP) + N-4 sat.
research group of Astronomy and Geomatics
The primary group of 4 sat., is used determine the possible ambiguity sets N ( k )
(given an initial position estimate and its associated uncertainty 'r r V )
'r r V o N(k )
1
O
y G 'r G
(k ) o N(k )
G G
1
N(k ) o 'r( k ) T
G y O N ( k )
- LAMBDA Method
List of Acronyms
A/S Anti-Spoofing
C/A Coarse/Acquisition
CS Cycle Slip
319
TM-23/2
LS Least Squares
320
List of Acronyms
MM Monument Marker
MW MelbourneWubbena
OS Operating System
RO Radio Occultation
321
TM-23/2
SU Soviet Union
SV Space Vehicle
322