{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:29Z","timestamp":1740122429956,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T00:00:00Z","timestamp":1715817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s10898-024-01405-0","type":"journal-article","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T04:01:41Z","timestamp":1715832101000},"page":"257-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A revised monotonicity-based method for computing tight image enclosures of functions"],"prefix":"10.1007","volume":"91","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5882-6217","authenticated-orcid":false,"given":"Ignacio","family":"Araya","sequence":"first","affiliation":[]},{"given":"Victor","family":"Reyes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,16]]},"reference":[{"issue":"2","key":"1405_CR1","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s00607-011-0158-8","volume":"94","author":"I Araya","year":"2012","unstructured":"Araya, I., Neveu, B., Trombettoni, G.: An interval extension based on occurrence grouping. Computing 94(2), 173\u2013188 (2012)","journal-title":"Computing"},{"issue":"4","key":"1405_CR2","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1007\/s10898-015-0390-4","volume":"65","author":"I Araya","year":"2016","unstructured":"Araya, I., Reyes, V.: Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects. J. Global Optim. 65(4), 837\u2013866 (2016)","journal-title":"J. Global Optim."},{"key":"1405_CR3","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B., et\u00a0al.: Exploiting monotonicity in interval constraint propagation. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7541"},{"key":"1405_CR4","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: Int. Conf. on Logic Programming. Citeseer (1999)"},{"key":"1405_CR5","doi-asserted-by":"crossref","unstructured":"Berenguel, J.L., Casado, L.G., Garc\u00eda, I., Hendrix, E.M., Messine, F.: On lower bounds using additively separable terms in interval b &b. In: International Conference on Computational Science and Its Applications, pp. 119\u2013132. Springer (2012)","DOI":"10.1007\/978-3-642-31137-6_9"},{"key":"1405_CR6","doi-asserted-by":"crossref","unstructured":"Bourgois, A., Jaulin, L.: Interval centred form for proving stability of non-linear discrete-time systems (2021). arXiv:2101.05412","DOI":"10.4204\/EPTCS.331.1"},{"issue":"11","key":"1405_CR7","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.artint.2009.03.002","volume":"173","author":"G Chabert","year":"2009","unstructured":"Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173(11), 1079\u20131100 (2009)","journal-title":"Artif. Intell."},{"key":"1405_CR8","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, J., G.-T\u00f3th, B.: Interval tools in branch-and-bound methods for global optimization. In: The Palgrave Handbook of Operations Research, pp. 237\u2013267. Springer (2022)","DOI":"10.1007\/978-3-030-96935-6_8"},{"key":"1405_CR9","doi-asserted-by":"publisher","DOI":"10.1201\/9780203026922","volume-title":"Global Optimization using Interval Analysis: Revised and Expanded","author":"E Hansen","year":"2003","unstructured":"Hansen, E., Walster, G.W.: Global Optimization using Interval Analysis: Revised and Expanded, vol. 264. CRC Press, Boca Raton (2003)"},{"key":"1405_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Berlin (2001)"},{"key":"1405_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s41066-018-00147-1","volume":"5","author":"J Kersten","year":"2020","unstructured":"Kersten, J., Rauh, A., Aschemann, H.: Interval methods for robust gain scheduling controllers: an lmi-based approach. Granul. Comput. 5, 203\u2013216 (2020)","journal-title":"Granul. Comput."},{"key":"1405_CR12","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1016\/j.ymssp.2017.11.037","volume":"104","author":"Y Li","year":"2018","unstructured":"Li, Y., Xu, Y.L.: Increasing accuracy in the interval analysis by the improved format of interval extension based on the first order taylor series. Mech. Syst. Signal Process. 104, 744\u2013757 (2018)","journal-title":"Mech. Syst. Signal Process."},{"key":"1405_CR13","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/0-387-30528-9","volume-title":"Writing Global Optimization Software","author":"L Liberti","year":"2006","unstructured":"Liberti, L.: Writing Global Optimization Software, pp. 211\u2013262. Springer, Boston (2006)"},{"key":"1405_CR14","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: Verified computations using Taylor models and their applications. In: Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22\u201323, 2017, Proceedings 10, pp. 3\u201313. Springer (2017)","DOI":"10.1007\/978-3-319-63501-9_1"},{"key":"1405_CR15","doi-asserted-by":"publisher","DOI":"10.1515\/9783110499469","volume-title":"Interval Analysis: And Automatic Result Verification","author":"G Mayer","year":"2017","unstructured":"Mayer, G.: Interval Analysis: And Automatic Result Verification, vol. 65. Walter de Gruyter GmbH & Co KG, Berlin (2017)"},{"issue":"11","key":"1405_CR16","first-page":"992","volume":"8","author":"F Messine","year":"2002","unstructured":"Messine, F.: Extentions of affine arithmetic: application to unconstrained global optimization. J. Univers. Comput. Sci. 8(11), 992\u20131015 (2002)","journal-title":"J. Univers. Comput. Sci."},{"key":"1405_CR17","unstructured":"Moore, R.: Interval Analysis, vol. 60 (1966)"},{"key":"1405_CR18","doi-asserted-by":"crossref","unstructured":"Moscato, M.M., Mu\u00f1oz, C.A., Smith, A.P.: Affine arithmetic and applications to real-number proving. In: Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24\u201327, 2015, Proceedings 6, pp. 294\u2013309. Springer (2015)","DOI":"10.1007\/978-3-319-22102-1_20"},{"issue":"2","key":"1405_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.3390\/math9020134","volume":"9","author":"M Posypkin","year":"2021","unstructured":"Posypkin, M., Khamisov, O.: Automatic convexity deduction for efficient function\u2019s range bounding. Mathematics 9(2), 134 (2021)","journal-title":"Mathematics"},{"key":"1405_CR20","unstructured":"Stol, J., De\u00a0Figueiredo, L.H.: Self-validated numerical methods and applications. In: Monograph for 21st Brazilian Mathematics Colloquium, IMPA, Rio de Janeiro. Citeseer, vol.\u00a05. Citeseer (1997)"},{"issue":"5s","key":"1405_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3358230","volume":"18","author":"HD Tran","year":"2019","unstructured":"Tran, H.D., Cai, F., Diego, M.L., Musau, P., Johnson, T.T., Koutsoukos, X.: Safety verification of cyber-physical systems with reinforcement learning control. ACM Trans. Embed. Comput. Syst. (TECS) 18(5s), 1\u201322 (2019)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"1405_CR22","doi-asserted-by":"crossref","unstructured":"Trombettoni, G., Araya, I., Neveu, B., Chabert, G.: Inner regions and interval linearizations for global optimization. In: AAAI Conference on Artificial Intelligence, pp. 99\u2013104 (2011)","DOI":"10.1609\/aaai.v25i1.7817"}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-024-01405-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10898-024-01405-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-024-01405-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,15]],"date-time":"2025-02-15T05:47:48Z","timestamp":1739598468000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10898-024-01405-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,16]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["1405"],"URL":"https:\/\/doi.org\/10.1007\/s10898-024-01405-0","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"type":"print","value":"0925-5001"},{"type":"electronic","value":"1573-2916"}],"subject":[],"published":{"date-parts":[[2024,5,16]]},"assertion":[{"value":"14 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 April 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 May 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}