Concurrent error detection and tolerance in Kalman filters using encoded state and statistical covariance checks.