Publication:4463457
From MaRDI portal
zbMath1055.65095MaRDI QIDQ4463457
Publication date: 27 May 2004
34A60: Ordinary differential inclusions
65L20: Stability and convergence of numerical methods for ordinary differential equations
65L06: Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations
65G20: Algorithms with automatic result verification
Related Items
Robust Fault Detection with a Distributed and Decentralized State-Set Observer, Moment-based invariants for probabilistic loops with non-polynomial assignments, Optimization of the forcing term for the solution of two-point boundary value problems, Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations, Uncertainty propagation or box propagation, Status of the differential transformation method, Breaking the limits: The Taylor series method, Rigorous and accurate enclosure of invariant manifolds on surfaces, New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations, Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization, Rigorous parameter reconstruction for differential equations with noisy data, A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation, Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue, Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming, Computer-assisted proofs in PDE: a survey, Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits, First steps towards more numerical reproducibility
Uses Software