{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T00:07:54Z","timestamp":1716250074128},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T00:00:00Z","timestamp":1710460800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T00:00:00Z","timestamp":1710460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2024,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Set computation methods have been widely used to compute reachable sets, design invariant sets and estimate system state for dynamic systems. The wrapping effect of such set computation methods plays an essential role in the accuracy of their solutions. This paper studies the wrapping effect of existing interval, zonotopic and polytopic set computation methods and proposes novel approaches to reduce the wrapping effect for these set computation methods based on the task of computing the dynamic evolution of a nonlinear uncertain discrete-time system with a set as the initial state. The proposed novel approaches include the partition of a polytopic set via Delaunay triangulation and also the representation of a polytopic set by the union of small zonotopes for the following set propagation. The proposed novel approaches with the reduced wrapping effect has been further applied to state estimation of a nonlinear uncertain discrete-time system with improved accuracy. Similar to bisection for interval and zonotopic sets, Delaunay triangulation has been introduced as a set partition tool for polytopic sets, which has opened new research directions in terms of novel set partition, set representation and set propagation for reducing the wrapping effect of set computation.<\/jats:p>","DOI":"10.1007\/s00607-024-01275-0","type":"journal-article","created":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T16:01:51Z","timestamp":1710518511000},"page":"1431-1449","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reducing the wrapping effect of set computation via Delaunay triangulation for guaranteed state estimation of nonlinear discrete-time systems"],"prefix":"10.1007","volume":"106","author":[{"given":"Jian","family":"Wan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Jaulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,15]]},"reference":[{"key":"1275_CR1","doi-asserted-by":"crossref","unstructured":"Herceg M, Kvasnica M, Jones CN, Morari M (2013) Multi-parametric toolbox 3.0. In: Proceedings of the European control conference, Z\u00fcrich, Switzerland, pp 502\u2013510. http:\/\/control.ee.ethz.ch\/~mpt","DOI":"10.23919\/ECC.2013.6669862"},{"key":"1275_CR2","unstructured":"Mount DM (2012) CMSC754 computational geometry. In: Lecture note. University of Maryland, College Park, p 161. https:\/\/www.cs.cmu.edu\/afs\/cs\/academic\/class\/15456-s14\/Handouts\/cmsc754-lects.pdf"},{"key":"1275_CR3","first-page":"398","volume-title":"Applied interval analysis with examples in parameter and state estimation, robust control and robotics","author":"L Jaulin","year":"2001","unstructured":"Jaulin L, Kieffer M, Didrit O, Walter E (2001) Applied interval analysis with examples in parameter and state estimation, robust control and robotics. Springer, London, p 398"},{"issue":"4","key":"1275_CR4","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF02238232","volume":"54","author":"C Barbroie","year":"1995","unstructured":"Barbroie C (1995) Reducing the wrapping effect. Computing 54(4):347\u2013357. https:\/\/doi.org\/10.1007\/BF02238232","journal-title":"Computing"},{"key":"1275_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-7091-6918-6_14","volume-title":"Validation numerics","author":"A Neumaier","year":"1993","unstructured":"Neumaier A (1993) The wrapping effect, ellipsoid arithmetic, stability and confidence regions. In: Albrecht R, Alefeld G, Stetter HJ (eds) Validation numerics. Springer, Vienna, pp 175\u2013190. https:\/\/doi.org\/10.1007\/978-3-7091-6918-6_14"},{"issue":"1","key":"1275_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02684450","volume":"61","author":"W K\u00fchn","year":"1998","unstructured":"K\u00fchn W (1998) Rigorously computed orbits of dynamical systems without the wrapping effect. Computing 61(1):47\u201367. https:\/\/doi.org\/10.1007\/BF02684450","journal-title":"Computing"},{"issue":"11","key":"1275_CR7","doi-asserted-by":"publisher","first-page":"3418","DOI":"10.1016\/j.automatica.2013.08.014","volume":"49","author":"VTH Le","year":"2013","unstructured":"Le VTH, Stoica C, Alamo T, Camacho EF, Dumur D (2013) Zonotopic guaranteed state estimation for uncertain systems. Automatica 49(11):3418\u20133424. https:\/\/doi.org\/10.1016\/j.automatica.2013.08.014","journal-title":"Automatica"},{"issue":"12","key":"1275_CR8","doi-asserted-by":"publisher","first-page":"4317","DOI":"10.1109\/TAC.2018.2816262","volume":"63","author":"J Wan","year":"2018","unstructured":"Wan J, Sharma S, Sutton R (2018) Guaranteed state estimation for nonlinear discrete-time systems via indirectly implemented polytopic set computation. IEEE Trans Autom Control 63(12):4317\u20134322. https:\/\/doi.org\/10.1109\/TAC.2018.2816262","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"1275_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1109\/TSMCA.2005.843383","volume":"35","author":"G Calafiore","year":"2005","unstructured":"Calafiore G (2005) Reliable localization using set-valued nonlinear filters. IEEE Trans Syst Man Cybern Part A Syst Hum 35(2):189\u2013197. https:\/\/doi.org\/10.1109\/TSMCA.2005.843383","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Hum"},{"key":"1275_CR10","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.inffus.2022.09.014","volume":"90","author":"Z Zhao","year":"2023","unstructured":"Zhao Z, Wang Z, Zou L, Chen Y, Sheng W (2023) Zonotopic distributed fusion for nonlinear networked systems with bit rate constraint. Inf Fusion 90:174\u2013184. https:\/\/doi.org\/10.1016\/j.inffus.2022.09.014","journal-title":"Inf Fusion"},{"issue":"3","key":"1275_CR11","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s10898-008-9334-6","volume":"44","author":"J Wan","year":"2009","unstructured":"Wan J, Vehi J, Luo N (2009) A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality. J Glob Optim 44(3):395\u2013407. https:\/\/doi.org\/10.1007\/s10898-008-9334-6","journal-title":"J Glob Optim"},{"issue":"1","key":"1275_CR12","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1146\/annurev-control-071420-081941","volume":"4","author":"M Althoff","year":"2021","unstructured":"Althoff M, Frehse G, Girard A (2021) Set propagation techniques for reachability analysis. Annu Rev Control Robot Auton Syst 4(1):369\u2013395. https:\/\/doi.org\/10.1146\/annurev-control-071420-081941","journal-title":"Annu Rev Control Robot Auton Syst"},{"issue":"14","key":"1275_CR13","doi-asserted-by":"publisher","first-page":"1642","DOI":"10.1002\/rnc.2842","volume":"23","author":"W Chai","year":"2013","unstructured":"Chai W, Sun X, Qiao J (2013) Set membership state estimation with improved zonotopic description of feasible solution set. Int J Robust Nonlinear Control 23(14):1642\u20131654. https:\/\/doi.org\/10.1002\/rnc.2842","journal-title":"Int J Robust Nonlinear Control"},{"issue":"6","key":"1275_CR14","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1016\/j.automatica.2004.12.008","volume":"41","author":"T Alamo","year":"2005","unstructured":"Alamo T, Bravo JM, Camacho EF (2005) Guaranteed state estimation by zonotopes. Automatica 41(6):1035\u20131043. https:\/\/doi.org\/10.1016\/j.automatica.2004.12.008","journal-title":"Automatica"},{"issue":"1","key":"1275_CR15","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/j.automatica.2007.05.008","volume":"44","author":"T Alamo","year":"2008","unstructured":"Alamo T, Bravo JM, Redondo MJ, Camacho EF (2008) A set-membership state estimation algorithm based on dc programming. Automatica 44(1):216\u2013224. https:\/\/doi.org\/10.1016\/j.automatica.2007.05.008","journal-title":"Automatica"},{"issue":"4","key":"1275_CR16","doi-asserted-by":"publisher","first-page":"2703","DOI":"10.1002\/rnc.6536","volume":"33","author":"Z Pan","year":"2023","unstructured":"Pan Z, Liu F (2023) Nonlinear set-membership state estimation based on the Koopman operator. Int J Robust Nonlinear Control 33(4):2703\u20132721. https:\/\/doi.org\/10.1002\/rnc.6536","journal-title":"Int J Robust Nonlinear Control"},{"key":"1275_CR17","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.automatica.2016.02.036","volume":"69","author":"JK Scott","year":"2016","unstructured":"Scott JK, Raimondo DM, Marseglia GR, Braatz RD (2016) Constrained zonotopes: a new tool for set-based estimation and fault detection. Automatica 69:126\u2013136. https:\/\/doi.org\/10.1016\/j.automatica.2016.02.036","journal-title":"Automatica"},{"key":"1275_CR18","doi-asserted-by":"publisher","first-page":"108614","DOI":"10.1016\/j.automatica.2019.108614","volume":"111","author":"BS Rego","year":"2020","unstructured":"Rego BS, Raffo GV, Scott JK, Raimondo DM (2020) Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems. Automatica 111:108614. https:\/\/doi.org\/10.1016\/j.automatica.2019.108614","journal-title":"Automatica"},{"key":"1275_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109638","volume":"129","author":"BS Rego","year":"2021","unstructured":"Rego BS, Scott JK, Raimondo DM, Raffo GV (2021) Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes. Automatica 129:109638. https:\/\/doi.org\/10.1016\/j.automatica.2021.109638","journal-title":"Automatica"},{"issue":"18","key":"1275_CR20","doi-asserted-by":"publisher","first-page":"1772","DOI":"10.1080\/00207170110090642","volume":"74","author":"L Jaulin","year":"2001","unstructured":"Jaulin L, Kieffer M, Braems I, Walter E (2001) Guaranteed non-linear estimation using constraint propagation on sets. Int J Control 74(18):1772\u20131782. https:\/\/doi.org\/10.1080\/00207170110090642","journal-title":"Int J Control"},{"issue":"3","key":"1275_CR21","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1002\/acs.680","volume":"16","author":"M Kieffer","year":"2002","unstructured":"Kieffer M, Jaulin L, Walter E (2002) Guaranteed recursive non-linear state bounding using interval analysis. Int J Adapt Control Signal Process 16(3):193\u2013218. https:\/\/doi.org\/10.1002\/acs.680","journal-title":"Int J Adapt Control Signal Process"},{"issue":"4","key":"1275_CR22","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1177\/09596518231153316","volume":"237","author":"N Meslem","year":"2023","unstructured":"Meslem N, Hably A, Ra\u00efssi T (2023) State and unknown input set-valued estimation for uncertain linear discrete-time systems. Proc Inst Mech Eng Part I J Syst Control Eng 237(4):571\u2013584. https:\/\/doi.org\/10.1177\/09596518231153316","journal-title":"Proc Inst Mech Eng Part I J Syst Control Eng"},{"key":"1275_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77974-2","volume-title":"Computational geometry: algorithms and applications","author":"M Berg","year":"2008","unstructured":"Berg M, Cheong O, Kreveld M, Overmars M (2008) Computational geometry: algorithms and applications, 3rd edn. Springer Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-77974-2","edition":"3"},{"issue":"7","key":"1275_CR24","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1016\/0005-1098(96)00048-9","volume":"32","author":"L Chisci","year":"1996","unstructured":"Chisci L, Garulli A, Zappa G (1996) Recursive state bounding by parallelotopes. Automatica 32(7):1049\u20131055. https:\/\/doi.org\/10.1016\/0005-1098(96)00048-9","journal-title":"Automatica"},{"key":"1275_CR25","doi-asserted-by":"publisher","first-page":"12562","DOI":"10.1109\/ACCESS.2024.3354709","volume":"12","author":"YS Elshakhs","year":"2024","unstructured":"Elshakhs YS, Deliparaschos KM, Charalambous T, Oliva G, Zolotas A (2024) A comprehensive survey on Delaunay triangulation: applications, algorithms, and implementations over CPUs, GPUs, and FPGAs. IEEE Access 12:12562\u201312585. https:\/\/doi.org\/10.1109\/ACCESS.2024.3354709","journal-title":"IEEE Access"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-024-01275-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00607-024-01275-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-024-01275-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T18:05:28Z","timestamp":1716228328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00607-024-01275-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,15]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["1275"],"URL":"https:\/\/doi.org\/10.1007\/s00607-024-01275-0","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,15]]},"assertion":[{"value":"7 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 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 have no competing interests as defined by Springer, or other interests that might be perceived to influence the results and discussion reported in this paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}