arXiv Science⌕ Search

arXiv · 2511.12826

Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints

Abstract

This paper analyzes internal stability of a discrete-time feedback system with a ReLU nonlinearity. This feedback system is motivated by recurrent neural networks. We first review existing static quadratic constraints (QCs) for slope-restricted nonlinearities. Next, we derive hard integral quadratic constraints (IQCs) for scalar ReLU by using finite impulse filters and structured matrices. These IQCs are combined with a dissipation inequality leading to an LMI condition that certifies internal stability. We show that our new dynamic IQCs for ReLU are a superset of the well-known Zames-Falb IQCs specified for slope-restricted nonlinearities. Numerical results show that the proposed hard IQCs give less conservative stability margins than Zames-Falb multipliers and prior static QC methods, sometimes dramatically so.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sahel Vahedi Noori, Bin Hu, Geir Dullerud, Peter Seiler. 2025-11-16. Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints. https://arxiv.org/abs/2511.12826

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Braess' Paradoxes in Coupled Power and Transportation Systems

Transportation electrification introduces strong coupling between the power and transportation systems. In this paper, we generalize the classical notion of Braess' paradox to coupled power and transportation systems, and examine how the cross-system coupling induces new types of Braess' paradoxes. To this end, we model the power and transportation networks as graphs, coupled with charging points connecting to nodes in both graphs. The power system operation is characterized by the economic dispatch optimization, while the transportation system user equilibrium models travelers' route and charging choices. By analyzing simple coupled systems, we demonstrate that capacity expansion in either the transportation or the power system can deteriorate the performance of both systems, and uncover the fundamental mechanisms for such new Braess' paradoxes to occur. We also provide necessary and sufficient conditions for the occurrence of Braess' paradoxes in general coupled systems, leading to managerial insights for infrastructure planners. For general networks, by characterizing generalized user equilibria of coupled systems, we develop charging-pricing policies to mitigate Braess' paradoxes.

eess.SY↗

Analytical Prediction of Voltage Collapse in Current-Limited Grid-Forming Inverters

As converter-interfaced units become dominant in power systems, understanding nonlinear stability phenomena involving discrete switching events becomes essential for secure operation. The limited overcurrent capability of grid-forming (GFM) inverters makes current limiting essential during large disturbances. Activation of a circular current limiter (CCL) can cause the operating equilibrium to disappear under certain circumstances. This paper develops an analytical framework to predict the grid-voltage boundaries for CCL activation and determine whether the operating equilibrium persists or disappears after activation. For CCL-based GFM inverters with frozen anti-windup, closed-form expressions for the activation boundaries are derived while accounting for the filter capacitor. A criterion is established to determine whether a saturated (i.e., current-limited) stable equilibrium point (satSEP) persists following limiter activation. A continuation method is also developed to trace equilibria across normal-control and current-limited operation. Power-angle analysis and dynamic-model continuation in single-inverter and modified 9-bus systems validate these predictions. Time-domain simulations further confirm the results. The results show that CCL activation can either cause immediate loss of the stable equilibrium or allow stable current-limited operation to continue until the equilibrium is lost as operating conditions change further.

eess.SY↗

Reduced Arc-Weight Heterogeneity for Master Stability Analysis of Directed Networks

Master stability analysis can be applied to directed networks even when their Laplacian matrices are not diagonalizable. Nevertheless, a diagonalizable Laplacian is easier to analyse because the perturbations governing synchronization separate into independent modes. This paper asks how many different positive coupling strengths are needed to obtain this simplification without adding or removing any directed connections. We first give an elementary construction showing that suitable positive weights exist for every weakly connected directed network and explain its relationship to stronger genericity results in the literature. We then introduce a measure of the smallest number of distinct coupling strengths required for diagonalizability. If a common coupling strength already produces a diagonalizable Laplacian, only one value is needed. For directed acyclic networks, we give a constructive upper bound based on the length of the longest directed path from a source. This bound is exact for rooted outward directed trees. Consequently, an outward star requires only one coupling value, whereas a directed path requires a different value on every arc. These results reduce coupling heterogeneity while retaining the simpler modal form of master stability analysis. Diagonalizability is treated as an analytical convenience, not as a sufficient condition for synchronization.

eess.SY↗