{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T23:57:12Z","timestamp":1706054232378},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T00:00:00Z","timestamp":1189468800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2007,11,16]]},"DOI":"10.1007\/s00200-007-0056-7","type":"journal-article","created":{"date-parts":[[2007,9,10]],"date-time":"2007-09-10T18:24:10Z","timestamp":1189448650000},"page":"497-512","source":"Crossref","is-referenced-by-count":10,"title":["Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination"],"prefix":"10.1007","volume":"18","author":[{"given":"Noriko","family":"Hyodo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myunghoon","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Yanami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinji","family":"Hara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,11]]},"reference":[{"key":"56_CR1","unstructured":"Abdallah, C., Dorato, P., Yang, W., Liska, R., Steinberg, S.: Application of quantifier elimination theory to control system design. In: Proceedings of 4th IEEE mediteranean symposium on control and automation. Maleme, Crete, pp. 340\u2013345 (1996)"},{"key":"56_CR2","doi-asserted-by":"crossref","unstructured":"Anai, H.: On solving semidefinite programming by quantifier elimination. In: Proceedings of American control conference, Philadelphia, pp. 2814\u20132818 (1998)","DOI":"10.1109\/ACC.1998.688368"},{"key":"56_CR3","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S.: Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. In: Proceedings of American control conference 2000, pp. 1312\u20131316 (2000)","DOI":"10.1109\/ACC.2000.876713"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S.: Linear programming approach to robust controller design by a quantifier elimination. In: Proceedings of SICE annual conference 2002, Osaka, Japan, pp. 863\u2013869 (2002)","DOI":"10.1109\/SICE.2002.1195487"},{"key":"56_CR5","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\u201902 (2002)","DOI":"10.3182\/20020721-6-ES-1901.00394"},{"key":"56_CR6","doi-asserted-by":"crossref","unstructured":"Anai, H., Hara, S., Yokoyama, K.: Sum of roots with positive real parts. In: ISSAC \u201905: Proceedings of the 2005 international symposium on symbolic and algebraic computation, pp. 21\u201328. ACM Press, New York, USA (2005), http:\/\/doi.acm.org\/10.1145\/1073884.1073890","DOI":"10.1145\/1073884.1073890"},{"key":"56_CR7","doi-asserted-by":"crossref","unstructured":"Anai, H., Weispfenning, V.: Reach set computation using real quantifier elimination. In: Proceedings of international workshop on hybrid systems: computation and control (HSCC2001), LNCS, vol. 2034, pp. 63\u201376. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45351-2_9"},{"key":"56_CR8","doi-asserted-by":"crossref","unstructured":"Caviness, B., Johnson, J. (eds.): Quantifier elimination and cylindrical algebraic decomposition. Texts and monographs in symbolic computation. Springer, Berlin (1998)","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"56_CR9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1006\/jsco.1997.0120","volume":"24","author":"P. Dorato","year":"1997","unstructured":"Dorato P., Yang W. and Abdallah C. (1997). Robust multi-objective feedback design by quantifier elimination. J. Symb. Comp. 24: 153\u2013159","journal-title":"J. Symb. Comp."},{"key":"56_CR10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-7091-9459-1_19","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and monographs in symbolic computation.","author":"L. Gonz\u00e1lez-Vega","year":"1998","unstructured":"Gonz\u00e1lez-Vega L. (1998). A combinatorial algorithm solving some quantifier elimination problems. In: Caviness, B. and Johnson, J. (eds) Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and monographs in symbolic computation., pp 365\u2013375. Springer, Berlin"},{"key":"56_CR11","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez-Vega, L., Lombardi, H., Recio, T., Roy, M.F.: Sturm-habicht sequence. In: Proceedings of ISSAC\u201d89, pp. 136\u2013146. ACM Press, Portland (1989)","DOI":"10.1145\/74540.74558"},{"key":"56_CR12","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-3-7091-9459-1_14","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation.","author":"L. Gonz\u00e1lez-Vega","year":"1998","unstructured":"Gonz\u00e1lez-Vega L., Recio T., Lombardi H. and Roy M.F. (1998). Sturm-habicht sequences determinants and real roots of univariate polynomials. In: Caviness, B. and Johnson, J. (eds) Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation., pp 300\u2013316. Springer, Wien, New York"},{"key":"56_CR13","unstructured":"Hara, S., Kimura, T., Kondo, R.: H \u221e control system design by a parameter space approach. In: Proceedings of MTNS-91, pp. 287\u2013292. Kobe, Japan (1991)"},{"issue":"8","key":"56_CR14","doi-asserted-by":"crossref","first-page":"1327","DOI":"10.1109\/TAC.2003.815013","volume":"48","author":"T. Iwasaki","year":"2003","unstructured":"Iwasaki T., Hara S. and Yamauchi K. (2003). Dynamical system design from a control perspective: Finite frequency positive-realness approach. IEEE Trans. Autom. Control 48(8): 1327\u20131354","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"56_CR15","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1006\/jsco.1997.0119","volume":"24","author":"M. Jirstrand","year":"1997","unstructured":"Jirstrand M. (1997). Nonlinear control system design by quantifier elimination. J. Symb. Comput. 24(2): 137\u2013152 Applications of quantifier elimination (Albuquerque, NM, 1995)","journal-title":"J. Symb. Comput."},{"key":"56_CR16","unstructured":"Jirstrand, M.: Constructive methods for inequality constraints in control. Ph.D. Thesis, Link\u00f6ping University, Sweden (1998)"},{"key":"56_CR17","unstructured":"Kimura, T., Hara, S.: A robust control system design by a parameter space approach based on sign definition condition. In: Proceedings of KACC-91, pp. 1533\u20131538. Soul, Korea (1991)"},{"issue":"6","key":"56_CR18","doi-asserted-by":"crossref","first-page":"714","DOI":"10.9746\/sicetr1965.27.714","volume":"27","author":"R. Kondo","year":"1991","unstructured":"Kondo R., Hara S. and Kaneko T. (1991). Parameter space design for H\u221e control (in japanese). Trans. SICE 27(6): 714\u2013716","journal-title":"Trans. SICE"},{"issue":"3","key":"56_CR19","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G. Lafferriere","year":"2001","unstructured":"Lafferriere G., Pappas G. and Sastry S. (2001). Symbolic reachability computation of families of linear vector fields. J. Symb. Comput. 32(3): 231\u2013253","journal-title":"J. Symb. Comput."},{"issue":"5","key":"56_CR20","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R. Loos","year":"1993","unstructured":"Loos R. and Weispfenning V. (1993). Applying linear quantifier elimination. Comput. J. 36(5): 450\u2013462 (Special issue on computational quantifier elimination)","journal-title":"Comput. J."},{"issue":"1","key":"56_CR21","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1014785518570","volume":"8","author":"S. Ratschan","year":"2002","unstructured":"Ratschan S. (2002). Approximate quantified constraint solving by cylindrical box decomposition. Reliab. Comput. 8(1): 21\u201342 citeseer.nj.nec.com\/ratschan02approximate.html","journal-title":"Reliab. Comput."},{"key":"56_CR22","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0016-0032(71)90014-7","volume":"291","author":"D.D. S\u0306iljak","year":"1971","unstructured":"S\u0306iljak D.D. (1971). New algebraic criterion for positive realness. J. Franklin Inst. 291: 109\u2013120","journal-title":"J. Franklin Inst."},{"issue":"1\u20132","key":"56_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"Weispfenning V. (1988). The complexity of linear problems in fields. J. Symb. Comput. 5(1\u20132): 3\u201327","journal-title":"J. Symb. Comput."},{"key":"56_CR24","doi-asserted-by":"crossref","unstructured":"Yanami, H., Anai, H.: Development of synrac\u2014formula description and new functions. In: Proceedings of international workshop on computer algebra systems and their applications (CASA) 2004: ICCS 2004, LNCS 3039, pp. 286\u2013294. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25944-2_37"},{"key":"56_CR25","doi-asserted-by":"crossref","unstructured":"Yanami, H., Anai, H.: Development of synrac. In: Proceedings of international conference on computational science (ICCS) 2005: ICCS 2005, LNCS 3516, pp. 602\u2013610. Springer, Berlin (2005)","DOI":"10.1007\/11428862_82"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-007-0056-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-007-0056-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-007-0056-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:24:20Z","timestamp":1558625060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-007-0056-7"}},"subtitle":["A MATLAB toolbox for parametric control system design"],"short-title":[],"issued":{"date-parts":[[2007,9,11]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,11,16]]}},"alternative-id":["56"],"URL":"https:\/\/doi.org\/10.1007\/s00200-007-0056-7","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,11]]}}}