Kalman filter observability