Imagen de Portada

Safe Model Predictive Diffusion with Shielding

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kim, Taekyung, Majd, Keyvan, Okamoto, Hideki, Hoxha, Bardh, Panagou, Dimitra, Fainekos, Georgios
Formato:	Preprint
Publicado:	2025
Materias:	Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
por: Kim, Taekyung, et al.
Publicado: (2026)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
por: Wang, Xinyi, et al.
Publicado: (2025)

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
por: Wang, Xinyi, et al.
Publicado: (2026)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
por: Parwana, Hardik, et al.
Publicado: (2025)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
por: Majd, Keyvan, et al.
Publicado: (2025)

Risk-aware MPPI for Stochastic Hybrid Systems
por: Parwana, Hardik, et al.
Publicado: (2024)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
por: Parwana, Hardik, et al.
Publicado: (2023)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
por: Anderson, Jacob, et al.
Publicado: (2026)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
por: Yang, Shuo, et al.
Publicado: (2023)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
por: Parwana, Hardik, et al.
Publicado: (2024)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
por: Black, Mitchell, et al.
Publicado: (2024)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
por: Hoxha, Bardh, et al.
Publicado: (2026)

Querying Perception Streams with Spatial Regular Expressions
por: Anderson, Jacob, et al.
Publicado: (2024)

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
por: Miao, Yan, et al.
Publicado: (2025)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
por: Black, Mitchell, et al.
Publicado: (2024)

Neural Configuration Distance Function for Continuum Robot Control
por: Long, Kehan, et al.
Publicado: (2024)

Optimal Planning for Timed Partial Order Specifications
por: Watanabe, Kandai, et al.
Publicado: (2024)

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models
por: Majd, Keyvan, et al.
Publicado: (2024)

Backup-Based Safety Filters: A Comparative Review of Backup CBF, Model Predictive Shielding, and gatekeeper
por: Kim, Taekyung, et al.
Publicado: (2026)

Visibility-Aware RRT* for Safety-Critical Navigation of Perception-Limited Robots in Unknown Environments
por: Kim, Taekyung, et al.
Publicado: (2024)

PerceMon: Online Monitoring for Perception Systems
por: Balakrishnan, Anand, et al.
Publicado: (2021)

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
por: Khare, Avishree, et al.
Publicado: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
por: Zhao, Yiqi, et al.
Publicado: (2023)

SMT-Based Dynamic Multi-Robot Task Allocation
por: Tuck, Victoria Marie, et al.
Publicado: (2024)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
por: Hashemi, Navid, et al.
Publicado: (2024)

Beyond Collision Cones: Dynamic Obstacle Avoidance for Nonholonomic Robots via Dynamic Parabolic Control Barrier Functions
por: Park, Hun Kuk, et al.
Publicado: (2025)

How to Adapt Control Barrier Functions? A Learning-Based Approach with Applications to a VTOL Quadplane
por: Kim, Taekyung, et al.
Publicado: (2025)

Learning to Refine Input Constrained Control Barrier Functions via Uncertainty-Aware Online Parameter Adaptation
por: Kim, Taekyung, et al.
Publicado: (2024)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
por: Tuck, Victoria Marie, et al.
Publicado: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
por: Zhao, Yiqi, et al.
Publicado: (2025)

Staggered Integral Online Conformal Prediction for Safe Dynamics Adaptation with Multi-Step Coverage Guarantees
por: Cherenson, Daniel M., et al.
Publicado: (2026)

Distributionally Robust Safety Under Arbitrary Uncertainties: A Safety Filtering Approach
por: Cherenson, Daniel M., et al.
Publicado: (2026)

Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
por: Agrawal, Devansh R., et al.
Publicado: (2025)

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
por: Miao, Yan, et al.
Publicado: (2024)

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions
por: Kim, Taekyung
Publicado: (2026)

FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
por: Fronda, Nicole, et al.
Publicado: (2025)

A Formal gatekeeper Framework for Safe Dual Control with Active Exploration
por: Naveed, Kaleb Ben, et al.
Publicado: (2025)

Multi-Agent gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility
por: Vielmetti, Thomas Marshall, et al.
Publicado: (2025)

FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization
por: Parwana, Hardik, et al.
Publicado: (2022)

Provably Safe Stein Variational Clarity-Aware Informative Planning
por: Naveed, Kaleb Ben, et al.
Publicado: (2025)