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