Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox

We propose a new method with a software tool for parametric robust control synthesis by symbolic-numeric computation. The method is a parameter space approach and it is especially effective for analysis and design of fixed structure controllers of rational type. The real quantifier elimination (QE), which is one of the recent progresses in the symbolic computation, plays a key role in our development The QE-based approach can uniformly deal with a lot of important design specifications for robust control such as frequency restricted H/sub /spl infin// norm constraints, stability (gain/phase) margin and stability radius specifications, and pole location requirement by reducing such specifications to a particular type of formulas called a "sign definite condition (SDC)". This is also useful for improving the efficiency of QE computations since we can utilize an efficient QE algorithm specialized to the SDC. We have developed a MATLAB toolbox for robust parametric control based on a parameter space approach accomplished by QE. The QE-based parameter space approach and numerical simulation of specifications for specific controller parameter values taken from a controller parameter space are integrated conveniently in our toolbox with the assistance of a graphical user interface. This enables control engineers to achieve multi-objective robust controller synthesis smoothly. We also discuss how to merge the numerical computation and the symbolic operation to make our new design methods more efficient in practical control design.

[1]  Tetsuya Kimura,et al.  A Robust Control System Design by a Parameter Space Approach Based on Sign Definite Condition , 1991 .

[2]  Rüdiger Loos,et al.  Applying Linear Quantifier Elimination , 1993, Comput. J..

[3]  Shinji Hara,et al.  Dynamical system design from a control perspective: finite frequency positive-realness approach , 2003, IEEE Trans. Autom. Control..

[4]  L. González-Vega.  A Combinatorial Algorithm Solving Some Quantifier Elimination Problems , 1998 .

[5]  H. Anai,et al.  On solving semidefinite programming by quantifier elimination , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[6]  Marie-Françoise Roy,et al.  Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials , 1998 .

[7]  Hirokazu Anai,et al.  SyNRAC: A Maple-Package for Solving Real Algebraic Constraints , 2003, International Conference on Computational Science.

[8]  S. Hara,et al.  Linear programming approach to robust controller design by a quantifier elimination , 2002, Proceedings of the 41st SICE Annual Conference. SICE 2002..

[9]  Volker Weispfenning,et al.  The Complexity of Linear Problems in Fields , 1988, Journal of symbolic computation.

[10]  Wei Yang,et al.  Robust Multi-Objective Feedback Design by Quantifier Elimination , 1997, J. Symb. Comput..

[11]  Tomás Recio,et al.  Sturm-Habicht sequence , 1989, ISSAC '89.

[12]  Mats Jirstrand,et al.  Nonlinear Control System Design by Quantifier Elimination , 1997, J. Symb. Comput..

[13]  M. Jirstrand.  Constructive Methods for Inequality Constraints in Control , 1998 .

[14]  H. Yanami,et al.  A Matlab toolbox for robust control synthesis by symbolic computation , 2004, SICE 2004 Annual Conference.

[15]  Hirokazu Anai,et al.  A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra : Algorithms, Implementations and Applications) , 2002 .

[16]  Gerardo Lafferriere,et al.  Symbolic Reachability Computation for Families of Linear Vector Fields , 2001, J. Symb. Comput..

[17]  B. F. Caviness,et al.  Quantifier Elimination and Cylindrical Algebraic Decomposition , 2004, Texts and Monographs in Symbolic Computation.

[18]  D. Siljak.  New algebraic criteria for positive realness , 1971 .

[19]  S. Hara,et al.  Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[20]  Hirokazu Anai,et al.  Reach Set Computations Using Real Quantifier Elimination , 2001, HSCC.

[21]  Shinji Hara,et al.  Parameter Space Design for H∞ Control , 1991 .