Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination

N. Hyodo,Myunghoon Hong,H. Yanami,S. Hara,H. Anai
DOI: https://doi.org/10.1007/s00200-007-0056-7
2007-11-16
Abstract:
What problem does this paper attempt to address?