Rotational speed estimation using the discrete Kalman filtering applied to a tacho signal | IEEE Conference Publication | IEEE Xplore