Imagen de Portada

Efficient Verification and Falsification of ReLU Neural Barrier Certificates

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ren, Dejin, Xue, Yiling, Wu, Taoran, Xue, Bai
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
por: Wu, Taoran, et al.
Publicado: (2025)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
por: Wu, Taoran, et al.
Publicado: (2025)

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
por: Zhang, Hongchao, et al.
Publicado: (2024)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
por: Li, Yonghan, et al.
Publicado: (2024)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
por: Ren, Dejin, et al.
Publicado: (2024)

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

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

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
por: Wu, Taoran, et al.
Publicado: (2024)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
por: Wu, Taoran, et al.
Publicado: (2025)

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

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

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

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
por: Xue, Bai
Publicado: (2024)

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

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

Global Convergence of Policy Gradient Methods for ReLU Controllers in Linear Quadratic Regulation
por: Rodriguez-Gil, Jhojan A., et al.
Publicado: (2026)

ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
por: Li, Xingchen, et al.
Publicado: (2026)

Efficient reformulations of ReLU deep neural networks for surrogate modelling in power system optimisation
por: Kumar, Yogesh Pipada Sunil, et al.
Publicado: (2026)

On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN
por: Do, Huu-Thinh, et al.
Publicado: (2024)

Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
por: Noori, Sahel Vahedi, et al.
Publicado: (2025)

Nonlinear Dynamics In Optimization Landscape of Shallow Neural Networks with Tunable Leaky ReLU
por: Liu, Jingzhou
Publicado: (2025)

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

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

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

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
por: Xue, Bai
Publicado: (2024)

Monotone Neural Barrier Certificates
por: Jafarpour, Saber, et al.
Publicado: (2025)

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets
por: Samanipour, Pouya, et al.
Publicado: (2025)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
por: Wu, Taoran, et al.
Publicado: (2026)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
por: Kranzlmüller, Miriam, et al.
Publicado: (2026)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
por: Zhou, Jingyuan, et al.
Publicado: (2025)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
por: Zhong, Bingzhuo, et al.
Publicado: (2024)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
por: Cao, Zhipeng, et al.
Publicado: (2025)

Learning Neural Hybrid Surrogates for Gradient-Based Falsification
por: Kötz, Lasse, et al.
Publicado: (2026)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
por: Xue, Bai, et al.
Publicado: (2026)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
por: Xue, Bai, et al.
Publicado: (2026)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
por: Lewis, Marco, et al.
Publicado: (2024)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
por: Schön, Oliver, et al.
Publicado: (2024)

Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
por: Kötz, Lasse, et al.
Publicado: (2026)

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

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
por: Xue, Bai, et al.
Publicado: (2025)