Professional Documents
Culture Documents
Abstract— We present a framework to synthesize control a new quantitative semantics for STL, called cumulative
policies for nonlinear dynamical systems from complex tem- quantitative semantics or cumulative robustness degree. The
poral constraints specified in a rich temporal logic called traditional STL robustness degree [11] is very conservative
Signal Temporal Logic (STL). We propose a novel smooth
and differentiable STL quantitative semantics called cumulative since it only considers the robustness at the most critical time
(the time that is closest to violation). On the other hand, we
arXiv:1904.11611v1 [cs.SY] 25 Apr 2019
5
4
3
2
1
x1 0
-1
-2
-3
-4
-5
-6
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Time Step