On solving semidefinite programming by quantifier elimination

Proceedings of the American Control Conference

Volumn 5, Issue , 1998, Pages 2814-2818

  Anai, Hirokazu ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EXACT SOLUTION; LINEAR MATRIX INEQUALITY PROBLEMS; NONCONVEX; PARAMETER UNCERTAINTY; QUANTIFIER ELIMINATION; SEMI-DEFINITE PROGRAMMING; SYMBOLIC METHODS;

LINEAR MATRIX INEQUALITIES;

MATHEMATICAL PROGRAMMING;

EID: 12744281994     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.1998.688368     Document Type: Conference Paper

References (20)

1. Abdallah, C, Dorato, P., Yang, W., Liska, R., Steinberg, S. (1996). Application of Quantifier Elimination Theory to Control System Design. Proceedings 4th IEEE Mediteranean Symposium on Control and Automation. Maleme, Crete, pp340-345.
2. Anderson, B., Bose, N., Jury, E. (1975). Output feedback stabilization and related Problems - solution via decision methods. IEEE Trans. Auto. Control, pp 53-65.
3. Boyd, S., Ghaoui, L, E., Feron, E,. Balakrishnan, V. (1994). Linear Matrix Inequalities in System and Control Theory. SIAM Studies in Applied Mathematics, vol 15.
4. Collins, G, E. (1975). Quantifier Elimination in the elementary theory of real closed fields by cylindrical algebraic decomposition for quantifier elimination. LNCS 33, 134-183, Springer-Verlag, Berlin.
5. Collins, G, E., Hong, H. (1991). Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comp. 12, No.3, pp299-328.
6. Dorato, P., Yang, W., Abdallah, C. (1995). Application of Quantifier Elimination Theory to Robust Multi-object Feedback Design. J. Symb. Comp. 11 pp 1-6.
7. Gahinet, P., Nemirovski, A., Laub, A.J., Chilai, M. (1995). LMI Control Toolbox User's Guide, For Use with MATLAB. The MATH WORKS INC.
8. Hong, H. (1992). Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. ISSAC'92, International Symposium on Symbolic and Algebraic Computation. ACM Press, pp177-188.
9. Jirstrand, M. (1996). Algebraic Methods for Modeling and Design in Control. Linköping Studied in Science and Technology, Thesis No. 540.
10. A. Neubacher. Parametric Robust Stability by Quantifier Elimination. PhD thesis, Risc-Linz, Oct, 1997.
11. Noro, M., Takeshima, T. (1992). Risa/Asir - a computer algebra system, in "Proc. ISSAC '92," ACM Press, pp. 387-396.
12. Seidenberg, A. (1954). A new decision method for elementary algebra. Annals of Math., Vol. 60, pp. 365-374.
13. Sturm, T. (1994). REDLOG, reduce library of algorithm, s for manipulation of first-order formulas. Univ. of Passau, Technical Report.
14. Sturm, T. (1996). Real Quadratic Quantifier Elimination in Risa/Asir. Fujitsu Labs Research Report ISIS-RR-96-13E.
15. Tarski, A. (1951). Decision Methods for Elementary Algebra and Geometry. Berkeley: Univ. of California Press.
16. Weispfenning, V. (1988). The complexity of linear problems in fields. J. Symb. Comp. 5, (1), 3-27.
17. Loos, R., Weispfenning, V. (1996). Applying linear Quantifier elimination. The Computer Journal, Vol.36, No.5. pp450-462.
18. Vandenberghe, L., Boyd, S. (1996). Semidefmite Programming. SIAM Review, March, Vol.38, No.1, pp 49-95
19. Weispfenning, V. (1996). Quantifier Elimination for real algebra - the quadratic case and beyond. To appear in AAECC, 1996.
20. Weispfenning, V. (1996). Simulation and Optimization by Quantifier Elimination. J. Symb. Comp, to appear.