VNODE
From MaRDI portal
Software:23881
No author found.
Related Items (24)
Recent advances in a rigorous computation of Poincaré maps ⋮ An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ Towards Using Exact Real Arithmetic for Initial Value Problems ⋮ Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems ⋮ Towards a computer-assisted proof for chaos in a forced damped pendulum equation ⋮ Numerical Methods and Optimization ⋮ On interval predictor-corrector methods ⋮ Interval methods of Adams-Bashforth type with variable step sizes ⋮ Interval versions of Milne's multistep methods ⋮ Error bounds for initial value problems by optimization ⋮ Time Complexity and Convergence Analysis of Domain Theoretic Picard Method ⋮ Interval versions for special kinds of explicit linear multistep methods ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ Tropical abstraction of biochemical reaction networks with guarantees ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ An interval version of the Kuntzmann-Butcher method for solving the initial value problem ⋮ On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty ⋮ Rigorous parameter reconstruction for differential equations with noisy data ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Parameter range reduction from partial data in systems of differential algebraic equations ⋮ Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
This page was built for software: VNODE
