Text this: Kalman filter for tracking a noisy cosinusoidal signal with constant amplitude