Robust, efficient, and accurate contact algorithms

Robust, efficient, and accurate contact response remains a challenging problem in the simulation of deformable materials. Contact models should robustly handle contact between geometry by preventing interpenetrations. This should be accomplished while respecting natural laws in order to maintain physical correctness. We simultaneously desire to achieve these criteria as efficiently as possible to minimize simulation runtimes. Many methods exist that partially achieve these properties, but none yet fully attain all three. This thesis investigates existing methodologies with respect to these attributes, and proposes a novel algorithm for the simulation of deformable materials that demonstrate them all. This new method is analyzed and optimized, paving the way for future work in this simplified but powerful manner of simulation.

[1]  Leonidas J. Guibas,et al.  Collision detection for deforming necklaces , 2002, SCG '02.

[2]  John F. Canny,et al.  Impulse-based simulation of rigid bodies , 1995, I3D '95.

[3]  T. Schwager,et al.  Computational Granular Dynamics: Models and Algorithms , 2005 .

[4]  E. Hairer,et al.  Geometric Numerical Integration: Structure Preserving Algorithms for Ordinary Differential Equations , 2004 .

[5]  T. Schwager,et al.  Coefficient of restitution and linear–dashpot model revisited , 2007, cond-mat/0701278.

[6]  P. Wriggers,et al.  FINITE ELEMENT FORMULATION OF LARGE DEFORMATION IMPACT-CONTACT PROBLEMS WITH FRICTION , 1990 .

[7]  D. Owen,et al.  Computational model for 3‐D contact problems with friction based on the penalty method , 1992 .

[8]  J. Baumgarte.  Stabilization of constraints and integrals of motion in dynamical systems , 1972 .

[9]  J. Oden,et al.  Analysis of contact problems with friction under oscillating loads , 1983 .

[10]  Joseph S. B. Mitchell,et al.  Efficient Collision Detection Using Bounding Volume Hierarchies of k-DOPs , 1998, IEEE Trans. Vis. Comput. Graph..

[11]  Tomas Akenine-Möller,et al.  Collision Detection for Continuously Deforming Bodies , 2001, Eurographics.

[12]  Tsai-Yen Li,et al.  Incremental 3D collision detection with hierarchical data structures , 1998, VRST '98.

[13]  P. Wriggers,et al.  On contact between three-dimensional beams undergoing large deflections , 1997 .

[14]  Leonidas J. Guibas,et al.  Kinetic data structures: a state of the art report , 1998 .

[15]  W. Daniel.  A study of the stability of subcycling algorithms in structural dynamics , 1998 .

[16]  Peter Wriggers,et al.  An adaptive finite element algorithm for contact problems in plasticity , 1995 .

[17]  J. Moreau,et al.  Nonsmooth Mechanics and Applications , 1989 .

[18]  David Baraff,et al.  Fast contact force computation for nonpenetrating rigid bodies , 1994, SIGGRAPH.

[19]  Leonidas J. Guibas,et al.  Quasi-rigid objects in contact , 2004, SCA '04.

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

[21]  J. Marsden,et al.  Mechanical integrators derived from a discrete variational principle , 1997 .

[22]  Robert L. Taylor,et al.  On a finite element method for dynamic contact/impact problems , 1993 .

[23]  Leonidas J. Guibas,et al.  Kinetic Connectivity for Unit Disks , 2001, Discret. Comput. Geom..

[24]  Kwang-Jin Choi,et al.  Stable but responsive cloth , 2002, SIGGRAPH 2002.

[25]  J. Oden,et al.  Existence and local uniqueness of solutions to contact problems in elasticity with nonlinear friction laws , 1986 .

[26]  Matthew West,et al.  Decomposition contact response (DCR) for explicit finite element dynamics , 2005, International Journal for Numerical Methods in Engineering.

[27]  J. Marsden,et al.  Time‐discretized variational formulation of non‐smooth frictional contact , 2002 .

