10 citations · 33 across the 12 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2023★ 7 cited
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
This study considers the control problem with signal temporal logic (STL) specifications. Prior works have adopted smoothing techniques to address this problem within a feasible ti…
eess.SY2023★ 7 cited
STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka
Signal temporal logic (STL) is a powerful formalism for specifying various temporal properties in dynamical systems. However, existing methods, such as mixed-integer programming an…