Login / Signup

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

Cees Ferdinand VerdierNiklas KochdumperMatthias AlthoffManuel Mazo Jr.
Published in: Autom. (2022)
Keyphrases
  • closed form
  • sampled data
  • learning algorithm
  • reinforcement learning
  • digital images
  • model selection
  • generative model
  • closed form solutions