My name is Yoshinari Takayama, currently a researchear at the Laboratoire des Signaux et Systèmes (L2S), a joint research unit of Centrale Supélec,Université Paris-Saclay and CNRS in France, under Alessio Iovine and Adnane Saoud funded by the French National Research Agency (ANR).

Between 2021 and 2023, I completed my master’s degree at the Graduate School of Informatics, Kyoto University, under Toshiyuki Ohtsuka, Japan. Between 2017 and 2021, I completed my bachelor’s degree at the School of Informatics and Mathematical Science, Faculty of Engineering, Kyoto University, Japan.

Research Interests

---

My research passion lie at the intersection of safe learning, formal verification, and cyber-physical systems. I’ve begun to explore their applications in the theoretical foundations of fine-tuning RL algorithms for Foundational Models.

• Safe learning and control
• Optimization algortihm
• Cyber-physical systems and formal methods

Publications

---

Preprints

• Yoshinari Takayama, Kenta Hoshino, Toshiyuki Ohtsuka, “STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications”, 2023. [code]

Peer-Reviewed Conferences

• Yoshinari Takayama, Adnane Saoud, Alessio Iovine, “Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids”, 8th IFAC Conference on Nonlinear Model Predictive Control (NMPC), Japan, 2024.

• Yoshinari Takayama, Adnane Saoud, Alessio Iovine, “Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study”, 12th IFAC Symposium on Control of Power & Energy Systems (CPES), Morocco, 2024.

• Yoshinari Takayama, Kenta Hoshino, Toshiyuki Ohtsuka, “Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications”, IEEE Conference on Decision and Control (CDC), Singapore, 2023.

• Yoshinari Takayama, Kenta Hoshino, Toshiyuki Ohtsuka, “Algebraic Approach to Global Finite-Time Stabilization of Multi-Input Polynomial Systems”, IEEE Conference on Decision and Control (CDC), Mexico, 2022.

Domestic Conferences

• 高山善成, 星野健太, 大塚敏之, “Design of Finite-Time Stabilizing Feedback Laws for Polynomial Systems Using Syzygy Modules (シチジー加群を用いた多項式システムの有限時間整定制御則設計法), システム制御情報学会研究発表講演会（SCI）, Japan, 2022.

Other Talks

• “Structure-Exploiting Optimization for Control with Signal Temporal Logic Specifications, 3rd workshop of the RTE Chair at CentraleSupélec, 2023.