ValEncIA

swMATH8735MaRDI QIDQ20735FDOQ20735

Author name not available (Why is that?)

Cited In (19)

• 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
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• VERICOMP: A system to compare and assess verified IVP solvers
• Set-membership identifiability of nonlinear models and related parameter estimation properties
• 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