The following pages link to VNODE (Q23881):
Displayed 24 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum (Q301132) (← links)
- Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation (Q861906) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems (Q1642205) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Interval methods of Adams-Bashforth type with variable step sizes (Q2181676) (← links)
- Interval versions for special kinds of explicit linear multistep methods (Q2211256) (← links)
- Tropical abstraction of biochemical reaction networks with guarantees (Q2229132) (← links)
- On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty (Q2256483) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Parameter range reduction from partial data in systems of differential algebraic equations (Q2297179) (← links)
- On interval predictor-corrector methods (Q2407871) (← links)
- Interval versions of Milne's multistep methods (Q2413491) (← links)
- Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
- Numerical Methods and Optimization (Q2935434) (← links)
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239) (← links)
- Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168) (← links)
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Q3511455) (← links)
- An interval version of the Kuntzmann-Butcher method for solving the initial value problem (Q5076625) (← links)