Matt has a new preprint available, “A Quasi-static Model and Simulation Approach for Pushing, Grasping, and Jamming.” In it, he derives an LCP-based model for quasi-static manipulation and proves the existence of solutions. Feedback is welcome.