{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:59:04Z","timestamp":1743145144698,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319317687"},{"type":"electronic","value":"9783319317694"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.5\/"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.5\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31769-4_20","type":"book-chapter","created":{"date-parts":[[2016,4,9]],"date-time":"2016-04-09T01:05:44Z","timestamp":1460163944000},"page":"247-256","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Rauh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramona","family":"Westphal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Aschemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Auer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85521-7_1","volume-title":"Reliable Implementation of Real Number Algorithms: Theory and Practice","author":"E Auer","year":"2008","unstructured":"Auer, E., Rauh, A., Hofer, E.P., Luther, W.: Validated modeling of mechanical systems with SmartMOBILE: improvement of performance by ValEncIA-IVP. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Real Number Algorithms. LNCS, vol. 5045, pp. 1\u201327. Springer, Heidelberg (2008)"},{"issue":"3\u20134","key":"20_CR2","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1020573518783","volume":"7","author":"Y Deville","year":"2002","unstructured":"Deville, Y., Janssen, M., van Hentenryck, P.: Consistency techniques for ordinary differential equations. Constraint 7(3\u20134), 289\u2013315 (2002)","journal-title":"Constraint"},{"key":"20_CR3","volume-title":"Solving Ordinary Differential Equations I","author":"E Hairer","year":"2000","unstructured":"Hairer, E., N\u00f8rsett, S., Wanner, G.: Solving Ordinary Differential Equations I, 2nd edn. Springer, Berlin Heidelberg (2000)","edition":"2"},{"key":"20_CR4","volume-title":"Trait\u00e9 des substitutions et des \u00e9quations alg\u00e9briques","author":"C Jordan","year":"1870","unstructured":"Jordan, C.: Trait\u00e9 des substitutions et des \u00e9quations alg\u00e9briques. Gauthier-Villars, Paris (1870). in French"},{"key":"20_CR5","unstructured":"Lin, Y., Stadtherr, M.A.: Validated solution of initial value problems for odes with interval parameters. In: NSF Workshop Proceeding on Reliable Engineering Computing. Savannah GA, February 22\u201324 2006"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. Ph.D. thesis, Graduate Department of Computer Science, University of Toronto (1999)","DOI":"10.1007\/978-94-017-1247-7_23"},{"key":"20_CR7","series-title":"Mathematical Engineering","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-15956-5_1","volume-title":"Modeling, Design, and Simulation of Systems with Uncertainties","author":"NS Nedialkov","year":"2011","unstructured":"Nedialkov, N.S.: Implementing a rigorous ODE solver through literate programming. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties. Mathematical Engineering, pp. 3\u201319. Springer, Heidenberg (2011)"},{"key":"20_CR8","volume-title":"Complex Interval Arithmetic and Its Applications","author":"M Petkovi\u0107","year":"1998","unstructured":"Petkovi\u0107, M., Petkovi\u0107, L.: Complex Interval Arithmetic and Its Applications. Wiley-VCH Verlag GmbH, Berlin (1998)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Rauh, A., Auer, E., Hofer, E.P.: ValEncIA-IVP: a comparison with other initial value problem solvers. In: CD-Proceedings of 12th GAMM-IMACS Intenational Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006. IEEE Computer Society, Duisburg, Germany (2007)","DOI":"10.1109\/SCAN.2006.47"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s00607-011-0171-y","volume":"2\u20134","author":"A Rauh","year":"2012","unstructured":"Rauh, A., Kersten, J., Auer, E., Aschemann, H.: Sensitivity-based feedforward and feedback control for uncertain systems. Computing 2\u20134, 357\u2013367 (2012)","journal-title":"Computing"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Rauh, A., Westphal, R., Aschemann, H.: Verified simulation of control systems with interval parameters using an exponential state enclosure technique. In: CD-Proceedings of IEEE International Conference on Methods and Models in Automation and Robotics MMAR. Miedzyzdroje, Poland (2013)","DOI":"10.1109\/MMAR.2013.6669913"},{"key":"20_CR12","unstructured":"Rauh, A., Westphal, R., Auer, E., Aschemann, H.: Exponential enclosure techniques for the computation of guaranteed state enclosures in ValEncIA-IVP. In: Proceedings of 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2012, vol. 19(1), pp. 66\u201390. Novosibirsk, Russia, Special Issue of Reliable Computing (2013)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: IntLab - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluver Academic Publishers, Dordrecht (1999)"}],"container-title":["Lecture Notes in Computer Science","Scientific Computing, Computer Arithmetic, and Validated Numerics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31769-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T18:57:46Z","timestamp":1738090666000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-31769-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319317687","9783319317694"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31769-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}