350 likes | 457 Views
A family of rigid body models: connections between quasistatic and dynamic multibody systems. Jeff Trinkle Computer Science Department Rensselaer Polytechnic Institute Troy, NY 12180 Jong-Shi Pang, Steve Berard, Guanfeng Liu. Parts Feeder Design. Parts feeder design goals:
E N D
A family of rigid body models: connections between quasistatic and dynamic multibody systems Jeff Trinkle Computer Science Department Rensselaer Polytechnic Institute Troy, NY 12180 Jong-Shi Pang, Steve Berard, Guanfeng Liu
Parts Feeder Design • Parts feeder design goals: • Exit orientation independent of entering orientation • High throughput • Design geometry of feeder to guarantee 1) and maximize 2). • Feeder geometry has 12 design parameters • Evaluate feeder design via simulation Part enters cg down Part enters cg up Motivation Dexterous Manipulation Planning Valid quasistatic plan exists No quasistatic plan found, but dynamic plan exists
Past Work in Quasistatic Multibody Systems Grasping and Walking Machines – late 1970s. Used quasistatic models with assumed contact states. Whtney, “Quasistatic Assembly of Compliantly Supported Rigid Parts,” ASME DSMC, 1982 Caine, Quasistatic Assembly, 1982 Peshkin, Sanderson, Quasistatic Planar Sliding, 1986 Cutkosky, Kao, “Computing and Controlling Compliance in Robot Hands,” IEEE TRA, 1989 Kao, Cutkosky, “Quasistatic Manipulation with Compliance and Sliding,” IJRR, 1992 Peshkin, Schimmels, Force-Guided Assembly, 1992
Past Work in Quasistatic Multibody Systems Mason, Quasistatic Pushing, 1982 - 1996 Brost, Goldberg, Erdmann, Zumel, Lynch, Wang Trinkle, Hunter, Ram , Farahat, Stiller, Ang, Pang, Lo, Yeap, Han, Berard, 1991 – present Trinkle Zeng, “Prediction of Quasistatic Planar Motion of a Contacted Rigid Body,” IEEE TRA, 1995 Pang, Trinkle, Lo, “A Complementarity Approach to a Quasistatic Rigid Body Motion Problem,” COAP 1996
Model Space Dynamic Quasistatic Kinematic Geometric Compliant Rigid Hierarchical Family of Models • Models range from pure geometric to dynamic with contact compliance • Required model “resolution” is dependent on design or planning task • Approach: • Plan with low resolution model first • Use low resolution results to speed planning with high resolution model • Repeat until plan/design with required accuracy is achieved
Quasistatic model: time-scale the Newton-Euler equation. Components of a Dynamic Model Newton-Euler Equation Defines motion dynamics Kinematic Constraints Describe unilateral and bilateral constraints Normal Complementarity Prevents penetration and allows contact separation Friction Law Defines friction force behavior: Bounded magnitude Maximum Dissipation Leads to tangential complementarity Maintains rolling or allows transition from rolling to sliding
Linear Complementarity Problem of size 1. Given constants and , find such that: Complementarity Problems Let be an element of and let be a given function in . Find such that:
- configuration - generalized velocity - symmetric, positive definite inertia matrix - non-contact generalized forces • Jacobian relating generalized velocity and time rate of change of configuration where Newton-Euler Equation Non-contact forces
Locally, C-space is represented as: Kinematic Quantities at Contacts Normal and tangential displacement functions:
Normal Complementarity Define the contact force Normal Complementarity where
Assume a maximum dissipation law where is the contact slip rate Coulomb Linearized Coulomb Friction Friction Friction Slip Slip Slip Dry Friction
Non-contactforces Instantaneous-Time Dynamic Model
Scale the Times of the Input Functions Scale the driving inputs. Replace with in the driving input functions.
Time-Scaled Dynamic Model Change variables Application of chain rule and algebra yields:
Time Stepping Methods Approximate derivatives by: where is the time step, , and is the scaled time at which the state of the system was obtained.
Constraint Stabilization Kinematic Control LCP Time-Stepping Problem
Example: Fence and Particle Assume: Particle is constrained from below Non-contact force: Fence is position-controlled Wall is fixed in place Expected motion: Quasistatic: no motion when not in contact with fence. Dynamic: if deceleration of paddle is large, then particle can continue sliding without fence contact
Time-Scaled Fence and Particle System Dynamic Quasistatic Boundary
Time-Scaled Fence and Particle System Dynamic Quasistatic
Cast Model as Convex Optimization Problem Introduce the friction work rate value function: Linear in Introduce the friction work rate minimum value function:
Equivalent Convex Optimization Problem OPT := Hypograph of is convex. Therefore is concave and is convex. KKT conditions are exactly the discrete-time model.
Theorem If solves the model with quadratic friction cone, then is a globally optimal solutions of OPT corresponding to . Conversely, if is a globally optimal solution to OPT for a given and if is equal to an optimal KKT multiplier of the constraint in OPT, then defining as below, the tuple solves the model with quadratic friction cone.
Proposition: Solution Uniqueness Corresponding to the solution of the discrete-time model with quadratic friction cone, is the unique solution of OPT, if and only if the following implication holds: Added motion does not decrease work Added motion does not change friction work. Added motion does not cause penetration where is a small change in
Friction Slip Slip Friction Example Solution is unique with non-zero quadratic friction on plane Solution is not unique without friction Solution is not unique with linearized friction on plane
Future Work Convergence analysis Experimental validation Design applications
Friction Impulse Limit Curve where Relative Velocity Maximum Work Boundary or Interior Maximum Work Inequalty: Unilateral Constraints is the vector of the components of relative velocity at the contact in the directions. Linearize the limit curve at contact where the columns of are the vectors transformed into C-space.
Friction Impulse Limit Curve Relative Velocity Tangential Complementarity: Example
- diagonal matrix of friction coefficients at rolling contacts Instantaneous Rigid Body Dynamics in the Plane
With Constraint Stabilization Admissible Configurations Admissible Configurations Current implementation uses stabilization and the “path” algorithm (Munson and Ferris). Time-Stepping with Unilateral Constraints Without Constraint Stabilization Solution always exists and Lemke’s algorithm can compute one (Anitescu and Potra).
Solution Non-uniqueness:LCP Non-Convexity Two Solutions
Solution Non-Uniqueness:Contact Force Null Space Both friction cones can “see” the other contact point. Assume: Blue discs are fixed in space Red disc is initially at rest Solution 1 – disc remains at rest Solution 2 – disc accelerates downward External Load