21 citations · 65 across the 31 of their papers we have counts for
3 papers · 1 filter
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…