Using the Kalman filter to detect frequency jumps in atomic clocks | IEEE Conference Publication | IEEE Xplore