In this note symbolic-computation methods are used to design simple, fixed-
structure, robust controllers for nonlinear systems. Design specifications
are reduced to logically quantified polynomial inequalities: The quantifier
-elimination (QE) software package QEPCAD is used to eliminate quantifiers
on state and plant parameters, to obtain regions of admissible controllers
parameters, that guarantee robust stability and performance. Copyright (C)
1999 John Wiley & Sons, Ltd.