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

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. Automatica, 139:110184, 2022. [doi]

Authors

Cees Ferdinand Verdier

This author has not been identified. Look up 'Cees Ferdinand Verdier' in Google

Niklas Kochdumper

This author has not been identified. Look up 'Niklas Kochdumper' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google

Manuel Mazo Jr.

This author has not been identified. Look up 'Manuel Mazo Jr.' in Google