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, Jr.
Zeitschriftentitel:: Automatica
Jahr:: 2022
Band / Volume:: 139
Seitenangaben Beitrag:: 110184
Volltext / DOI:: doi:10.1016/j.automatica.2022.110184
Verlag / Institution:: Elsevier BV
E-ISSN:: 0005-1098
Publikationsdatum:: 01.05.2022
BibTeX

Vorkommen: