Abstract
The Kalman filter being a multi-input, multi-output, recursive digital filter that produces estimates of
states of a system, which are optimal in the mean square sense, finds application in two ways in GPS based
navigation systems like WAAS. The first application is estimating the ionospheric TEC from the GPS
observables and the other is in the Time Synchronization of the atomic clocks placed in the RIMS.
Introduction
The Kalman filter is a multi-input, multi-output, recursive digital filter that can optimally estimate, in real
time, the states of the system based on its noisy outputs. The estimates are statistically optimal in the sense
that they minimize the mean square estimation error. This filter finds application in GPS based navigation
systems, (like Wide Area Augmentation System for Category I precision approach of aircrafts), in two
ways, namely, estimation of the ionospheric Total Electron Content (TEC) and Time Synchronization of
the Range and Integrity Monitoring Stations (RIMS). A brief approach of using the Kalman filter for
estimation of TEC and synchronization of the atomic clocks at the RIMS is given below. Firstly, we look
at the problem of estimation of ionospheric TEC in section 2 and 2.1, then we focus on the time
synchronization of the various RIMS in section 3.1.
Estimation of Ionospheric TEC
The ionospheric Total Electron Content (TEC) can be estimated from the GPS observables, namely
pseudorange and carrier-phase measurements. However, in the estimation of the ionospheric TEC form
the GPS observables several instrumental systematic effects such as the biases in the GPS satellites and the
GPS receivers on the ground must be modeled. The Kalman filtering technique can be adopted for estimating
the instrumental biases as well as the TEC at each GPS station using dual GPS data.
There will be a bias for each of the two GPS frequencies ( f
1 =1575.42 and f
2 =1227.60 MHz) and their
difference, the differential instrumental bias, will produce systematic errors in the estimates of the ionospheric
delays. For accurate estimates of the TEC these differential instrumental biases have to be removed.
The GPS carrier phases L
ikj and pseudoranges P
ikj , in range units, can be modeled using the following formulae [Sardon et al]:
L1kj = rij + c(dti– dtj) + ditrop j – diion 1j - l1bi1j
L2kj = rij + c(dti– dtj) + ditrop j – diion 2j - l1bi2j (1)
Pi1j = rij + c(dti– dtj) + ditrop j + diion 1j + dq1j + dq1i
Pi2j = rij + c(dti– dtj) + ditrop j + diion 2j + dq2j + dq2i
Here, the subscripts k=1,2 refer to frequency f
k.
rji the distance from the receiver to the satellite
c the speed of light
dt
j, dt
i receiver and satellite clock offsets, respectively
d
itrop j tropospheric delay
lk is the carrier wavelength at frequency f
k
b
ikj initialization constant at frequency f
k , lumping together the carrier phase ambiguity and the satellite and receiver instrumental phase delay biases.
dq
ki , dq
kj satellite and receiver instrumental group delay biases at frequency f
k , respectively.
d
iion kjionospheric delay at frequency f
k which can be modeled as [Sovers and Fanselow,1987 ]

Figure 1. Coordinates Y and c of the point P in the chosen reference system