no code implementations • 7 Jun 2020 • Cees F. Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr
Subsequently, the best candidate is verified using reachability analysis; if the candidate solution does not satisfy the specification, an initial condition violating the specification is extracted as a counterexample.
no code implementations • 6 Dec 2018 • Cees F. Verdier, Manuel Mazo Jr
This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications.