1. Zhou, K., Doyle, J., Glover, K.: Robust and Optimal Control. Prentice-Hall. Inc., New Jersey (1996)
2. Nishimura, T., Kano, H.: Matrix Riccati Equations in Control Theory (in Japanese). Asakura-syoten, Tokyo (1996)
3. Lecture Notes in Computer Science;T. Kitamoto,2007
4. Abdallah, C., Dorato, P., Yang, W., Liska, R., Steinberg, S.: Application of Quantifier Elimination Theory to Control System Design. In: Proc. of 4th IEEE Mediteranean Symposium of Control and Automation, Maleme, Crete, pp. 340–345 (1996)
5. Lecture Notes in Computer Science;H. Anai,2003