1 code implementation • 25 Apr 2019 • Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL).
Systems and Control