Login
- Title:
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Verdier, Cees Ferdinand; Kochdumper, Niklas; Althoff, Matthias; Mazo, Manuel
- Journal title:
- Automatica
- Year:
- 2022
- Journal volume:
- 139
- Fulltext / DOI:
- doi:10.1016/j.automatica.2022.110184
- Print-ISSN:
- 0005-1098
- Notes:
- Article No. 110184
BibTeX