  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 time frame and solve the problem by applying
sequential quadratic programming (SQP) methods naively. However, one of the
drawbacks of this approach is that solutions can easily become trapped in local
minima that do not satisfy the specification. In this study, we propose a new
optimization method, termed CCP-based SQP, based on the convex-concave
procedure (CCP). Our framework includes a new robustness decomposition method
that decomposes the robustness function into a set of constraints, resulting in
a form of difference of convex (DC) program that can be solved efficiently. We
solve this DC program sequentially as a quadratic program by only approximating
the disjunctive parts of the specifications. Our experimental results
demonstrate that our method has a superior performance compared to the
state-of-the-art SQP methods in terms of both robustness and computational
time.
