SyNRAC: a maple-package for solving real algebraic constraints toward a robust parametric control toolbox
Hirokazu Anai, Hitoshi Yanami, Shinji Hara · Society of Instrument and Control Engineers of Japan · 2003
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.