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]
@article{VerdierKAM22,
title = {Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications},
author = {Cees Ferdinand Verdier and Niklas Kochdumper and Matthias Althoff and Manuel Mazo Jr.},
year = {2022},
doi = {10.1016/j.automatica.2022.110184},
url = {https://doi.org/10.1016/j.automatica.2022.110184},
researchr = {https://researchr.org/publication/VerdierKAM22},
cites = {0},
citedby = {0},
journal = {Automatica},
volume = {139},
pages = {110184},
}