1 Robust Nonlinear Feedback Design via Quantifier Elimination Theory C.T. Abdallah † ,P. Dorato † , D. Famularo ‡ , and W. Yang † † Department of Electrical and Computer Engineering, The University of New Mexico Albuquerque, NM 87131-1356, USA e-mail: {chaouki,peter,wyang}@eece.unm.edu, ‡ Dipartimento di Elettronica, Informatica e Sistemistica, Universit`a degli Studi della Calabria Rende, I-87036, ITALY e-mail: domenico.famularo@unical.it A preliminary version of this brief paper was presented at the 2nd IFAC Symposium on Robust Control which was held in Budapest, Hungary during June 25-27, 1997. The research of P. Dorato was supported in part by NASA contract # NCCW-0087, at the NASA Center for Autonomous Control Engineering, University of New Mexico DRAFT