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.

International Research Project: JST ASPIRE-CPDS

Japan Science and Technology Agency (JST)
Adopting Sustainable Partnerships for Innovative Research Ecosystem (ASPIRE)
"Building Mathematical Foundation for Cyber Physical Dynamical Systems: Interdisciplinary Research and Human Resource Development on Control with Prediction and Learning"
photo PI: Y. Ebihara
Term: December 2024 to March 2030
Press Release can be found here.

Special Events

News

April 2025: Conference Paper Accepted New!!
The following paper that is related to the verification of NN-driven control systems have been accepted for presentation at The 11th IFAC Symposium on Robust Control Design (ROCOND 2025).
  • H. Gyotoku, T. Yuno, Y. Ebihara, D. Peaucelle, S. Tarbouriech, and V. Magron,
    Detecting Destabilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems
March 2025: Conference Paper Accepted New!!
The following paper that is related to the verification of NN-driven control systems have been accepted for presentation at The 23rd European Control Conference.
  • H. Gyotoku, T. Yuno, Y. Ebihara, V. Magron, D. Peaucelle, and S. Tarbouriech,
    On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers
September 2024: Journal Paper Accepted New!!
The following paper that deals with the verification of NN-driven control systems have been accepted for publication at Transactions of the Society of Instrument and Control Engineers,
  • T. Yuno, K. Fukuchi, and Y. Ebihara,
    Construction and Input-to-Output Characteristics Evaluation of Compressed Model of Recurrent Neural Networks for their Stability Analysis (in Japanese)