SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

: 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.

• Type: Conference
• Year: 2003
• Where: ICCS
• Authors: Hirokazu Anai, Hitoshi Yanami
• Keywords: ICCS 2003, Real Algebraic Constraints, Robust Control Problems, Robust Parametric Control