Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
From MaRDI portal
Publication:1276129
DOI10.1023/A:1024467732637zbMATH Open0976.65061MaRDI QIDQ1276129FDOQ1276129
Authors: Martin Berz, Kyoko Makino 
Publication date: 17 January 1999
Published in: Reliable Computing (Search for Journal in Brave)
Recommendations
- On Taylor Model Based Integration of ODEs
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- Rigorous integration of flows and ODEs using Taylor models
- Verified integration of linear \(n\)th order ODEs using large steps
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
flowinitial value problemsverified integrationwrapping effectdifferential algebraic methodshigh-order Taylor models
Numerical methods for differential-algebraic equations (65L80) Implicit ordinary differential equations, differential-algebraic equations (34A09) Nonlinear ordinary differential equations and systems (34A34) Dynamics induced by flows and semiflows (37C10) Numerical methods for Hamiltonian systems including symplectic integrators (65P10) Discretization methods and integrators (symplectic, variational, geometric, etc.) for dynamical systems (37M15) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
Cited In (90)
- Reachability analysis and deterministic global optimization of DAE models
- Interval methods for optimal control
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Interval observer design based on nonlinear hybridization and practical stability analysis
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Status of the differential transformation method
- Capture basin approximation using interval analysis
- Using invariant manifolds to capture an asteroid near the \(L_3\) point of the Earth-Moon bicircular model
- An application of Taylor models to the Nakao method on ODEs
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Evolutionary games and periodic fitness
- Guaranteed nonlinear parameter estimation in knowledge-based models
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- 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 general method for computer-assisted proofs of periodic solutions in delay differential problems
- Automatic differentiation for Fourier series and the radii polynomial approach
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
- Adaptive threshold generation in robust fault detection using interval models: time-domain and frequency-domain approaches
- Verified integration of linear \(n\)th order ODEs using large steps
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Verified high-order inversion of functional dependencies and interval Newton methods
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Verification of Hybrid Systems
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- Interval analysis on directed acyclic graphs for global optimization
- Probability bounds analysis for nonlinear population ecology models
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Computation of maximal local (un)stable manifold patches by the parameterization method
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Uncertainty propagation or box propagation
- Solving non-linear constraint satisfaction problems involving time-dependent functions
- Change-of-bases abstractions for non-linear hybrid systems
- An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point
- Validated solutions of initial value problems for parametric ODEs
- Rigorous reachability analysis and domain decomposition of Taylor models
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Computing reachable sets for uncertain nonlinear monotone systems
- Rigorous integration of flows and ODEs using Taylor models
- The flow of ODEs
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
- Some recent advances in validated methods for IVPs for ODEs
- On Taylor Model Based Integration of ODEs
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Set-membership state estimation with fleeting data
- A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
- On higher-order differentiation in nonlinear mechanics
- Verified Solution Method for Population Epidemiology Models with Uncertainty
- Reachability computation for polynomial dynamical systems
- Formally-verified round-off error analysis of Runge-Kutta methods
- Robust fault detection with a distributed and decentralized state-set observer
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Rigorous validation of stochastic transition paths
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Robust analysis of flatness based control using interval methods
- Computing capture tubes
- Computational methods in perturbation theory
- A certificate-based approach to formally verified approximations
- Domain theoretic second-order Euler's method for solving initial value problems
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- Complexity in a hybrid van der Pol system
- Sensitivity analysis of uncertain dynamic systems using set-valued integration
- Temporal logic verification for delay differential equations
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
- Recursive solution of initial value problems with temporal discretization
- Numerical computation of high-order expansions of invariant manifolds of high-dimensional tori
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Lie symmetries applied to interval integration
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction
- Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Verified simulation for robustness evaluation of tracking controllers
This page was built for publication: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1276129)
