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
Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
SLIDE 3 Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
Complex shape or motion
- Increasing demand for simulators
Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)
Mechanics, numerical analysis, algorithmic
SLIDE 4 Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
Complex shape or motion
- Increasing demand for simulators
Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)
Mechanics, numerical analysis, algorithmic
Guiding line → Search for compact models
SLIDE 5 Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
Complex shape or motion
- Increasing demand for simulators
Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)
Mechanics, numerical analysis, algorithmic
Guiding line → Search for compact models Realism
SLIDE 6 Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
Complex shape or motion
- Increasing demand for simulators
Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)
Mechanics, numerical analysis, algorithmic
Guiding line → Search for compact models Realism + robustness
SLIDE 7 Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
Complex shape or motion
- Increasing demand for simulators
Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)
Mechanics, numerical analysis, algorithmic
Guiding line → Search for compact models Realism + robustness + efficiency
SLIDE 8 Research Area
“Modeling and Simulating complex mechanical objects, and application to Computer Graphics”
Complex shape or motion
- Increasing demand for simulators
Movies & games, virtual prototyping (cosmetology, virtual trying, medical area,...)
Mechanics, numerical analysis, algorithmic
Guiding line → Search for compact models Realism + robustness + efficiency + user control
SLIDE 9
Discrete Elements Modeling
Example : hair modeling Physical phenomenon
SLIDE 10
Discrete Elements Modeling
Example : hair modeling Physical phenomenon Simulator
Numerical modeling
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
Discrete Elements Modeling
Example : hair modeling Physical phenomenon Simulator
Numerical modeling 1 Model for a single element 2 Model for an assembly
SLIDE 13 Model for a Dynamic Fiber
Desired properties
- Fiber : long and very thin structure
- One clamped end, the other free
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 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 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 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 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
Geometry of a Kirchhoff Rod
SLIDE 20 Geometry of a Kirchhoff Rod
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 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 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 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 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 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 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
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
Elastic constitutive law M(s) = EI
- κ(s) − κ0(s)
- with K the stiffness and κ0 the natural curvatures/twist.
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
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 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 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 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
Two Families of Choice of Coordinates
ℓ g m
SLIDE 34 Two Families of Choice of Coordinates
(x, y) Nodal model coordinates X =
y
X = m g X = ℓ
SLIDE 35 Two Families of Choice of Coordinates
(x, y) Nodal model coordinates X =
y
X = m g X = ℓ Equations are simple to write down Additional constraints are needed
SLIDE 36
Two Families of Choice of Coordinates
θ Reduced model coordinate θ mℓ¨ θ = −mg sin θ
SLIDE 37
Two Families of Choice of Coordinates
θ Reduced model coordinate θ mℓ¨ θ = −mg sin θ Inextensibility is intrinsically preserved
SLIDE 38
Two Families of Choice of Coordinates
θ Reduced model coordinate θ mℓ¨ θ = −mg sin θ Inextensibility is intrinsically preserved Inversion gets easier
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 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 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 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 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 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 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
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
Nodal model : M is sparse , constraints , K is nonlinear
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 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 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 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
Geometry : Darboux Problem
κ2 κ1 κ0
∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0
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
Discrete Geometry : Super-Helix
κ2 κ1 κ0
∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0
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 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 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 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 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 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
Discrete Dynamics : Super-Helix
q = [κ1
0, κ1 1, κ2 2, . . . , κN 0 , κN 1 , κN 2 ]T ∈ R3 N
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 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 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
L ∂C
∂qi (s)
T
· ∂C ∂qj (s) ds
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
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 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
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 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
L ∂C
∂qi (s)
T
· ∂C ∂qj (s) ds Time-solving
- Mixed implicit/explicit Euler scheme
M v + f = 0 avec v = ˙ qt+1
→ Stable simulations
SLIDE 67
Discrete Geometry : Super-Clothoïd
κ2 κ1 κ0
∀i dni ds (s) = Ω Ω Ω(s) ∧ ni(s) R(0) = R0
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
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 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 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 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
Inverse Statics of a “Super-Model”
Goal Given q, find q0, E I and ρ S such that q is a stable equilibrium
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) ·
= F(q, ρ S) → Solve a linear problem of size ∼ 3 N
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) ·
= F(q, ρ S) → Solve a linear problem of size ∼ 3 N Sufficient condition of stability E I ρ S ≥ A(q)
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) ·
= 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 Partial Conclusion
- The static inversion is trivial for an isolated “Super-Model”
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 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 Open Problems
- How to extend to contacting fibers (with friction) ?
- How to generalize to elastic surfaces (plates / shells) ?
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 And for contacting fibers ?
Input : set of curves (q) Output : natural curvatures (q0)
→ Interpret the geometry as a set of Super-Helices at equilibrium under gravity and frictional contacts
SLIDE 83
Inverse Modeling of Super-Helices
Without contact K · (q − q0) = F(q) q0 = q − K−1F(q)
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
Decoupling gravity and contacts
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
r r + F) −q02 s.t. r r r ∈ int(Kµ)
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
r r + F) −q02 + γr r r2 s.t. r r r ∈ int(Kµ)
- γ : regularization parameter
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
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
Heuristics for estimating q0
SLIDE 91
Heuristics for estimating q0
1 q0 = q(L)
SLIDE 92
Heuristics for estimating q0
1 q0 = q(L) 2 q0 = q
SLIDE 93 Heuristics for estimating q0
1 q0 = q(L) 2 q0 = q
Remember that : min
r r r
1 2
q0
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
Results
3 hairstyles
(a) 8,922 contacts, 5s (b) 30,381 contacts, 19s (c) 14,358 contacts, 15s
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 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
And for Plates / Shells ?
SLIDE 98
And for Plates / Shells ?
Case of a developable shell (ongoing work with A. Blumentals)
SLIDE 99 And for Plates / Shells ?
Case of a developable shell (ongoing work with A. Blumentals)
- Inextensibility yields 2 coupled Darboux problems
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 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 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 Perspectives
- Refine the identification process when subject to contact
- Leverage multiple static poses
- Investigate the stability of the equilibrium
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 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 Acknowledgments
Work performed in collaboration with
- Alexandre Derouet-Jourdan
(PhD student, defended in 2013)
(PhD student, defended in 2015)
(PhD student, ongoing)
(PhD student, ongoing)
(Postdoc, ongoing)
(MdC, UPMC)
SLIDE 107 Acknowledgments
Work performed in collaboration with
- Alexandre Derouet-Jourdan
(PhD student, defended in 2013)
(PhD student, defended in 2015)
(PhD student, ongoing)
(PhD student, ongoing)
(Postdoc, ongoing)
(MdC, UPMC)
Thank you for your attention !