Image de couverture de livre

SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Samanipour, Pouya, Poonawala, Hasan
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

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)

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

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
par: Samanipour, Pouya, et autres
Publié: (2024)

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

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

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

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
par: Ren, Dejin, et autres
Publié: (2025)

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

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)

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

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)

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

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

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

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

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

The Invariant Zonotopic Set-Membership Filter for State Estimation on Groups
par: Li, Tao, et autres
Publié: (2025)

Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function
par: Kim, Dabin, et autres
Publié: (2024)

Detecting Invariant Manifolds in ReLU-Based RNNs
par: Eisenmann, Lukas, et autres
Publié: (2025)

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

Iterative Cut-Based PWA Approximation of Multi-Dimensional Nonlinear Systems
par: Gharavi, Leila, et autres
Publié: (2024)

Data-driven approximation of regions of attraction via an LP-based selection of PWA Lyapunov functions
par: Khattabi, Oumayma, et autres
Publié: (2026)

Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
par: Serry, Mohamed, et autres
Publié: (2026)

FASTER: Fusion AnalyticS for public Transport Event Response
par: Blandin, Sebastien, et autres
Publié: (2019)

Certified Robust Invariant Polytope Training in Neural Controlled ODEs
par: Harapanahalli, Akash, et autres
Publié: (2024)

Hidden Minima in Two-Layer ReLU Networks
par: Arjevani, Yossi
Publié: (2023)

On the ReLU Lagrangian Cuts for Stochastic Mixed Integer Programming
par: Deng, Haoyun, et autres
Publié: (2024)

LMI hierarchies for stability analysis of ReLU feedback systems
par: Magron, Victor, et autres
Publié: (2024)

Injectivity capacity of ReLU gates
par: Stojnic, Mihailo
Publié: (2024)

Gradient descent provably escapes saddle points in the training of shallow ReLU networks
par: Cheridito, Patrick, et autres
Publié: (2022)

Why Smooth Stability Assumptions Fail for ReLU Learning
par: Katende, Ronald
Publié: (2025)

An analysis of optimization problems involving ReLU neural networks
par: Plate, Christoph, et autres
Publié: (2025)

Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems
par: Anderson, Alejandro, et autres
Publié: (2025)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
par: Karam, Carlo, et autres
Publié: (2025)

Adaptive Invariant Extended Kalman Filter for Legged Robot State Estimation
par: Kim, Kyung-Hwan, et autres
Publié: (2025)

Estimation-Aware Trajectory Optimization with Set-Valued Measurement Uncertainties
par: Deole, Aditya, et autres
Publié: (2025)

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

Covariance Intersection-based Invariant Kalman Filtering(DInCIKF) for Distributed Pose Estimation
par: Li, Haoying, et autres
Publié: (2024)