Robust nonlinear feedback design via quantifier elimination theory

International Journal of Robust and Nonlinear Control

Volumn 9, Issue 11, 1999, Pages 817-822

  Dorato, Peter ^a   Famularo, Domenico ^b   Abdallah, Chaouki T ^a   Yang, Wey ^a  

^a University of New Mexico   (United States)

^b UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; FEEDBACK CONTROL; FUNCTIONS; LYAPUNOV METHODS; POLYNOMIALS; ROBUSTNESS (CONTROL SYSTEMS); SYSTEM STABILITY;

QUANTIFIER ELIMINATION THEORY;

NONLINEAR CONTROL SYSTEMS;

EID: 0032661913     PISSN: 10498923     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1239(199909)9:11<817::AID-RNC433>3.0.CO;2-#     Document Type: Article

References (17)

1. Dorato, P., W. Yang and C. T. Abdallah, 'Robust multi-objective feedback design by quantifier elimination', J. Symbolic Comput., 24, 153-159 (1997).
2. Fiorio, G., S. Malan, M. Milanese and M. Taragna, 'Robust performance design of fixed structure controller with uncertain parameters', Proc. 32nd IEEE Conf. on Decision and Control, San Antonio, TX, 1993, pp. 3029-3031.
3. Freeman, R. A. and P. V. Kokotović, Robust. Nonlinear Control Design, Birkhauser, Boston, 1996.
4. Abdallah, C. T., P. Dorato, W. Yang, R. Liska and S. Steinberg, 'Application of quantifier elimination theory to control system design', Proc. 4th IEEE Mediterranean Symp. Control & Automation, Chania, Crete, Greece, 1996, pp. 41-44.
5. Tarski, A., A Decision Method for Elementary Algebra and Geometry, 2nd edn, University of California Press, Berkeley, CA, 1951.
6. Seidenberg, A., 'A new decision method for elementary algebra', Ann. Math., 60, 365-374 (1954).
7. Anderson, B. D. O., N. K. Bose and E. I. Jury, 'Output feedback and related problems-solution via decision methods', IEEE Trans. Automat. Control, AC-20, 53-65 (1975)
8. Collins, C. E., 'Quantifier elimination in the elementary theory of real closed fields by cylindrical algebraic decomposition', Lecture Notes in Computer Science, Vol. 33, Springer, Berlin, 1975, pp. 134-183.
9. Hong, H., Improvements in CAD-based Quantifier Elimination, Ph.D. thesis, The Ohio State University, 1990.
10. Collins, C. E. and H. Hong, 'Partial cylindrical algebraic decomposition for quantifier elimination', J. Symbolic Comput., 12, 299-328 (1991).
11. Hong, H., 'Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination, Proc. ISSAC'92, Int. Symp. on Symbolic and Algebraic Computation, Berkeley, CA, 1992, ACM Press, New York, pp. 177-188.
12. Basu, S., R. Pollack and M. F. Roy, 'On the combinatorial and algebraic complexity of quantifier elimination', Proc. 35th Symp. on Foundations of Computer Science, Santa Fe, NM, 1994, pp. 632-641.
13. Jirstrand, M., Algebraic methods for modeling and design in control, Masten's thesis, Linköping University, Sweden, 1996. Thesis Nr. 540.
14. Malan, S., M. Milanese and M. Taragna, 'Robust analysis and design of control systems using interval arithmetic', Automatica, 33(7), 1363-1371 (1997).
15. Vidyasagar, M., 'Statistical learning theory and its applications to randomized algorithms for robust controller synthesis', European Control Conf., Plenary Lectures and Mini-Curses, Bastin and Gevers, 1997, pp. 161-189.
16. Krstić, M., I. Kanellakopoulos and P. Kokotović, Nonlinear and Adaptive Control Design, 1st edn, Wiley Interscience, New York, 1995.
17. Khalil, H. K., Nonlinear Systems, Macmillan, New York, 1992.