{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:28:29Z","timestamp":1725604109338},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642235672"},{"type":"electronic","value":"9783642235689"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23568-9_19","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T00:37:54Z","timestamp":1314751074000},"page":"239-250","source":"Crossref","is-referenced-by-count":5,"title":["Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition"],"prefix":"10.1007","author":[{"given":"Hidenao","family":"Iwane","sequence":"first","affiliation":[]},{"given":"Akifumi","family":"Kira","sequence":"additional","affiliation":[]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Anai, H.: A symbolic-numeric approach to multi-parametric programming for control design. In: Proc. ICROS-SICE International Conference 2009, pp. 3525\u20133530 (2009)"},{"issue":"7","key":"19_CR2","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1016\/j.jsc.2008.04.015","volume":"44","author":"H. Anai","year":"2009","unstructured":"Anai, H., Hara, S., Kanno, M., Yokoyama, K.: Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. J. Symb. Comput.\u00a044(7), 703\u2013725 (2009)","journal-title":"J. Symb. Comput."},{"key":"19_CR3","unstructured":"Bellman, R.: Dynamic Programming. Princeton Univ. Press, Princeton (1957)"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0005-1098(01)00174-1","volume":"38","author":"A. Bemporad","year":"2002","unstructured":"Bemporad, A., Morari, M., Dua, V., Pistikopoulos, E.N.: The explicit linear quadratic regulator for constrained systems. Automatica\u00a038(1), 3\u201320 (2002)","journal-title":"Automatica"},{"key":"19_CR5","volume-title":"Dynamic Programming and Optimal Control","author":"D. Bertsekas","year":"2005","unstructured":"Bertsekas, D.: Dynamic Programming and Optimal Control, 3rd edn. Athena Scientific, Belmont (2005)","edition":"3"},{"key":"19_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1394-9","volume-title":"Perturbation Analysis of Optimization Problems","author":"J.F. Bonnans","year":"2000","unstructured":"Bonnans, J.F., Shapiro, A.: Perturbation Analysis of Optimization Problems. Springer, Heidelberg (2000)"},{"key":"19_CR7","series-title":"Texts and monographs in symbolic computation","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","year":"1998","unstructured":"Caviness, B., Johnson, J. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and monographs in symbolic computation. Springer, Heidelberg (1998)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1975","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Becvar, J. (ed.) MFCS 1975. LNCS, vol.\u00a032. Springer, Heidelberg (1975)"},{"issue":"3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation\u00a012(3), 299\u2013328 (1991)","journal-title":"Journal of Symbolic Computation"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1016\/j.compchemeng.2009.10.012","volume":"34","author":"L.F. Domingueza","year":"2010","unstructured":"Domingueza, L.F., Narcisoa, D.A., Pistikopoulos, E.N.: Recent advances in multiparametric nonlinear programming. Computers & Chemical Engineering\u00a034(5), 707\u2013716 (2010); (Selected Paper of Symposium ESCAPE 19, June 14-17, 2009, Krakow, Poland)","journal-title":"Computers & Chemical Engineering"},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1006\/jsco.1997.0120","volume":"24","author":"P. Dorato","year":"1997","unstructured":"Dorato, P., Yang, W., Abdallah, C.: Robust multi-objective feedback design by quantifier elimination. J. Symb. Comput.\u00a024(2), 153\u2013159 (1997)","journal-title":"J. Symb. Comput."},{"issue":"4-5","key":"19_CR12","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1016\/j.compchemeng.2007.03.008","volume":"32","author":"P. Dua","year":"2008","unstructured":"Dua, P., Kouramas, K., Dua, V., Pistikopoulos, E.: MPC on a chip \u2013 recent advances on the application of multi-parametric model-based control. Computers & Chemical Engineering\u00a032(4-5), 754\u2013765 (2008)","journal-title":"Computers & Chemical Engineering"},{"issue":"11","key":"19_CR13","doi-asserted-by":"publisher","first-page":"1340","DOI":"10.1080\/00207170600726592","volume":"79","author":"I.A. Fotiou","year":"2006","unstructured":"Fotiou, I.A., Rostalski, P., Parrilo, P.A., Morari, M.: Parametric optimization and optimal control using algebraic geometry methods. International Journal of Control\u00a079(11), 1340\u20131358 (2006)","journal-title":"International Journal of Control"},{"key":"19_CR14","volume-title":"Introduction to Sensitivity and Stability Analysis in Nonlinear Programming","author":"A.V. Fiacco","year":"1983","unstructured":"Fiacco, A.V.: Introduction to Sensitivity and Stability Analysis in Nonlinear Programming. Academic Press, London (1983)"},{"issue":"6","key":"19_CR15","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s00200-007-0056-7","volume":"18","author":"N. Hyodo","year":"2007","unstructured":"Hyodo, N., Hong, M., Yanami, H., Hara, S., Anai, H.: Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Appl. Algebra Eng. Commun. Comput.\u00a018(6), 497\u2013512 (2007)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Iwane, H., Yanami, H., Anai, H., Yokoyama, K.: An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. In: Proceedings of the 2009 International Workshop on Symbolic-Numeric Computation, vol.\u00a01, pp. 55\u201364 (2009)","DOI":"10.1145\/1577190.1577203"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Iwane, H., Yanami, H., Anai, H.: An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. In: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation (2011)","DOI":"10.1145\/2331684.2331712"},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1277548.1277578","volume-title":"ISSAC","author":"M. Kanno","year":"2007","unstructured":"Kanno, M., Yokoyama, K., Anai, H., Hara, S.: Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. In: Wang, D. (ed.) ISSAC, pp. 211\u2013218. ACM, New York (2007)"},{"volume-title":"Multi-parametric programming: theory, algorithms, and applications","year":"2007","key":"19_CR19","unstructured":"Pistikopoulos, E., Georgiadis, M., Dua, V. (eds.): Multi-parametric programming: theory, algorithms, and applications, vol.\u00a01. Wiley-VCH, Chichester (2007)"},{"volume-title":"Multi-parametric model-based control: theory and applications","year":"2007","key":"19_CR20","unstructured":"Pistikopoulos, E., Georgiadis, M., Dua, V. (eds.): Multi-parametric model-based control: theory and applications, vol.\u00a02. Wiley-VCH, Chichester (2007)"},{"issue":"5","key":"19_CR21","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/j.future.2006.10.009","volume":"23","author":"H. Yanami","year":"2007","unstructured":"Yanami, H., Anai, H.: The Maple package SyNRAC and its application to robust control design. Future Generation Comp. Syst.\u00a023(5), 721\u2013726 (2007)","journal-title":"Future Generation Comp. Syst."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23568-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T02:28:03Z","timestamp":1686277683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23568-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642235672","9783642235689"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23568-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}