Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications Y Takayama, K Hashimoto, T Ohtsuka 2023 62nd IEEE Conference on Decision and Control (CDC), 6855-6862, 2023 | 7 | 2023 |
STLCCP: An efficient convex optimization-based framework for signal temporal logic specifications Y Takayama, K Hashimoto, T Ohtsuka arXiv preprint arXiv:2305.09441, 2023 | 2 | 2023 |
Algebraic approach to global finite-time stabilization of multi-input polynomial systems Y Takayama, K Hoshino, T Ohtsuka 2022 IEEE 61st Conference on Decision and Control (CDC), 1847-1854, 2022 | 1 | 2022 |
Power management via STL specifications of a DC microgrid integrating renewables and storage devices: a smart railway station case study Y Takayama, A Saoud, A Iovine The 12th IFAC Symposium on Control of Power & Energy Systems (CPES) 58 (13 …, 2024 | | 2024 |
Iterative Optimization-based Control of a Class of Mixed Logical Dynamical Systems with STL Specifications: A Case Study on Microgrids Y Takayama, A Saoud, A Iovine The 8th IFAC Conference on Nonlinear Model Predictive Control (NMPC) 58 (18 …, 2024 | | 2024 |
Design of Finite-Time Stabilizing Feedback Laws for Polynomial Systems Using Syzygy Modules Y TAKAYAMA, K HOSHINO, T OTSUKA システム制御情報学会研究発表講演会講演論文集 (CD-ROM) 66, 212-2, 2022 | | 2022 |
シチジー加群を用いた多項式システムの有限時間整定制御則設計法 高山善成, 星野健太, 大塚敏之 システム制御情報学会研究発表講演会講演論文集 66, 433-438, 2022 | | 2022 |