15th Triennial World Congress of the International Federation of Automatic Control
  Barcelona, 21–26 July 2002 
A PARAMETER SPACE APPROACH FOR FIXED-ORDER ROBUST CONTROLLER SYNTHESIS BY SYMBOLIC COMPUTATION
Hirokazu Anai* Shinji Hara**
* Fujitsu Laboratories Ltd, 4-1-1 Kamikodanaka, Nakahara-ku,
Kawasaki 211-8588, Japan
** Department of Information Physics and Computing,
The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku,
Tokyo, 113-0033, Japan

In this paper we propose a new method of parameter space design for robust control synthesis, in particular in terms of real stability radius, using quantifier elimination (QE). We also aim at practicality by employing the scheme to combine the sign definition condition (SDC) and a special QE algorithm using Sturm-Habicht sequence. The validity of our approach is confirmed by some concrete examples.
Keywords: parameter space design, robust control design, stability radius, sign definite condition, quantifier elimination, Sturm-Habicht sequence
Session slot T-Th-A21: Posters of Robotics and Robust Control/Area code 2e : Robust Control