Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.. Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Automatica, 139:110184, 2022. [doi]
Abstract is missing.