Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems. - Mo Chen 001; Sylvia L. Herbert; Mahesh S. Vashishtha; Somil Bansal; Claire J. Tomlin (IEEE Trans. Autom. Control., 2018)