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…