Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
From MaRDI portal
Publication:2085160
DOI10.1016/j.nahs.2022.101252MaRDI QIDQ2085160
Adrian Kulmburg, Matthias Althoff, Mark Wetzlinger, Alexis Le Penven
Publication date: 14 October 2022
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2022.101252
nonlinear systems; differential-algebraic equations; reachability analysis; Hausdorff distance; convergence order; parameter tuning; gain order; zonotope order reduction
Related Items
Uses Software
Cites Work
- Minimalstellen von Funktionen und Extremalpunkte
- Guaranteed state estimation by zonotopes
- Hybridization methods for the analysis of nonlinear systems
- Computation and application of Taylor polynomials with interval remainder bounds
- Interval analysis: Theory and applications
- A comparison of zonotope order reduction techniques
- On order conditions for modified Patankar-Runge-Kutta schemes
- Complexity and approximation of finding the longest vector sum
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- An equation for continuous chaos
- Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
- Numerical solution of ordinary differential equations
- Rigorous integration of flows and ODEs using taylor models
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Accurate hybridization of nonlinear systems
- Reachable set computation for uncertain time-varying linear systems
- A dynamic algorithm for approximate flow computations
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Flowpipe approximation and clustering in space-time
- Chaos in low-dimensional Lotka–Volterra models of competition
- Accurate reachability analysis of uncertain nonlinear systems
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- Deterministic Nonperiodic Flow
- Reachability Analysis for Solvable Dynamical Systems
- An Introduction to Numerical Analysis
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- JuliaReach
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>
- Hybrid Systems: Computation and Control
- Numerical Methods for Ordinary Differential Equations
- Numerical Methods for Ordinary Differential Equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
