Rigorous reachability analysis and domain decomposition of Taylor models

DOI10.1007/978-3-319-63501-9_7OpenAlexW2734983914MaRDI QIDQ5086231FDOQ5086231

Authors: Martin Berz, Kyoko Makino 

Publication date: 1 July 2022

Published in: Numerical Software Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63501-9_7

Recommendations

• Rigorous integration of flows and ODEs using Taylor models
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Methods for determination and approximation of the domain of attraction
• On Taylor Model Based Integration of ODEs
• Surpression of the wrapping effect by Taylor model-based verified integrators: the single step

zbMATH Keywords

domain decompositionincidence matrixreachability analysisTaylor modelverified ODE integration

Mathematics Subject Classification ID

General methods in interval analysis (65G40)

Cited In (6)

• Modeling of dynamic systems with interval parameters in the presence of singularities
• Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions
• kd-tree based adaptive interpolation algorithm for chemical kinetics problems with interval parameters
• Rigorous integration of flows and ODEs using Taylor models
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• Robust data-driven predictive control using reachability analysis

This page was built for publication: Rigorous reachability analysis and domain decomposition of Taylor models

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