Saved in:
Bibliographic Details
Main Authors: Lee, Haegu, Kim, Yitaek, Sloth, Christoffer
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2605.21138
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918514440273920
author Lee, Haegu
Kim, Yitaek
Sloth, Christoffer
author_facet Lee, Haegu
Kim, Yitaek
Sloth, Christoffer
contents Smoothed implicit contact dynamics enables gradient-based planning and control for contact-rich tasks without predefined mode sequences. However, safety-critical control remains challenging because implicit contact dynamics makes safety-filter design nontrivial. The smoothing parameter $κ$ relaxes contact complementarity constraints, which makes the dynamics smooth but affects the contact force. This paper provides a method for bounding the actual contact force despite the use of relaxed complementarity constraints. We show that constraint violations can be non-monotonic in $κ$. Smaller $κ$ reduces force-approximation error, but it does not necessarily improve safety performance. To address this issue, we introduce boundary-focused rollouts to screen $κ$ by comparing the safety margin with the approximation error. We then develop a discrete-time control barrier function (CBF) framework based on a first-order Taylor approximation of the implicitly defined contact force. To account for possible force under-prediction, we augment the resulting safety constraint with a fixed robust margin. Simulations on four contact-rich systems show that the proposed method eliminates force violations observed under a standard CBF.
format Preprint
id arxiv_https___arxiv_org_abs_2605_21138
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Safety-Critical Control for Smoothed Implicit Contact Dynamics
Lee, Haegu
Kim, Yitaek
Sloth, Christoffer
Robotics
Smoothed implicit contact dynamics enables gradient-based planning and control for contact-rich tasks without predefined mode sequences. However, safety-critical control remains challenging because implicit contact dynamics makes safety-filter design nontrivial. The smoothing parameter $κ$ relaxes contact complementarity constraints, which makes the dynamics smooth but affects the contact force. This paper provides a method for bounding the actual contact force despite the use of relaxed complementarity constraints. We show that constraint violations can be non-monotonic in $κ$. Smaller $κ$ reduces force-approximation error, but it does not necessarily improve safety performance. To address this issue, we introduce boundary-focused rollouts to screen $κ$ by comparing the safety margin with the approximation error. We then develop a discrete-time control barrier function (CBF) framework based on a first-order Taylor approximation of the implicitly defined contact force. To account for possible force under-prediction, we augment the resulting safety constraint with a fixed robust margin. Simulations on four contact-rich systems show that the proposed method eliminates force violations observed under a standard CBF.
title Safety-Critical Control for Smoothed Implicit Contact Dynamics
topic Robotics
url https://arxiv.org/abs/2605.21138