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
• A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
• Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties
• Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
• Parameter identification and observer-based control for distributed heating systems– the basis for temperature control of solid oxide fuel cell stacks
• Error bounds for initial value problems by optimization
• 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
• Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering
• 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