Numerical modeling of slender structures with contact and friction - - PowerPoint PPT Presentation

numerical modeling of slender structures with contact and
SMART_READER_LITE
LIVE PREVIEW

Numerical modeling of slender structures with contact and friction - - PowerPoint PPT Presentation

Numerical modeling of slender structures with contact and friction from dynamic simulation to inverse static design Florence Bertails-Descoubes - Laboratoire Jean Kuntzmann (EPI BiPop) September 23, 2016, Sminaire PIC, Grenoble Research Area


slide-1
SLIDE 1

Numerical modeling of slender structures with contact and friction

from dynamic simulation to inverse static design

Florence Bertails-Descoubes

  • Laboratoire Jean Kuntzmann (EPI BiPop)

September 23, 2016, Séminaire PIC, Grenoble

slide-2
SLIDE 2

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

slide-3
SLIDE 3

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

  • Visually rich phenomena

Complex shape or motion

  • Increasing demand for simulators

Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)

  • Pluridisciplinary field

Mechanics, numerical analysis, algorithmic

slide-4
SLIDE 4

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

  • Visually rich phenomena

Complex shape or motion

  • Increasing demand for simulators

Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)

  • Pluridisciplinary field

Mechanics, numerical analysis, algorithmic

Guiding line → Search for compact models

slide-5
SLIDE 5

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

  • Visually rich phenomena

Complex shape or motion

  • Increasing demand for simulators

Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)

  • Pluridisciplinary field

Mechanics, numerical analysis, algorithmic

Guiding line → Search for compact models Realism

slide-6
SLIDE 6

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

  • Visually rich phenomena

Complex shape or motion

  • Increasing demand for simulators

Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)

  • Pluridisciplinary field

Mechanics, numerical analysis, algorithmic

Guiding line → Search for compact models Realism + robustness

slide-7
SLIDE 7

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

  • Visually rich phenomena

Complex shape or motion

  • Increasing demand for simulators

Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)

  • Pluridisciplinary field

Mechanics, numerical analysis, algorithmic

Guiding line → Search for compact models Realism + robustness + efficiency

slide-8
SLIDE 8

Research Area

“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”

  • Visually rich phenomena

Complex shape or motion

  • Increasing demand for simulators

Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)

  • Pluridisciplinary field

Mechanics, numerical analysis, algorithmic

Guiding line → Search for compact models Realism + robustness + efficiency + user control

slide-9
SLIDE 9

Discrete Elements Modeling

Example : hair modeling Physical phenomenon

slide-10
SLIDE 10

Discrete Elements Modeling

Example : hair modeling Physical phenomenon Simulator

Numerical modeling

slide-11
SLIDE 11

Discrete Elements Modeling

Example : hair modeling Physical phenomenon Simulator

Numerical modeling 1 Model for a single element 2 Model for an assembly

slide-12
SLIDE 12

Discrete Elements Modeling

Example : hair modeling Physical phenomenon Simulator

Numerical modeling 1 Model for a single element 2 Model for an assembly

slide-13
SLIDE 13

Model for a Dynamic Fiber

Desired properties

  • Fiber : long and very thin structure
  • One clamped end, the other free
slide-14
SLIDE 14

Model for a Dynamic Fiber

Desired properties

  • Fiber : long and very thin structure
  • One clamped end, the other free
  • Can bend and twist
slide-15
SLIDE 15

Model for a Dynamic Fiber

Desired properties

  • Fiber : long and very thin structure
  • One clamped end, the other free
  • Can bend and twist
  • Remains inextensible
slide-16
SLIDE 16

Model for a Dynamic Fiber

Desired properties

  • Fiber : long and very thin structure
  • One clamped end, the other free
  • Can bend and twist
  • Remains inextensible
  • Large displacements allowed
slide-17
SLIDE 17

Model for a Dynamic Fiber

Desired properties

  • Fiber : long and very thin structure
  • One clamped end, the other free
  • Can bend and twist
  • Remains inextensible
  • Large displacements allowed
  • Natural “curliness”
slide-18
SLIDE 18

Model for a Dynamic Fiber

