Optimization over Manifolds with applications to Robotic Needle...

25
Optimization over Manifolds with applications to Robotic Needle Steering and Channel Layout Design Sachin Patil Guest Lecture: CS287 Advanced Robotics

Transcript of Optimization over Manifolds with applications to Robotic Needle...

Page 1: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Optimization over Manifolds with applications to

Robotic Needle Steering and Channel Layout Design

Sachin Patil

Guest Lecture: CS287 Advanced Robotics

Page 2: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Trajectory Optimization

Optimization over vector spaces n

Page 3: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Not All State-Spaces are ‘Nice’

• Nonholonomic system cannot move in arbitrary directions in its state space • For a simple car: Configuration space is in (the SE(2) group)

2 1 : [ , , ]x y

Page 4: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Nonholonomy Examples

Car pulling trailers: 2 1 1 1 Bicycle: 2 1 1

Rolling Ball: ? 2 (3)SO

Page 5: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

C-Spaces as Manifolds

Manifold: Topological space that near each point resembles Euclidean space

Other examples:

Page 6: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Optimization over Manifolds

n

?

Page 7: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Optimization over Manifolds

n

Page 8: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Optimization over Manifolds

n

Define projection operator from tangent space to manifold

Page 9: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Case Study: Rotation Group (SO(3))

3 3

Optimization over SO(3) arises in robotics, graphics, vision etc.

Rotation matrices: • Unique representation • ‘Smooth’

Page 10: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

: Incremental rotation to reference rotation defined in terms of axis-angle

Parameterization: Incremental Rotations

Why not directly optimize over rotation matrix entries?

Over-constrained (orthonormality)

Larger number of optimization variables

Define local parameterization in terms of incremental rotation

r

r

Page 11: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Projection Operator

r

[ ]e r

: Point on SO(3) that can be reached by traveling along the geodesic in direction

[ ]e r

r

0

0

0

[ ]z y

z x

y x

r r

r r

r r

rwhere

0

1X k

k

e Xk

and is the matrix exponential operator

Page 12: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Optimization Procedure

1) Seed trajectory:

2) Objective subject to: Constraints

3) Compute new trajectory:

4) Reset increments:

1[ , , ]i i i

n r r

min

1ˆ ˆ[ , , ]

ii i

nR R

11

[ ] [ ]

1ˆ ˆ[ · , , · ]

i in

ii i

nR e R e

r r

1

[ , , ]i

0 0

r

[ ]e r

Page 13: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Steerable Needle

Steerable needle

Target Bladder

Prostate

Pelvis Skin

Cowper’s gland

Steerable needles inside phantom tissue

Steerable needles navigate around sensitive structures (simulated)

Page 14: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Steerable Needle

[Webster, Okamura, Cowan, Chirikjian, Goldberg, Alterovitz United States Patent 7,822,458. 2010]

Bevel-tip

Highly flexible

Reaction forces from tissue

Follows constant curvature paths

State (needle tip)

• Position: 3D

• Orientation: 3D

3(3) : (3)SE SO

Page 15: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Steerable Needle: Opt Formulation

Page 16: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Steerable Needle Plans

Page 17: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Results

Why is minimizing twist important?

Page 18: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Channel Layout (Brachytherapy Implants)

Page 19: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Channel Layout: Opt Formulation

Page 20: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Results

Page 21: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Optimization over manifolds – Generalization of optimization over Euclidean spaces

Define incremental parameterization and projection operators between tangent space and manifold

Optimize over increments; reset after each SQP iteration!

Takeaways

Page 22: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Parameterization: Euler Angles

Euler angles

What problems do you foresee in directly using Euler angles in optimization?

Page 23: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Parameterization: Euler Angles

Topology not preserved:

Not unique, discontinuous

Gimbal lock

[0,2 ] [0,2 ] [0,2 ]

Page 24: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Parameterization: Axis-Angles

Orientation defined as rotation around axis • 3-vector; norm of vector

is the angle

Page 25: Optimization over Manifolds with applications to Robotic Needle …people.eecs.berkeley.edu/~pabbeel/cs287-fa13/slides/Opt... · 2013. 9. 27. · PowerPoint Presentation Author: sachin

Parameterization: Axis-Angles

Distances are not preserved! Solution: Keep re-centering the axis-angle around a reference rotation (identity)