{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:27Z","timestamp":1725490467482},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751861"},{"type":"electronic","value":"9783540751878"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75187-8_18","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T15:13:38Z","timestamp":1188659618000},"page":"224-235","source":"Crossref","is-referenced-by-count":1,"title":["On the Computation of the Defining Polynomial of the Algebraic Riccati Equation"],"prefix":"10.1007","author":[{"given":"Takuya","family":"Kitamoto","sequence":"first","affiliation":[]},{"given":"Tetsu","family":"Yamaguchi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Abdallah, C., Dorato, P., Yang, W., Liska, R., Steinberg, S.: Application of Quantifier Elimination Theory to Control System Design. In: Proc. of 4th IEEE Mediterranean Symposium of Control and Automation, Maleme, Crete, pp. 340\u2013345 (1996)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02657, Springer, Heidelberg (2003)"},{"key":"18_CR3","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. Symbolic Computation\u00a024, 153\u2013159 (1997)","journal-title":"J. Symbolic Computation"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"H. Hong","year":"1997","unstructured":"Hong, H., Liska, R., Steinberg, S.: Testing Stability by Quantifier Elimination. J. Symbolic Computation\u00a024, 161\u2013187 (1997)","journal-title":"J. Symbolic Computation"},{"key":"18_CR5","unstructured":"Kitamoto, T.: On the computation of H \u2009\u221e\u2009 norm of a system with a parameter. The IEICE Trans. Funda. (Japanese Edition) J89-A(1), 25\u201339 (2006)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Kitamoto, T., Yamaguchi, T.: Parametric Computation of H \u2009\u221e\u2009 Norm of a System. In: Proc. SICE-ICCAS 2006, Busan, Korea (2006)","DOI":"10.1109\/SICE.2006.314837"},{"issue":"6","key":"18_CR7","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1016\/j.jsc.2005.11.005","volume":"41","author":"M. Kanno","year":"2006","unstructured":"Kanno, M., Smith, M.C.: Validated numerical computation of the $\\mathcal{L}_\\infty$ -norm for linear dynamical systems. J. of Symbolic Computation\u00a041(6), 697\u2013707 (2006)","journal-title":"J. of Symbolic Computation"},{"key":"18_CR8","volume-title":"Robust and Optimal Control","author":"K. Zhou","year":"1996","unstructured":"Zhou, K., Doyle, J., Glover, K.: Robust and Optimal Control. Prentice-Hall. Inc, New Jersey (1996)"},{"key":"18_CR9","unstructured":"Nishimura, T., Kano, H.: Matrix Riccati Equations in Control Theory Asakura-syoten (in Japanese), Tokyo (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75187-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T17:31:43Z","timestamp":1629653503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75187-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751861","9783540751878"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75187-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}