Interval algorithms in modeling of multibody systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2991, Issue , 2004, Pages 132-159

  Auer, Ekaterina ^a   Kecskeméthy, Andrés ^a   Tändl, Martin ^a   Traczinski, Holger ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INITIAL VALUE PROBLEMS; OPEN SYSTEMS; SOFTWARE ENGINEERING; VERIFICATION;

INTERVAL ALGORITHMS; INTERVAL ARITHMETIC; INTERVAL EXTENSION; INTERVAL MODELS; MODELING OF MULTI-BODY SYSTEMS; MODELING SOFTWARES; MULTI-BODY MODELS; MULTIBODY SIMULATIONS;

OPEN SOURCE SOFTWARE;

EID: 35048885182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24738-8_8     Document Type: Article

References (30)

1. A. Kecskeméthy. Objektorientierte Modellierung der Dynamik von Mehrkörpersystemen mit Hilfe von Übertragungselementen. Fortschrittberichte VDI, Reihe 20 Nr. 88. VDI-Verlag, Düsseldorf, 1993.
2. A. Kecskeméthy. MOBILE Version 1.3. User's guide, 1999.
3. O. Knüppel. PROFIL/BIAS - A Fast Interval Library. Computing, 53:277-287, 1994.
4. E. Dyllong, W. Luther, and H. Traczinski. Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. Presented at Validated Computing 2002, submitted paper, May 2002.
5. Werner Schiehlen, editor. Multibody Systems Handbook. Springer-Verlag, Berlin, Heidelberg, New York, 1990.
6. N. Orlandea. ADAMS (Theory and applications). In A.D. DePater and H.B. Pacejka, editors, Proc. 3rd Seminar on Advanced Vehicle Systems Dynamics (Amalfi, Mai 1986), pages 121-166, 1987.
7. D. Rosenthal. Order n formulation for equations of motion of multibody systems. In SDIO/NASA Workshop on Multibody Simulations, 3 September, pages 1122-1150, 1987.
8. H. Brandl, R. Johanni, and M. Otter. A very efficient algorithm for the simulation of robots and similar multibody systems without inversion of the mass matrix. In IFAC/IFIP/IMACS Symposium on Robotics, Wien, December 1986.
9. Roy Featherstone. Robot Dynamics Algorithms. Kluwer Academic Publishers, Boston, Dordrecht, Lancaster, 1987.
10. E. Kreuzer and W. Schiehlen. NEWEUL - Software for the generation of symbolical equations of motion. In Schiehlen [5], pages 181-202.
11. J. Wittenburg and U. Wolz. The program MESA VERDE for robot dynamics. In Proc. 3rd International Symposium of Robotic Research, Gonvieux (Chantilly), France, 1985.
12. Rebecca Wirfs-Brock and Brian Wilkerson. Object-oriented design: A responsibility-driven approach. In OOPSLA '89 Proceedings, pages 71-75, October 1989.
13. A. Kecskeméthy. Sparse-matrix generation of Jacobians for the object-oriented modelling of multibody dynamics. In M.S. Pereira and J.A.C. Ambrosio, editors, Proceedings of the NATO-Advanced Study Institute on Computer Aided Analysis of Rigid and Flexible Mechanical Systems, Volume II (Contributed Papers), pages 71-90, Tróia, Portugal, 27 June - 9 July 1993.
14. American National Standards Institute / Institute of Electrical and Electronic Engineers, New York. IEEE Standard for Binary Floating-Point Arithmetic, 1985. ANSI/IEEE Std. 754-1985.
15. E. Loh and G. W. Walster. Rump's Example Revisited. Reliable Computing, 8(3):245-248, 2002.
16. W. Krämer. Die Berechnung von Standardfunktionen in Rechenanlagen. In S. D. Chatterji, B. Fuchssteiner, U. Kulisch, R. Liedl, and W. Purkert, editors, Jahrbuch Überblicke Mathematik 1992, pages 97-115. Vieweg, Braunschweig, 1992.
17. G. Alefeld and J. Herzberger. Introduction to interval computations. Academic Press, 1983.
18. W. Krämer. A Priori Worst Case Error Bounds for Floating-Point Computations. IEEE transactions on computers, 47(7):750-756, 1998.
19. W. Luther and H. Traczinski. Error propagation control in MOBILE : extended basic mathematical objects and kinetostatic transmission elements. In A. Kecskeméthy, M. Schneider, and C. Woernle, editors, Advances in Multibody Systems and Mechatronics, pages 267-276. Institut für Mechanik und Getriebelehre, Technische Universität Graz, Graz, 1999.
20. C. Hörsken and H. Traczinski. Modeling of Multibody Systems with Interval Arithmetic. In W. Krämer and J. Wolff von Gudenberg, editors, Scientific Computing, Validated Numerics, Interval Methods, pages 317-328, Dordrecht, 2001. Kluwer Academic Publishers.
21. R. Lohner. Einschließung der Lösung gewönlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis, Universität Karlsruhe, 1988.
22. A. Griewank. Evaluating derivatives: principles and techniques of algorithmic differentiation. SIAM, 2000.
23. O. Stauning. Automatic validation of numerical solutions. PhD thesis, Technical University of Denmark, Lyngby, 1997.
24. N.S. Nedialkov. The design and implementation of an object-oriented validated ODE solver. Kluwer Academic Publishers, 2002.
25. R. Lohner. On the ubiquity of the wrapping effect in the computation of the error bounds. In Ulrich Kulisch, Rudolf Lohner, and Axel Facius, editors, Perspectives on Enclosure Methods, pages 201-217. Springer Wien New York, 2001.
26. C. Bendsten and O. Stauning. FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods. Technical Report 1996-x5-94, Technical University of Denmark, Lyngby, 1996.
27. C. Bendsten and O. Stauning. TADIFF, a flexible C++ package for automatic differentiation using Taylor series. Technical Report 1997-x5-94, Technical University of Denmark, Lyngby, 1997.
28. E. Auer. Ein verifizierender Anfangswertproblemlöser in C++ zur Integration in MOBILE. Master's thesis, Gerhard Mercator Universität Duisburg, 2002.
29. M. Berz and K. Makino. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing 4, pages 361-369, 1998.
30. R. Hammer, M. Hocks, U. Kulish, and D. Ratz. Basic Algorithms (Basic numerical problems). Numerical toolbox for verified computing. Springer-Verlag, Berlin, Heidelberg, New York, 1995.