Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems - Chen, Mo; Herbert, Sylvia L.; Vashishtha, Mahesh S.; Bansal, Somil; Tomlin, Claire J. (IEEE transactions on automatic control, 2018)
Keywords: Autonomous systems; Computation; computational efficiency; Control systems; control theory; Decomposition; Disturbances; Dynamical systems; Electron tubes; Nonlinear analysis; Nonlinear control; Nonlinear control systems; Nonlinear systems; Polytopes; reachability analysis; Safety; scalability; System dynamics; system verification; Trajectory; Tubes; Vehicle dynamics