Quantifier elimination approach to frequency domain design (Q4348653)

The paper addresses robust feedback design problems, with frequency domain specifications which may result, e.g., from bounds on the control input or on the tracking error. These specifications take the form of inequalities where the frequency variable, the uncertain plant parameters and the controller design parameters are assumed to enter in a multivariable polynomial form. A Quantifier Elimination (QE) Approach is proposed for controller design. In this procedure, all quantified real variables are eliminated to produce a Boolean formula in the components of the design vector. This formula is used to specify an admissible set of design parameters. QE Algorithms and Software are available. The approach is especially attractive to solve some practical control problems where no analytic design procedures exist. For the entire collection see [Zbl 0868.00028].