Interval methods for multi-point collisions between time-dependent curved surfaces

We present an efficient and robust algorithm for finding points of collision between time-dependent parametric and implicit surfaces. The algorithm detects simultaneous collisions at multiple points of contact. When the regions of contact form curves or surfaces, it returns a finite set of points uniformly distributed over each contact region. Collisions can be computed for a very general class of surfaces: those for which inclusion functions can be constructed. Included in this set are the familiar kinds of surfaces and time behaviors encountered in computer graphics. We use a new interval approach for constrained minimization to detect collisions, and a tangency condition to reduce the dimensionality of the search space. These approaches make interval methods practical for multi-point collisions between complex surfaces. An interval Newton method based on the solution of the interval linear equation is used to speed convergence to the collision time and location. This method is more efficient than the Krawczyk‐Moore iteration used previously in computer graphics.

[1]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[2]  John M. Snyder,et al.  Generative modeling: a symbolic system for geometric modeling , 1992, SIGGRAPH.

[3]  Pat Hanrahan,et al.  Illumination from curved reflectors , 1992, SIGGRAPH.

[4]  David Baraff,et al.  Curved surfaces and coherence for non-penetrating rigid body simulation , 1990, SIGGRAPH.

[5]  Andrew P. Witkin,et al.  Dynamic simulation of non-penetrating flexible bodies , 1992, SIGGRAPH.

[6]  Jane Wilhelms,et al.  Collision Detection and Response for Computer Animation , 1988, SIGGRAPH.

[7]  William H. Press,et al.  Numerical recipes , 1990 .

[8]  Tom Duff,et al.  Interval arithmetic recursive subdivision for implicit functions and constructive solid geometry , 1992, SIGGRAPH.

[9]  Alex Pentland,et al.  Generalized implicit functions for computer graphics , 1991, SIGGRAPH.

[10]  O. H. Lowry.  Academic press. , 1972, Analytical chemistry.

[11]  Dimitris N. Metaxas,et al.  Dynamic deformation of solid primitives with constraints , 1992, SIGGRAPH.

[12]  John M. Snyder,et al.  Generative Modeling for Computer Graphics and Cad: Symbolic Shape Design Using Interval Analysis , 1992 .

[13]  David Baraff,et al.  Coping with friction for non-penetrating rigid body simulation , 1991, SIGGRAPH.

[14]  David Baraff,et al.  Analytical methods for dynamic simulation of non-penetrating rigid bodies , 1989, SIGGRAPH.

[15]  Ramon E. Moore.  NEW RESULTS ON NONLINEAR SYSTEMS , 1980 .

[16]  Daniel L. Toth,et al.  On ray tracing parametric surfaces , 1985, SIGGRAPH.

[17]  John M. Snyder,et al.  Interval analysis for computer graphics , 1992, SIGGRAPH.

[18]  Alan H. Barr,et al.  Geometric collisions for time-dependent parametric surfaces , 1990, SIGGRAPH.

[19]  Jon G. Rokne,et al.  New computer methods for global optimization , 1988 .

[21]  Ramon E. Moore.  Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[22]  Derick Wood,et al.  Counting and Reporting Intersections of d-Ranges , 1982, IEEE Transactions on Computers.

[23]  Verzekeren Naar Sparen,et al.  Cambridge , 1969, Humphrey Burton: In My Own Time.