Login / Signup
Cees Ferdinand Verdier
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Closed Form Solutions
Generative Model
Sampled Data
Top Venues
Autom.
</>
Publications
</>
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.
Autom.
139 (2022)