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

Verdier Cees F.
Verdier Cees F.
Kochdumper Niklas
Kochdumper Niklas
Cited by: 0|Bibtex|Views0|Links

Abstract:

We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet general STL specifications. Rather than stating the STL specification for a single initial condition, we consider an (infinite) set of initial conditions. Candidate solutions are...More

Code:

Data:

Your rating :
0

 

Tags
Comments