Desired properties

  • Fiber : long and very thin structure
  • One clamped end, the other free
  • Can bend and twist
  • Remains inextensible
  • Large displacements allowed
  • Natural “curliness”

→ Kirchhoff model for thin elastic rods

slide-19
SLIDE 19

Geometry of a Kirchhoff Rod

slide-20
SLIDE 20

Geometry of a Kirchhoff Rod

  • Centerline C(s)
slide-21
SLIDE 21

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

slide-22
SLIDE 22

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

  • Degrees of freedom :
  • twist κ0(s)
  • curvatures κ1(s), κ2(s)
slide-23
SLIDE 23

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

  • Degrees of freedom :
  • twist κ0(s)
  • curvatures κ1(s), κ2(s)
  • Darboux vector :

Ω Ω Ω(s) = κ0(s) n0(s)+κ1(s) n1(s)+κ2(s) n2(s)

slide-24
SLIDE 24

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

  • Degrees of freedom :
  • twist κ0(s)
  • curvatures κ1(s), κ2(s)
  • Darboux vector :

Ω Ω Ω(s) = κ0(s) n0(s)+κ1(s) n1(s)+κ2(s) n2(s)

  • Rotation of the material frame

∀i = 0, 1, 2 dni ds (s) = Ω Ω Ω(s) ∧ ni(s)

slide-25
SLIDE 25

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

  • Degrees of freedom :
  • twist κ0(s)
  • curvatures κ1(s), κ2(s)
  • Darboux vector :

Ω Ω Ω(s) = κ0(s) n0(s)+κ1(s) n1(s)+κ2(s) n2(s)

  • Rotation of the material frame

∀i = 0, 1, 2 dni ds (s) = Ω Ω Ω(s) ∧ ni(s)

slide-26
SLIDE 26

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

  • Degrees of freedom :
  • twist κ0(s)
  • curvatures κ1(s), κ2(s)
  • Darboux vector :

Ω Ω Ω(s) = κ0(s) n0(s)+κ1(s) n1(s)+κ2(s) n2(s)

  • Rotation of the material frame

∀i = 0, 1, 2 dni ds (s) = Ω Ω Ω(s) ∧ ni(s)

slide-27
SLIDE 27

Kirchhoff Dynamic Equations

Conservation of linear and angular momenta ρS ∂2r ∂t2 (s, t) = ∂T ∂s (s, t) + F(s, t) ∂M ∂s (s, t) + n0(s, t) ∧ T(s, t) =

with ρS the lineic mass, T the tension, M the internal torque, and F the lineic density

  • f external force.
slide-28
SLIDE 28

Kirchhoff Dynamic Equations

Conservation of linear and angular momenta ρS ∂2r ∂t2 (s, t) = ∂T ∂s (s, t) + F(s, t) ∂M ∂s (s, t) + n0(s, t) ∧ T(s, t) =

with ρS the lineic mass, T the tension, M the internal torque, and F the lineic density

  • f external force.

Elastic constitutive law M(s) = EI

  • κ(s) − κ0(s)
  • with K the stiffness and κ0 the natural curvatures/twist.
slide-29
SLIDE 29

Kirchhoff Dynamic Equations

Conservation of linear and angular momenta ρS ∂2r ∂t2 (s, t) = ∂T ∂s (s, t) + F(s, t) ∂M ∂s (s, t) + n0(s, t) ∧ T(s, t) =

with ρS the lineic mass, T the tension, M the internal torque, and F the lineic density

  • f external force.

Elastic constitutive law M(s) = EI

  • κ(s) − κ0(s)
  • with K the stiffness and κ0 the natural curvatures/twist.

Boundary conditions C(0) = C0, R(0) = R0 and T(L) = M(L) = 0

slide-30
SLIDE 30

Space-time Discretisation

Challenges

  • Nonlinear, stiff PDE with boundary conditions
  • Stability issues with finite differences

Strong curvatures impose a very fine spatial discretization

slide-31
SLIDE 31

Space-time Discretisation

Challenges

  • Nonlinear, stiff PDE with boundary conditions
  • Stability issues with finite differences

