3 papers
eess.SY2025
An Exact, Finite Dimensional Representation for Full-Block, Circle Criterion Multipliers
Felix Biertümpfel, Bin Hu, Geir Dullerud +1
This paper provides the first finite-dimensional characterization for the complete set of full-block, circle criterion multipliers. We consider the interconnection of a discrete-ti…
eess.SY2025
Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
Sahel Vahedi Noori, Bin Hu, Geir Dullerud +1
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…
cs.LG2024
A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
Sahel Vahedi Noori, Bin Hu, Geir Dullerud +1
This paper derives a complete set of quadratic constraints (QCs) for the repeated ReLU. The complete set of QCs is described by a collection of matrix copositivity conditions. We a…