• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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