Accurate Uncertainty Propagation for Discrete-Time Nonlinear Systems Using Differential Inequalities With Model Redundancy | IEEE Journals & Magazine | IEEE Xplore