Accurate Uncertainty Propagation for Discrete-Time Nonlinear Systems Using Differential Inequalities With Model Redundancy - Yang, Xuejiao; Scott, Joseph K. (IEEE transactions on automatic control, 2020)
Keywords: Algorithms; Computational modeling; Continuous time systems; Discrete time systems; Enclosures; Inequalities; Interval analysis; Mathematical model; Mathematical models; Nonlinear systems; reachability analysis; Redundancy; System effectiveness; Time setting; Uncertain systems; Uncertainty