SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems

DOI10.1007/978-3-540-85640-5_11zbMath1188.93053OpenAlexW171434551MaRDI QIDQ3564542

Ekaterina Auer, Wolfram J. Luther

Publication date: 2 June 2010

Published in: Informatics in Control, Automation and Robotics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85640-5_11

zbMATH Keywords

intervalinitial value problemTaylor modelguaranteed multibody modeling and simulationvalidated method

Mathematics Subject Classification ID

Related Items (1)

Verified Analysis of a Biomechanics-Related System

Uses Software

• C-XSC 2.0
• PROFIL/BIAS
• MOBILE
• SmartMobile

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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 forms -- use and limits.
• Affine arithmetic: concepts and applications
• FILIB++, a fast interval library supporting containment computations
• Algorithm 755: ADOL-C
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• Numerical Software with Result Verification
• The Monte Carlo Method

This page was built for publication: SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems