مؤتمر
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 |
Full Text Finder | ردمك: | 9798350301243 9798350301236 |
|---|---|
| تدمد: | 25762370 |
| DOI: | 10.1109/CDC49753.2023.10383605 |