Pages that link to "Item:Q1276129"

The following pages link to Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models (Q1276129):

Displaying 50 items.

• A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
• Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
• Evolutionary games and periodic fitness (Q369475) (← links)
• Uncertainty propagation or box propagation (Q409963) (← links)
• Status of the differential transformation method (Q449462) (← links)
• Solving non-linear constraint satisfaction problems involving time-dependent functions (Q475451) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs (Q534256) (← links)
• Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
• Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
• Interval analysis on directed acyclic graphs for global optimization (Q816066) (← links)
• An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
• Guaranteed nonlinear parameter estimation in knowledge-based models (Q861885) (← links)
• Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
• Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
• Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point (Q907209) (← links)
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
• Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties (Q967863) (← links)
• Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
• Some recent advances in validated methods for IVPs for ODEs (Q1612462) (← links)
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571) (← links)
• Set-membership state estimation with fleeting data (Q1941265) (← links)
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• 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 (Q2019639) (← links)
• Using invariant manifolds to capture an asteroid near the \(L_3\) point of the Earth-Moon bicircular model (Q2045999) (← links)
• A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
• Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction (Q2062872) (← links)
• Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems (Q2073335) (← links)
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
• Domain theoretic second-order Euler's method for solving initial value problems (Q2133471) (← links)
• A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
• Lie symmetries applied to interval integration (Q2166013) (← links)
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← links)
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
• Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty (Q2294778) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
• Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor (Q2423256) (← links)
• Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
• Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)