SyNRAC: a maple-package for solving real algebraic constraints toward a robust parametric control toolbox

We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimination that enables us to accomplish a parameter space method for many robust control problems.

[1]  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..

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

[3]  George E. Collins,et al.  Partial Cylindrical Algebraic Decomposition for Quantifier Elimination , 1991, J. Symb. Comput..

[4]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

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

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

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

[8]  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).

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

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

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

[12]  Thomas Sturm,et al.  Simplification of Quantifier-Free Formulae over Ordered Fields , 1997, J. Symb. Comput..

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

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