Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
From MaRDI portal
Abstract: 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 interval, respectively. The computational complexity of current approaches scales exponentially, making application to high-dimensional systems intractable. We propose a technique that decomposes the dynamics of a general class of nonlinear systems into subsystems which may be coupled through common states, controls, and disturbances. Despite this coupling, BRSs and BRTs can be computed efficiently using our technique without incurring additional approximation errors and without the need for linearizing dynamics or approximating sets as polytopes. Computations of BRSs and BRTs now become orders of magnitude faster, and for the first time BRSs and BRTs for many high-dimensional nonlinear control systems can be computed using the Hamilton-Jacobi (HJ) formulation. In situations involving bounded adversarial disturbances, our proposed method can obtain slightly conservative results. We demonstrate our theory by numerically computing BRSs and BRTs using the HJ formulation for several systems, including the 6D Acrobatic Quadrotor and the 10D Near-Hover Quadrotor.
Recommendations
- On reachable sets for a class of nonlinear systems with constraints
- Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
- Hybrid Systems: Computation and Control
- Controllability and reachability sets of nonlinear control systems
- Bounds on the reachable sets of nonlinear control systems
- scientific article; zbMATH DE number 4070749
- Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation
- Publication:3478320
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- System level disturbance reachable sets and their application to tube-based MPC
Cited in
(19)- A dynamic game approach to distributionally robust safety specifications for stochastic systems
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation
- Matching-based capture strategies for 3D heterogeneous multiplayer reach-avoid differential games
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
- Multi-objective low-thrust spacecraft trajectory design using reachability analysis
- Optimal strategies for the lifeline differential game with limited lifetime
- Sparsity structures for Koopman and Perron-Frobenius operators
- Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
- Safety verification for regime-switching jump diffusions via barrier certificates
- A novel unified framework for solving reachability and invariance problems
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
- Reachability problem considering running cost
- Multiplayer homicidal chauffeur reach-avoid games: a pursuit enclosure function approach
- A tree structure approach to reachability analysis
- Partial information target defense game in the presence of a line segment obstacle
- Fixed-time learning for safe time-critical verification using reachability analysis
- Multi-defender capture-the-flag game with convex target regions
- Sparse decompositions of nonlinear dynamical systems and applications to moment-sum-of-squares relaxations
This page was built for publication: Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4559514)
