ValEncIA

swMATH8735MaRDI QIDQ20735FDOQ20735

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4402426

Cited In (30)

• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
• Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
• 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
• Parameter identification and observer-based control for distributed heating systems - the basis for temperature control of solid oxide fuel cell stacks
• FADBAD++
• ValEncIA-IVP
• TADIFF
• VERICOMP
• Cosy
• MOBILE
• SmartMobile
• VNODE
• ODEIntegrator
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• VERICOMP: A system to compare and assess verified IVP solvers
• DynIbex
• Set-membership identifiability of nonlinear models and related parameter estimation properties
• Acumen
• 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
• A verified method for solving piecewise smooth initial value problems

This page was built for software: ValEncIA