Range validation using Kalman filter techniques

Range pseudo-residuals may be improved to the level required for data validation by a measurement updating process which utilizes Bierman's adaptation of the Kalman filter measurement updating algorithms together with process noise compensation to account for model errors. This algorithm involves combining the currently available range predictions and measurements to produce an updated range residual measurement whose accuracy is constrained by the range data quality and by the estimated error in the prediction. The algorithm is compact and fast, and is thus suitable for on-line applications in network control or at the station.