Concurrent error detection and tolerance in Kalman filters using encoded state and statistical covariance checks | IEEE Conference Publication | IEEE Xplore