A robust control system design by a special quantifier elimination - Anai, Hirokazu; Hara, Shinji (2000)