{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:07:29Z","timestamp":1725610049576},"publisher-location":"Vienna","reference-count":29,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211835906"},{"type":"electronic","value":"9783709162828"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7091-6282-8_11","type":"book-chapter","created":{"date-parts":[[2011,9,16]],"date-time":"2011-09-16T14:23:43Z","timestamp":1316183023000},"page":"181-198","source":"Crossref","is-referenced-by-count":4,"title":["Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Luther","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eva","family":"Dyllong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Fausten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Otten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Traczinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Fuzzy Modeling for Control","author":"B R","year":"1998","unstructured":"Baluska, R. (1998) Fuzzy Modeling for Control. Kluwer Academic Publisher, Boston."},{"key":"11_CR2","unstructured":"Bernd, Th., Kroll, A. (1998) FIMO 8.1: Ein Programmpaket zur rechnergest\u00fctzten Fuzzy-Modellierung nichtlinearer Prozesse. 8. Workshop FuzzyControl, Dortmund, GMA-Fachausschuss 5.22, 154-167."},{"key":"11_CR3","volume-title":"Pattern Recognition with Fuzzy Objective Function AIgorithms","author":"B J.C","year":"1981","unstructured":"Bezdek, J. C. (1981) Pattern Recognition with Fuzzy Objective Function AIgorithms. Plenum Press, New York."},{"key":"11_CR4","unstructured":"B\u00fcdding, G., Fausten, D., Kr\u00e4mer, W., Luther, W., M\u00f6llers, Th., Otten, W., Traczinski, H. (1999) Verifikation von L\u00f6sungen ausgew\u00e4hlter Probleme aus der Modellierung von Manipulatoren. Technical Report, Gerhard-MercatorUniversit\u00e4t Duisburg SM-DU-433."},{"key":"11_CR5","unstructured":"Carreras, C., Walker, I. D., Nieto, 0., Cavallaro, J. R. (1999) Robot reliability estimation using interval methods. In: MISC\u201999: Workshop on Applications of Interval Analysis to Systems and Control, Girona, Spain, 371-385."},{"key":"11_CR6","unstructured":"Denson, W., Chandler, G., Crowell, W., Clark, A., Jaworski, P. (1994) Nonelectronic Parts Reliability Data. Technical Report NPRD-95, Reliability Analysis Center, Rome, NY."},{"key":"11_CR7","unstructured":"Dyllong, E., Luther, W. (2000) An accurate computation of the distance between a point and a polyhedron. In: Berveiller, M., Louis, A. K., Fressengeas, C. (Eds.) ZAMM, Vol. 80 of GAMM 99 Annual Meeting, Metz, France, April 12-16, WILEY-VCH, Berlin, S771-S772."},{"key":"11_CR8","unstructured":"Dyllong, E., Luther, W. (2000) Distance-Calculation Between a Point and a NURBS Surface. In: Laurent, P.-J., Sablonniere, P., Schumaker, L. L. (Eds.) Curve and Surface Design, Saint Malo, 1999, Vanderbilt University Press, Nashville, TN, ISBN 0-8265-1356-5."},{"issue":"5","key":"11_CR9","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1009924204609","volume":"3","author":"E. Dyllong","year":"1999","unstructured":"Dyllong, E., Luther, W., Otten, W. (1999) An accurate distance-calculation algorithm for convex polyhedra. Reliable Computing 3 (5), 241-254.","journal-title":"Reliable Computing"},{"key":"11_CR10","unstructured":"Fausten, D., Luther, W. (2000) Verifizierte L\u00f6sungen von nichtlinearen polynomialen Gleichungssystemen. Technical report, Gerhard-Mercator-Universit\u00e4t Duisburg SM-DU-477."},{"key":"11_CR11","unstructured":"Fausten, D., M\u00f6llers, Th., Traczinski, H. (1999) Verified simulation of a hydraulic drive. In: RoMoCo\u201999: IEEE Workshop On Robotic Motion And Control, 23-27."},{"key":"11_CR12","volume-title":"Linear Programming: Methods and Applications","author":"G S. I","year":"1985","unstructured":"Gass, S. I. (1985) Linear Programming: Methods and Applications. Mc Graw Hill, New York."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Gomez, C. (Ed.) (1999) Engineering and Scientific Computing with Scilab. Birkhauser.","DOI":"10.1007\/978-1-4612-1584-4"},{"key":"11_CR14","unstructured":"Kecskem\u00e9thy, A. (1996) MOBILE Version 1.2 User\u2019s Guide and Reference Manual. 22. Luther, W. (1999) Accurate robot reliability estimation by fault tree techniques. Technical report, Gerhard-Mercator-Universit\u00e4t Duisburg SM-DU-459."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Kieffer, M., Walter, E. (1998) Interval analysis for guaranteed nonlinear parameter estimation. In: Atkinson, A. C., Pronzato, L., Wynn, H. P. (Eds.) MODA 5 - Advances in Model-Oriented Data Analysis and Experiment Design, Physica, Heidelberg, 115\u2013125.","DOI":"10.1007\/978-3-642-58988-1_13"},{"key":"11_CR16","unstructured":"Kieffer, M., Jaulin, L., Walter, E., Meizel, D. (1999) Guaranteed mobile tracking using interval analysis. In: MISC\u201999: Workshop on Applications of Interval Analysis to Systems and Control, Girona, Spain, 347-360."},{"key":"11_CR17","unstructured":"Kn\u00fcppel, O. (1993) Bias- basic interval arithmetic subroutines. Technical Report 93.3, TU Hamburg-Harburg."},{"key":"11_CR18","unstructured":"Kn\u00fcppel, O. (1993) PROFIL- Programmer\u2019s Runtime Optimized Fast Interval Library. Technical Report 93.4, TU Hamburg-Harburg."},{"issue":"7","key":"11_CR19","first-page":"750","volume":"47","author":"K W","year":"1998","unstructured":"Kr\u00e4mer, W. (1998) APriori Worst Case Error Bounds for Floating-Point Computations. IEEE Trans. on Computers 47 (7), 750\u2013756.","journal-title":"IEEE Trans"},{"key":"11_CR20","volume-title":"Fuzzy-Systeme zur Modellierung und Regelung komplexer technischer Systeme","author":"K A","year":"1997","unstructured":"Kroll, A. (1997) Fuzzy-Systeme zur Modellierung und Regelung komplexer technischer Systeme, Ph. D. thesis, Universit\u00e4t Duisburg."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Lohner, R. (1989) Einschlie\u00dfungen bei Anfangs- und Randwertaufgaben gew\u00f6hnlicher Differentialgleichungen. In: Kulisch, U. W. (Hrsg.) Wissenschaftliches Rechnen mit Ergebnisverifikation, Vieweg, Braunschweig, 183-223.","DOI":"10.1515\/9783112576229-013"},{"key":"11_CR22","unstructured":"Luther, W. (1999) Accurate robot reliability estimation by fault tree techniques. Technical report, Gerhard-Mercator-Universit\u00e4t Duisburg SM-DU-459."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Luther, W., Otten, W. (1999) Verified calculation of the solution of algebraic Riccati equation. In: Cendes, T. (Ed.) Developments in Reliable Computing, 105\u2013119.","DOI":"10.1007\/978-94-017-1247-7_8"},{"key":"11_CR24","first-page":"411","volume-title":"MISC\u201999: Workshop on Applications of Interval Analysis to Systems and Control","author":"L W","year":"1999","unstructured":"Luther, W., Otten, W., Traczinski, H. (1999) Verified calculation of the solution of discrete-time algebraic Riccati equation. In: MISC\u201999: Workshop on Applications of Interval Analysis to Systems and Control, Girona, Spain, 411\u2013421."},{"key":"11_CR25","unstructured":"Luther, W., Traczinski, H. (1999) Error propagation control in MOBILE: extended basic mathematical objects and kinetostatic transmission elements. In: Kecskemethy, A., Schneider, M., Woernle, C. (Eds.) Advances in Multibody Systems and Mechatronics, TU Graz, 267\u2013276."},{"key":"11_CR26","first-page":"55","volume":"4","author":"M D","year":"1998","unstructured":"Morales, D., Son, T. C. (1998) Interval Methods in Robot Navigation. Reliable Computing 4, 55\u201361.","journal-title":"Interval Methods in Robot Navigation"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0167-8396(93)90019-Y","volume":"10","author":"S E.C","year":"1993","unstructured":"Sherbrooke, E. C., Patrikalakis, N. M. (1993) Computation of the solution of nonlinear polynomial systems. Computer Aided Geometrie Design 10, 379\u2013405.","journal-title":"Computer Aided Geometrie Design"},{"key":"11_CR28","unstructured":"Simeon, B. (1995) MBSPACK - numerical integration software for constrained mechanical motion. Surv. Math. Ind., 169\u2013202."},{"key":"11_CR29","volume-title":"Algorithms for linear-quadratic optimization","author":"S V","year":"1996","unstructured":"Sima, V. (1996) Algorithms for linear-quadratic optimization. Marcel Dekker, New York."}],"container-title":["Perspectives on Enclosure Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6282-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T16:57:01Z","timestamp":1686329821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6282-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783211835906","9783709162828"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6282-8_11","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}