Mats Jirstrand. Nonlinear Control System Design by Quantifier Elimination. Journal of Symbolic Computation, 24(2):137-152, 1997.
@article{Jirstrand97, title = {Nonlinear Control System Design by Quantifier Elimination}, author = {Mats Jirstrand}, year = {1997}, tags = {control systems, design}, researchr = {https://researchr.org/publication/Jirstrand97}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {24}, number = {2}, pages = {137-152}, }