8 citations · 9 across the 7 of their papers we have counts for
7 papers · 1 filter
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…
Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks
Yoshio Ebihara, Hayato Waki, Victor Magron +3
In this paper, we focus on the "positive" induced norm of discrete-time linear time-invariant systems where the input signals are restricted to be nonnegative. To cope with t…
Reduction of SISO H-infinity Output Feedback Control Problem
Hayato Waki, Yoshio Ebihara, Noboru Sebe
We consider the linear matrix inequality (LMI) problem of output feedback control problem for a generalized plant whose control input, measured output, disturbance input…