Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy - Shen, Kai; Scott, Joseph K. (Computers & chemical engineering, 2017)
Keywords: Differential inequalities; Global optimization; Interval analysis; Reachability; Uncertainty propagation; Uncertainty propagation; Interval analysis; Global optimization; Differential inequalities; Reachability