مؤتمر
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
العنوان: | Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications |
---|---|
المؤلفون: | Takayama, Yoshinari, Hashimoto, Kazumune, Ohtsuka, Toshiyuki |
المصدر: | 2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :6855-6862 Dec, 2023 |
Relation: | 2023 62nd IEEE Conference on Decision and Control (CDC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350301243 9798350301236 |
---|---|
تدمد: | 25762370 |
DOI: | 10.1109/CDC49753.2023.10383605 |