{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T05:52:25Z","timestamp":1790833945619,"version":"4.1.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"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":["Form Methods Syst Des"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10703-015-0238-z","type":"journal-article","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T15:45:35Z","timestamp":1452267935000},"page":"302-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["A zonotopic framework for functional abstractions"],"prefix":"10.1007","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3198-1863","authenticated-orcid":false,"given":"Eric","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"key":"238_CR1","doi-asserted-by":"crossref","unstructured":"Adj\u00e9 A, Bouissou O, Goubault-Larrecq J, Goubault E, Putot S (2014) Static analysis of programs with imprecise probabilistic inputs. In: Verified software: theories, tools, experiments\u20145th international conference, VSTTE 2013, Lecture notes in computer science, vol 8164. Springer, pp 22\u201347","DOI":"10.1007\/978-3-642-54108-7_2"},{"key":"238_CR2","doi-asserted-by":"crossref","unstructured":"Adje A, Gaubert S, Goubault E (2010) Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. In: Proceedings of the European symposium on programming. Springer","DOI":"10.1007\/978-3-642-11957-6_3"},{"issue":"6","key":"238_CR3","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1016\/j.automatica.2004.12.008","volume":"41","author":"T Alamo","year":"2005","unstructured":"Alamo T, Bravo J, Camacho E (2005) Guaranteed state estimation by zonotopes. Automatica 41(6):1035\u20131043. doi: 10.1016\/j.automatica.2004.12.008","journal-title":"Automatica"},{"key":"238_CR4","first-page":"6814","volume":"2011","author":"M Althoff","year":"2011","unstructured":"Althoff M, Krogh BH (2011) Zonotope bundles for the efficient computation of reachable sets. Proc CDC 2011:6814\u20136821","journal-title":"Proc CDC"},{"issue":"2","key":"238_CR5","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1109\/TAC.2013.2285751","volume":"59","author":"M Althoff","year":"2014","unstructured":"Althoff M, Krogh BH (2014) Reachability analysis of nonlinear differential-algebraic systems. IEEE Trans Autom Control 59(2):371\u2013383","journal-title":"IEEE Trans Autom Control"},{"key":"238_CR6","doi-asserted-by":"crossref","unstructured":"Bagnara R, Ricci E, Zaffanella E, Hill PM (2002) Possibly not closed convex polyhedra and the parma polyhedra library. In: SAS \u201902: proceedings of the 9th international symposium on static analysis, Springer, London, pp 213\u2013229. http:\/\/www.cs.unipr.it\/ppl\/","DOI":"10.1007\/3-540-45789-5_17"},{"key":"238_CR7","volume-title":"Convex analysis and optimization","author":"DP Bertsekas","year":"2003","unstructured":"Bertsekas DP, Nedic A, Ozdaglar AE (2003) Convex analysis and optimization. Athena Scientific, Belmont"},{"key":"238_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00607-011-0182-8","volume":"94","author":"O Bouissou","year":"2012","unstructured":"Bouissou O, Goubault E, Goubault-Larrecq J, Putot S (2012) A generalization of p-boxes to affine arithmetic. Computing 94:1\u201313","journal-title":"Computing"},{"key":"238_CR9","doi-asserted-by":"crossref","unstructured":"Chatterjee R, Ryder BG, Landi WA (1999) Relevant context inference. In: POPL \u201999: proceedings of the 26th ACM SIGPLAN-SIGACT symposium on principles of programming languages, ACM, New York, pp 133\u2013146. http:\/\/doi.acm.org\/10.1145\/292540.292554","DOI":"10.1145\/292540.292554"},{"key":"238_CR10","unstructured":"Comba JLD, Stolfi J (1993) Affine arithmetic and its applications to computer graphics. In: VI Simp\u00f3sio Brasileiro de Computa\u00e7\u00e3o Gr\u00e1fica e Processamento de Imagens (SIBGRAPI\u201993), pp 9\u201318"},{"key":"238_CR11","doi-asserted-by":"crossref","unstructured":"Combastel C (2003) A state bounding observer based on zonotopes. In: Proceedings of european control conference. Cambridge","DOI":"10.23919\/ECC.2003.7085991"},{"key":"238_CR12","doi-asserted-by":"crossref","unstructured":"Combastel C (2005) A state bounding observer for uncertain non-linear continuous-time systems based on zonotopes. In: Proceedings of 44th IEEE conference on decision and control","DOI":"10.1109\/CDC.2005.1583327"},{"key":"238_CR13","doi-asserted-by":"crossref","unstructured":"Costan A, Gaubert S, Goubault E, Martel M, Putot S (2005) A policy iteration algorithm for computing fixed points in static analysis of programs. In: CAV, pp 462\u2013475","DOI":"10.1007\/11513988_46"},{"key":"238_CR14","first-page":"238","volume":"4","author":"P Cousot","year":"1977","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction of approximations of fixed points. Princ Prog Lang 4:238\u2013252","journal-title":"Princ Prog Lang"},{"issue":"4","key":"238_CR15","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot P, Cousot R (1992) Abstract interpretation frameworks. J Logic Comput 2(4):511\u2013547","journal-title":"J Logic Comput"},{"key":"238_CR16","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1993) Galois connection based abstract interpretations for strictness analysis, invited paper. In: Bj\u00f8rner D, Broy M, Pottosin I (eds) Proceedings of the international conference on formal methods in programming and their applications, Academgorodok. Lecture notes in computer science vol 735. Springer, Berlin, pp 98\u2013127. doi: 10.1007\/BFb0039703","DOI":"10.1007\/BFb0039703"},{"key":"238_CR17","unstructured":"Cousot P, Cousot R (2001) Compositional separate modular static analysis of programs by abstract interpretation. In: Proceedings of the Second international conference on advances in infrastructure for e-business, e-science and e-education on the internet, SSGRR 2001. Scuola Superiore G. Reiss Romoli, Compact disk, L\u2019Aquila"},{"key":"238_CR18","doi-asserted-by":"crossref","unstructured":"Cousot P, Halbwachs N (1978) Automatic discovery of linear restraints among variables of a program. In: POPL, pp 84\u201396","DOI":"10.1145\/512760.512770"},{"key":"238_CR19","doi-asserted-by":"crossref","unstructured":"Delmas D, Goubault E, Putot S, Souyris J, Tekkal K, V\u00e9drine F (2009) Towards an industrial use of fluctuat on safety-critical avionics software. In: Proceedings of FMICS, LNCS, vol. 5825","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"238_CR20","doi-asserted-by":"crossref","unstructured":"Feret J (2004) Static analysis of digital filters. In: Proceedings of ESOP, LNCS, vol. 2986. Springer","DOI":"10.1007\/978-3-540-24725-8_4"},{"issue":"1\u20134","key":"238_CR21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/B:NUMA.0000049462.70970.b6","volume":"37","author":"LH Figueiredo de","year":"2004","unstructured":"de Figueiredo LH, Stolfi J (2004) Affine arithmetic: concepts and applications. Numer Algorithms 37(1\u20134):147\u2013158","journal-title":"Numer Algorithms"},{"key":"238_CR22","doi-asserted-by":"crossref","unstructured":"Gaubert S, Goubault E, Taly A, Zennou S (2007) Static analysis by policy iteration on relational domains. In: Proceedings of the Sixteenth european symposium of programming (ESOP\u201907), LNCS, vol. 4421, Springer, pp 237\u2013252","DOI":"10.1007\/978-3-540-71316-6_17"},{"key":"238_CR23","doi-asserted-by":"crossref","unstructured":"Ghorbal K, Goubault E, Putot S (2009) The zonotope abstract domain taylor1+. In: CAV \u201909: proceedings of the 21st international conference on computer aided verification, Springer, Berlin\/Heidelberg, pp 627\u2013633. doi: 10.1007\/978-3-642-02658-4_47","DOI":"10.1007\/978-3-642-02658-4_47"},{"key":"238_CR24","doi-asserted-by":"crossref","unstructured":"Ghorbal K, Goubault E, Putot S (2010) A logical product approach to zonotope intersection. In: CAV\u201910: Proceedings of the 22nd international conference on computer aided verification, LNCS, vol. 6174. Springer, Berlin\/Heidelberg","DOI":"10.1007\/978-3-642-14295-6_22"},{"key":"238_CR25","doi-asserted-by":"crossref","unstructured":"Girard A (2005) Reachability of uncertain linear systems using zonotopes. In: Proceeedings of HSCC 2005, LNCS, vol 3414, pp 291\u2013305","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"238_CR26","doi-asserted-by":"crossref","unstructured":"Girard A, Le Guernic C (2008) Zonotope\/hyperplane intersection for hybrid systems reachability analysis. In: HSCC \u201908: proceedings of the 11th international workshop on hybrid systems, Springer, Berlin, Heidelberg, pp 215\u2013228. doi: 10.1007\/978-3-540-78929-1_16","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"238_CR27","doi-asserted-by":"crossref","unstructured":"Goubault E, Gall TL, Putot S (2012) An accurate join for zonotopes, preserving affine input\/output relations. In: Proceedings of NSAD\u201912, ENTCS, vol 287, pp 65\u201376","DOI":"10.1016\/j.entcs.2012.09.007"},{"key":"238_CR28","doi-asserted-by":"crossref","unstructured":"Goubault E, Mullier O, Putot S, Kieffer M (2014) Inner approximated reachability analysis. In: HSCC\u201914, ACM, pp 163\u2013172","DOI":"10.1145\/2562059.2562113"},{"key":"238_CR29","doi-asserted-by":"crossref","unstructured":"Goubault E, Putot S (2006) Static analysis of numerical algorithms. In: Yi K (ed) SAS, Lecture notes in computer science, vol 4134, Springer, pp 18\u201334","DOI":"10.1007\/11823230_3"},{"key":"238_CR30","doi-asserted-by":"crossref","unstructured":"Goubault E, Putot S (2007) Under-approximations of computations in real numbers based on generalized affine arithmetic. In: Nielson HR, Fil\u00e9 G (eds) SAS, Lecture notes in computer science, vol 4634, Springer, pp 137\u2013152","DOI":"10.1007\/978-3-540-74061-2_9"},{"key":"238_CR31","unstructured":"Goubault E, Putot S (2008) Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR abs\/0807.2961"},{"key":"238_CR32","unstructured":"Goubault E, Putot S (2009) A zonotopic framework for functional abstractions. CoRR abs\/0910.1763"},{"key":"238_CR33","doi-asserted-by":"crossref","unstructured":"Goubault E, Putot S (2011) Static analysis of finite precision computations. In: Proceedings of verification, model checking, and abstract interpretation\u201412th international conference, VMCAI 2011, LNCS, vol 6538, Austin, pp 232\u2013247","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"238_CR34","doi-asserted-by":"crossref","unstructured":"Goubault E, Putot S (2013) Robustness analysis of finite precision implementations. In: Proceedings of APLAS, Lecture notes in computer science, vol 8301, Springer, pp 50\u201357","DOI":"10.1007\/978-3-319-03542-0_4"},{"key":"238_CR35","unstructured":"Goubault E, Putot S, Baufreton P, Gassino J (2007) Static analysis of the accuracy in control systems: principles and experiments. In: Leue S, Merino P (eds) FMICS, Lecture notes in computer science, vol 4916, Springer, pp 3\u201320"},{"key":"238_CR36","doi-asserted-by":"crossref","unstructured":"Goubault E, Putot S, V\u00e9drine F (2012) Modular static analysis with zonotopes. In: Proceedings on static analysis\u201419th international symposium, SAS 2012, Deauville, 11\u201313 September 2012. pp 24\u201340","DOI":"10.1007\/978-3-642-33125-1_5"},{"key":"238_CR37","doi-asserted-by":"crossref","unstructured":"Guernic CL, Girard A (2009) Reachability analysis of hybrid systems using support functions. In: CAV, pp 540\u2013554","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"238_CR38","unstructured":"Guibas LJ, Nguyen A, Zhang L (2003) Zonotopes as bounding volumes. In: SODA, pp 803\u2013812"},{"key":"238_CR39","unstructured":"Jeannet B, al. Newpolka library. http:\/\/www.inrialpes.fr\/pop-art\/people\/bjeannet\/newpolka"},{"key":"238_CR40","doi-asserted-by":"crossref","unstructured":"Jeannet B, Gopan D, Reps T (2005) A relational abstraction for functions. In: International workshop on numerical and symbolic abstract domains","DOI":"10.1007\/11547662_14"},{"key":"238_CR41","doi-asserted-by":"crossref","unstructured":"Jeannet B, Min\u00e9 A (2009) Apron: A library of numerical abstract domains for static analysis. In: CAV, pp 661\u2013667","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"238_CR42","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-662-03567-2_10","volume-title":"Visualization and mathematics","author":"W K\u00fchn","year":"1998","unstructured":"K\u00fchn W (1998) Zonotope dynamics in numerical quality control. In: Hege HC, Polthier K (eds) Visualization and mathematics. Springer, Heidelberg, pp 125\u2013134"},{"key":"238_CR43","doi-asserted-by":"crossref","unstructured":"Kurzhanski AB, Varaiya P (2000) Ellipsoidal techniques for reachability analysis. In: HSCC \u201900: proceedings of the third international workshop on hybrid systems: Computation and Control, Springer, pp 202\u2013214","DOI":"10.1007\/3-540-46430-1_19"},{"key":"238_CR44","doi-asserted-by":"crossref","unstructured":"Kurzhanskii AB, Vlyi I (1997) Ellipsoidal calculus for estimation and control. Laxenburg, Austria : IIASA; Boston : Birkhuser Boston","DOI":"10.1007\/978-1-4612-0277-6"},{"key":"238_CR45","volume-title":"Zonotopes: from guaranteed state estimation to control","author":"VTH Le","year":"2013","unstructured":"Le VTH, Stoica C, Alamo T, Camacho E, Dumur D (2013) Zonotopes: from guaranteed state estimation to control. Wiley-ISTE, Hoboken"},{"key":"238_CR46","doi-asserted-by":"crossref","unstructured":"Min\u00e9 A (2001) A new numerical abstract domain based on difference-bound matrices. In: PADO \u201901: proceedings of the second symposium on programs as data objects, Springer, London, pp 155\u2013172","DOI":"10.1007\/3-540-44978-7_10"},{"key":"238_CR47","unstructured":"Min\u00e9 A (2006) Symbolic methods to enhance the precision of numerical abstract domains. In: VMCAI\u201906, pp 348\u2013363"},{"key":"238_CR48","doi-asserted-by":"crossref","unstructured":"Monniaux D (2005) Compositional analysis of floating-point linear numerical filters. In: CAV, pp 199\u2013212","DOI":"10.1007\/11513988_21"},{"key":"238_CR49","first-page":"1101","volume":"2","author":"S Rump","year":"2014","unstructured":"Rump S, Kashiwagi M (2014) Implementation and improvements of affine arithmetic. Nonlinear Theory Appl 2:1101\u20131119","journal-title":"Nonlinear Theory Appl"},{"key":"238_CR50","volume-title":"Lectures on polytopes (updated seventh printing). No. 152 in graduate texts in mathematics","author":"GM Ziegler","year":"2007","unstructured":"Ziegler GM (2007) Lectures on polytopes (updated seventh printing). No. 152 in graduate texts in mathematics. Springer, New York"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-015-0238-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-015-0238-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-015-0238-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T05:23:13Z","timestamp":1567488193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-015-0238-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["238"],"URL":"https:\/\/doi.org\/10.1007\/s10703-015-0238-z","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12]]}}}