<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

Faculty of Engineering, INKO, University of Duisburg-Essen, D-47048 Duisburg, Germany

International Journal of Applied Mathematics and Computer Science

Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly...

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

Publicado en línea: 24 sept 2009

Páginas: 455 - 467

DOI: https://doi.org/10.2478/v10006-009-0037-z

Palabras clave
multibody systems, result verification, sensitivity, DAE, uncertainty

This content is open access.

Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

Publicado en línea: 24 sept 2009

Páginas: 455 - 467

DOI: https://doi.org/10.2478/v10006-009-0037-z

Palabras clavemultibody systems, result verification, sensitivity, DAE, uncertainty

This content is open access.

Palabras clave
multibody systems, result verification, sensitivity, DAE, uncertainty