VNODE
From MaRDI portal
Software:23881
swMATH11946MaRDI QIDQ23881FDOQ23881
Author name not available (Why is that?)
Cited In (24)
- 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
- Tropical abstraction of biochemical reaction networks with guarantees
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
- 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
- Towards Using Exact Real Arithmetic for Initial Value Problems
- Parameter range reduction from partial data in systems of differential algebraic equations
- Error bounds for initial value problems by optimization
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Determination of inner and outer bounds of reachable sets through subpavings
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- 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
- On interval predictor-corrector methods
This page was built for software: VNODE