{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:00:32Z","timestamp":1740099632583,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030406158"},{"type":"electronic","value":"9783030406165"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-40616-5_13","type":"book-chapter","created":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T06:02:59Z","timestamp":1581573779000},"page":"169-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Set-Membership Computation of Integrals with Uncertain Endpoints"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1439-746X","authenticated-orcid":false,"given":"Olivier","family":"Mullier","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6185-2480","authenticated-orcid":false,"given":"Julien","family":"Alexandre dit Sandretto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,14]]},"reference":[{"issue":"1\u20132","key":"13_CR1","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/S0377-0427(00)00342-3","volume":"121","author":"G Alefeld","year":"2000","unstructured":"Alefeld, G., Mayer, G.: Interval analysis: theory and applications. J. Comput. Appl. Math. 121(1\u20132), 421\u2013464 (2000)","journal-title":"J. Comput. Appl. Math."},{"key":"13_CR2","first-page":"78","volume":"22","author":"J Alexandre dit Sandretto","year":"2016","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit runge-kutta methods. Reliable Comput. 22, 78\u2013103 (2016). Electronic edition","journal-title":"Reliable Comput."},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.automatica.2012.11.009","volume":"49","author":"C Aubry","year":"2013","unstructured":"Aubry, C., Desmare, R., Jaulin, L.: Loop detection of mobile robots using interval analysis. Automatica 49(2), 463\u2013470 (2013)","journal-title":"Automatica"},{"key":"13_CR4","unstructured":"Corliss, G.F.: Computing narrow inclusions for definite integrals. In: Computer Arithmetic, pp. 150\u2013179 (1987)"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1137\/0908069","volume":"8","author":"GF Corliss","year":"1987","unstructured":"Corliss, G.F., Rall, L.B.: Adaptive, self-validating numerical quadrature. SIAM J. Sci. Stat. Comput. 8(5), 831\u2013847 (1987)","journal-title":"SIAM J. Sci. Stat. Comput."},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01396702","volume":"34","author":"E Hansen","year":"1980","unstructured":"Hansen, E.: Global optimization using interval analysis\u2013the multi-dimensional case. Numer. Math. 34(3), 247\u2013270 (1980)","journal-title":"Numer. Math."},{"key":"13_CR7","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis, vol. 4. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"13_CR8","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"RE Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis, vol. 110. SIAM, Philadelphia (2009)"},{"issue":"1","key":"13_CR9","first-page":"21","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1006\/jcom.1998.0478","volume":"14","author":"K Petras","year":"1998","unstructured":"Petras, K.: On the complexity of self-validating numerical integration and approximation of functions with singularities. J. Complex. 14(3), 302\u2013318 (1998)","journal-title":"J. Complex."},{"issue":"2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0377-0427(01)00586-6","volume":"145","author":"K Petras","year":"2002","unstructured":"Petras, K.: Self-validating integration and approximation of piecewise analytic functions. J. Comput. Appl. Math. 145(2), 345\u2013359 (2002)","journal-title":"J. Comput. Appl. Math."},{"key":"13_CR12","unstructured":"Sandretto, J.A.D., Chapoutot, A., Mullier, O.: Optimal switching instants for the control of hybrid systems. In: 11th Summer Workshop on Interval Methods (SWIM) (2018)"}],"container-title":["Lecture Notes in Computer Science","Numerical Computations: Theory and Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-40616-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T06:05:50Z","timestamp":1581573950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-40616-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030406158","9783030406165"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-40616-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NUMTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Numerical Computations: Theory and Algorithms","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crotone","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"numta2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/si.deis.unical.it\/~yaro\/numta2019\/index.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}