Ebihara Lab Homepage

Study Topics

We explore analysis and synthesis of dynamical systems from broad perspective using mathematical systems theory. Currently, we are actively working on the reliability/stability verification of AI systems on the basis of optimization and control theory.

Special Events

News

March 2024: Conference Paper Accepted New!!
The following paper has been accepted for presentation at European Control Conference 2024.
Y. Ebihara, X. Dai, T. Yuno, V. Magron, D. Peaucelle, and S. Tarbouriech,
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
April 2021: New Research Project Launched
JSPS KAKENHI 21H01354 (PI: Y. Ebihara)
"Stability Analysis and Optimal Synthesis of Recurrent Neural Networks by Conic Programming"
Collaborators: H. Waki (IMI, Kyushu University, Japan), D. Peaucelle, S. Tarbouriech, J. B. Lasserre, V. Magron, N. Mai (LAAS-CNRS, France).