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