Algorithm of set-valued state estimation for strapdown inertial navigation systems | IEEE Conference Publication | IEEE Xplore