{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:20Z","timestamp":1760061800452},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_9","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:27:49Z","timestamp":1194978469000},"page":"63-76","source":"Crossref","is-referenced-by-count":49,"title":["Reach Set Computations Using Real Quantifier Elimination"],"prefix":"10.1007","author":[{"given":"Hirokazu","family":"Anai","sequence":"first","affiliation":[]},{"given":"Volker","family":"Weispfenning","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"unstructured":"N. L. Alling. Real elliptic curves. North-Holland, 1981.","key":"9_CR1"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"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\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"H. Anai. Algebraic approach to analysis of discrete-time polynomial systems. In Proc. of European Control Conference 1999, 1999.","key":"9_CR3","DOI":"10.23919\/ECC.1999.7099613"},{"doi-asserted-by":"crossref","unstructured":"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\u20131316, 2000.","key":"9_CR4","DOI":"10.1109\/ACC.2000.876713"},{"key":"9_CR5","volume-title":"Technical Report","author":"H. Anai","year":"2000","unstructured":"H. Anai and V. Weispfenning. Reach set computation using real quantifier elimination. Technical Report MIP-0012, FMI, Universit\u00e4t Passau, D-94030 Passau, Germany, Oct. 2000."},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/TAC.1975.1100846","volume":"20","author":"B. Anderson","year":"1975","unstructured":"B. Anderson, N. Bose, and E. Jury. Output feedback stabilization and related problems \u2014 solution via decision methods. IEEE Trans. Auto. Control, 20(1):53\u201365, 1975.","journal-title":"IEEE Trans. Auto. Control"},{"issue":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1145\/235809.235813","volume":"43","author":"S. Basu","year":"1996","unstructured":"S. Basu, R. Pollack, and M.-F. Roy. On the combinatorial and algebraic complexity of quantifier elimination. J. ACM, 43(6):1002\u20131045, 1996.","journal-title":"J. ACM"},{"key":"9_CR8","volume-title":"Graduate Texts in Mathematics","author":"T. Becker","year":"1998","unstructured":"T. Becker, V. Weispfenning, and H. Kredel. Gr\u00f6bner Bases, a Computational Approach to Commutative Algebra, volume 141 of Graduate Texts in Mathematics. Springer, New York, corrected second printing edition, 1998.","edition":"second printing"},{"key":"9_CR9","volume-title":"G\u00e9ometrie alg\u00e9brique r\u00e9elle","author":"J. Bochnak","year":"1987","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy. G\u00e9ometrie alg\u00e9brique r\u00e9elle. Springer, Berlin, Heidelberg, New York, 1987."},{"doi-asserted-by":"crossref","unstructured":"M. Braun. Differential Equations and Their Applications, volume 15 of Applied Mathematical Science. Springer, 3rd edition, 1983.","key":"9_CR10","DOI":"10.1007\/978-1-4684-9229-3"},{"doi-asserted-by":"crossref","unstructured":"B. Caviness and J. Johnson, editors. Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation. Springer, Berlin, Heidelberg, New York, 1998.","key":"9_CR11","DOI":"10.1007\/978-3-7091-9459-1"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3):299\u2013328, Sept. 1991.","journal-title":"Journal of Symbolic Computation"},{"unstructured":"J. Craig. Introduction to Robotics. Addison-Wesley, 1986.","key":"9_CR13"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1997","unstructured":"A. Dolzmann and T. Sturm. REDLOG: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2):2\u20139, June 1997.","journal-title":"ACM SIGSAM Bulletin"},{"key":"9_CR15","first-page":"1","volume":"11","author":"P. Dorato","year":"1995","unstructured":"P. Dorato, W. Yang, and C. Abdallah. Application of quantifier elimination theory to robust multi-object feedback design. J. Symb. Comp. 11, pages 1\u20136, 1995.","journal-title":"J. Symb. Comp."},{"doi-asserted-by":"crossref","unstructured":"L. v. d. Dries. Tame Topology and o-minimal structures. Cambridge University Press, 1998.","key":"9_CR16","DOI":"10.1017\/CBO9780511525919"},{"doi-asserted-by":"crossref","unstructured":"T. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, STOC\u201995, pages 373\u2013382. ACM Press, 1995.","key":"9_CR17","DOI":"10.1145\/225058.225162"},{"key":"9_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","year":"1998","unstructured":"T. Henzinger and S. Sastry, editors. Hybrid Systems: Computation and Control, volume 1386 of LNCS. Springer-Verlag, 1998."},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1006\/jsco.1997.0119","volume":"24","author":"M. Jirstrand","year":"1997","unstructured":"M. Jirstrand. Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation, 24(2):137\u2013152, Aug. 1997. Special issue on applicationsof quantifier elimination.","journal-title":"Journal of Symbolic Computation"},{"unstructured":"P. Kov\u00e1cs. Computer algebra in robot-kinematics. In Proceeding of the workshop:\u201cComputer Algebra in Science and Engineering\u201d, Bielefeld, Aug\u201994, pages 303\u2013316, Singapore, 1994. World Scientific.","key":"9_CR20"},{"doi-asserted-by":"crossref","unstructured":"A. Kurzhanski and I. V\u013ayi. Ellipsoidal Calculus for Estimation and Control. Birkh\u00e4user, 1997.","key":"9_CR21","DOI":"10.1007\/978-1-4612-0277-6"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"G. Lafferriere, G. Pappas, and S. Sastry. O-minimal hybrid systems. Mathematics of control, Signals and Systems, 13(1):1\u201321, 2000.","journal-title":"Mathematics of control, Signals and Systems"},{"key":"9_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"Hybrid Systems: Computation and Control","author":"G. Lafferriere","year":"1999","unstructured":"G. Lafferriere, G. Pappas, and S. Yovine. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, volume 1569 of LNCS, pages 137\u2013151. Springer, 1999."},{"key":"9_CR24","first-page":"7","volume":"E","author":"G. Lafferriere","year":"1999","unstructured":"G. Lafferriere, G. Pappas, and S. Yovine. Reachability computation for linear hybrid systems. In Proceedings of the 14th IFAC World Congress, volume E, pages 7\u201312, Beijin, P.R.China, 1999.","journal-title":"Proceedings of the 14th IFAC World Congress"},{"issue":"5","key":"9_CR25","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R. Loos","year":"1993","unstructured":"R. Loos and V. Weispfenning. Applying linear quantifier elimination. The Computer Journal, 36(5):450\u2013462, 1993. Special issue on computational quantifier elimination.","journal-title":"The Computer Journal"},{"key":"9_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000)","year":"2000","unstructured":"N. A. Lynch and B. H. Krogh, editors. Proceedings Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), Pittsburgh, PA, USA, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, Mar. 2000."},{"doi-asserted-by":"crossref","unstructured":"D. Manocha and J. Canny. Algorithm for implicitizing rational parametric surfaces. In R. Barnhill and W. Boehm, editors, Computer Aided Geometric Design, volume 9. North-Holland, 1992.","key":"9_CR27","DOI":"10.1016\/0167-8396(92)90051-P"},{"doi-asserted-by":"crossref","unstructured":"D. Ne\u0161i\u0107. Two algorithms arising in analysis of polynomial models. In Proceedings of 1998 American Control Conference, pages 1889\u20131893, 1998.","key":"9_CR28","DOI":"10.1109\/ACC.1998.707350"},{"unstructured":"G. Pappas and S. Yovine. Decidable hybrid systems. Technical report, University of California at Berkeley, 1998.","key":"9_CR29"},{"key":"9_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems: Computation and Control","year":"1999","unstructured":"F. Vaandrager and J. von Schuppen, editors. Hybrid Systems: Computation and Control, volume 1569 of LNCS. Springer-Verlag, 1999."},{"issue":"2","key":"9_CR31","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V. Weispfenning","year":"1997","unstructured":"V. Weispfenning. Quanti_er elimination for real algebra\u2014the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing, 8(2):85\u2013101, Feb. 1997.","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"unstructured":"V. Weispfenning. Semilinear motion planning in REDLOG. Technical report, Universit\u00e4t Passau, D-94030 Passau, May 1999. available at the electronic proceedings of IMACS-ACA\u201999, http:\/\/math.unm.edu\/aca.html .","key":"9_CR32"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:24:37Z","timestamp":1556954677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}