Login / Signup
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.
Cees F. Verdier
Niklas Kochdumper
Matthias Althoff
Manuel Mazo Jr.
Published in:
CoRR (2020)
Keyphrases
</>
closed form
sampled data
image processing
low cost
high dimensional data