SmartMobile swMATH ID: 10867 Software Authors: Auer, Ekaterina; Luther, Wolfram Description: Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems. 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. Homepage: http://link.springer.com/chapter/10.1007/978-3-540-85640-5_11 Keywords: multibody systems; result verification; sensitivity; DAE; uncertainty Related Software: ValEncIA-IVP; FADBAD++; ValEncIA; Cosy; MOBILE; PROFIL/BIAS; Chebfun; PETSc; C-XSC; INTLAB; INTOPT_90; CppAD; MEBDF; GSL; RODAS; DASSL; DAETS; MSSMOBILE; C-XSC 2.0; TADIFF Cited in: 14 Publications all top 5 Cited by 23 Authors 8 Rauh, Andreas 5 Aschemann, Harald 5 Auer, Ekaterina 4 Luther, Wolfram Jérôme 3 Hofer, Eberhard P. 3 Minisini, Johanna 1 Andrade Cetto, Juan 1 Brill, Michael H. 1 Ferrier, Jean-Louis 1 Filipe, Joaquim 1 Fitt, Alistair D. 1 Günther, Clemens 1 Hertling, Peter H. 1 Hoffmann, Christoph M. 1 Kersten, Julia 1 Kletting, Marco 1 Krasnochtanova, Irina 1 Norbury, John W. 1 Ockendon, Hilary 1 Revol, Nathalie 1 Schoop, Karl-Michael 1 Senkel, Luise 1 Wilson, Richard Eddie all top 5 Cited in 8 Serials 3 International Journal of Applied Mathematics and Computer Science 2 Journal of Computer and Systems Sciences International 1 Computing 1 Applied Mathematical Modelling 1 Lecture Notes in Computer Science 1 Mathematics in Industry 1 Mathematics in Computer Science 1 Lecture Notes in Electrical Engineering all top 5 Cited in 11 Fields 11 Numerical analysis (65-XX) 9 Systems theory; control (93-XX) 4 Mechanics of particles and systems (70-XX) 3 General and overarching topics; collections (00-XX) 2 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year