Forward-Backward Set-Membership State Estimator Based on Interval Analysis | IEEE Conference Publication | IEEE Xplore