{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:28Z","timestamp":1725574348401},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212607"},{"type":"electronic","value":"9783540247388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_8","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T08:22:23Z","timestamp":1294388543000},"page":"132-159","source":"Crossref","is-referenced-by-count":7,"title":["Interval Algorithms in Modeling of Multibody Systems"],"prefix":"10.1007","author":[{"given":"Ekaterina","family":"Auer","sequence":"first","affiliation":[]},{"given":"Andr\u00e9s","family":"Kecskem\u00e9thy","sequence":"additional","affiliation":[]},{"given":"Martin","family":"T\u00e4ndl","sequence":"additional","affiliation":[]},{"given":"Holger","family":"Traczinski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Kecskem\u00e9thy, A.: Objektorientierte Modellierung der Dynamik von Mehrk\u00f6rpersystemen mit Hilfe von \"Ubertragungselementen. Fortschrittberichte VDI, Reihe 20 Nr. 88. VDI-Verlag, D\u00fcsseldorf (1993)"},{"key":"8_CR2","unstructured":"Kecskem\u00e9thy, A.: MOBILE Version 1.3. User\u2019s guide (1999)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS\u2014A Fast Interval Library. Computing\u00a053, 277\u2013287 (1994)","journal-title":"Computing"},{"key":"8_CR4","unstructured":"Dyllong, E., Luther, W., Traczinski, H.: Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. Presented at Validated Computing 2002 (May 2002) (submitted paper)"},{"volume-title":"Multibody Systems Handbook","year":"1990","key":"8_CR5","unstructured":"Schiehlen, W. (ed.): Multibody Systems Handbook. Springer, Berlin (1990)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Orlandea, N.: ADAMS (Theory and applications). In: DePater, A.D., Pacejka, H.B. (eds.) Proc. 3rd Seminar on Advanced Vehicle Systems Dynamics, Amalfi, Mai 1986, pp. 121\u2013166 (1987)","DOI":"10.1080\/00423118708969173"},{"key":"8_CR7","unstructured":"Rosenthal, D.: Order n formulation for equations of motion of multibody systems. In: SDIO\/NASA Workshop on Multibody Simulations, September 3, pp. 1122\u20131150 (1987)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Brandl, H., Johanni, R., Otter, M.: 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)","DOI":"10.1016\/S1474-6670(17)59460-4"},{"key":"8_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-74315-8","volume-title":"Robot Dynamics Algorithms","author":"R. Featherstone","year":"1987","unstructured":"Featherstone, R.: Robot Dynamics Algorithms. Kluwer Academic Publishers, Boston (1987)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Kreuzer, E., Schiehlen, W.: NEWEUL \u2014 Software for the generation of symbolical equations of motion. In: Schiehlen [5], pp. 181\u2013202","DOI":"10.1007\/978-3-642-50995-7_12"},{"key":"8_CR11","unstructured":"Wittenburg, J., Wolz, U.: The program MESA VERDE for robot dynamics. In: Proc. 3rd International Symposium of Robotic Research, Gonvieux (Chantilly), France (1985)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Wirfs-Brock, R., Wilkerson, B.: Object-oriented design: A responsibility-driven approach. In: OOPSLA 1989 Proceedings, October 1989, pp. 71\u201375 (1989)","DOI":"10.1145\/74877.74885"},{"key":"8_CR13","unstructured":"Kecskem\u00e9thy, A.: Sparse-matrix generation of Jacobians for the object-oriented modelling of multibody dynamics. In: Pereira, M.S., Ambr\u00f3sio, J.A.C. (eds.) Proceedings of the NATO-Advanced Study Institute on Computer Aided Analysis of Rigid and Flexible Mechanical Systems, Contributed Papers, Tr\u00f3ia, Portugal, June 27\u2013 July 9. vol.\u00a0II, pp. 71\u201390 (1993)"},{"key":"8_CR14","unstructured":"American National Standards Institute \/ Institute of Electrical and Electronic Engineers, New York. IEEE Standard for Binary Floating-Point Arithmetic, ANSI\/IEEE Std. 754-1985 (1985)"},{"issue":"3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1015569431383","volume":"8","author":"E. Loh","year":"2002","unstructured":"Loh, E., Walster, G.W.: Rump\u2019s Example Revisited. Reliable Computing\u00a08(3), 245\u2013248 (2002)","journal-title":"Reliable Computing"},{"key":"8_CR16","first-page":"97","volume-title":"Jahrbuch \u00dcberblicke Mathematik 1992","author":"W. Kr\u00e4mer","year":"1992","unstructured":"Kr\u00e4mer, W.: Die Berechnung von Standardfunktionen in Rechenanlagen. In: Chatterji, S.D., Fuchssteiner, B., Kulisch, U., Liedl, R., Purkert, W. (eds.) Jahrbuch \u00dcberblicke Mathematik 1992, pp. 97\u2013115. Vieweg, Braunschweig (1992)"},{"key":"8_CR17","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to interval computations. Academic Press, New York (1983)"},{"issue":"7","key":"8_CR18","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1109\/12.709374","volume":"47","author":"W. Kr\u00e4mer","year":"1998","unstructured":"Kr\u00e4mer, W.: A Priori Worst Case Error Bounds for Floating-Point Computations. IEEE transactions on computers\u00a047(7), 750\u2013756 (1998)","journal-title":"IEEE transactions on computers"},{"key":"8_CR19","unstructured":"Luther, W., Traczinski, H.: Error propagation control in MOBILE : extended basic mathematical objects and kinetostatic transmission elements. In: Kecskem\u00e9thy, A., Schneider, M., Woernle, C. (eds.) Advances in Multibody Systems and Mechatronics, pp. 267\u2013276. Institut f\u00fcr Mechanik und Getriebelehre, Technische Universit\u00e4t Graz, Graz (1999)"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/978-1-4757-6484-0_26","volume-title":"Scientific Computing, Validated Numerics, Interval Methods","author":"C. H\u00f6rsken","year":"2001","unstructured":"H\u00f6rsken, C., Traczinski, H.: Modeling of Multibody Systems with Interval Arithmetic. In: Kr\u00e4mer, W., Wolff von Gudenberg, J. (eds.) Scientific Computing, Validated Numerics, Interval Methods, pp. 317\u2013328. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"8_CR21","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6nlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis, Universit\u00e4t Karlsruhe (1988)"},{"key":"8_CR22","volume-title":"Evaluating derivatives: principles and techniques of algorithmic differentiation","author":"A. Griewank","year":"2000","unstructured":"Griewank, A.: Evaluating derivatives: principles and techniques of algorithmic differentiation. SIAM, Philadelphia (2000)"},{"key":"8_CR23","unstructured":"Stauning, O.: Automatic validation of numerical solutions. PhD thesis, Technical University of Denmark, Lyngby (1997)"},{"key":"8_CR24","volume-title":"The design and implementation of an object-oriented validated ODE solver","author":"N.S. Nedialkov","year":"2002","unstructured":"Nedialkov, N.S.: The design and implementation of an object-oriented validated ODE solver. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-7091-6282-8_12","volume-title":"Perspectives on Enclosure Methods","author":"R. Lohner","year":"2001","unstructured":"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, pp. 201\u2013217. Springer, New York (2001)"},{"key":"8_CR26","unstructured":"Bendsten, C., Stauning, O.: 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)"},{"key":"8_CR27","unstructured":"Bendsten, C., Stauning, O.: TADIFF, a flexible C++ package for automatic differentiation using Taylor series. Technical Report 1997-x5-94, Technical University of Denmark, Lyngby (1997)"},{"key":"8_CR28","unstructured":"Auer, E.: Ein verifizierender Anfangswertprobleml\u00f6ser in C++ zur Integration in MOBILE. Master\u2019s thesis, Gerhard Mercator Universit\u00e4t Duisburg (2002)"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing\u00a04, 361\u2013369 (1998)","journal-title":"Reliable Computing"},{"key":"8_CR30","volume-title":"Numerical toolbox for verified computing","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulish, U., Ratz, D.: Basic Algorithms (Basic numerical problems). In: Numerical toolbox for verified computing, Springer, Berlin (1995)"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T04:49:31Z","timestamp":1553316571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}