D-SafeMPC: Diffusion-Driven Safe Model Predictive Control with Discrete-Time Control Barrier Functions

• URL: http://arxiv.org/abs/2607.10842v1
• Date: Sun, 12 Jul 2026 17:10:05 GMT
• Title: D-SafeMPC: Diffusion-Driven Safe Model Predictive Control with Discrete-Time Control Barrier Functions
• Abstract summary: Key limitation on the use of diffusion models in robotic planning is their inability to inherently enforce safety or dynamical constraints.<n>We propose D-SafeMPC, which enhances the interaction between diffusion and control.<n>In simulations on a Franka manipulator, D-SafeMPC improves safety, task success rates, and planning efficiency over state-of-the-art baselines.
• Score: 35.33769360235326
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A key limitation on the use of diffusion models in robotic planning is their inability to inherently enforce safety or dynamical constraints, which often results in physically infeasible or unsafe outputs. Hybrid approaches that employ model predictive control (MPC) to address this problem can be unstable, as poor trajectory initializations from the diffusion model prevent the MPC from converging to a safe and feasible solution. To overcome these challenges, we propose D-SafeMPC, which enhances the interaction between diffusion and control. Our method guides the reverse diffusion process with control barrier functions (CBFs) and control Lyapunov functions (CLFs) and employs an iterative-projection scheme where an MPC refines the trajectory at each denoising step. This steers sampling toward safe, goal-directed regions and provides reliable MPC warm starts. In simulations on a Franka manipulator across four scenarios (one static-obstacle and three dynamic-obstacle settings) and in a sim-to-real experiment on a physical Franka robot, D-SafeMPC improves safety, task success rates, and planning efficiency over state-of-the-art baselines. To facilitate reproducibility, our source code and experimental configurations are available in a repository at https://github.com/erdiphd/D-SafeMPC

Related papers

• Distributed Motion Planning with Safety Guarantees for Self-Reconfiguring Robotic Boats [76.98547580312116]
  This paper proposes a hybrid framework that combines distributed Model Predictive Control (MPC) with Control Barrier Functions (CBFs)<n>To ensure safety in real time, distributed CBF-based filters are applied to enforce inter-agent avoidance.
  arXiv  Detail & Related papers  (2026-07-22T16:37:05Z)
• HJ-SafeDMP: Hamilton-Jacobi Reachability-Guided Dynamic Movement Primitives for Provably Safe Robot Motion [0.8594140167290097]
  This paper introduces HJ-SafeDMP, a framework that integrates Dynamic Movement Primitives with learned Reachability-based safety value functions.<n>We show that HJ-SafeDMP achieves formal safety guarantees with orders-of-magnitude faster execution than optimization-based baselines.
  arXiv  Detail & Related papers  (2026-06-27T16:15:07Z)
• FORMULA: FORmation MPC with neUral barrier Learning for safety Assurance [4.374354534474969]
  FORMULA is a safe distributed, learning-enhanced predictive control framework.<n>It integrates MPC with Control Lyapunov Functions for stability and neural network-based CBFs for decentralized safety.<n>Results demonstrate that FORMULA enables scalable, safety-aware, formation-preserving navigation for multi-robot teams in complex environments.
  arXiv  Detail & Related papers  (2026-04-06T04:21:09Z)
• SafeDMPs: Integrating Formal Safety with DMPs for Adaptive HRI [0.764671395172401]
  This paper introduces SafeDMPs, a framework for robust, non-optimization-based motion control.<n>We show that SafeDMPs is orders of magnitude faster and more accurate than optimization-based baselines.<n>It is an ideal solution for real-time, safe, and collaborative robotics.
  arXiv  Detail & Related papers  (2026-03-31T13:09:43Z)
• Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems [40.270309876786776]
  We introduce structured control barrier functions (s-CBFs) as a multi-agent safety framework.<n>The proposed approach enables a permissive yet formal plug-and-play protocol.<n>We validate the formulation through simulations and real-time experiments of a miniature race-car platoon.
  arXiv  Detail & Related papers  (2026-03-31T10:38:22Z)
• BarrierSteer: LLM Safety via Learning Barrier Steering [83.12893815611052]
  BarrierSteer is a novel framework that formalizes safety by embedding learned non-linear safety constraints directly into the model's latent representation space.<n>We show that BarrierSteer substantially reduces adversarial success rates, decreases unsafe generations, and outperforms existing methods.
  arXiv  Detail & Related papers  (2026-02-23T18:19:46Z)
• Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions [26.692688699287213]
  Safety filters leveraging control barrier functions (CBFs) are highly effective for enforcing safe behavior on complex systems.<n> gaps between the RoM and FoM can result in safety violations.<n>This paper introduces emphpredictive CBFs to address this gap by leveraging rollouts of the FoM to define a predictive robustness term.
  arXiv  Detail & Related papers  (2024-12-05T23:05:25Z)
• SafeDiffuser: Safe Planning with Diffusion Probabilistic Models [97.80042457099718]
  Diffusion model-based approaches have shown promise in data-driven planning, but there are no safety guarantees. We propose a new method, called SafeDiffuser, to ensure diffusion probabilistic models satisfy specifications. We test our method on a series of safe planning tasks, including maze path generation, legged robot locomotion, and 3D space manipulation.
  arXiv  Detail & Related papers  (2023-05-31T19:38:12Z)
• Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions [60.26921219698514]
  We introduce a model-uncertainty-aware reformulation of CBF-based safety-critical controllers. We then present the pointwise feasibility conditions of the resulting safety controller. We use these conditions to devise an event-triggered online data collection strategy.
  arXiv  Detail & Related papers  (2022-08-23T05:02:09Z)
• Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty [77.18483084440182]
  Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are popular tools for enforcing safety and stability of a controlled system, respectively. We present a Gaussian Process (GP)-based approach to tackle the problem of model uncertainty in safety-critical controllers that use CBFs and CLFs.
  arXiv  Detail & Related papers  (2021-06-13T23:08:49Z)
• Reinforcement Learning for Safety-Critical Control under Model Uncertainty, using Control Lyapunov Functions and Control Barrier Functions [96.63967125746747]
  Reinforcement learning framework learns the model uncertainty present in the CBF and CLF constraints. RL-CBF-CLF-QP addresses the problem of model uncertainty in the safety constraints.
  arXiv  Detail & Related papers  (2020-04-16T10:51:33Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.