8 citations · 9 across the 7 of their papers we have counts for
8 papers
Identification of contractive Lur'e-type systems via kernel-based Lipschitz design
Cesare Donati, Fabrizio Dabbene, Constantino Lagoa +2
This paper addresses the problem of identifying contractive Lur'e-type systems. Specifically, it proposes an identification framework that integrates linear prior knowledge with a…
LMI hierarchies for stability analysis of ReLU feedback systems
Victor Magron, Yoshio Ebihara, Shingo Nishinaka +4
We consider the stability analysis of feedback systems with rectified linear unit (ReLU) activations, and model this problem with polynomial optimization. Stability can be certifie…
Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
Yoshio Ebihara, Hayato Waki, Noboru Sebe +3
This paper is concerned with the analysis of the induced norm of continuous-time LTI systems where the input signals are restricted to be nonnegative. This induced norm is…
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
Yoshio Ebihara, Xin Dai, Victor Magron +2
This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). T…
Tractable semidefinite bounds of positive maximal singular values
Victor Magron, Ngoc Hoang Anh Mai, Yoshio Ebihara +1
We focus on computing certified upper bounds for the positive maximal singular value (PMSV) of a given matrix. The PMSV problem boils down to maximizing a quadratic polynomial on t…
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers
Yoshio Ebihara, Hayato Waki, Victor Magron +3
This paper is concerned with the stability analysis of the recurrent neural networks (RNNs) by means of the integral quadratic constraint (IQC) framework. The rectified linear unit…