Feedback Refinement Relations for the Synthesis of Symbolic Controllers

• Published in: IEEE transactions on automatic control Vol. 62; no. 4; pp. 1781 - 1796
• Main Authors: Reissig, Gunther, Weber, Alexander, Rungger, Matthias
• Format: Journal Article
• Language: English
• Published: IEEE 01.04.2017
• Subjects: Automated synthesis; Complexity theory; Concrete; Context; Control systems; discrete abstraction; nonlinear system; robust synthesis; Robustness; symbolic control; symbolic model; Uncertainty; Vehicle dynamics
• ISSN: 0018-9286; 1558-2523
• DOI: 10.1109/TAC.2016.2593947

We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized (or symbolic) state information only and can be interfaced with the system via a static quantizer. Both features are pa...