Probability-Guaranteed Set-Membership State Estimation for Polynomially Uncertain Linear Time-Invariant Systems | IEEE Conference Publication | IEEE Xplore