Cover Image

Monotone Neural Barrier Certificates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jafarpour, Saber, Nadali, Alireza, Trivedi, Ashutosh, Zamani, Majid
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
by: Nadali, Alireza, et al.
Published: (2024)

Transfer Learning for Control Systems via Neural Simulation Relations
by: Nadali, Alireza, et al.
Published: (2024)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
by: Galarza-Jimenez, Felipe, et al.
Published: (2026)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
by: Murali, Vishnu, et al.
Published: (2023)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

Monotonicity and Contraction on Polyhedral Cones
by: Jafarpour, Saber, et al.
Published: (2022)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, 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)

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

Vector Certificates for $ω$-regular Specifications
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
by: Jafarpour, Saber, et al.
Published: (2023)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Interpolation-Inspired Closure Certificates
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
by: Liu, Zishun, et al.
Published: (2024)

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
by: Liu, Zishun, et al.
Published: (2025)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
by: Ajeleye, Daniel, et al.
Published: (2024)

Monotonicity as an Architectural Bias for Robust Language Models
by: Cooper, Patrick, et al.
Published: (2026)

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

On the Completeness and Ordering of Path-Complete Barrier Functions
by: Anand, Mahathi, et al.
Published: (2025)

Geometric Reachability for Attitude Control Systems via Contraction Theory
by: Xu, Chencheng, et al.
Published: (2025)

Non-Euclidean Monotone Operator Theory and Applications
by: Davydov, Alexander, et al.
Published: (2023)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

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

Secure-by-Construction Synthesis for Control Systems
by: Zhong, Bingzhuo, et al.
Published: (2023)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

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

On Approximate Opacity of Stochastic Control Systems
by: Liu, Siyuan, et al.
Published: (2024)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)