Pages that link to "Item:Q2930553"

The following pages link to A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP (Q2930553):

Displaying 15 items.

• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (Q357174) (← links)
• Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
• Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation (Q368577) (← links)
• VERICOMP: A system to compare and assess verified IVP solvers (Q411437) (← links)
• Error bounds for initial value problems by optimization (Q889871) (← 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)
• On reachable set estimation of singular systems (Q2342764) (← links)
• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II (Q2391527) (← links)
• Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
• An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection (Q2872869) (← links)
• Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems (Q2930566) (← links)
• Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering (Q2958621) (← links)
• A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)