Feedback Refinement Relations for the Synthesis of Symbolic Controllers

Gunther Reissig, Alexander Weber, Matthias Rungger

We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized…