Image de couverture de livre

Efficient Verification and Falsification of ReLU Neural Barrier Certificates

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ren, Dejin, Xue, Yiling, Wu, Taoran, Xue, Bai
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
par: Wu, Taoran, et autres
Publié: (2025)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
par: Wu, Taoran, et autres
Publié: (2025)

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
par: Zhang, Hongchao, et autres
Publié: (2024)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
par: Li, Yonghan, et autres
Publié: (2024)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
par: Ren, Dejin, et autres
Publié: (2024)

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems
par: Samanipour, Pouya, et autres
Publié: (2025)

Integral Quadratic Constraints for Repeated ReLU
par: Noori, Sahel Vahedi, et autres
Publié: (2026)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
par: Wu, Taoran, et autres
Publié: (2024)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
par: Wu, Taoran, et autres
Publié: (2025)

ReLU Surrogates in Mixed-Integer MPC for Irrigation Scheduling
par: Agyeman, Bernard T., et autres
Publié: (2024)

Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
par: Noori, Sahel Vahedi, et autres
Publié: (2024)

ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach
par: Samanipour, Pouya, et autres
Publié: (2026)

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

Normalization of ReLU Dual for Cut Generation in Stochastic Mixed-Integer Programs
par: Bansal, Akul, et autres
Publié: (2026)

A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
par: Noori, Sahel Vahedi, et autres
Publié: (2024)

Global Convergence of Policy Gradient Methods for ReLU Controllers in Linear Quadratic Regulation
par: Rodriguez-Gil, Jhojan A., et autres
Publié: (2026)

ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
par: Li, Xingchen, et autres
Publié: (2026)

Efficient reformulations of ReLU deep neural networks for surrogate modelling in power system optimisation
par: Kumar, Yogesh Pipada Sunil, et autres
Publié: (2026)

On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN
par: Do, Huu-Thinh, et autres
Publié: (2024)

Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
par: Noori, Sahel Vahedi, et autres
Publié: (2025)

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

Approximation with Random Shallow ReLU Networks with Applications to Model Reference Adaptive Control
par: Lamperski, Andrew, et autres
Publié: (2024)

Function Gradient Approximation with Random Shallow ReLU Networks with Control Applications
par: Lamperski, Andrew, et autres
Publié: (2024)

Linearization of ReLU Activation Function for Neural Network-Embedded Optimization: Optimal Day-Ahead Energy Scheduling
par: Zhao, Cunzhi, et autres
Publié: (2023)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
par: Xue, Bai
Publié: (2024)

Monotone Neural Barrier Certificates
par: Jafarpour, Saber, et autres
Publié: (2025)

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets
par: Samanipour, Pouya, et autres
Publié: (2025)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
par: Wu, Taoran, et autres
Publié: (2026)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
par: Kranzlmüller, Miriam, et autres
Publié: (2026)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
par: Zhou, Jingyuan, et autres
Publié: (2025)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
par: Zhong, Bingzhuo, et autres
Publié: (2024)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
par: Cao, Zhipeng, et autres
Publié: (2025)

Learning Neural Hybrid Surrogates for Gradient-Based Falsification
par: Kötz, Lasse, et autres
Publié: (2026)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
par: Xue, Bai, et autres
Publié: (2026)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
par: Xue, Bai, et autres
Publié: (2026)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
par: Lewis, Marco, et autres
Publié: (2024)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
par: Schön, Oliver, et autres
Publié: (2024)

Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
par: Kötz, Lasse, et autres
Publié: (2026)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
par: Wang, Chengxiao, et autres
Publié: (2026)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)