{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:51Z","timestamp":1725551811603},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260448"},{"type":"electronic","value":"9783540321187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11428862_82","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T17:59:23Z","timestamp":1270835963000},"page":"602-610","source":"Crossref","is-referenced-by-count":3,"title":["Development of SyNRAC"],"prefix":"10.1007","author":[{"given":"Hitoshi","family":"Yanami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"82_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/3-540-44860-8_86","volume-title":"Computational Science \u2013 ICCS 2003","author":"H. Anai","year":"2003","unstructured":"Anai, H., Yanami, H.: SyNRAC: A Maple-package for solving real algebraic constraints. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02657, pp. 828\u2013837. Springer, Heidelberg (2003)"},{"key":"82_CR2","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S.: A parameter space approach for fixed-order robust controller synthesis by symbolic computation. In: Proceedings of IFAC World Congress on Automatic Control b 2002 (2002)","DOI":"10.3182\/20020721-6-ES-1901.00394"},{"key":"82_CR3","doi-asserted-by":"crossref","unstructured":"Anai, H., Yanami, H., Hara, S.: SyNRAC: a maple-package for solving real algebraic constraints toward a robust parametric control toolbox. In: Proceedings of SICE Annual Conference 2003, Fukui, Japan, pp. 1716\u20131721 (2003)","DOI":"10.1007\/3-540-44860-8_86"},{"key":"82_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1006\/jsco.1997.0122","volume":"24","author":"V. Weispfenning","year":"1997","unstructured":"Weispfenning, V.: Simulation and optimization by quantifier elimination. Journal of Symbolic Computation\u00a024, 189\u2013208 (1997); Special issue on applications of quantifier elimination","journal-title":"Journal of Symbolic Computation"},{"key":"82_CR5","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-7091-9459-1_4","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"G.E. Collins","year":"1998","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 85\u2013121. Springer, Wien (1998)"},{"key":"82_CR6","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-7091-9459-1_8","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"H. Hong","year":"1998","unstructured":"Hong, H.: An improvement of the projection operator in cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 166\u2013173. Springer, Wien (1998)"},{"key":"82_CR7","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-7091-9459-1_12","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"S. McCallum","year":"1998","unstructured":"McCallum, S.: An improved projection operation for cylindrical algebraic decomposition. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 242\u2013268. Springer, Wien (1998)"},{"key":"82_CR8","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1006\/jsco.2001.0463","volume":"32","author":"C.W. Brown","year":"2001","unstructured":"Brown, C.W.: Improved projection for cylindrical algebraic decomposition. Journal of Symbolic Computation\u00a032, 447\u2013465 (2001)","journal-title":"Journal of Symbolic Computation"},{"key":"82_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/3-540-44860-8_86","volume-title":"Computational Science \u2013 ICCS 2003","author":"H. Anai","year":"2003","unstructured":"Anai, H., Yanami, H.: SyNRAC: a Maple-package for solving real algebraic constraints. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02657, pp. 828\u2013837. Springer, Heidelberg (2003)"},{"key":"82_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"Weispfenning, V.: The complexity of linear problems in fields. Journal of Symbolic Computation\u00a05, 3\u201327 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"82_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V. Weispfenning","year":"1997","unstructured":"Weispfenning, V.: Quantifier elimination for real algebra\u2014the quadratic case and beyond. Applicable Algebra in Engineering Communication and Computing\u00a08, 85\u2013101 (1997)","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"key":"82_CR12","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R. Loos","year":"1993","unstructured":"Loos, R., Weispfenning, V.: Applying linear quantifier elimination. The Computer Journal\u00a036, 450\u2013462 (1993); Special issue on computational quantifier elimination","journal-title":"The Computer Journal"},{"key":"82_CR13","doi-asserted-by":"crossref","unstructured":"Shorten, R.N., Narendra, K.S.: Necessary and sufficient conditions for the existence of a common quadratic lyapunov function for m stable second order linear time-invariant systems. In: Proc. of ACC, pp. 359\u2013363 (2000)","DOI":"10.1109\/ACC.2000.878913"},{"key":"82_CR14","doi-asserted-by":"crossref","unstructured":"Shorten, R.N., Narendra, K.S.: Necessary and sufficient conditions for the existence of a common quadratic lyapunov function for two stable second order linear time-invariant systems. In: Proc. of ACC, pp. 1410\u20131414 (1999)","DOI":"10.1109\/ACC.2000.878913"},{"key":"82_CR15","unstructured":"Mori, Y.: Investigation on common lyapunov function: Toward complete analysis. Kyoto Institute of Technology, Doctoral Thesis (2002) (in Japanese)"},{"key":"82_CR16","unstructured":"Nguyen, T.V.: Common lyapunov function problem: Quadratic and infinity-norm functions. Kyoto Institute of Technology, Master Thesis (2003)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11428862_82","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T03:39:01Z","timestamp":1559014741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11428862_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260448","9783540321187"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11428862_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}