Evaluating derivatives: principles and techniques of algorithmic differentiation
Evaluating derivatives: principles and techniques of algorithmic differentiation
C++ Toolbox for Verified Scientific Computing - Theory, Algorithms and Programs: Basic Numerical Problems
The CWEB System of Structured Documentation: Version 3.0
The CWEB System of Structured Documentation: Version 3.0
Toward Validating a Simplified Muscle Activation Model in SMARTMOBILE
SCAN '06 Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers
SCAN '06 Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
An Object-Oriented Approach to Simulating Human Gait Motion Based on Motion Tracking
International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
| Hi-index | 0.00 |
Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SmartMobile enhances the existing MSS Mobile with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty. In this paper, we outline the main features and functionalities of SmartMobile. In particular, we focus on its use of newly developed methods for sensitivity analysis and DAE solving for several practically relevant mechanical systems.