Pages that link to "Item:Q2959020"
From MaRDI portal
The following pages link to Rigorous integration of flows and ODEs using taylor models (Q2959020):
Displayed 10 items.
- Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting (Q748258) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Adaptive parameter tuning for reachability analysis of nonlinear systems (Q6120656) (← links)
- Linearization, model reduction and reachability in nonlinear ODEs (Q6173102) (← links)