Mathematical Systems Theory Lab, Kyushu University

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.

What's New

2026/04

Conference Papers Accepted
The following three papers have been accepted for presentation at The 23rd IFAC World Congresss 2026.

J. Higashi, T. Yuno, Y. Ebihara, D. Peaucelle, and S. Tarbouriech: Lifting-Based Approach for Disproving Absolute Stability of Discrete-Time Nonlinear Feedback Systems
D. Peaucelle, S. Callegari, Y. Ebihara, Y. Hosoe, and M. Sato: S-Variable Approach for Generic Convex Polyhedra
T. Iwata, Y. Kawano, D. Peaucelle, Y. Ebihara, and M. Nagahara: Data Informativity for Stability and Stabilization of K-Positive Linear Systems

2026/03

Conference Papers Accepted
The following two papers have been accepted for presentation at European Control Conference 2026 (ECC 2026).

C. Donati, F. Dabbene, C. Lagoa, C. Novara, and Y. Ebihara: Identification of Contractive Lur'e-Type Systems via Kernel-Based Lipschitz Design
N. Sebe, Y. Ebihara, and H. Waki: Lower Bound Computation of L2+ Induced Norm for Scalar LTI Systems

2026/03

Journal Paper Accepted
The following paper has been acccepted for publication at Mathematics of Control, Signals, and Systems.

V. Magron, Y. Ebihara, S. Nishinaka, D. Peaucelle, R. Saeki, T. Yuno, and S. Tarbouriech: LMI Hierarchies for Stability Analysis of ReLU Feedback Systems

2026/02: We have renewed our website.