October 3 Community Meeting: Daniele Panozzo on Predicates for Unconditionally Robust Elastodynamics Simulation

[Ian Briggs]

Howdy folks!

Next Thursday, October 3 at 9:00-10:00 AM pacific time, will be the next FPBench Community Meeting.

If you are searching for the Zoom link, look no further: https://washington.zoom.us/j/92831331326

We are glad to welcome Daniele Panozzo from Courant Institute of Mathematical Sciences in New York University to present on Geometric Predicates for Unconditionally Robust Elastodynamics Simulation.

In his own words:

The numerical solution of partial differential equations (PDE) is
ubiquitously used for physical simulation in scientific computing and
engineering. Ideally, a PDE solver should be opaque: the user provides
as input the domain boundary, boundary conditions, and the governing
equations, and the code returns an evaluator that can compute the
value of the solution at any point of the input domain. This is
surprisingly far from being the case for all existing open-source or
commercial software, despite the research efforts in this direction
and the large academic and industrial interest. To a large extent,
this is due to lack of robustness in geometric algorithms used to
create the discretization, detect collisions, and evaluate element
validity.

I will present the incremental potential contact simulation paradigm,
which provides strong robustness guarantees in simulation codes,
ensuring, for the first time, validity of the trajectories accounting
for floating point rounding errors over an entire elastodynamic
simulation with contact. A core part of this approach is the use of a
conservative line-search to check for collisions between geometric
primitives and for ensuring validity of the deforming elements over
linear trajectories.

I will discuss both problems in depth, showing that SOTA approaches
favor numerical efficiency but are unfortunately not robust to
floating point rounding, leading to major failures in simulation. I
will then present an alternative approach based on judiciously using
rational and interval types to ensure provable correctness, while
keeping a running time comparable with non-conservative methods.

To conclude, I will discuss a set of applications enabled by this
approach in microscopy and biomechanics, including traction force
estimation on a live zebrafish and efficient modeling and simulation
of fibrous materials.

We look forward to seeing everyone!

As a reminder, if you would like to give a talk or know of someone that would be great for an FPBench Community meeting, please have them fill out the speaker suggestion form!

Thanks,

Ian

[Ian Briggs]

Howdy folks!

This Thursday, October 3 at 9:00-10:00 AM pacific time, will be the next FPBench Community Meeting.