Publications

---

Preprints

Peer-Reviewed Journal Papers

1. 

   STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications

   Takayama, Yoshinari, Hoshino, Kenta,  and Ohtsuka, Toshiyuki

   IEEE Transactions on Automatic Control (Full Paper) 2025

   Bib PDF Code

   @article{takayama2025stlccp,
     author = {Takayama, Yoshinari and Hoshino, Kenta and Ohtsuka, Toshiyuki},
     title = {STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications},
     journal = {IEEE Transactions on Automatic Control (Full Paper)},
     year = {2025},
     type = {article},
     url = {https://ieeexplore.ieee.org/document/10945441},
     note = {Full Paper},
   }

Peer-Reviewed Conference Proceedings

1. 

   Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids

   Takayama, Yoshinari, Saoud, Adnane,  and Iovine, Alessio

   In 8th IFAC Conference on Nonlinear Model Predictive Control (NMPC) 2024

   Bib PDF

   @inproceedings{takayama2024nmpc,
     author = {Takayama, Yoshinari and Saoud, Adnane and Iovine, Alessio},
     title = {Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids},
     booktitle = {8th IFAC Conference on Nonlinear Model Predictive Control (NMPC)},
     year = {2024},
     type = {inproceedings},
     address = {Japan},
     url = {https://hal.science/hal-04548049},
   }

2. 

   Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study

   Takayama, Yoshinari, Saoud, Adnane,  and Iovine, Alessio

   In 12th IFAC Symposium on Control of Power & Energy Systems (CPES) 2024

   Bib PDF

   @inproceedings{takayama2024cpes,
     author = {Takayama, Yoshinari and Saoud, Adnane and Iovine, Alessio},
     title = {Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study},
     booktitle = {12th IFAC Symposium on Control of Power & Energy Systems (CPES)},
     year = {2024},
     type = {inproceedings},
     address = {Morocco},
     url = {https://hal.science/hal-04576820},
   }

3. 

   Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications

   Takayama, Yoshinari, Hoshino, Kenta,  and Ohtsuka, Toshiyuki

   In IEEE Conference on Decision and Control (CDC) 2023

   Bib PDF

   @inproceedings{takayama2023cdc,
     author = {Takayama, Yoshinari and Hoshino, Kenta and Ohtsuka, Toshiyuki},
     title = {Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications},
     booktitle = {IEEE Conference on Decision and Control (CDC)},
     year = {2023},
     type = {inproceedings},
     address = {Singapore},
     url = {https://ieeexplore.ieee.org/document/10383605},
   }

4. 

   Algebraic Approach to Global Finite-Time Stabilization of Multi-Input Polynomial Systems

   Yoshinari, Takayama, Kenta, Hoshino,  and Toshiyuki, Ohtsuka

   In IEEE Conference on Decision and Control (CDC) 2022

   Bib PDF

   @inproceedings{yoshinari2022cdc,
     title = {Algebraic Approach to Global Finite-Time Stabilization of Multi-Input Polynomial Systems},
     author = {Yoshinari, Takayama and Kenta, Hoshino and Toshiyuki, Ohtsuka},
     year = {2022},
     type = {inproceedings},
     booktitle = {IEEE Conference on Decision and Control (CDC)},
     pages = {1847-1854},
     doi = {10.1109/CDC51059.2022.9992595},
     url = {https://ieeexplore.ieee.org/document/9992595},
   }

5. 

   Design of Finite-Time Stabilizing Feedback Laws for Polynomial Systems Using Syzygy Modules

   Takayama, Yoshinari, Hoshino, Kenta,  and Ohtsuka, Toshiyuki

   In システム制御情報学会研究発表講演会 (SCI) 2022

   Bib

   @inproceedings{takayama2022sci,
     author = {Takayama, Yoshinari and Hoshino, Kenta and Ohtsuka, Toshiyuki},
     title = {Design of Finite-Time Stabilizing Feedback Laws for Polynomial Systems Using Syzygy Modules},
     booktitle = {システム制御情報学会研究発表講演会 (SCI)},
     year = {2022},
     type = {inproceedings},
     address = {Japan},
     url = {https://cir.nii.ac.jp/crid/1520010842629404544}
   }

Other Talks