Publications

---

Preprints

1. 

   [J3] Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control

   Takayama, Yoshinari, lovine, A.,  Besselink, B. and 2 more authors

   2026

   Bib PDF

   @article{takayama2026Automatica,
     author = {Takayama, Yoshinari and lovine, A. and Besselink, B. and Sandou, G. and Saoud, A.},
     title = {[J3] Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control},
     journal = {Submitted to Automatica},
     year = {2026},
     type = {preprint},
     note = {Full Paper},
   }

Peer-Reviewed Journal Papers

1. 

   [J2] Runtime Verifiable Implementation of Recurring Switching Rules via Temporal Logic: Industrial Power System Case Study

   Takayama, Yoshinari, Saoud, A.,  lovine, A. and 1 more author

   Nonlinear Analysis: Hybrid Systems (NAHS) (In Press) 2026

   Bib PDF

   @article{takayama2025NAHS,
     author = {Takayama, Yoshinari and Saoud, A. and lovine, A. and Sandou, G.},
     title = {[J2] Runtime Verifiable Implementation of Recurring Switching Rules via Temporal Logic: Industrial Power System Case Study},
     journal = {Nonlinear Analysis: Hybrid Systems (NAHS) (In Press)},
     year = {2026},
     type = {article},
     url = {https://hal.science/hal-05402089/},
     note = {Full Paper},
   }

2. 

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

   Takayama, Yoshinari, Hashimoto, Kazumune,  and Ohtsuka, Toshiyuki

   IEEE Transactions on Automatic Control, vol. 70, no. 9, pp. 6064-6079 (Full Paper) 2025

   Bib PDF Code

   @article{takayama2025stlccp,
     author = {Takayama, Yoshinari and Hashimoto, Kazumune and Ohtsuka, Toshiyuki},
     title = {[J1] STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications},
     journal = {IEEE Transactions on Automatic Control, vol. 70, no. 9, pp. 6064-6079 (Full Paper)},
     year = {2025},
     type = {article},
     url = {https://ieeexplore.ieee.org/document/10945441},
     note = {Full Paper},
   }

Peer-Reviewed Conference Proceedings

1. 

   [C4] 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 = {[C4] 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. 

   [C3] 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 = {[C3] 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. 

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

   Takayama, Yoshinari, Hashimoto, Kazumune,  and Ohtsuka, Toshiyuki

   In IEEE Conference on Decision and Control (CDC) 2023

   Bib PDF

   @inproceedings{takayama2023cdc,
     author = {Takayama, Yoshinari and Hashimoto, Kazumune and Ohtsuka, Toshiyuki},
     title = {[C2] 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. 

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

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

   In IEEE Conference on Decision and Control (CDC) 2022

   Bib PDF

   @inproceedings{yoshinari2022cdc,
     title = {[C1] Algebraic Approach to Global Finite-Time Stabilization of Multi-Input Polynomial Systems},
     author = {Takayama, Yoshinari 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. 

   [D1] 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 = {[D1] 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