Showing eess.SYShow all
2 papers · 1 filter
eess.SY2020
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cees F. Verdier, Niklas Kochdumper, Matthias Althoff +1
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications o…
eess.SY2020
Formal controller synthesis for hybrid systems using genetic programming
Cees F. Verdier, Manuel Mazo
This paper proposes a framework for automatic formal controller synthesis for general hybrid systems with a subset of safety and reachability specifications. The framework uses gen…