Guaranteed state estimation accuracies with roundoff error | IEEE Conference Publication | IEEE Xplore