4 papers
Integral Quadratic Constraints for Repeated ReLU
Sahel Vahedi Noori, Bin Hu, Geir Dullerud +1
This paper presents a new dynamic integral quadratic constraint (IQC) for the repeated Rectified Linear Unit (ReLU). These dynamic IQCs can be used to analyze stability and induced…
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…
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…
Toward Engineering AGI: Benchmarking the Engineering Design Capabilities of LLMs
Xingang Guo, Yaxin Li, Xiangyi Kong +62
Modern engineering, spanning electrical, mechanical, aerospace, civil, and computer disciplines, stands as a cornerstone of human civilization and the foundation of our society. Ho…