Robust STL Control Synthesis under Maximal Disturbance Sets

J Verhagen, L Lindemann, J Tumova - arXiv preprint arXiv:2404.05535, 2024 - arxiv.org
This work addresses maximally robust control synthesis under unknown disturbances. We
consider a general nonlinear system, subject to a Signal Temporal Logic (STL) specification …

Signal Temporal Logic Planning With Time-Varying Robustness

Y Yuan, T Quartz, J Liu - IEEE Control Systems Letters, 2024 - ieeexplore.ieee.org
This letter aims to generate a continuous-time trajectory consisting of piecewise Bézier
curves that satisfy signal temporal logic (STL) specifications with piecewise time-varying …