Cover Image

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nath, Devesh, Yin, Haoran, Chou, Glen
Format:	Preprint
Published:	2025
Subjects:	Robotics Machine Learning Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
by: Srinivasan, Anutam, et al.
Published: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

Active Constraint Learning in High Dimensions from Demonstrations
by: Qiu, Zheng, et al.
Published: (2025)

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates
by: Esmaeili, Babak, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis
by: Leeman, Antoine P., et al.
Published: (2026)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
by: Fang, Jeffrey, et al.
Published: (2026)

Data-Driven Motion Planning for Uncertain Nonlinear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control
by: Skifstad, Julian, et al.
Published: (2026)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
by: Li, Xiao, et al.
Published: (2023)

Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview
by: Tsukamoto, Hiroyasu, et al.
Published: (2021)

Diffusion Policies for Generative Modeling of Spacecraft Trajectories
by: Briden, Julia, et al.
Published: (2025)

Kernel-Based Optimal Control: An Infinitesimal Generator Approach
by: Bevanda, Petar, et al.
Published: (2024)

Compositional Diffusion Models for Powered Descent Trajectory Generation with Flexible Constraints
by: Briden, Julia, et al.
Published: (2024)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

Unifying Entropy Regularization in Optimal Control: From and Back to Classical Objectives via Iterated Soft Policies and Path Integral Solutions
by: Bhole, Ajinkya, et al.
Published: (2025)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
by: Rober, Nicholas, et al.
Published: (2024)

Direct Data Driven Control Using Noisy Measurements
by: Esmzad, Ramin, et al.
Published: (2025)

Multi-Step Deep Koopman Network (MDK-Net) for Vehicle Control in Frenet Frame
by: Abtahi, Mohammad, et al.
Published: (2025)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

Tight Constraint Prediction of Six-Degree-of-Freedom Transformer-based Powered Descent Guidance
by: Briden, Julia, et al.
Published: (2025)

Score Matching Diffusion Based Feedback Control and Planning of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

Iterative Tuning of Nonlinear Model Predictive Control for Robotic Manufacturing Tasks
by: Ingole, Deepak, et al.
Published: (2025)

Safe Guaranteed Exploration for Non-linear Systems
by: Prajapat, Manish, et al.
Published: (2024)

Introduction to Online Control
by: Hazan, Elad, et al.
Published: (2022)

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
by: Lu, Yiwen, et al.
Published: (2023)

Denoising Diffusion-Based Control of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2024)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Online Control-Informed Learning
by: Liang, Zihao, et al.
Published: (2024)

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

Model Predictive Path Integral PID Control for Learning-Based Path Following
by: Kato, Teruki, et al.
Published: (2026)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Model-Based Diffusion for Trajectory Optimization
by: Pan, Chaoyi, et al.
Published: (2024)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
by: Ferlez, James, et al.
Published: (2020)

Safe and Near-Optimal Control with Online Dynamics Learning
by: Prajapat, Manish, et al.
Published: (2025)

TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
by: Mahajan, Ishaan, et al.
Published: (2026)