Copertina

Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Samanipour, Pouya, Poonawala, Hasan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
di: Samanipour, Pouya, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

Detecting Invariant Manifolds in ReLU-Based RNNs
di: Eisenmann, Lukas, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

Discrete Functional Geometry of ReLU Networks via ReLU Transition Graphs
di: Dhayalkar, Sahil Rajesh
Pubblicazione: (2025)

Injectivity capacity of ReLU gates
di: Stojnic, Mihailo
Pubblicazione: (2024)

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

Hidden Minima in Two-Layer ReLU Networks
di: Arjevani, Yossi
Pubblicazione: (2023)

N-ReLU: Zero-Mean Stochastic Extension of ReLU
di: Manik, Md Motaleb Hossen, et al.
Pubblicazione: (2025)

The Geometry of ReLU Networks through the ReLU Transition Graph
di: Dhayalkar, Sahil Rajesh
Pubblicazione: (2025)

Optimal Initialization in Depth: Lyapunov Initialization and Limit Theorems for Deep Leaky ReLU Networks
di: Kogler, Constantin, et al.
Pubblicazione: (2026)

On the ReLU Lagrangian Cuts for Stochastic Mixed Integer Programming
di: Deng, Haoyun, et al.
Pubblicazione: (2024)

LMI hierarchies for stability analysis of ReLU feedback systems
di: Magron, Victor, et al.
Pubblicazione: (2024)

The Resurrection of the ReLU
di: Horuz, Coşku Can, et al.
Pubblicazione: (2025)

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks
di: Badilla, Fabian, et al.
Pubblicazione: (2023)

Why Smooth Stability Assumptions Fail for ReLU Learning
di: Katende, Ronald
Pubblicazione: (2025)

An analysis of optimization problems involving ReLU neural networks
di: Plate, Christoph, et al.
Pubblicazione: (2025)

The Optimal Condition Number for ReLU Function
di: Xia, Yu, et al.
Pubblicazione: (2025)

An Efficient Alternating Algorithm for ReLU-based Symmetric Matrix Decomposition
di: Wang, Qingsong
Pubblicazione: (2025)

Convex Formulations for Training Two-Layer ReLU Neural Networks
di: Prakhya, Karthik, et al.
Pubblicazione: (2024)

Is ReLU Adversarially Robust?
di: Sooksatra, Korn, et al.
Pubblicazione: (2024)

Gradient descent provably escapes saddle points in the training of shallow ReLU networks
di: Cheridito, Patrick, et al.
Pubblicazione: (2022)

Geometry-induced Regularization in Deep ReLU Neural Networks
di: Bona-Pellissier, Joachim, et al.
Pubblicazione: (2024)

Functional dimension of feedforward ReLU neural networks
di: Grigsby, J. Elisenda, et al.
Pubblicazione: (2022)

Injectivity of ReLU networks: perspectives from statistical physics
di: Maillard, Antoine, et al.
Pubblicazione: (2023)