ValEncIA-IVP
From MaRDI portal
Cited in
(50)- 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
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Sensitivity-based feedforward and feedback control for uncertain systems
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
- Recent advances in a rigorous computation of Poincaré maps
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Error bounds for initial value problems by optimization
- PROFIL/BIAS
- SHRAD
- FADBAD++
- TADIFF
- VERICOMP
- Cosy
- ValEncIA
- AERN
- MOBILE
- SmartMobile
- IBEX
- VNODE
- Octave Interval
- ODEIntegrator
- SystemModeler
- RODES
- kv
- DynIbex
- Acumen
- CAPD DynSys
- Parameter identification and observer-based control for distributed heating systems - the basis for temperature control of solid oxide fuel cell stacks
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- VERICOMP: A system to compare and assess verified IVP solvers
- Lie symmetries applied to interval integration
- A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
- Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems
- Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems
- Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
- Interval and linear matrix inequality techniques for reliable control of linear continuous-time cooperative systems with applications to heat transfer
- Verification methods: rigorous results using floating-point arithmetic
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
- Interval methods for real-time capable robust control of solid oxide fuel cell systems
- An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection
- 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
- A verified method for solving piecewise smooth initial value problems
- Codac
- On reachable set estimation of singular systems
This page was built for software: ValEncIA-IVP
