Robust multiobjective feedback design via combined quantifier elimination and discretization

This paper deals with the application of computerized quantifier elimination (QE) methods for robust multiobjective feedback design, when design objectives are specified in the frequency domain. The class of design problems considered here has no analytical solutions, so that computerized solutions are of interest, even for relatively simple problems. However, due to the computational complexity of pure QE algorithms, a combined QE discretization approach is proposed and illustrated with an example