Dominant atrial fibrillatory frequency estimation using an extended Kalman smoother