1. Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination;Anai;Proceedings of American Control Conference 2000.,2000
2. Robust Control: The parametric approach;Bhattacharyya,1995
3. Partial cylindrical algebraic decomposition for quantifier elimination;Collins;Journal of Symbolic Computation,1991
4. Robust multi-objective feedback design by quantifier elimination;Dorato;J. Symb. Comp.,1997
5. Efficient algorithms for computing the nearest polynomial with constrained roots;Hitz;ISSAC: Proceedings of the ACM SIGSAM International Symposium on Symbolic and Algebraic Computation,1998