Tracing surface intersections with validated ODE system solver

ACM Symposium on Solid Modeling and Applications, SM

Volumn , Issue , 2004, Pages 249-254

  Mukundan, H ^a   Ko, K H ^a   Maekawa, T ^a   Sakkalis, T ^a   Patrikalakis, N M ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; CURVE FITTING; ERROR ANALYSIS; POLYNOMIALS; ROBUSTNESS (CONTROL SYSTEMS); RUNGE KUTTA METHODS;

BOUNDARY REPRESENTATION; CAGD; GAP-FREE BOUNDARIES; RIGROUS ERROR BOUNDS; ROBUSTNESS; ROUNDED INTERVAL ARITHMETIC; STRAYING AND LOOPING; TANGENCY;

PARAMETER ESTIMATION;

EID: 21644448778     PISSN: 18117783     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. [CR96] CORLISS G. F., RIHM R.: Validating an a priori enclosure using high-order Taylor series. In Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - SCAN '95, Alefeld G., Frommer A." Lang B., (Eds.). Akademie Verlag, Berlin, 1996, pp. 228-238.
2. [Eij81] EIJGENRAAM P.: The Solution of Initial Value Problems Using Interval Arithmetic. Mathematical Centre Tracts No. 144., Stichting Mathematisch Centrum, Amsterdam, 1981.
3. [Fad] FADBAD/TADIFF, A C++ package for automatic differentiation. http://www.imm.dtu.dk/fadbad.html/.
4. [GK97] GRANDINE T. A., KLEIN F. W.: A new approach to the surface intersection problem. Computer Aided Geometric Design 14, 2 (1997), 111-134.
5. [Han69] HANSEN E. (Ed.): Topics in Interval Analysis. Oxford University Press, 1969.
6. [HL93] HOSCHEK J., LASSER D.: Fundamentals of Computer Aided Geometric Design. A. K. Peters, Wellesley, MA, 1993. Translated by L. L. Schumaker.
7. [HMPY97] HU C. Y., MAEKAWA T., PATRIKALAKIS N. M., YE X.: Robust interval algorithm for surface intersections. Computer-Aided Design 29, 9 (September 1997), 617-627.
8. [HMSP96] HU C. Y., MAEKAWA T., SHERBROOKE E. C., PATRIKALAKIS N. M.: Robust interval algorithm for curve intersections. Computer-Aided Design 28, 6/ 7 (June/July 1996), 495-506.
9. [HPY96] HU C. Y., PATRIKALAKIS N. M., YE X.: Robust interval solid modeling: Part I, Representations. Computer-Aided Design 28, 10 (October 1996), 807-817.
10. [KLF01] KULISCH U., LOHNER R. J., FACIUS A.: Prespectives on Enclosure Methods. Springer, New York, 2001.
11. [Kre94] KREYSZIG E.: Advanced Engineering Mathematics. Wiley Eastern Edition, New Age International Limited, 1994.
12. [Loh92] LOHNER R. J.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In Computational Ordinary Differential Equations, Cash J., Gladwell I., (Eds.). Clarendon Press, Oxford, 1992, pp. 425-435.
13. [Loh95] LOHNER R. J.: Step size and order control in the verified solution of IVP with ODEs. In SciCADE'95 International conference on scientific computation and differential equations (Stanford, C.A., 1995).
14. [MKM*03] MUKUNDAN H., KO K. H., MAEKAWA T., SAKKALIS T., PATRIKALAKIS N. M.: Surface Intersections with Validated Error Bounds. Tech. Rep. 2003-6, Design Laboratory, MIT, 2003.
15. [Moo66] MOORE R. E.: Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
16. [Ned99] NEDIALKOV N. S.: Computing the Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, University of Toronto, Toronto, Canada, 1999.
17. [NJC99] NEDIALKOV N. S., JACKSON K. R., CORLISS G. F.: Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation 105, 1 (1999), 21-68.
18. [PM02a] PATRIKALAKIS N. M., MAEKAWA T.: Intersection problems. In Handbook of Computer Aided Geometric Design, Chapter 25 (Amsterdam, July 2002), Farin G., Hoschek J." Kim M. S., (Eds.), Elsevier, pp. 623-650.
19. [PM02b] PATRIKALAKIS N. M., MAEKAWA T.: Shape Interrogation for Computer Aided Design and Manufacturing. Springer-Verlag, Heidelberg, 2002.
20. [PMKM04] PATRIKALAKIS N. M., MAEKAWA T., KO K. H., MUKUNDAN H.: Surface to surface intersection. In International CAD Conference and Exhibition, CAD'04 (Thailand, May 2004), Piegl L., (Ed.).
21. [Pro] PROFTL/BIAS, Interval Arithmetic Subroutines. http://www.ti3.tu-harburg.de/Software/ PROFILEnglisch.html.
22. [PTVF88] PRESS W. H., TEUKOLSKY S. A., VETTERLING W. T., FLANNERY B. P.: Numerical Recipes in C. Cambridge University Press, 1988.
23. [SSP01] SAKKALIS T., SHEN G., PATRIKALAKIS N. M.: Topological and geometric properties of interval solid models. Graphical Models 63, 3 (2001), 163-175.
24. [Sta97] STAUNING O.: Automatic Validation of Numerical Solutions. PhD thesis, Technical University of Denmark, Lyngby, Denmark, 1997.
25. [TMSP97] TUOHY S. T., MAEKAWA T., SHEN G., PATRIKALAKIS N. M.: Approximation of measured data with interval B-splines. Computer-Aided Design 29, 11 (November 1997), 791-799.
26. [Vno] VNODE, Validated non linear ODE solver. www.cas.mcmaster.ca/nedialk/Software/VNODE/ VNODE.shtml.
27. [YM99] YE X., MAEKAWA T.: Differential geometry of intersection curves of two surfaces. Computer Aided Geometric Design 16, 8 (Sept. 1999), 767-788.