Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Ackermann, J.: Robust Control. Communication and Control Engineering (1993)
2. Anai, H., Hara, S.: Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. In: Proceedings of ACC 2000 (to appear)
3. Braun, M.: Differential equations and their applications. In: Applied Mathematical Sciences, 3rd edn., Springer, Heidelberg (1983)
4. Brown, C.W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Computation 32(5), 447–465 (2001)
5. Davenport, J.H., Heintz, J.: Real quantifier elimination is doubly exponential. Journal of Symbolic Computation 5(1–2), 29–35 (1988)