A study of redundancy management strategy for tetrad strap-down inertial systems. [error detection codes]