Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems

• Published in: IEEE transactions on automatic control Vol. 63; no. 11; pp. 3675 - 3688
• Main Authors: Chen, Mo, Herbert, Sylvia L., Vashishtha, Mahesh S., Bansal, Somil, Tomlin, Claire J.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.11.2018; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: 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

Reachability analysis provides formal guarantees for performance and safety properties of nonlinear control systems. Here, one aims to compute the backward reachable set (BRS) or tube (BRT)-the set of states from which the system can be driven into a target set at a particular time or within a time...