Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 12 of 32 found articles
 
 
  Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
 
 
Title: Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Author: Verdier, Cees Ferdinand
Kochdumper, Niklas
Althoff, Matthias
Mazo Jr., Manuel
Appeared in: Automatica
Paging: Volume 139 () nr. C pages p.
Year: 2022
Contents:
Publisher: The Authors
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 12 of 32 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands