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

DOI10.1007/978-3-540-85521-7_1zbMath1165.65307OpenAlexW1536284392MaRDI QIDQ5302762

Ekaterina Auer, Eberhard P. Hofer, Andreas Rauh, Wolfram J. Luther

Publication date: 13 January 2009

Published in: Reliable Implementation of Real Number Algorithms: Theory and Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85521-7_1

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Computational methods for problems pertaining to mechanics of particles and systems (70-08) Dynamics of multibody systems (70E55)

Related Items (10)

Verified Simulation for Robustness Evaluation of Tracking Controllers ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II ⋮ Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics ⋮ Sensitivity-based feedforward and feedback control for uncertain systems ⋮ Interval methods for real-time capable robust control of solid oxide fuel cell systems ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties ⋮ Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues ⋮ ValEncIA-IVP ⋮ Interval Methods for Optimal Control

Uses Software

• PROFIL/BIAS
• INTLAB
• TADIFF
• Cosy
• ValEncIA
• MOBILE
• SmartMobile

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes
• Interval modeling of dynamics for multibody systems
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• PROFIL/BIAS - A fast interval library
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Taylor forms -- use and limits.
• Consistency techniques in ordinary differential equations
• Numerical Software with Result Verification

This page was built for publication: Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP