Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. - Li, Dongxu; Bak, Stanley; Bogomolov, Sergiy (2020)