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.
Proceedings of the 1997 American Control Conference
Algorithm design and analysis, computational complexity, SISO systems
Abdallah, Chaouki T.; Wei Yang; and Peter Dorato. "Robust multiobjective feedback design via combined quantifier elimination and discretization." Proceedings of the 1997 American Control Conference (1997): 1843-1847. doi:10.1109/ACC.1997.610904.