Strong curvatures impose a very fine spatial discretization

Better : spatial discretization beforehand

  • Choice of a finite number of spatial coordinates

Example : the finite elements method

  • System of ODE in time, solved with finite differences
slide-32
SLIDE 32

Space-time Discretisation

Challenges

  • Nonlinear, stiff PDE with boundary conditions
  • Stability issues with finite differences

Strong curvatures impose a very fine spatial discretization

Better : spatial discretization beforehand

  • Choice of a finite number of spatial coordinates

Example : the finite elements method

  • System of ODE in time, solved with finite differences

→ Which choice for spatial coordinates ?

slide-33
SLIDE 33

Two Families of Choice of Coordinates

ℓ g m

slide-34
SLIDE 34

Two Families of Choice of Coordinates

(x, y) Nodal model coordinates X =

  • x

y

X = m g X = ℓ

slide-35
SLIDE 35

Two Families of Choice of Coordinates

(x, y) Nodal model coordinates X =

  • x

y

X = m g X = ℓ Equations are simple to write down Additional constraints are needed

slide-36
SLIDE 36

Two Families of Choice of Coordinates

θ Reduced model coordinate θ mℓ¨ θ = −mg sin θ

slide-37
SLIDE 37

Two Families of Choice of Coordinates

θ Reduced model coordinate θ mℓ¨ θ = −mg sin θ Inextensibility is intrinsically preserved

slide-38
SLIDE 38

Two Families of Choice of Coordinates

θ Reduced model coordinate θ mℓ¨ θ = −mg sin θ Inextensibility is intrinsically preserved Inversion gets easier

slide-39
SLIDE 39

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

slide-40
SLIDE 40

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix

M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

slide-41
SLIDE 41

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces

M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

slide-42
SLIDE 42

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms

M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

slide-43
SLIDE 43

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

slide-44
SLIDE 44

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

  • Constraints
slide-45
SLIDE 45

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

M(q) · ¨ q + K(q, q0) + A(q,˙ q) = F(q,˙ q, t) s.t. C(q) = 0

  • Constraints
slide-46
SLIDE 46

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

Nodal model

M · ¨ q + K(q, q0) = F(q,˙ q, t) s.t. C(q) = 0

  • Constraints

Nodal model : M is sparse , constraints , K is nonlinear

slide-47
SLIDE 47

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

Reduced model

M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t) Reduced model : M is dense , no constraint , K is linear

slide-48
SLIDE 48

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t) → We choose reduced and high-order coordinates : curvatures

slide-49
SLIDE 49

More Generally : Spatial Discretization

Choice of coordinates q ∈ Rm : generalized coordinates, finite number

  • Inertia matrix
  • Internal elastic forces
  • Nonlinear inertial terms
  • External forces

M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t) → We choose reduced and high-order coordinates : curvatures N.B. : The centerline will not be explicit

slide-50
SLIDE 50

Geometry of a Kirchhoff Rod

  • Centerline C(s)
  • Material frame R(s)

R(s) = {n0(s), n1(s), n2(s)} with n0(s) = C′(s)

  • Degrees of freedom :
  • twist κ0(s)
  • curvatures κ1(s), κ2(s)
  • Darboux vector :

Ω Ω Ω(s) = κ0(s) n0(s)+κ1(s) n1(s)+κ2(s) n2(s)

  • Rotation of the material frame

∀i = 0, 1, 2 dni ds (s) = Ω Ω Ω(s) ∧ ni(s)

slide-51
SLIDE 51

Geometry : Darboux Problem

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

slide-52
SLIDE 52

Geometry : Darboux Problem

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

Exact solution

  • Existence of a unique solution
  • However, no explicit formula in the general case

→ Numerical integration may be computationally expensive

slide-53
SLIDE 53

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

slide-54
SLIDE 54

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise constant

[Bertails et al. 2006]

slide-55
SLIDE 55

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise constant

[Bertails et al. 2006]

slide-56
SLIDE 56

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise constant

[Bertails et al. 2006]

  • On each element, closed-form solution for R(s) and C(s)
slide-57
SLIDE 57

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise constant

