1. Bezout matrices, subresultant polynomials and Fig. 4. Stability regions in the parameter space (k1; k2) parameters;Abdeljaoued;Applied Mathematics and Computation,2009
2. Anai, H. and Hara, S. (1999). A robust control system design by a special quantifier elimination methods using a Sturm-Habicht sequence. Proc. IMACS-ACA'99.
3. Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination;Anai;In Proc. American Control Conference (ACC), volume,2000
4. Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox;Anai;In Proc. Int. Conf. on Control Applications, volume,2004
5. Output feedback stabilization and related problems-solution via decision methods;Anderson;IEEE Trans. on Automatic Control,1975