{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:42:10Z","timestamp":1736314930923,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331704"},{"type":"electronic","value":"9783540331711"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11730637_19","type":"book-chapter","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T06:57:14Z","timestamp":1140764234000},"page":"227-241","source":"Crossref","is-referenced-by-count":9,"title":["Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition"],"prefix":"10.1007","author":[{"given":"Ioannis A.","family":"Fotiou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Giovanni","family":"Beccuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Papafotiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Morari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Predictive control with Constraints","author":"J. Maciejowski","year":"2001","unstructured":"Maciejowski, J.: Predictive control with Constraints. Pearson Education, London (2001)"},{"key":"19_CR2","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, 3\u201320 (2002)","journal-title":"Automatica"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Bemporad, A., Borrelli, F., Morari, M.: Model predictive control based on linear programming \u2014 the explicit solution. IEEE Trans. Automat. Contr.\u00a047(12) (2002)","DOI":"10.1109\/TAC.2002.805688"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Borrelli, F., Baoti\u0107, M., Bemporad, A., Morari, M.: k An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems. In: Proc. American Control Conf., Denver, Colorado, pp. 4717\u20134722 (2003)","DOI":"10.1109\/ACC.2003.1242468"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Kerrigan, E.C., Mayne, D.Q.: Optimal control of constrained, piecewise affine systems with bounded disturbances. In: Proc. 41st IEEE Conf. on Decision and Control, Las Vegas, Nevada, USA (2002)","DOI":"10.1109\/CDC.2002.1184740"},{"key":"19_CR6","series-title":"LNCIS","volume-title":"Constrained Optimal Control of Linear and Hybrid Systems","author":"F. Borrelli","year":"2003","unstructured":"Borrelli, F.: Constrained Optimal Control of Linear and Hybrid Systems. LNCIS, vol.\u00a0290. Springer, Heidelberg (2003)"},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.automatica.2003.09.021","volume":"40","author":"T.A. Johansen","year":"2004","unstructured":"Johansen, T.A.: Approximate explicit receding horizon control of constrained nonlinear systems. Automatica\u00a040(2), 293\u2013300 (2004)","journal-title":"Automatica"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Fotiou, I.A., Parrilo, P.A., Morari, M.: Nonlinear parametric optimization using cylindrical algebraic decomposition. In: Proc.\u00a0of the Conf.\u00a0on Decision & Control, Seville, Spain, pp. 3735\u20133740 (2005)","DOI":"10.1109\/CDC.2005.1582743"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Quantifier elimination for real closed fields by cylindrical algebraic decomposition","author":"G. Collins","year":"1975","unstructured":"Collins, G.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition, London, UK. LNCS, vol.\u00a033, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"19_CR10","unstructured":"Lafferriere, G., Pappas, G., Yovine, S.: Reach set computation for linear vector fields using quantifier elimination. In: Electronic Proceedings of the IMAC Conference on Applications of Computer Algebra, El Escorial, Spain (1999)"},{"issue":"7","key":"19_CR11","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088(7), 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Vidal, R., Soatto, S., Ma, Y., Sastry, S.: An Algebraic Geometric Approach to the Identification of a Class of Linear Hybrid Systems. In: Proc.\u00a0of the Conf.\u00a0on Decision & Control, Maui, HI (2003)","DOI":"10.1109\/CDC.2003.1272554"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Beccuti, A.G., Papafotiou, G., Morari, M.: Optimal Control of the Boost dc-dc Converter. In: Proc.\u00a0of the Conf.\u00a0on Decision & Control, Seville, Spain (2005)","DOI":"10.1109\/CDC.2005.1582864"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Baoti\u0107, M., Christophersen, F.J., Morari, M.: A new Algorithm for Constrained Finite Time Optimal Control of Hybrid Systems with a Linear Performance Index. In: Proc.\u00a0of the European Control Conference, Cambridge, UK (2003)","DOI":"10.23919\/ECC.2003.7086553"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: a program for computing with semialgebraic sets using CADs. ACM SIGSAM Bulletin\u00a037, 97\u2013108 (2003)","journal-title":"ACM SIGSAM Bulletin"},{"key":"19_CR16","volume-title":"Power Electronics: Converters, Applications and Design","author":"N. Mohan","year":"1989","unstructured":"Mohan, N., Undeland, T.M., Robbins, W.P.: Power Electronics: Converters, Applications and Design. Wiley, London (1989)"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/S0967-0661(02)00186-7","volume":"11","author":"S.J. Qin","year":"2003","unstructured":"Qin, S.J., Badgwell, T.A.: A survey of industrial model predictive control technology. Control Engineering Practice\u00a011, 733\u2013764 (2003)","journal-title":"Control Engineering Practice"},{"key":"19_CR18","volume-title":"Matrix Polynomials","author":"I. Gohberg","year":"1982","unstructured":"Gohberg, I., Lancaster, P., Rodman, L.: Matrix Polynomials. Academic Press, New York (1982)"},{"key":"19_CR19","unstructured":"L\u00f6fberg, J.: YALMIP: A toolbox for modeling and optimization in MATLAB. In: Proceedings of the CACSD Conference, Taipei, Taiwan (2004), Available from http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php"},{"key":"19_CR20","unstructured":"Mishra, B.: Computational Real Algebraic Geometry. Handbook of discrete and computational geometry, 537\u2013556 (1997)"},{"key":"19_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in real algebraic geometry","author":"S. Basu","year":"2003","unstructured":"Basu, S., Pollack, R., Roy, M.F.: Algorithms in real algebraic geometry. Springer, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11730637_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T21:26:52Z","timestamp":1736285212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730637_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331704","9783540331711"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11730637_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}