swMATH11946MaRDI QIDQ23881FDOQ23881
Author name not available (Why is that?)
Official website: http://www.cas.mcmaster.ca/~nedialk/Software/VNODE/VNODE.shtml
Cited In (38)
- Interval versions for special kinds of explicit linear multistep methods
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Numerical Methods and Optimization
- Towards using exact real arithmetic for initial value problems
- Tropical abstraction of biochemical reaction networks with guarantees
- Monitoring bounded LTL properties using interval analysis
- Recent advances in a rigorous computation of Poincaré maps
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Interval methods of Adams-Bashforth type with variable step sizes
- Parameter range reduction from partial data in systems of differential algebraic equations
- Error bounds for initial value problems by optimization
- ValEncIA-IVP
- MLAB
- CAPD
- Cosy
- ValEncIA
- NSDTST
- STDTST
- Algorithm 674
- ODEIntegrator
- iSat
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- PASCAL-XSC
- kv
- PRRMD
- Determination of inner and outer bounds of reachable sets through subpavings
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- CAPD DynSys
- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems
- Interval versions of Milne's multistep methods
- Rigorous parameter reconstruction for differential equations with noisy data
- 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
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- On interval predictor-corrector methods
This page was built for software: VNODE