[28]  Alfred Auslender.  Penalty and Barrier Methods: A Unified Framework , 1999, SIAM J. Optim..

[29]  John C. Platt,et al.  Elastically deformable models , 1987, SIGGRAPH.

[30]  Kasturi R. Varadarajan,et al.  Geometric Approximation via Coresets , 2007 .

[31]  Nadia Magnenat-Thalmann,et al.  Resolving surface collisions through intersection contour minimization , 2006, ACM Trans. Graph..

[32]  Ming C. Lin,et al.  A fast algorithm for incremental distance calculation , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[33]  P. Wriggers,et al.  Homogenization and Multi-Scale Approaches for Contact Problems , 2007 .

[34]  Leonidas J. Guibas,et al.  Kinetic Medians and kd-Trees , 2002, ESA.

[35]  Leonidas J. Guibas,et al.  Static and kinetic geometric spanners with applications , 2001, SODA '01.

[36]  Anil Chaudhary,et al.  A SOLUTION METHOD FOR PLANAR AND AXISYMMETRIC CONTACT PROBLEMS , 1985 .

[37]  Peter Wriggers,et al.  On the treatment of nonlinear unilateral contact problems , 1993 .

[38]  John Canny,et al.  Impulse-Based Dynamic Simulation , 1995 .

[39]  Gabriel Zachmann,et al.  Kinetic Separation Lists for Continuous Collision Detection of Deformable Objects , 2006, VRIPHYS.

[40]  Leonidas J. Guibas,et al.  Data structures for mobile data , 1997, SODA '97.

[41]  Gabriel Zachmann,et al.  Rapid collision detection by dynamically aligned DOP-trees , 1998, Proceedings. IEEE 1998 Virtual Reality Annual International Symposium (Cat. No.98CB36180).

[42]  D. Stewart,et al.  AN IMPLICIT TIME-STEPPING SCHEME FOR RIGID BODY DYNAMICS WITH INELASTIC COLLISIONS AND COULOMB FRICTION , 1996 .

[43]  Bettina Speckmann.  Kinetic Data Structures , 2008, Encyclopedia of Algorithms.

[44]  Jean-Claude Latombe,et al.  Proceedings of the workshop on Algorithmic foundations of robotics , 1995 .

[45]  Leonidas J. Guibas,et al.  Kinetic data structures in practice , 2007 .

[46]  Leonidas J. Guibas,et al.  Separation-sensitive collision detection for convex objects , 1998, SODA '99.

[47]  E. M. L. Beale,et al.  Nonlinear and Dynamic Programming , 1965 .

[48]  T. Belytschko,et al.  Stability of an explicit multi-time step integration algorithm for linear structural dynamics equations , 1996 .

[49]  Jerrold E. Marsden,et al.  Variational Methods, Multisymplectic Geometry and Continuum Mechanics , 2001 .

[50]  Richard L. Grimsdale,et al.  Collision Detection for Animation using Sphere‐Trees , 1995, Comput. Graph. Forum.

[51]  Proceedings of the 1991 IEEE International Conference on Robotics and Automation, Sacramento, CA, USA, 9-11 April 1991 , 1990, ICRA.

[52]  H. C. Andersen.  Rattle: A “velocity” version of the shake algorithm for molecular dynamics calculations , 1983 .

[53]  Leonidas J. Guibas,et al.  Discrete mobile centers , 2001, SCG '01.

[54]  Adrian J. Lew,et al.  Parallel asynchronous variational integrators , 2007 .

[55]  R. Faure,et al.  Introduction to operations research , 1968 .

[56]  Leonidas J. Guibas,et al.  Distributed Proximity Maintenance in Ad Hoc Mobile Networks , 2005, DCOSS.

[57]  Jiann-Nan Huang,et al.  Stabilization of Baumgarte’s Method Using the Runge-Kutta Approach , 2002 .

[58]  William J.T. Daniel,et al.  The subcycled Newmark algorithm , 1997 .

