Author:
Anai Hirokazu,Weispfenning Volker
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. N. L. Alling. Real elliptic curves. North-Holland, 1981.
2. R. Alur, C. Coucoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicolin, A. Olivere, J. Safakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
3. H. Anai. Algebraic approach to analysis of discrete-time polynomial systems. In Proc. of European Control Conference 1999, 1999.
4. H. Anai and S. Hara. Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. In Proceedings of American Control Conference 2000, pages 1312–1316, 2000.
5. H. Anai and V. Weispfenning. Reach set computation using real quantifier elimination. Technical Report MIP-0012, FMI, Universität Passau, D-94030 Passau, Germany, Oct. 2000.
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献