VNODE

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