Towards optimal space-time discretization for reachable sets of nonlinear control systems

DOI10.3934/JCD.2023013MaRDI QIDQ6192518zbMATH OpenOpenAlexFDO

Authors Janosch Rieger, Kyria Wawryk

Publication date 11 March 2024

Published in Journal of Computational Dynamics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2305.12727

zbMATH Keywords

numerical approximationcontrol systemsreachable setsEuler's methodefficient discretization

Mathematics Subject Classification ID

Mesh generation, refinement, and adaptive methods for ordinary differential equations (65L50) Attainable sets, reachability (93B03) Nonlinear systems in control theory (93C10)

Abstract: Reachable sets of nonlinear control systems can in general only be approximated numerically, and these approximations are typically very expensive to compute. In this paper, we explore strategies for choosing the temporal and spatial discretizations of Euler's method for reachable set computation in a non-uniform way to improve the performance of the method.

Recommendations

• Approximation of reachable sets using optimal control algorithms
• Approximation of reachable sets by direct solution methods for optimal control problems
• A numerical method for the approximation of reachable sets of linear control systems
• A numerical method for reachable sets of linear control systems
• On the Time-Discretization of Control Systems

Cites work

• scientific article; zbMATH DE number 3855514 (Why is no real title available?)
• scientific article; zbMATH DE number 4142725 (Why is no real title available?)
• scientific article; zbMATH DE number 798137 (Why is no real title available?)
• A method of approximating attainability sets for differential inclusions with a specified accuracy
• Accurate reachability analysis of uncertain nonlinear systems
• Approximation of convex bodies by multiple objective optimization and an application in reachable sets
• Approximation of reachable sets by direct solution methods for optimal control problems
• Approximation of reachable sets using optimal control algorithms
• Avoidance trajectories using reachable sets and parametric sensitivity analysis
• Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
• Computing the Projected Reachable Set of Stochastic Biochemical Reaction Networks Modeled by Switched Affine Systems
• Convergence of the forward Euler method for nonconvex differential inclusions
• Error estimates for discretized differential inclusions
• Guaranteed state estimation by zonotopes
• Hybrid Systems: Computation and Control
• Implicit Euler approximation and optimization of one-sided Lipschitzian differential inclusions
• Introduction to the theory of differential inclusions
• Numerical fixed grid methods for differential inclusions
• On the Time-Discretization of Control Systems
• On the control of moving sets: positive and negative confinement results
• On the modeling of moving populations through set evolution equations
• Optimization-based subdivision algorithm for reachable sets
• Overapproximating Reachable Tubes of Linear Time-Varying Systems
• Robust boundary tracking for reachable sets of nonlinear differential inclusions
• Second order discrete approximations to strongly convex differential inclusions
• Semi-implicit Euler schemes for ordinary differential inclusions
• Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
• Stability and Convergence of Euler's Method for State-Constrained Differential Inclusions
• Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions
• The Euler scheme for state constrained ordinary differential inclusions
• The implicit Euler scheme for one-sided Lipschitz differential inclusions

This page was built for publication: Towards optimal space-time discretization for reachable sets of nonlinear control systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6192518)