Quaternion-based Kalman filtering on INS/GPS | IEEE Conference Publication | IEEE Xplore