ValEncIA
From MaRDI portal
Software:20735
No author found.
Related Items (15)
Verification methods: Rigorous results using floating-point arithmetic ⋮ Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics ⋮ Error bounds for initial value problems by optimization ⋮ VERICOMP: A system to compare and assess verified IVP solvers ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ Set-membership identifiability of nonlinear models and related parameter estimation properties ⋮ 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 ⋮ 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 ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis ⋮ 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
