SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems
From MaRDI portal
Publication:3564542
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
intervalinitial value problemTaylor modelguaranteed multibody modeling and simulationvalidated method
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
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