{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:30Z","timestamp":1740122430882,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,9,20]],"date-time":"2021-09-20T00:00:00Z","timestamp":1632096000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,9,20]],"date-time":"2021-09-20T00:00:00Z","timestamp":1632096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003065","name":"University of Vienna","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003065","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Glob Optim"],"published-print":{"date-parts":[[2021,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents a new algorithm based on interval methods for rigorously constructing inner estimates of feasible parameter regions together with enclosures of the solution set for parameter-dependent systems of nonlinear equations in low (parameter) dimensions. The proposed method allows to explicitly construct feasible parameter sets around a regular parameter value, and to rigorously enclose a particular solution curve (resp.\u00a0manifold) by a union of inclusion regions, simultaneously. The method is based on the calculation of inclusion and exclusion regions for zeros of square nonlinear systems of equations. Starting from an approximate solution at a fixed set <jats:italic>p<\/jats:italic> of parameters, the new method provides an algorithmic concept on how to construct a box <jats:inline-formula><jats:alternatives><jats:tex-math>$${\\mathbf {s}}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>s<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> around <jats:italic>p<\/jats:italic> such that for each element <jats:inline-formula><jats:alternatives><jats:tex-math>$$s\\in {\\mathbf {s}}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>s<\/mml:mi>\n                    <mml:mo>\u2208<\/mml:mo>\n                    <mml:mi>s<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> in the box the existence of a solution can be proved within certain error bounds.<\/jats:p>","DOI":"10.1007\/s10898-021-01082-3","type":"journal-article","created":{"date-parts":[[2021,9,20]],"date-time":"2021-09-20T03:12:50Z","timestamp":1632107570000},"page":"621-644","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Exclusion regions for parameter-dependent systems of equations"],"prefix":"10.1007","volume":"81","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9743-7983","authenticated-orcid":false,"given":"Bettina","family":"Ponleitner","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Hermann","family":"Schichl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,20]]},"reference":[{"issue":"3","key":"1082_CR1","first-page":"207","volume":"5","author":"EL Allgower","year":"1997","unstructured":"Allgower, E.L., Georg, K.: Numerical path following. Handb. Numer. Anal. 5(3), 207 (1997)","journal-title":"Handb. Numer. Anal."},{"issue":"2","key":"1082_CR2","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1137\/0722020","volume":"22","author":"EL Allgower","year":"1985","unstructured":"Allgower, E.L., Schmidt, P.H.: An algorithm for piecewise-linear approximation of an implicitly defined manifold. SIAM J. Numer. Anal. 22(2), 322\u2013346 (1985)","journal-title":"SIAM J. Numer. Anal."},{"key":"1082_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.artint.2014.02.001","volume":"211","author":"S Caro","year":"2014","unstructured":"Caro, S., Chablat, D., Goldsztejn, A., Ishii, D., Jermann, C.: A branch and prune algorithm for the computation of generalized aspects of parallel robots. Artif. Intell. 211, 34\u201350 (2014)","journal-title":"Artif. Intell."},{"key":"1082_CR4","doi-asserted-by":"crossref","unstructured":"Deuflhard, P., Heindl, G.: Affine invariant convergence theorems for Newton\u2019s method and extensions to related methods. SIAM J. Numer. Anal. 16(1), 1\u201310 (1979)","DOI":"10.1137\/0716001"},{"key":"1082_CR5","unstructured":"Goldsztejn, A.: Verified projection of the solution set of parametric real systems. In: Proceedings of 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS\u201903), Lausanne, Switzerland, vol.\u00a028 (2003)"},{"key":"1082_CR6","doi-asserted-by":"crossref","unstructured":"Goldsztejn, A.: A branch and prune algorithm for the approximation of non-linear AE-solution sets. In: Proceedings of the 2006 ACM Symposium on Applied computing, pp. 1650\u20131654 (2006)","DOI":"10.1145\/1141277.1141665"},{"key":"1082_CR7","unstructured":"Goldsztejn, A.: Sensitivity analysis using a fixed point interval iteration. arXiv preprint arXiv:0811.2984 (2008)"},{"key":"1082_CR8","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.mechmachtheory.2016.06.013","volume":"105","author":"A Goldsztejn","year":"2016","unstructured":"Goldsztejn, A., Caro, S., Chabert, G.: A three-step methodology for dimensional tolerance synthesis of parallel manipulators. Mech. Mach. Theory 105, 213\u2013234 (2016)","journal-title":"Mech. Mach. Theory"},{"issue":"2","key":"1082_CR9","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/s10601-009-9082-3","volume":"15","author":"A Goldsztejn","year":"2010","unstructured":"Goldsztejn, A., Granvilliers, L.: A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Constraints 15(2), 190\u2013212 (2010)","journal-title":"Constraints"},{"key":"1082_CR10","unstructured":"Kahan, W.: A more complete interval arithmetic. Lecture notes for a summer course at University of Michigan (1968)"},{"key":"1082_CR11","unstructured":"Kantorovich, L.B.: Functional analysis and applied mathematics. Uspekhi Mat. Nauk 3, 89\u2013185 (1948). (in Russian). Translated by C.\u00a0D.\u00a0Benster, Nat.\u00a0Bur.\u00a0Stand.\u00a0Rep.\u00a01509, Washington, DC, 1952"},{"key":"1082_CR12","unstructured":"Kapur, D.: An Approach for Solving Systems of Parametric Polynomial Equations. In: Sarasawat, V., Van Hentenryck, P. (eds.) Principles and Practice of Constraint Programming, pp. 217\u2013244. MIT Press (1995)"},{"issue":"3","key":"1082_CR13","doi-asserted-by":"publisher","first-page":"892","DOI":"10.1137\/0731048","volume":"31","author":"RB Kearfott","year":"1994","unstructured":"Kearfott, R.B., Xing, Z.: An interval step control for continuation methods. SIAM J. Numer. Anal. 31(3), 892\u2013914 (1994)","journal-title":"SIAM J. Numer. Anal."},{"issue":"1","key":"1082_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1009902813842","volume":"3","author":"LV Kolev","year":"1997","unstructured":"Kolev, L.V.: Use of interval slopes for the irrational part of factorable functions. Reliab. Comput. 3(1), 83\u201393 (1997)","journal-title":"Reliab. Comput."},{"issue":"5","key":"1082_CR15","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1023\/A:1011475926711","volume":"7","author":"LV Kolev","year":"2001","unstructured":"Kolev, L.V., Nenov, I.P.: Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations. Reliab. Comput. 7(5), 399\u2013408 (2001)","journal-title":"Reliab. Comput."},{"issue":"3","key":"1082_CR16","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"R Krawczyk","year":"1985","unstructured":"Krawczyk, R., Neumaier, A.: Interval slopes for rational functions and associated centered forms. SIAM J. Numer. Anal. 22(3), 604\u2013616 (1985)","journal-title":"SIAM J. Numer. Anal."},{"issue":"6","key":"1082_CR17","doi-asserted-by":"publisher","first-page":"3373","DOI":"10.1137\/130906544","volume":"51","author":"B Martin","year":"2013","unstructured":"Martin, B., Goldsztejn, A., Granvilliers, L., Jermann, C.: Certified parallelotope continuation for one-manifolds. SIAM J. Numer. Anal. 51(6), 3373\u20133401 (2013)","journal-title":"SIAM J. Numer. Anal."},{"key":"1082_CR18","unstructured":"Merlet, J.P.: Determination of 6D workspaces of a Gough-type 6 DOF parallel manipulator. In: 12th RoManSy, Paris, pp. 261\u2013268 (1998)"},{"key":"1082_CR19","unstructured":"Merlet, J.P.: Parallel Robots, 2nd edn. Springer (2006)"},{"issue":"1\u20132","key":"1082_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0094-114X(97)00025-6","volume":"33","author":"JP Merlet","year":"1998","unstructured":"Merlet, J.P., Gosselin, C.M., Mouly, N.: Workspaces of planar parallel manipulators. Mech. Mach. Theory 33(1\u20132), 7\u201320 (1998)","journal-title":"Mech. Mach. Theory"},{"issue":"12","key":"1082_CR21","doi-asserted-by":"publisher","first-page":"1391","DOI":"10.1016\/j.jsc.2010.06.017","volume":"45","author":"A Montes","year":"2010","unstructured":"Montes, A., Wibmer, M.: Gr\u00f6bner bases for polynomial systems with parameters. J. Symb. Comput. 45(12), 1391\u20131425 (2010)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"1082_CR22","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/0022-247X(89)90357-0","volume":"144","author":"A Neumaier","year":"1989","unstructured":"Neumaier, A.: Rigorous sensitivity analysis for parameter-dependent systems of equations. J. Math. Anal. Appl. 144(1), 16\u201325 (1989)","journal-title":"J. Math. Anal. Appl."},{"key":"1082_CR23","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, vol. 37. Cambridge University Press (1991)","DOI":"10.1017\/CBO9780511526473"},{"key":"1082_CR24","doi-asserted-by":"crossref","unstructured":"Neumaier, A., Zuhe, S.: The Krawczyk operator and Kantorovich\u2019s theorem. J. Math. Anal. Appl. 149(2), 437\u2013443 (1990)","DOI":"10.1016\/0022-247X(90)90053-I"},{"key":"1082_CR25","doi-asserted-by":"crossref","unstructured":"Ortega, J.M., Rheinboldt, W.C.: Iterative Solution of Nonlinear Equations in Several Variables. SIAM (2000)","DOI":"10.1137\/1.9780898719468"},{"key":"1082_CR26","doi-asserted-by":"crossref","unstructured":"Ponleitner, B.: Rigorous techniques for solving parameter-dependent systems of equations. Ph.D. Thesis, University of Vienna (2021)","DOI":"10.1007\/s10898-021-01082-3"},{"key":"1082_CR27","unstructured":"Ponleitner, B., Schichl, H.: Feasible parameter sets and rigorous solutions of parameter-dependent systems of equations. Technical Report (2018a)"},{"key":"1082_CR28","unstructured":"Ponleitner, B., Schichl, H.: Rigorous methods for computing the workspace of parallel manipulators. Technical Report (2018b)"},{"issue":"190","key":"1082_CR29","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1090\/S0025-5718-1990-1011445-5","volume":"54","author":"S Rump","year":"1990","unstructured":"Rump, S.: Rigorous sensitivity analysis for systems of linear and nonlinear equations. Math. Comput. 54(190), 721\u2013736 (1990)","journal-title":"Math. Comput."},{"issue":"216","key":"1082_CR30","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1090\/S0025-5718-96-00773-9","volume":"65","author":"S Rump","year":"1996","unstructured":"Rump, S.: Expansion and estimation of the range of nonlinear functions. Math. Comput. Am. Math. Soc. 65(216), 1503\u20131512 (1996)","journal-title":"Math. Comput. Am. Math. Soc."},{"key":"1082_CR31","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S Rump","year":"1999","unstructured":"Rump, S.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"2","key":"1082_CR32","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1080\/10556788.2010.547581","volume":"27","author":"H Schichl","year":"2012","unstructured":"Schichl, H., M\u00e1rk\u00f3t, M.: Algorithmic differentiation techniques for global optimization in the COCONUT environment. Optim. Methods Softw. 27(2), 359\u2013372 (2012)","journal-title":"Optim. Methods Softw."},{"issue":"2\u20133","key":"1082_CR33","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s10898-013-0137-z","volume":"59","author":"H Schichl","year":"2014","unstructured":"Schichl, H., M\u00e1rk\u00f3t, M., Neumaier, A.: Exclusion regions for optimization problems. J. Glob. Optim. 59(2\u20133), 569\u2013595 (2014)","journal-title":"J. Glob. Optim."},{"issue":"1","key":"1082_CR34","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1137\/S0036142902418898","volume":"42","author":"H Schichl","year":"2005","unstructured":"Schichl, H., Neumaier, A.: Exclusion regions for systems of equations. SIAM J. Numer. Anal. 42(1), 383\u2013408 (2005)","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"1082_CR35","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s10898-005-0937-x","volume":"33","author":"H Schichl","year":"2005","unstructured":"Schichl, H., Neumaier, A.: Interval analysis on directed acyclic graphs for global optimization. J. Glob. Optim. 33(4), 541\u2013562 (2005)","journal-title":"J. Glob. Optim."},{"key":"1082_CR36","unstructured":"Stuber, M.D.: Evaluation of process systems operating envelopes. Ph.D. Thesis, Massachusetts Institute of Technology (2013)"},{"key":"1082_CR37","doi-asserted-by":"crossref","unstructured":"Stuber, M.D., Barton, P.I.: Robust simulation and design using parametric interval methods. In: 4th International Workshop on Reliable Engineering Computing (REC 2010), pp. 536\u2013553. Citeseer (2010)","DOI":"10.3850\/978-981-08-5118-7_003"},{"key":"1082_CR38","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.mechmachtheory.2013.09.004","volume":"71","author":"M Tannous","year":"2014","unstructured":"Tannous, M., Caro, S., Goldsztejn, A.: Sensitivity analysis of parallel manipulators using an interval linearization method. Mech. Mach. Theory 71, 93\u2013114 (2014)","journal-title":"Mech. Mach. Theory"},{"issue":"3","key":"1082_CR39","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1137\/070709128","volume":"7","author":"JB Van Den Berg","year":"2008","unstructured":"Van Den Berg, J.B., Lessard, J.P.: Chaotic braided solutions via rigorous numerics: Chaos in the Swift\u2013Hohenberg equation. SIAM J. Appl. Dyn. Syst. 7(3), 988\u20131031 (2008)","journal-title":"SIAM J. Appl. Dyn. Syst."}],"container-title":["Journal of Global Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-021-01082-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10898-021-01082-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10898-021-01082-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,26]],"date-time":"2022-02-26T06:21:53Z","timestamp":1645856513000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10898-021-01082-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,20]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["1082"],"URL":"https:\/\/doi.org\/10.1007\/s10898-021-01082-3","relation":{},"ISSN":["0925-5001","1573-2916"],"issn-type":[{"type":"print","value":"0925-5001"},{"type":"electronic","value":"1573-2916"}],"subject":[],"published":{"date-parts":[[2021,9,20]]},"assertion":[{"value":"4 July 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 August 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 September 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Open access funding provided by University of Vienna.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Funding"}}]}}