Integral Quadratic Constraints for Repeated ReLU
Fuente:
arXiv
Saved in:
| Main Authors: | Noori, Sahel Vahedi, Hu, Bin, Dullerud, Geir, Seiler, Peter |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
by: Noori, Sahel Vahedi, et al.
Published: (2024)
by: Noori, Sahel Vahedi, et al.
Published: (2024)
Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
by: Noori, Sahel Vahedi, et al.
Published: (2025)
by: Noori, Sahel Vahedi, et al.
Published: (2025)
Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
by: Noori, Sahel Vahedi, et al.
Published: (2024)
by: Noori, Sahel Vahedi, et al.
Published: (2024)
An Exact, Finite Dimensional Representation for Full-Block, Circle Criterion Multipliers
by: Biertümpfel, Felix, et al.
Published: (2025)
by: Biertümpfel, Felix, et al.
Published: (2025)
A Data-Ensemble-Based Approach for Sample-Efficient LQ Control of Linear Time-Varying Systems
by: Noori, Sahel Vahedi, et al.
Published: (2025)
by: Noori, Sahel Vahedi, et al.
Published: (2025)
Analysis of Gradient Descent with Varying Step Sizes using Integral Quadratic Constraints
by: Padmanabhan, Ram, et al.
Published: (2022)
by: Padmanabhan, Ram, et al.
Published: (2022)
Control Barrier Functions With Unmodeled Dynamics Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2021)
by: Seiler, Peter, et al.
Published: (2021)
Control Synthesis Along Uncertain Trajectories Using Integral Quadratic Constraints
by: Biertümpfel, Felix, et al.
Published: (2025)
by: Biertümpfel, Felix, et al.
Published: (2025)
Global Convergence of Policy Gradient Methods for ReLU Controllers in Linear Quadratic Regulation
by: Rodriguez-Gil, Jhojan A., et al.
Published: (2026)
by: Rodriguez-Gil, Jhojan A., et al.
Published: (2026)
Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2017)
by: Seiler, Peter, et al.
Published: (2017)
ReLU Surrogates in Mixed-Integer MPC for Irrigation Scheduling
by: Agyeman, Bernard T., et al.
Published: (2024)
by: Agyeman, Bernard T., et al.
Published: (2024)
Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)
by: Ren, Dejin, et al.
Published: (2025)
ControlAgent: Automating Control System Design via Novel Integration of LLM Agents and Domain Expertise
by: Guo, Xingang, et al.
Published: (2024)
by: Guo, Xingang, et al.
Published: (2024)
Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems
by: Samanipour, Pouya, et al.
Published: (2025)
by: Samanipour, Pouya, et al.
Published: (2025)
Normalization of ReLU Dual for Cut Generation in Stochastic Mixed-Integer Programs
by: Bansal, Akul, et al.
Published: (2026)
by: Bansal, Akul, et al.
Published: (2026)
Model-Free $μ$-Synthesis: A Nonsmooth Optimization Perspective
by: Keivan, Darioush, et al.
Published: (2024)
by: Keivan, Darioush, et al.
Published: (2024)
Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees
by: Musavi, Negin, et al.
Published: (2024)
by: Musavi, Negin, et al.
Published: (2024)
ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
by: Li, Xingchen, et al.
Published: (2026)
by: Li, Xingchen, et al.
Published: (2026)
On the constrained feedback linearization control based on the MILP representation of a ReLU-ANN
by: Do, Huu-Thinh, et al.
Published: (2024)
by: Do, Huu-Thinh, et al.
Published: (2024)
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2024)
by: Zhang, Hongchao, et al.
Published: (2024)
Approximation with Random Shallow ReLU Networks with Applications to Model Reference Adaptive Control
by: Lamperski, Andrew, et al.
Published: (2024)
by: Lamperski, Andrew, et al.
Published: (2024)
Function Gradient Approximation with Random Shallow ReLU Networks with Control Applications
by: Lamperski, Andrew, et al.
Published: (2024)
by: Lamperski, Andrew, et al.
Published: (2024)
ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach
by: Samanipour, Pouya, et al.
Published: (2026)
by: Samanipour, Pouya, et al.
Published: (2026)
SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets
by: Samanipour, Pouya, et al.
Published: (2025)
by: Samanipour, Pouya, et al.
Published: (2025)
On Boundedness of Quadratic Dynamics with Energy-Preserving Nonlinearity
by: Liao, Shih-Chi, et al.
Published: (2025)
by: Liao, Shih-Chi, et al.
Published: (2025)
Efficient reformulations of ReLU deep neural networks for surrogate modelling in power system optimisation
by: Kumar, Yogesh Pipada Sunil, et al.
Published: (2026)
by: Kumar, Yogesh Pipada Sunil, et al.
Published: (2026)
Structured Singular Value of a Repeated Complex Full-Block Uncertainty
by: Mushtaq, Talha, et al.
Published: (2022)
by: Mushtaq, Talha, et al.
Published: (2022)
Learning the Integral Quadratic Constraints on Plant-Model Mismatch
by: Tang, Wentao
Published: (2025)
by: Tang, Wentao
Published: (2025)
Nonlinear Dynamics In Optimization Landscape of Shallow Neural Networks with Tunable Leaky ReLU
by: Liu, Jingzhou
Published: (2025)
by: Liu, Jingzhou
Published: (2025)
Data-Driven Min-Max MPC with Integral Quadratic Constraints
by: Xie, Yifan, et al.
Published: (2026)
by: Xie, Yifan, et al.
Published: (2026)
Linearization of ReLU Activation Function for Neural Network-Embedded Optimization: Optimal Day-Ahead Energy Scheduling
by: Zhao, Cunzhi, et al.
Published: (2023)
by: Zhao, Cunzhi, et al.
Published: (2023)
A Convex Optimization Approach to Compute Trapping Regions for Lossless Quadratic Systems
by: Liao, Shih-Chi, et al.
Published: (2024)
by: Liao, Shih-Chi, et al.
Published: (2024)
Trapping Regions for Quadratic Systems with Generalized Lossless Nonlinearities
by: Bhattacharjee, Diganta, et al.
Published: (2026)
by: Bhattacharjee, Diganta, et al.
Published: (2026)
Scaled Relative Graphs and Dynamic Integral Quadratic Constraints: Connections and Computations for Nonlinear Systems
by: de Groot, Timo, et al.
Published: (2026)
by: de Groot, Timo, et al.
Published: (2026)
Partial Attention in Deep Reinforcement Learning for Safe Multi-Agent Control
by: Mohaya, Turki Bin, et al.
Published: (2026)
by: Mohaya, Turki Bin, et al.
Published: (2026)
Online Convex Optimization and Integral Quadratic Constraints: An automated approach to regret analysis
by: Jakob, Fabian, et al.
Published: (2025)
by: Jakob, Fabian, et al.
Published: (2025)
Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
by: Khalife, Elias, et al.
Published: (2025)
by: Khalife, Elias, et al.
Published: (2025)
Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra
by: Kevian, Darioush, et al.
Published: (2024)
by: Kevian, Darioush, et al.
Published: (2024)
Regret of $H_\infty$ Preview Controllers
by: Liu, Jietian, et al.
Published: (2026)
by: Liu, Jietian, et al.
Published: (2026)
Robust Online Convex Optimization for Disturbance Rejection
by: Lai, Joyce, et al.
Published: (2024)
by: Lai, Joyce, et al.
Published: (2024)
Similar Items
-
A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
by: Noori, Sahel Vahedi, et al.
Published: (2024) -
Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
by: Noori, Sahel Vahedi, et al.
Published: (2025) -
Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
by: Noori, Sahel Vahedi, et al.
Published: (2024) -
An Exact, Finite Dimensional Representation for Full-Block, Circle Criterion Multipliers
by: Biertümpfel, Felix, et al.
Published: (2025) -
A Data-Ensemble-Based Approach for Sample-Efficient LQ Control of Linear Time-Varying Systems
by: Noori, Sahel Vahedi, et al.
Published: (2025)