:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Vaisi, Goli, Ferlez, James, Shoukry, Yasser
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Robotics Systems and Control
Online Access:	https://arxiv.org/abs/2501.15189
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
by: Xiao, Wei, et al.
Published: (2023)

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

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

ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks
by: Derajić, Bojan, et al.
Published: (2025)

CN-CBF: Composite Neural Control Barrier Function for Safe Robot Navigation in Dynamic Environments
by: Derajić, Bojan, et al.
Published: (2026)

Learning Local Control Barrier Functions for Hybrid Systems
by: Yang, Shuo, et al.
Published: (2024)

Neural Configuration-Space Barriers for Manipulation Planning and Control
by: Long, Kehan, et al.
Published: (2025)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
by: Compton, William D., et al.
Published: (2024)

Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions
by: Naeem, Ashik Abrar, et al.
Published: (2026)

Learning Conservative Neural Control Barrier Functions from Offline Data
by: Tabbara, Ihab, et al.
Published: (2025)

Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems
by: Qian, Jiajun, et al.
Published: (2024)

Dynamic High-Order Control Barrier Functions with Diffuser for Safety-Critical Trajectory Planning at Signal-Free Intersections
by: Chen, Di, et al.
Published: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

Learning Control Barrier Functions and their application in Reinforcement Learning: A Survey
by: Guerrier, Maeva, et al.
Published: (2024)

Towards Safe Learning-Based Non-Linear Model Predictive Control through Recurrent Neural Network Modeling
by: Clement, Mihaela-Larisa, et al.
Published: (2026)

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions
by: Yang, Lizhi, et al.
Published: (2025)

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
by: Hu, Hanjiang, et al.
Published: (2024)

Optimisation of Structured Neural Controller Based on Continuous-Time Policy Gradient
by: Cho, Namhoon, et al.
Published: (2022)

Adaptive Model-Predictive Control of a Soft Continuum Robot Using a Physics-Informed Neural Network Based on Cosserat Rod Theory
by: Licher, Johann, et al.
Published: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception
by: Ke, Chenxu, et al.
Published: (2025)

An Iterative LQR Controller for Off-Road and On-Road Vehicles using a Neural Network Dynamics Model
by: Nagariya, Akhil, et al.
Published: (2020)

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

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
by: Zhang, Hongchao, et al.
Published: (2026)

Actor-Critic Physics-informed Neural Lyapunov Control
by: Wang, Jiarui, et al.
Published: (2024)

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

Safety Certification in the Latent space using Control Barrier Functions and World Models
by: Anand, Mehul, et al.
Published: (2025)

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

ABNet: Attention BarrierNet for Safe and Scalable Robot Learning
by: Xiao, Wei, et al.
Published: (2024)

AD-NODE: Adaptive Dynamics Learning with Neural ODEs for Mobile Robots Control
by: Yu, Shao-Yi, et al.
Published: (2025)

Hardware Neural Control of CartPole and F1TENTH Race Car
by: Paluch, Marcin, et al.
Published: (2024)

Stochastic Neural Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2025)

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

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
by: Li, Haoyu, et al.
Published: (2025)

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

Neural Control Barrier Functions from Physics Informed Neural Networks
by: Agrawal, Shreenabh, et al.
Published: (2025)

Learning Transferable Friction Models and LuGre Identification Via Physics-Informed Neural Networks
by: Ozmen, Asutay, et al.
Published: (2025)