Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
From MaRDI portal
(Redirected from Publication:1276129)
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)
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
(90)- On higher-order differentiation in nonlinear mechanics
- 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
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty
- Interval observer design based on nonlinear hybridization and practical stability analysis
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
- Status of the differential transformation method
- An application of Taylor models to the Nakao method on ODEs
- Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
- Verified High-Order Integration of DAEs and Higher-Order ODEs
- Using invariant manifolds to capture an asteroid near the \(L_3\) point of the Earth-Moon bicircular model
- Capture basin approximation using interval analysis
- Formally-verified round-off error analysis of Runge-Kutta methods
- Robust fault detection with a distributed and decentralized state-set observer
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Rigorous validation of stochastic transition paths
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Robust analysis of flatness based control using interval methods
- Evolutionary games and periodic fitness
- Computing capture tubes
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- 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
- Domain theoretic second-order Euler's method for solving initial value problems
- 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
- Computational methods in perturbation theory
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- A certificate-based approach to formally verified approximations
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- 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
- Complexity in a hybrid van der Pol system
- Verified integration of linear \(n\)th order ODEs using large steps
- Adaptive threshold generation in robust fault detection using interval models: time-domain and frequency-domain approaches
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Sensitivity analysis of uncertain dynamic systems using set-valued integration
- Temporal logic verification for delay differential equations
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Verified high-order inversion of functional dependencies and interval Newton methods
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- Recursive solution of initial value problems with temporal discretization
- Verification of Hybrid Systems
- Interval analysis on directed acyclic graphs for global optimization
- Probability bounds analysis for nonlinear population ecology models
- Numerical computation of high-order expansions of invariant manifolds of high-dimensional tori
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Uncertainty propagation or box propagation
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- 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
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Solving non-linear constraint satisfaction problems involving time-dependent functions
- Lie symmetries applied to interval integration
- 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
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Validated solutions of initial value problems for parametric ODEs
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction
- Rigorous reachability analysis and domain decomposition of Taylor models
- A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
- Verified solution method for population epidemiology models with uncertainty
- Computing reachable sets for uncertain nonlinear monotone systems
- Rigorous integration of flows and ODEs using Taylor models
- The flow of ODEs
- Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
- Some recent advances in validated methods for IVPs for ODEs
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- On Taylor Model Based Integration of ODEs
- SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Verified simulation for robustness evaluation of tracking controllers
- Set-membership state estimation with fleeting data
- Reachability computation for polynomial dynamical 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)
