Skip to main content
SpringerLink
Log in
Book cover

Informatics in Control, Automation and Robotics pp 139–151Cite as

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

  • Chapter

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 24))

Abstract

To automatize modeling and simulation of mechanical systems for industry and research, a number of tools were developed, among which the program MOBILE plays a considerable role. However, such tools cannot guarantee the correctness of results, for example, because of possible errors in the underlying finite precision arithmetic. To avoid such errors and prove the correctness of results, a number of so called validated methods were developed, which include interval and Taylor form based arithmetics. In this paper, we present the multibody modeling and simulation tool SmartMOBILE based on MOBILE, which provides results guaranteed to be correct. The use of validated methods there allows us additionally to take into account the uncertainty in easurements and study its influence on simulation. We demonstrate the main concepts and usage of SmartMOBILE with the help of several applications.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kecskeméthy, A.: Objektorientierte Modellierung der Dynamik von Mehrkör-persystemen mit Hilfe von Übertragungselementen. PhD thesis, Gerhard Mercator Universität Duisburg (1993)

    Google Scholar 

  2. Huckle, T.: Software Bugs, www5.in.tum.de/huckle/bugse.html (2005)

    Google Scholar 

  3. Arnold, D.N.: Some Disasters Attributable to Bad Numerical Computing, www.ima.umn.edu/ arnold/disasters/ (1998)

    Google Scholar 

  4. Moore, R.E.: Interval Analysis. Prentice-Hall, New York (1966)

    MATH  Google Scholar 

  5. de Figueiredo, L.H., Stolfi, J.: Affine Arithmetic: Concepts and Applications. Numerical Algorithms 37 (2004) 147––158

    Article  MATH  MathSciNet  Google Scholar 

  6. Neumaier, A.: Taylor Forms — Use and Limits. Reliable Computing 9 (2002) 43–79

    Article  MathSciNet  Google Scholar 

  7. Lohner, R.: On the Ubiquity of the Wrapping Effect in the Computation of the Error Bounds. In Kulisch, U., Lohner, R., Facius, A., eds.: Perspectives on Enclosure Methods, Springer Wien New York (2001) 201–217

    Google Scholar 

  8. Auer, E., Rauh, A., Hofer, E.P., Luther, W.: {Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. In: Proc. of Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms: Theory and Practice. Lecture Notes in Computer Science (2006) To appear.

    Google Scholar 

  9. Knüppel, O.: PROFIL/BIAS — A Fast Interval Library. Computing 53 (1994) 277–287

    Article  MATH  MathSciNet  Google Scholar 

  10. Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Krämer, W.: The Interval Library filib++ 2.0 : Design, Features and Sample Programs. Technical Report 2001/4, Bergische Universität GH Wuppertal (2001)

    Google Scholar 

  11. Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C–XSC: A C++ Class Library for Extended Scientific Computing. Springer-Verlag (1993)

    Google Scholar 

  12. Stolfi, J.: LibAffa, http://savannah.nongnu.org/projects/libaffa (2003)

  13. Berz, M., Makino, K.: COSY INFINITY Version 8.1. User’s Guide and Reference Manual. Technical Report MSU HEP 20704, Michigan State University (2002)

    Google Scholar 

  14. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing I - Basic Numerical Problems. Springer-Verlag, Heidelberg and New York (1995)

    MATH  Google Scholar 

  15. Lohner, R.: Einschlieβung der Lösung gewönlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis, Universität Karlsruhe (1988)

    Google Scholar 

  16. Nedialkov, N.S.: The Design and Implementation of an Object-Oriented Validated ODE Solver. Kluwer Academic Publishers (2002)

    Google Scholar 

  17. Berz, M., Makino, K.: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. Reliable Computing 4 (1998) 361–369

    Article  MATH  MathSciNet  Google Scholar 

  18. Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM (2000)

    Google Scholar 

  19. Stauning, O., Bendtsen, C.: FADBAD++, www.fadbad.com (2005)

    Google Scholar 

  20. Griewank, A., Juedes, D., Utke, J.: ADOL–C, A Package for the Automatic Differentiation of Algorithms Written in C/C++. ACM Trans. Math. Software 22(2) (1996) 131–167

    Article  MATH  Google Scholar 

  21. Nedialkov, N.S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, University of Toronto (1999)

    Google Scholar 

  22. Kecskeméthy, A., Hiller, M.: An Object-oriented approach for an effective formulation of multibody dynamics. CMAME 115 (1994) 287–314

    Google Scholar 

  23. Auer, E., Tändl, M., Strobach, D., Kecskeméthy, A.: Toward Validating a Simplified Muscle Activation Model in SmartMOBILE. In: CD Proceedings of SCAN 2006, IEEE Computer Society (2007)

    Google Scholar 

  24. Auer, E.: Interval Modeling of Dynamics for Multibody Systems. In: Journal of Computational and Applied Mathematics, Elsevier (2006) Online.

    Google Scholar 

  25. Auer, E., Kecskeméthy, A., Tändl, M., Traczinski, H.: Interval Algorithms in Modeling of Multibody Systems. In Alt, R., Frommer, A., Kearfott, R., Luther, W., eds.: LNCS 2991: Numerical Software with Result Verification, Springer, Berlin Heidelberg New York (2004) 132 – 159

    Google Scholar 

  26. Traczinski, H.: Integration von Algorithmen und Datentypen zur validierten Mehrkörpersimulation in MOBILE. PhD thesis, Univerisity of Duisburg-Essen (2006)

    Google Scholar 

  27. Hörsken, C., Traczinski, H.: Modeling of Multibody Systems with Interval Arithmetic. In Krämer, W., Wolff von Gudenberg, J., eds.: Scientific Computing, Validated Numerics, Interval Methods, Dordrecht, Kluwer Academic Publishers (2001) 317–328

    Google Scholar 

  28. Metropolis, N., Ulam, S.: The Monte Carlo Method. Journal of the American Statistic Association 44 (1949) 335–341

    Article  MATH  MathSciNet  Google Scholar 

  29. Hörsken, C.: Methoden zur rechnergestützten Toleranzanalyse in Computer Aided Design und Mehrkörpersystemen. PhD thesis, Univerisity of Duisburg-Essen (2003)

    Google Scholar 

  30. Strobach, D., Kecskeméthy, A., Steinwender, G., Zwick, B.: A Simplified Approach for Rough Identification of Muscle Activation Profiles via Optimization and Smooth Profile Patches. In: CD Proceedings of the International ECCOMAS Thematic Conference on Advances in Computational Multibody Dynamics, Madrid, Spain, ECCOMAS (June 21 – 24 2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IIIS University of Duisburg-Essen, Lotharstr. 63, Duisburg, Germany

    Ekaterina Auer & Wolfram Luther

Authors
  1. Ekaterina Auer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfram Luther
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INSTICC, Av D Manuel I, 27A 2°Esq, 2910-595 Setubal, Portugal

    Joaquim Filipe

  2. Univ Politecnica Catalunya Institut Robotica i, Informatica Industrial Llorens i Artigas, 4-6 Edifici U, 08028 Barcelona, Spain

    Juan Andrade Cetto

  3. Institut des Sciences et Techniques de l’Ingénieur d’Angers (ISTIA) Labo, d’Ingénierie des Systémes Automatisés (LISA), 62 avenue Notre Dame du Lac, 49000 Angers, France

    Jean-Louis Ferrier

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Auer, E., Luther, W. (2009). SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems. In: Filipe, J., Cetto, J.A., Ferrier, JL. (eds) Informatics in Control, Automation and Robotics. Lecture Notes in Electrical Engineering, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85640-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85640-5_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85639-9

  • Online ISBN: 978-3-540-85640-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation