Cover Image

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Hongchao, Qin, Zhizhen, Gao, Sicun, Clark, Andrew
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
by: Dai, Hongkai, et al.
Published: (2024)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

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

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
by: Zhang, Hongchao, et al.
Published: (2024)

Estimating Control Barriers from Offline Data
by: Yu, Hongzhan, et al.
Published: (2025)

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

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems
by: Samanipour, Pouya, et al.
Published: (2025)

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

A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions
by: Clark, Andrew
Published: (2022)

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

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
by: Ganai, Milan, et al.
Published: (2024)

Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2022)

ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach
by: Samanipour, Pouya, et al.
Published: (2026)

Addressing Relative Degree Issues in Control Barrier Function Synthesis with Physics-Informed Neural Networks
by: Brunke, Lukas, et al.
Published: (2025)

Function Gradient Approximation with Random Shallow ReLU Networks with Control Applications
by: Lamperski, Andrew, et al.
Published: (2024)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
by: Wiltz, Adrian, et al.
Published: (2025)

Integral Quadratic Constraints for Repeated ReLU
by: Noori, Sahel Vahedi, et al.
Published: (2026)

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

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

ReLU Surrogates in Mixed-Integer MPC for Irrigation Scheduling
by: Agyeman, Bernard T., et al.
Published: (2024)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
by: Noori, Sahel Vahedi, et al.
Published: (2024)

Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learning
by: Oh, Donggeon David, et al.
Published: (2026)

Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
by: Yin, Ji, et al.
Published: (2025)

Approximation with Random Shallow ReLU Networks with Applications to Model Reference Adaptive Control
by: Lamperski, Andrew, et al.
Published: (2024)

Turning Circle-based Control Barrier Function for Efficient Collision Avoidance of Nonholonomic Vehicles
by: Lee, Changyu, et al.
Published: (2025)

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions
by: MS, Sumeadh, et al.
Published: (2025)

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
by: Singh, Aditya, et al.
Published: (2025)

Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise
by: Tao, Chuyuan, et al.
Published: (2024)

Efficient COLREGs-Compliant Collision Avoidance using Turning Circle-based Control Barrier Function
by: Lee, Changyu, et al.
Published: (2025)

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

Safety Guardrails in the Sky: Realizing Control Barrier Functions on the VISTA F-16 Jet
by: Singletary, Andrew W., et al.
Published: (2026)

Safe Autonomous Environmental Contact for Soft Robots using Control Barrier Functions
by: Dickson, Akua K., et al.
Published: (2025)

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
by: Singh, Aditya, et al.
Published: (2024)

Normalization of ReLU Dual for Cut Generation in Stochastic Mixed-Integer Programs
by: Bansal, Akul, et al.
Published: (2026)

Linearization of ReLU Activation Function for Neural Network-Embedded Optimization: Optimal Day-Ahead Energy Scheduling
by: Zhao, Cunzhi, et al.
Published: (2023)

Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
by: Kim, Joonkyung, et al.
Published: (2026)

Geometry-Aware Control Barrier Functions for Collision Avoidance via Bernstein Polynomial Approximations
by: Jo, Siwon, et al.
Published: (2026)

A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
by: Noori, Sahel Vahedi, et al.
Published: (2024)

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