21 citations · 65 across the 31 of their papers we have counts for
32 papers
Scalable Incremental Robustness Analysis of Neural Network Feedback Systems
Zichen Wang, Peter Seiler, Geir Dullerud +1
Semidefinite programming (SDP) certificates for feedback systems containing deep neural networks (NNs) typically scale with the total number of neurons, whereas small-gain tests ar…
Finite Sample Identification of Analytic Nonlinear Systems
Negin Musavi, Ziyao Guo, Geir E. Dullerud +1
This paper studies the identification of linearly parameterized nonlinear (LPN) systems. Although LPN systems share the same linear parameterization structure as linear systems, th…
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…