Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Public Access

Incremental potential contact: intersection-and inversion-free, large-deformation dynamics

Published: 12 August 2020 Publication History
  • Get Citation Alerts
  • Abstract

    Contacts weave through every aspect of our physical world, from daily household chores to acts of nature. Modeling and predictive computation of these phenomena for solid mechanics is important to every discipline concerned with the motion of mechanical systems, including engineering and animation. Nevertheless, efficiently time-stepping accurate and consistent simulations of real-world contacting elastica remains an outstanding computational challenge. To model the complex interaction of deforming solids in contact we propose Incremental Potential Contact (IPC) - a new model and algorithm for variationally solving implicitly time-stepped nonlinear elastodynamics. IPC maintains an intersection- and inversion-free trajectory regardless of material parameters, time step sizes, impact velocities, severity of deformation, or boundary conditions enforced.
    Constructed with a custom nonlinear solver, IPC enables efficient resolution of time-stepping problems with separate, user-exposed accuracy tolerances that allow independent specification of the physical accuracy of the dynamics and the geometric accuracy of surface-to-surface conformation. This enables users to decouple, as needed per application, desired accuracies for a simulation's dynamics and geometry.
    The resulting time stepper solves contact problems that are intersection-free (and thus robust), inversion-free, efficient (at speeds comparable to or faster than available methods that lack both convergence and feasibility), and accurate (solved to user-specified accuracies). To our knowledge this is the first implicit time-stepping method, across both the engineering and graphics literature that can consistently enforce these guarantees as we vary simulation parameters.
    In an extensive comparison of available simulation methods, research libraries and commercial codes we confirm that available engineering and computer graphics methods, while each succeeding admirably in custom-tuned regimes, often fail with instabilities, egregious constraint violations and/or inaccurate and implausible solutions, as we vary input materials, contact numbers and time step. We also exercise IPC across a wide range of existing and new benchmark tests and demonstrate its accurate solution over a broad sweep of reasonable time-step sizes and beyond (up to h = 2s) across challenging large-deformation, large-contact stress-test scenarios with meshes composed of up to 2.3M tetrahedra and processing up to 498K contacts per time step. For applications requiring high-accuracy we demonstrate tight convergence on all measures. While, for applications requiring lower accuracies, e.g. animation, we confirm IPC can ensure feasibility and plausibility even when specified tolerances are lowered for efficiency.

    Supplementary Material

    ZIP File (a49-li.zip)
    Supplemental files.
    MP4 File (a49-li.mp4)
    MP4 File (3386569.3392425.mp4)
    Presentation video

    References

    [1]
    Pierre Alart and Alain Curnier. 1991. A mixed formulation for frictional contact problems prone to Newton like solution methods. CMAME 92, 3 (Nov. 1991).
    [2]
    ANSYS Group. 2020. ANSYS. https://www.ansys.com/
    [3]
    John M Ball. 1981. Global invertibility of Sobolev functions and the interpenetration of matter. Proc. of the Royal Society of Edinburgh: Section A Math. 88, 3--4 (1981).
    [4]
    Ted Belytschko, Wing Kam Liu, and Brian Moran. 2000. Nonlinear Finite Elements for Continua and Structures. John Wiley & Sons, Ltd.
    [5]
    Florence Bertails-Descoubes, Florent Cadoux, Gilles Daviet, and Vincent Acary. 2011. A Nonsmooth Newton Solver for Capturing Exact Coulomb Friction in Fiber Assemblies. ACM Trans. on Graph. 30, 1, Article 6 (Feb. 2011).
    [6]
    Dimitri P. Bertsekas. 2016. Nonlinear Programming. Athena Scientific.
    [7]
    Stephen Boyd and Lieven Vandenberghe. 2004. Convex Optimization. Cambridge University Press, USA.
    [8]
    Robert Bridson, Ronald Fedkiw, and John Anderson. 2002. Robust Treatment of Collisions, Contact and Friction for Cloth Animation. ACM Trans. on Graph. 21 (05 2002).
    [9]
    Bernard Brogliato. 1999. Nonsmooth Mechanics. Springer-Verlag.
    [10]
    Yanqing Chen, Timothy A Davis, William W Hager, and Sivasankaran Rajamanickam. 2008. Algorithm 887: CHOLMOD, supernodal sparse Cholesky factorization and update/downdate. ACM Trans. on Math. Software (TOMS) 35, 3 (2008).
    [11]
    COMSOL Group. 2020. COMSOL Multiphysics. https://www.comsol.com/
    [12]
    Richard Courant, Kurt Friedrichs, and Hans Lewy. 1967. On the partial difference equations of mathematical physics. IBM J. of Research and Development 11, 2 (1967).
    [13]
    Gilles Daviet, Florence Bertails-Descoubes, and Laurence Boissieux. 2011. A Hybrid Iterative Solver for Robustly Capturing Coulomb Friction in Hair Dynamics. ACM Trans. on Graph. 30 (12 2011).
    [14]
    Denis Demidov. 2019. AMGCL: An Efficient, Flexible, and Extensible Algebraic Multigrid Implementation. Lobachevskii J. of Math. 40, 5 (01 May 2019).
    [15]
    David Doyen, Alexandre Ern, and Serge Piperno. 2011. Time-Integration Schemes for the Finite Element Dynamic Signorini Problem. SIAM J. on Sci. Comp. 33 (01 2011).
    [16]
    Kenny Erleben. 2018. Methodology for Assessing Mesh-Based Contact Point Methods. ACM Trans. on Graph. (TOG) 37, 3 (2018).
    [17]
    François Faure, Christian Duriez, Hervé Delingette, Jérémie Allard, Benjamin Gilles, Stéphanie Marchesseau, Hugo Talbot, Hadrien Courtecuisse, Guillaume Bousquet, Igor Peterlik, et al. 2012. Sofa: A multi-model framework for interactive physical simulation. In Soft tissue biomechanical modeling for computer assisted surgery. Springer.
    [18]
    Suresh Goyal, Andy Ruina, and Jim Papadopoulos. 1991. Planar sliding with dry friction, Part 2. Dynamics of motion. Wear 143 (1991).
    [19]
    Gaël Guennebaud, Benoît Jacob, et al. 2010. Eigen v3.
    [20]
    LLC Gurobi Optimization. 2019. Gurobi Optimizer Reference Manual. http://www.gurobi.com
    [21]
    David Harmon, Etienne Vouga, Breannan Smith, Rasmus Tamstorf, and Eitan Grinspun. 2009. Asynchronous contact mnumpageechanics. In ACM Trans. on Graph. (TOG), Vol. 28. ACM.
    [22]
    David Harmon, Etienne Vouga, Rasmus Tamstorf, and Eitan Grinspun. 2008. Robust Treatment of Simultaneous Collisions. SIGGRAPH (ACM Trans. on Graph.) 27, 3 (2008).
    [23]
    Michel Jean and Jean Jacques Moreau. 1992. Unilaterality and dry friction in the dynamics of rigid body collections. In Proc. of Contact Mech. Int. Symp., Vol. 1.
    [24]
    Zhongshi Jiang, Scott Schaefer, and Daniele Panozzo. 2017. Simplicial Complex Augmentation Framework for Bijective Maps. ACM Trans. on Graph. 36, 6, Article 186 (Nov. 2017).
    [25]
    Mark W. Jones, J. Andreas Baerentzen, and Milos Sramek. 2006. 3D Distance Fields: A Survey of Techniques and Applications. IEEE Trans. on Vis. and Comp. Graph. 12, 4 (July 2006).
    [26]
    Couro Kane, Jerrold E Marsden, Michael Ortiz, and Matthew West. 2000. Variational integrators and the Newmark algorithm for conservative and dissipative mechanical systems. Int. J. for Numer. Meth. in Eng. 49, 10 (2000).
    [27]
    Couro Kane, Eduardo A Repetto, Michael Ortiz, and Jerrold E Marsden. 1999. Finite element analysis of nonsmooth contact. CMAME 180, 1--2 (1999).
    [28]
    Danny M Kaufman and Dinesh K Pai. 2012. Geometric numerical integration of inequality constrained, nonsmooth Hamiltonian systems. SIAM J. on Sci. Comp. 34, 5 (2012).
    [29]
    Danny M. Kaufman, Shinjiro Sueda, Doug L. James, and Dinesh K. Pai. 2008. Staggered Projections for Frictional Contact in Multibody Systems. ACM Trans. on Graph. (SIGGRAPH Asia 2008) 27, 5 (2008).
    [30]
    Danny M. Kaufman, Rasmus Tamstorf, Breannan Smith, Jean-Marie Aubry, and Eitan Grinspun. 2014. Adaptive Nonlinearity for Collisions in Complex Rod Assemblies. ACM Trans. on Graph. 33, 4, Article 123 (July 2014).
    [31]
    Noboru Kikuchi and John Tinsley Oden. 1988. Contact Problems in Elasticity: A Study of Variational Inequalities and Finite Element Methods. SIAM Studies in App. and Numer. Math., Vol. 8. Society for Industrial and Applied Mathematics.
    [32]
    Dan Koschier, Crispin Deul, Magnus Brand, and Jan Bender. 2017. An hp-Adaptive Discretization Algorithm for Signed Distance Field Generation. IEEE Trans. on Vis. and Comp. Graph. 23, 10 (2017).
    [33]
    Rolf. Krause and Patrick. Zulian. 2016. A Parallel Approach to the Variational Transfer of Discrete Fields between Arbitrarily Distributed Unstructured Finite Element Meshes. SIAM J. on Sci. Comp. 38, 3 (2016).
    [34]
    Minchen Li, Danny M. Kaufman, Vladimir G. Kim, Justin Solomon, and Alla Sheffer. 2018. OptCuts: Joint Optimization of Surface Cuts and Parameterization. ACM Trans. on Graph. 37, 6, Article 247 (Dec. 2018).
    [35]
    Miles Macklin, Kenny Erleben, Matthias Müller, Nuttapong Chentanez, Stefan Jeschke, and Viktor Makoviychuk. 2019. Non-Smooth Newton Methods for Deformable Multi-Body Dynamics. (07 2019).
    [36]
    Marek Krzysztof Misztal and Jakob Andreas Bærentzen. 2012. Topology-Adaptive Interface Tracking Using the Deformable Simplicial Complex. ACM Trans. on Graph. 31, 3, Article 24 (June 2012).
    [37]
    Jean Jacques Moreau. 1973. On Unilateral Constraints, Friction and PLasticity. New Variational Tech. in Math. Phys. (1973).
    [38]
    Matthias Müller, Nuttapong Chentanez, Tae-Yong Kim, and Miles Macklin. 2015. Air Meshes for Robust Collision Handling. ACM Trans. on Graph. 34, 4, Article 133 (July 2015).
    [39]
    Jorge Nocedal and Stephen Wright. 2006. Numerical optimization. Springer Science & Business Media.
    [40]
    Michael Ortiz and Laurent Stainier. 1999. The variational formulation of viscoplastic constitutive updates. CMAME 171, 3--4 (1999).
    [41]
    Miguel Otaduy, Rasmus Tamstorf, Denis Steinemann, and Markus Gross. 2009. Implicit Contact Handling for Deformable Objects. Comp. Graph. Forum 28 (04 2009).
    [42]
    Stéphane Pagano and Pierre Alart. 2008. Self-contact and fictitious domain using a difference convex approach. Int. J. for Numer. Meth. in Eng. 75 (07 2008).
    [43]
    Anna Pandolfi, Couro Kane, Jerrold E Marsden, and Michael Ortiz. 2002. Time-discretized variational formulation of non-smooth frictional contact. Int. J. for Numer. Meth. in Eng. 53, 8 (2002).
    [44]
    Christian Schüller, Ladislav Kavan, Daniele Panozzo, and Olga Sorkine-Hornung. 2013. Locally Injective Mappings. Comp. Graph. Forum (Proc. of EUROGRAPHICS/ACM SIGGRAPH Symp. on Geom. Proc.) 32, 5 (2013).
    [45]
    SideFX. 2020. Houdini. https://www.sidefx.com/products/houdini/
    [46]
    Eftychios Sifakis, Sebastian Marino, and Joseph Teran. 2008. Globally Coupled Collision Handling Using Volume Preserving Impulses. In Proc. of the 2008 ACM SIGGRAPH/Eurographics Symp. on Comp. Anim. (SCA 2008).
    [47]
    Juan C. Simó and Thomas J. R. Hughes. 1998. Computational Inelasticity. Springer.
    [48]
    Jason Smith and Scott Schaefer. 2015. Bijective parameterization with free boundaries. ACM Trans. on Graph. (TOG) 34, 4 (2015).
    [49]
    David E Stewart. 2001. Finite-dimensional contact mechanics. Phil. Trans. R. Soc. Lond. A 359 (2001).
    [50]
    Andrew Stuart and Anthony R Humphries. 1996. Dynamical Systems and Numerical Analysis. Cambridge Univ. Press.
    [51]
    Min Tang, Ruofeng Tong, Zhendong Wang, and Dinesh Manocha. 2014. Fast and exact continuous collision detection with bernstein sign classification. ACM Trans. on Graph. (TOG) 33, 6 (2014).
    [52]
    Joseph Teran, Eftychios Sifakis, Geoffrey Irving, and Ronald Fedkiw. 2005. Robust quasistatic finite elements and flesh simulation. In Proc. of the 2005 ACM SIGGRAPH/Eurographics Symp. on Comp. Anim. ACM.
    [53]
    Mickeal Verschoor and Andrei C Jalba. 2019. Efficient and accurate collision response for elastically deformable models. ACM Trans. on Graph. (TOG) 38, 2 (2019).
    [54]
    Peter Wriggers. 1995. Finite Element Algorithms for Contact Problems. Archives of Comp. Meth. in Eng. 2 (12 1995).
    [55]
    Eugene Zhang, Konstantin Mischaikow, and Greg Turk. 2005. Feature-Based Surface Parameterization and Texture Mapping. ACM Trans. on Graph. 24, 1 (Jan. 2005).
    [56]
    Changxi Zheng and Doug L. James. 2012. Energy-based Self-Collision Culling for Arbitrary Mesh Deformations. ACM Trans. on Graph. (Proc. of SIGGRAPH 2012) 31, 4 (Aug. 2012).

    Cited By

    View all
    • (2024)Research progress in human-like indoor scene interactionJournal of Image and Graphics10.11834/jig.24000429:6(1575-1606)Online publication date: 2024
    • (2024)Differentiable solver for time-dependent deformation problems with contactACM Transactions on Graphics10.1145/3657648Online publication date: 26-Apr-2024
    • (2024)GIPC: Fast and Stable Gauss-Newton Optimization of IPC Barrier EnergyACM Transactions on Graphics10.1145/364302843:2(1-18)Online publication date: 27-Jan-2024
    • Show More Cited By

    Index Terms

    1. Incremental potential contact: intersection-and inversion-free, large-deformation dynamics

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Transactions on Graphics
      ACM Transactions on Graphics  Volume 39, Issue 4
      August 2020
      1732 pages
      ISSN:0730-0301
      EISSN:1557-7368
      DOI:10.1145/3386569
      Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 12 August 2020
      Published in TOG Volume 39, Issue 4

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. constrained optimization
      2. contact mechanics
      3. elastodynamics
      4. friction

      Qualifiers

      • Research-article

      Funding Sources

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)778
      • Downloads (Last 6 weeks)107

      Other Metrics

      Citations

      Cited By

      View all
      • (2024)Research progress in human-like indoor scene interactionJournal of Image and Graphics10.11834/jig.24000429:6(1575-1606)Online publication date: 2024
      • (2024)Differentiable solver for time-dependent deformation problems with contactACM Transactions on Graphics10.1145/3657648Online publication date: 26-Apr-2024
      • (2024)GIPC: Fast and Stable Gauss-Newton Optimization of IPC Barrier EnergyACM Transactions on Graphics10.1145/364302843:2(1-18)Online publication date: 27-Jan-2024
      • (2024)Preconditioned Nonlinear Conjugate Gradient Method for Real-time Interior-point HyperelasticityACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657490(1-11)Online publication date: 13-Jul-2024
      • (2024)Primal-Dual Non-Smooth Friction for Rigid Body AnimationACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657485(1-10)Online publication date: 13-Jul-2024
      • (2024)Soft Pneumatic Actuator Design using Differentiable SimulationACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657467(1-11)Online publication date: 13-Jul-2024
      • (2024)Fabricable 3D Wire ArtACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657453(1-11)Online publication date: 13-Jul-2024
      • (2024)A Dynamic Duo of Finite Elements and Material PointsACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657449(1-11)Online publication date: 13-Jul-2024
      • (2024)Stabler Neo-Hookean Simulation: Absolute Eigenvalue Filtering for Projected NewtonACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657433(1-10)Online publication date: 13-Jul-2024
      • (2024)ContourCraft: Learning to Resolve Intersections in Neural Multi-Garment SimulationsACM SIGGRAPH 2024 Conference Papers10.1145/3641519.3657408(1-10)Online publication date: 13-Jul-2024
      • Show More Cited By

      View Options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Get Access

      Login options

      Full Access

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media