This paper addresses the planning and control problem for nonlinear systems under Signal Temporal Logic (STL) specifications. We first decompose an STL task into finite local tasks. A sampling-based method generates sequences of local waypoints to satisfy all local tasks, from which the corresponding satisfaction pair sets are derived. Following a local-to-global strategy, all sequences of local waypoints are synthesized into a global one, based on which a safe corridor is then constructed. Leveraging the safe corridor and the satisfaction pair sets, an optimization problem is formulated and solved to derive a position trajectory that satisfies the STL task. Finally, numerical examples and comparative results are presented to demonstrate the efficacy of the proposed approach.
@article{arxiv.2604.24107,
title = {Optimal Planning and Control under Signal Temporal Logic Specifications},
author = {Zuodong Pan and Xu Fang and Wei Ren},
journal= {arXiv preprint arXiv:2604.24107},
year = {2026}
}