INS’s Error Compensation via Measurement Differencing Kalman Filter | IEEE Journals & Magazine | IEEE Xplore