Cover Image

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shen, Keyi, Chou, Glen
Format:	Preprint
Published:	2026
Subjects:	Robotics Artificial Intelligence 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)

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

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

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)

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

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
by: Tsukamoto, Hiroyasu, et al.
Published: (2022)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
by: Yang, Lujie, et al.
Published: (2024)

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

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

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

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

Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization
by: Murillo-Gonzalez, Alejandro, et al.
Published: (2026)

Enhanced-FQL($λ$), an Efficient and Interpretable RL with novel Fuzzy Eligibility Traces and Segmented Experience Replay
by: Jalaeian-Farimani, Mohsen, et al.
Published: (2026)

DASA: Delay-Adaptive Multi-Agent Stochastic Approximation
by: Fabbro, Nicolò Dal, et al.
Published: (2024)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
by: Malaniya, Georgiy, et al.
Published: (2025)

A universal policy wrapper with guarantees
by: Bolychev, Anton, et al.
Published: (2025)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

A Tricycle Model to Accurately Control an Autonomous Racecar with Locked Differential
by: Raji, Ayoub, et al.
Published: (2023)

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

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

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

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems
by: Vincent, Joseph A., et al.
Published: (2022)

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

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

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

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
by: Zhang, Songyuan, et al.
Published: (2025)

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

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

Hierarchical Reinforcement Learning with Low-Level MPC for Multi-Agent Control
by: Studt, Max, et al.
Published: (2025)

Model Predictive Control of Hybrid Dynamical Systems
by: Sanfelice, Ricardo G., et al.
Published: (2026)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Situationally-Aware Dynamics Learning
by: Murillo-Gonzalez, Alejandro, et al.
Published: (2025)

Learning to Insert for Constructive Neural Vehicle Routing Solver
by: Luo, Fu, et al.
Published: (2025)

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
by: Feng, Mingquan, et al.
Published: (2024)

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

Differentiable Optimization for Deep Learning-Enhanced DC Approximation of AC Optimal Power Flow
by: Rosemberg, Andrew, et al.
Published: (2025)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

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

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

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