Application of Kalman filter for high rotational speed measurement | IEEE Conference Publication | IEEE Xplore