Reduction of encoder measurement errors in UKIRT telescope control system using a Kalman filter | IEEE Journals & Magazine | IEEE Xplore