1 citations · 2 across the 3 of their papers we have counts for
4 papers
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…
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…
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming
Cees F. Verdier, Manuel Mazo
This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented met…
Optimal Symbolic Controllers Determinization for BDD storage
Ivan S. Zapreev, Cees Verdier, Manuel Mazo
Controller synthesis techniques based on symbolic abstractions appeal by producing correct-by-design controllers, under intricate behavioural constraints. Yet, being relations betw…