[Bertails et al. 2006]

  • On each element, closed-form solution for R(s) and C(s)

→ Equations for a circular helix

slide-58
SLIDE 58

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise constant

[Bertails et al. 2006]

  • On each element, closed-form solution for R(s) and C(s)

→ Equations for a circular helix

  • Continuous connection of R(s) between elements
slide-59
SLIDE 59

Discrete Geometry : Super-Helix

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise constant

[Bertails et al. 2006]

  • On each element, closed-form solution for R(s) and C(s)

→ Equations for a circular helix

  • Continuous connection of R(s) between elements

→ All the kinematics is of closed-form → The centerline C(s) is C1-smooth

slide-60
SLIDE 60

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

slide-61
SLIDE 61

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

Computing the terms of the ODE M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t)

slide-62
SLIDE 62

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

Computing the terms of the ODE M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t)

  • Closed-form expression in q, ˙

q for each term

slide-63
SLIDE 63

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

Computing the terms of the ODE M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t)

  • Closed-form expression in q, ˙

q for each term

  • Example : Mi,j = ρS

L ∂C

∂qi (s)

T

· ∂C ∂qj (s) ds

slide-64
SLIDE 64

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

Computing the terms of the ODE M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t)

  • Closed-form expression in q, ˙

q for each term

  • Example : Mi,j = ρS

L ∂C

∂qi (s)

T

· ∂C ∂qj (s) ds Time-solving

  • Mixed implicit/explicit Euler scheme

M v + f = 0 avec v = ˙ qt+1

slide-65
SLIDE 65

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

Computing the terms of the ODE M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t)

  • Closed-form expression in q, ˙

q for each term

  • Example : Mi,j = ρS

L ∂C

∂qi (s)

T

· ∂C ∂qj (s) ds Time-solving

  • Mixed implicit/explicit Euler scheme

M v + f = 0 avec v = ˙ qt+1

  • Implicit elastic forces
slide-66
SLIDE 66

Discrete Dynamics : Super-Helix