[59]  J. Marsden,et al.  Discrete mechanics and variational integrators , 2001, Acta Numerica.

[60]  M. Leok.  Variational Integrators , 2012 .

[61]  John M. Snyder,et al.  Interval methods for multi-point collisions between time-dependent curved surfaces , 1993, SIGGRAPH.

[62]  Hans J. Herrmann,et al.  Angle of repose and angle of marginal stability: molecular dynamics of granular particles , 1993 .

[63]  Lynn Pocock.  Proceedings of the 28th annual conference on Computer graphics and interactive techniques , 2001, SIGGRAPH.

[64]  Anil Chaudhary,et al.  A solution method for static and dynamic analysis of three-dimensional contact problems with friction , 1986 .

[65]  Leonidas J. Guibas,et al.  Kinetic binary space partitions for intersecting segments and disjoint triangles , 1998, SODA '98.

[66]  G. Illies,et al.  Communications in Mathematical Physics , 2004 .

[67]  Jerrold E. Marsden,et al.  Geometric, variational integrators for computer animation , 2006, SCA '06.

[68]  M. Mišík,et al.  Oxford University Press , 1968, PMLA/Publications of the Modern Language Association of America.

[69]  G. W. Stewart,et al.  The QLP Approximation to the Singular Value Decomposition , 1999, SIAM J. Sci. Comput..

[70]  Min-Hyung Choi,et al.  Effective Constrained Dynamic Simulation Using Implicit Constraint Enforcement , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[71]  Eric Barth,et al.  Algorithms for constrained molecular dynamics , 1995, J. Comput. Chem..

[72]  R. Taylor,et al.  A simple algorithm for three-dimensional finite element analysis of contact problems , 1993 .

[73]  Dinesh K. Pai,et al.  Staggered projections for frictional contact in multibody systems , 2008, SIGGRAPH Asia '08.

[74]  Xavier Provot,et al.  Collision and self-collision handling in cloth model dedicated to design garments , 1997, Computer Animation and Simulation.

[75]  Leonidas J. Guibas,et al.  A Computational Framework for Handling Motion , 2004, ALENEX/ANALC.

[76]  David E. Orin,et al.  Simulation of contact using a nonlinear damping model , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[77]  Hongyuan Zha,et al.  DAG-guided parallel asynchronous variational integrators with super-elements , 2007, SCSC.

[78]  Philip M. Hubbard,et al.  Approximating polyhedra with spheres for time-critical collision detection , 1996, TOGS.

[79]  Andrew P. Witkin,et al.  Large steps in cloth simulation , 1998, SIGGRAPH.

[80]  G. Ciccotti,et al.  Numerical Integration of the Cartesian Equations of Motion of a System with Constraints: Molecular Dynamics of n-Alkanes , 1977 .

[81]  Mark O. Neal,et al.  Explicit-explicit subcycling with non-integer time step ratios for structural dynamic systems , 1989 .

[82]  ScienceDirect.  Computational geometry : theory and applications. , 1991 .

[83]  R. Lathe.  Phd by thesis , 1988, Nature.

[84]  Bernd Gärtner,et al.  Fast and Robust Smallest Enclosing Balls , 1999, ESA.

[85]  Andrew S. Glassner,et al.  Proceedings of the 27th annual conference on Computer graphics and interactive techniques , 1994, SIGGRAPH 1994.

[86]  Richard W. Cottle,et al.  Linear Complementarity Problem , 2009, Encyclopedia of Optimization.

[87]  Daniel Thalmann,et al.  Computer Animation and Simulation ’97 , 1997, Eurographics.

[88]  R. Toupin.  ELASTIC MATERIALS WITH COUPLE STRESSES, ARCHIVE FOR RATIONAL MECHANICS AND ANALYSIS , 1962 .

[89]  R. Fletcher.  Practical Methods of Optimization , 1988 .

