Ebihara Lab Home Page
Mathematical Systems Theory Lab. Home Page |

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"

Term: December 2024 to March 2030
Press Release can be found here.
Special Events
- The 23rd European Control Conference, Thessaloniki, Greece, June 24 to 27, 2025
- The 11th IFAC Symposium on Robust Control Design (ROCOND 2025), Porto, Portugal, July 2 to 4, 2025
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

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

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)