q = [κ1

0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N

Computing the terms of the ODE M(q) · ¨ q + K · (q−q0) + A(q,˙ q) = F(q,˙ q, t)

  • Closed-form expression in q, ˙

q for each term

  • Example : Mi,j = ρS

L ∂C

∂qi (s)

T

· ∂C ∂qj (s) ds Time-solving

  • Mixed implicit/explicit Euler scheme

M v + f = 0 avec v = ˙ qt+1

  • Implicit elastic forces

→ Stable simulations

slide-67
SLIDE 67

Discrete Geometry : Super-Clothoïd

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

slide-68
SLIDE 68

Discrete Geometry : Super-Clothoïd

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise-linear

slide-69
SLIDE 69

Discrete Geometry : Super-Clothoïd

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise-linear

slide-70
SLIDE 70

Discrete Geometry : Super-Clothoïd

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise-linear

  • On each element, the solution is a 3D clothoïd
slide-71
SLIDE 71

Discrete Geometry : Super-Clothoïd

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise-linear

  • On each element, the solution is a 3D clothoïd
  • But no more closed-form solution...
slide-72
SLIDE 72

Discrete Geometry : Super-Clothoïd

κ2 κ1 κ0

∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0

If κ0(s), κ1(s), κ2(s) are piecewise-linear

  • On each element, the solution is a 3D clothoïd
  • But no more closed-form solution...
  • How to integrate both precisely and efficiently ?

→ Power-series computation

[Casati and Bertails-Descoubes 2013]

slide-73
SLIDE 73

Inverse Statics of a “Super-Model”

Goal Given q, find q0, E I and ρ S such that q is a stable equilibrium

slide-74
SLIDE 74

Inverse Statics of a “Super-Model”

Goal Given q, find q0, E I and ρ S such that q is a stable equilibrium Equilibrium condition K(E I) ·

  • q − q0

= F(q, ρ S) → Solve a linear problem of size ∼ 3 N

slide-75
SLIDE 75

Inverse Statics of a “Super-Model”

Goal Given q, find q0, E I and ρ S such that q is a stable equilibrium Equilibrium condition K(E I) ·

  • q − q0

= F(q, ρ S) → Solve a linear problem of size ∼ 3 N Sufficient condition of stability E I ρ S ≥ A(q)

slide-76
SLIDE 76

Inverse Statics of a “Super-Model”

Goal Given q, find q0, E I and ρ S such that q is a stable equilibrium Equilibrium condition K(E I) ·

  • q − q0

= F(q, ρ S) → Solve a linear problem of size ∼ 3 N Sufficient condition of stability E I ρ S ≥ A(q) → Compute the eigen values

  • f a real symmetric matrix

(Details in [Derouet-Jourdan et al. 2010] )

slide-77
SLIDE 77

Partial Conclusion

  • The static inversion is trivial for an isolated “Super-Model”
slide-78
SLIDE 78

Partial Conclusion

  • The static inversion is trivial for an isolated “Super-Model”
  • The only one difficulty is “purely” geometric :

How to convert a given curve as a piecewise helix/clothoïd ?

slide-79
SLIDE 79

Partial Conclusion

  • The static inversion is trivial for an isolated “Super-Model”
  • The only one difficulty is “purely” geometric :

How to convert a given curve as a piecewise helix/clothoïd ?

  • Robust and fast approximation algorithms can be designed

Example : floating tangents algorithm

[Derouet-Jourdan et al. 2013]

slide-80
SLIDE 80

Open Problems

  • How to extend to contacting fibers (with friction) ?
  • How to generalize to elastic surfaces (plates / shells) ?
slide-81
SLIDE 81

Open Problems

  • How to extend to contacting fibers (with friction) ?
  • How to generalize to elastic surfaces (plates / shells) ?

→ Work in progress...

slide-82
SLIDE 82

And for contacting fibers ?

Input : set of curves (q) Output : natural curvatures (q0)

  • f Super-Helices

→ Interpret the geometry as a set of Super-Helices at equilibrium under gravity and frictional contacts

slide-83
SLIDE 83

Inverse Modeling of Super-Helices

Without contact K · (q − q0) = F(q) q0 = q − K−1F(q)

slide-84
SLIDE 84

Inverse Modeling of Super-Helices

Without contact K · (q − q0) = F(q) q0 = q − K−1F(q) With frictional contact

  • K · (q − q0) = F(q) + H(q)⊤r

r r r r r ∈ int(Kµ) (Coulomb’s cone) Kµ (P) (A) (B) r r r

  • q0 = q − K−1 · (F(q) + H(q)⊤r

r r) r r r ∈ int(Kµ) Underdetermined problem

slide-85
SLIDE 85

Decoupling gravity and contacts

slide-86
SLIDE 86

Our approach

  • Estimate q0 : q0
slide-87
SLIDE 87

Our approach

  • Estimate q0 : q0
  • Find the “best” force r

r r, i.e., such that : min

r r r

1 2

q0

  • q − K−1(H⊤r

r r + F) −q02 s.t. r r r ∈ int(Kµ)

slide-88
SLIDE 88

Our approach

  • Estimate q0 : q0
  • Find the “best” force r

r r, i.e., such that : min

r r r

1 2

q0

  • q − K−1(H⊤r

r r + F) −q02 + γr r r2 s.t. r r r ∈ int(Kµ)

  • γ : regularization parameter
slide-89
SLIDE 89

Our approach

  • Estimate q0 : q0
  • Find the “best” force r

r r, i.e., such that : min

r r r

1 2

q0

  • q − K−1(H⊤r

r r + F) −q02 + γr r r2 s.t. r r r ∈ int(Kµ)

  • γ : regularization parameter

→ Can be solved by reusing our direct solver for the dynamics !

(Details in [Derouet-Jourdan et al. 2013] )

slide-90
SLIDE 90

Heuristics for estimating q0

slide-91
SLIDE 91

Heuristics for estimating q0

1 q0 = q(L)

slide-92
SLIDE 92

Heuristics for estimating q0

1 q0 = q(L) 2 q0 = q

slide-93
SLIDE 93

Heuristics for estimating q0

1 q0 = q(L) 2 q0 = q

Remember that : min

r r r

1 2

q0

  • q − K−1(H⊤r

r r + F) −q02 + γr r r2 s.t. r r r ∈ int(Kµ) → Find r r r which minimizes the elastic energy of the rods

slide-94
SLIDE 94

Results

3 hairstyles

(a) 8,922 contacts, 5s (b) 30,381 contacts, 19s (c) 14,358 contacts, 15s

slide-95
SLIDE 95

Discussion

Many limitations...

  • Very simple heuristics to estimate q0
  • Large dependence upon the quality of input data
  • No stability criterion yet (= isolated case)
  • Many parameters are assumed to be known
slide-96
SLIDE 96

Discussion

Many limitations...

  • Very simple heuristics to estimate q0
  • Large dependence upon the quality of input data
  • No stability criterion yet (= isolated case)
  • Many parameters are assumed to be known

... And yet

  • Some plausible results
  • The proposed solution is an exact equilibrium
  • Very fast inversion (a few seconds)
slide-97
SLIDE 97

And for Plates / Shells ?

slide-98
SLIDE 98

And for Plates / Shells ?

Case of a developable shell (ongoing work with A. Blumentals)

slide-99
SLIDE 99

And for Plates / Shells ?

Case of a developable shell (ongoing work with A. Blumentals)

  • Inextensibility yields 2 coupled Darboux problems
slide-100
SLIDE 100

And for Plates / Shells ?

Case of a developable shell (ongoing work with A. Blumentals)

  • Inextensibility yields 2 coupled Darboux problems
  • Constant material curvatures yield a closed-form surface

One single element

slide-101
SLIDE 101

And for Plates / Shells ?

Case of a developable shell (ongoing work with A. Blumentals)

  • Inextensibility yields 2 coupled Darboux problems
  • Constant material curvatures yield a closed-form surface

One single element

  • Dynamic equations feature a linear elastic term

(+ a constraint)

slide-102
SLIDE 102

And for Plates / Shells ?

Case of a developable shell (ongoing work with A. Blumentals)

  • Inextensibility yields 2 coupled Darboux problems
  • Constant material curvatures yield a closed-form surface

One single element

  • Dynamic equations feature a linear elastic term

(+ a constraint)

Challenging questions

  • How to connect elements ?
  • How to handle non-developability ?
slide-103
SLIDE 103

Perspectives

  • Refine the identification process when subject to contact
  • Leverage multiple static poses
  • Investigate the stability of the equilibrium
slide-104
SLIDE 104

Perspectives

  • Refine the identification process when subject to contact
  • Leverage multiple static poses
  • Investigate the stability of the equilibrium
  • Continue the extension to the inversion of plates and shells

Leverage the linearity of curvature-based models

slide-105
SLIDE 105

Perspectives

  • Refine the identification process when subject to contact
  • Leverage multiple static poses
  • Investigate the stability of the equilibrium
  • Continue the extension to the inversion of plates and shells

Leverage the linearity of curvature-based models

  • Perform some experimental validation

Ongoing collaboration with Laboratoire Jean le Rond D’Alembert (Paris 6) One of our goals : study the sensitivity of our inversion process to real data

slide-106
SLIDE 106

Acknowledgments

Work performed in collaboration with

  • Alexandre Derouet-Jourdan

(PhD student, defended in 2013)

  • Romain Casati

(PhD student, defended in 2015)

  • Gilles Daviet

(PhD student, ongoing)

  • Alejandro Blumentals

(PhD student, ongoing)

  • Victor Romero

(Postdoc, ongoing)

  • Arnaud Lazarus

(MdC, UPMC)

slide-107
SLIDE 107

Acknowledgments

Work performed in collaboration with

  • Alexandre Derouet-Jourdan

(PhD student, defended in 2013)

  • Romain Casati

(PhD student, defended in 2015)

  • Gilles Daviet

(PhD student, ongoing)

  • Alejandro Blumentals

(PhD student, ongoing)

  • Victor Romero

(Postdoc, ongoing)

  • Arnaud Lazarus

(MdC, UPMC)

Thank you for your attention !