3 citations · 3 across the 6 of their papers we have counts for
7 papers
Locally Stable Neural ODEs with Characterized Region of Attraction
Alice Harting, Karl Henrik Johansson, Sophie Tarbouriech +1
We propose a class of neural ODEs that universally approximates locally exponentially stable dynamics and the region of attraction from trajectory data. The model dynamics are cons…
Multivariable Gradient-Based Extremum Seeking Control with Saturation Constraints
Enzo Ferreira Tomaz Silva, Pedro Henrique Silva Coutinho, Tiago Roux Oliveira +2
This paper addresses the multivariable gradient-based extremum seeking control (ESC) subject to saturation. Two distinct saturation scenarios are investigated here: saturation acti…
Detecting Destabilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems
Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara +3
This paper is concerned with the absolute stability analysis of discrete-time feedback systems with slope-restricted nonlinearities. By employing static O'Shea-Zames-Falb multiplie…
On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers
Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara +3
This study investigates the absolute stability criteria based on the framework of integral quadratic constraint (IQC) for feedback systems with slope-restricted nonlinearities. In…
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 Linear Systems for Nonnegative Input Signals
Yoshio Ebihara, Noboru Sebe, Hayato Waki +4
This paper is concerned with the analysis of the induced norms of continuous-time linear systems where input signals are restricted to be nonnegat…
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…