Publication:5444070
From MaRDI portal
zbMath1133.65045MaRDI QIDQ5444070
Publication date: 22 February 2008
verification; numerical examples; interval analysis; preconditioning; initial value problem; Taylor model; QR method; interval method; rigorous computation; wrapping effect; Taylor integration
34A34: Nonlinear ordinary differential equations and systems
65G40: General methods in interval analysis
34A30: Linear ordinary differential equations and systems
65L05: Numerical methods for initial value problems involving ordinary differential equations
65G20: Algorithms with automatic result verification
Related Items
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Robust Fault Detection with a Distributed and Decentralized State-Set Observer, Conditions and evidence for non-integrability in the Friedmann-Robertson-Walker Hamiltonian, Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP, A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty, A study of rigorous ODE integrators for multi-scale set-oriented computations, Convergence analysis of Taylor models and McCormick-Taylor models, Linearised higher variational equations, Rigorous and accurate enclosure of invariant manifolds on surfaces, Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action, Global invariant manifolds in the transition to preturbulence in the Lorenz system, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations, Verisig 2.0: verification of neural network controllers using Taylor model preconditioning, An application of Taylor models to the Nakao method on ODEs, Verified integration of linear \(n\)th order ODEs using large steps, Newton's method and FFT trading, Shrink wrapping for Taylor models revisited, Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations, A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains, Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models, Stepsize selection in the rigorous defect control of Taylor series methods, A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, On interval predictor-corrector methods, Interval versions of Milne's multistep methods, Validated solutions of initial value problems for parametric ODEs, Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
Uses Software
