scientific article; zbMATH DE number 5238517
From MaRDI portal
Publication:5444070
zbMath1133.65045MaRDI QIDQ5444070
Publication date: 22 February 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationnumerical examplesinterval analysispreconditioninginitial value problemTaylor modelQR methodinterval methodrigorous computationwrapping effectTaylor integration
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Linear ordinary differential equations and systems (34A30) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
Related Items
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning ⋮ A study of rigorous ODE integrators for multi-scale set-oriented computations ⋮ Robust Fault Detection with a Distributed and Decentralized State-Set Observer ⋮ An application of Taylor models to the Nakao method on ODEs ⋮ Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Shrink wrapping for Taylor models revisited ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ On interval predictor-corrector methods ⋮ Interval versions of Milne's multistep methods ⋮ Rigorous and accurate enclosure of invariant manifolds on surfaces ⋮ Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions ⋮ A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty ⋮ Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis ⋮ 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 ⋮ Linearised higher variational equations ⋮ Newton's method and FFT trading ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ 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 ⋮ Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations ⋮ 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 ⋮ A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ Conditions and evidence for non-integrability in the Friedmann-Robertson-Walker Hamiltonian ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
Uses Software
