Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

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

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

zbMATH Keywords

incidence matrixdomain decompositionTaylor modelreachability analysisverified ODE integration

Mathematics Subject Classification ID

General methods in interval analysis (65G40)

Related Items (5)

Modeling of Dynamic Systems with Interval Parameters in the Presence of Singularities ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions ⋮ Unnamed Item ⋮ Robust data-driven predictive control using reachability analysis

This page was built for publication: Rigorous Reachability Analysis and Domain Decomposition of Taylor Models