[90]  Peter Wriggers,et al.  Calculation of impact-contact problems of thin elastic shells taking into account geometrical nonlinearities within the contact region , 1982 .

[91]  Patrick Smolinski,et al.  An implicit multi-time step integration method for structural dynamics problems , 1998 .

[92]  Brian Mirtich,et al.  Timewarp rigid body simulation , 2000, SIGGRAPH.

[93]  A. Stillings.  Modeling Motion , 2005 .

[94]  Eftychios Sifakis,et al.  To appear in the ACM SIGGRAPH conference proceedings Detail Preserving Continuum Simulation of Straight Hair , 2009 .

[95]  Wolfgang Straßer,et al.  Analysis of numerical methods for the simulation of deformable models , 2003, The Visual Computer.

[96]  Andrew Selle,et al.  To appear in the ACM SIGGRAPH conference proceedings A Mass Spring Model for Hair Simulation , 2008 .

[97]  P. Wriggers.  Finite element algorithms for contact problems , 1995 .

[98]  Leonidas J. Guibas,et al.  Deformable Free-Space Tilings for Kinetic Collision Detection† , 2002, Int. J. Robotics Res..

[99]  Andrew P. Witkin,et al.  Untangling cloth , 2003, ACM Trans. Graph..

[100]  Gabriel Wainer.  Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007 , 2007, SCSC.

[101]  Dinesh K. Pai,et al.  Fast frictional dynamics for rigid bodies , 2005, ACM Trans. Graph..

[102]  J. Meigs,et al.  WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[103]  Leonidas J. Guibas,et al.  Proximity problems on moving points , 1997, SCG '97.

[104]  Richard J. Beach,et al.  Proceedings of the 15th annual conference on Computer graphics and interactive techniques , 1988, International Conference on Computer Graphics and Interactive Techniques.

[105]  James K. Hahn,et al.  Realistic animation of rigid bodies , 1988, SIGGRAPH.

[106]  Ronald Fedkiw,et al.  Nonconvex rigid bodies with stacking , 2003, ACM Trans. Graph..

[107]  Stephen Berard,et al.  Modeling Nonconvex Constraints Using Linear Complementarity , 2003 .

[108]  J. Marsden,et al.  Multisymplectic Geometry, Variational Integrators, and Nonlinear PDEs , 1998, math/9807080.

[109]  J. T. Oden,et al.  A numerical analysis of contact and limit-point behavior in a class of problems of finite elastic deformation , 1984 .

[110]  J. Marsden,et al.  Variational Integrators and the Newmark Algorithm for Conservative and Dissipative Mechanical Systems , 2000 .

[111]  Dinesh K. Pai,et al.  Post-stabilization for rigid body simulation with contact and constraints , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[112]  Ronald Fedkiw,et al.  Simulation of clothing with folds and wrinkles , 2003, SCA '03.

[113]  Yizhou Yu,et al.  Particle-based simulation of granular materials , 2005, SCA '05.

[114]  Leonidas J. Guibas,et al.  Staying in the Middle: Exact and Approximate Medians in R1 and R2 for Moving Points , 2005, CCCG.

[115]  Leonidas J. Guibas,et al.  Cylindrical static and kinetic binary space partitions , 1997, SCG '97.

[116]  Leonidas J. Guibas,et al.  Kinetic collision detection: algorithms and experiments , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[117]  A. G. Greenhill.  Analytical Mechanics , 1890, Nature.

[118]  Ronald Fedkiw,et al.  Robust quasistatic finite elements and flesh simulation , 2005, SCA '05.

[119]  K. H. Hunt,et al.  Coefficient of Restitution Interpreted as Damping in Vibroimpact , 1975 .

[120]  Dinesh Manocha,et al.  I-COLLIDE: an interactive and exact collision detection system for large-scale environments , 1995, I3D '95.

[121]  Ronen Barzel.  Graphics Tools: The JGT Editors' Choice , 2005 .