Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

Titel:: Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Mazo, Manuel
Zeitschriftentitel:: Automatica
Jahr:: 2022
Band / Volume:: 139
Volltext / DOI:: doi:10.1016/j.automatica.2022.110184
Print-ISSN:: 0005-1098
Hinweise:: Article No. 110184
BibTeX

Vorkommen: