ValEncIA-IVP
From MaRDI portal
Software:17003
No author found.
Related Items (25)
Verification methods: Rigorous results using floating-point arithmetic ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II ⋮ Lie symmetries applied to interval integration ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation ⋮ Error bounds for initial value problems by optimization ⋮ VERICOMP: A system to compare and assess verified IVP solvers ⋮ Sensitivity-based feedforward and feedback control for uncertain systems ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ Interval methods for real-time capable robust control of solid oxide fuel cell systems ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties ⋮ A verified method for solving piecewise smooth initial value problems ⋮ Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB ⋮ Interval and linear matrix inequality techniques for reliable control of linear continuous-time cooperative systems with applications to heat transfer ⋮ Parameter identification and observer-based control for distributed heating systems– the basis for temperature control of solid oxide fuel cell stacks ⋮ On reachable set estimation of singular systems ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis ⋮ An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
This page was built for software: ValEncIA-IVP
