ValEncIA-IVP

swMATH4846MaRDI QIDQ17003FDOQ17003

Author name not available (Why is that?)

Described by source

• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Cited In (29)

• 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
• 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
• 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
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties
• 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
• 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
• 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
• 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
• On reachable set estimation of singular systems

This page was built for software: ValEncIA-IVP