Posts tagged Mathew Halm
Learning Linear Complementarity Systems

Modeling piecewise affine dynamics is incredibly difficult, especially when you have a lot of pieces! Here, we make some significant headway by recasting the problem as learning a linear complementarity problem (LCP), which can represent exponentially more pieces than the number of learned parameters. Furthermore, the LCP structure exposes hidden complementarity variables, which can be used to construct a twice-differentiable loss, despite the model’s non-smooth predictions.

Paper - Code

Read More
Set-Valued Rigid Body Dynamics for Simultaneous Frictional Impact

There are many nuanced and complicated discrepancies that contribute to the simulation-to-reality gap in robotics, but one is fairly basic: some models are unable to predict any outcome from some initial conditions (non-existence), while in reality, some systems produce many different outcomes from indistinguishably similar conditions (non-uniqueness). We derive models with existence guarantees by capturing this non-uniqueness as a differential inclusion.

Paper - Code

Read More
Modeling and Analysis of Non-unique Behaviors in Multiple Frictional Impacts

Almost every model of contact for robotics has some issue with predicting behaviors when multiple frictional collisions occur simultaneously between rigid bodies—either as a lack of proven existence of solutions or lack of ability to capture the non-unique behaviors observable in simplest of real-world systems. We derive and characterize a novel model of simultaneous frictional impact that resolves both of these issues.

Paper - DWC Talk (15 min) - RSS Talk (5 min) - Poster

Read More
A Quasi-static Model and Simulation Approach for Pushing, Grasping, and Jamming

While quasi-static models are often used for non-prehensile manipulation, they broadly remain incapable of capturing grasping and jamming behaviors, which are essential for dexterous manipulation. We rectify these issues by explicitly modeling the internal dynamics of the manipulator, allowing for guaranteed existence of solutions for arbitrary manipulator commands. We formulate both continuous and time-stepping dynamics as tractable Linear Complementarity Problems.

Paper - Video - WAFR Talk (10 min) - Code

Read More