VNODE
From MaRDI portal
Cited in
(38)- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems
- ValEncIA-IVP
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- MLAB
- CAPD
- Cosy
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- ValEncIA
- Recent advances in a rigorous computation of Poincaré maps
- Interval methods of Adams-Bashforth type with variable step sizes
- Interval versions for special kinds of explicit linear multistep methods
- Tropical abstraction of biochemical reaction networks with guarantees
- On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty
- NSDTST
- STDTST
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Parameter range reduction from partial data in systems of differential algebraic equations
- On interval predictor-corrector methods
- Interval versions of Milne's multistep methods
- Monitoring bounded LTL properties using interval analysis
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Algorithm 674
- ODEIntegrator
- iSat
- Numerical Methods and Optimization
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- PASCAL-XSC
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Towards using exact real arithmetic for initial value problems
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- kv
- PRRMD
- Determination of inner and outer bounds of reachable sets through subpavings
- An interval version of the Kuntzmann-Butcher method for solving the initial value problem
- CAPD DynSys
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation
- Error bounds for initial value problems by optimization
- Rigorous parameter reconstruction for differential equations with noisy data
This page was built for software: VNODE
