1. Abdallah, C., Dorato, P., Yang, W., Liska, R., Steinberg, S.: Application of Quantifier Elimination Theory to Control System Design. In: Proc. of 4th IEEE Mediterranean Symposium of Control and Automation, Maleme, Crete, pp. 340–345 (1996)
2. Lecture Notes in Computer Science;H. Anai,2003
3. Dorato, P., Yang, W., Abdallah, C.: Robust Multi-Objective Feedback Design by Quantifier Elimination. J. Symbolic Computation 24, 153–159 (1997)
4. Hong, H., Liska, R., Steinberg, S.: Testing Stability by Quantifier Elimination. J. Symbolic Computation 24, 161–187 (1997)
5. Kitamoto, T.: On the computation of H ∞ norm of a system with a parameter. The IEICE Trans. Funda. (Japanese Edition) J89-A(1), 25–39 (2006)