{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T19:50:19Z","timestamp":1790365819604,"version":"4.1.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318262","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T22:52:50Z","timestamp":1447109570000},"page":"75-84","source":"Crossref","is-referenced-by-count":8,"title":["A scalable algebraic method to infer quadratic invariants of switched systems"],"prefix":"10.1109","author":[{"given":"Xavier","family":"Allamigeon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Gaubert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolas","family":"Stott","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref38","author":"zhan","year":"2002","journal-title":"Matrix inequalities volume 1790 of Lecture Notes in Mathematics"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2241472"},{"key":"ref32","article-title":"A handbook of results on interval linear problems","author":"rohn","year":"2005","journal-title":"Anril"},{"key":"ref31","first-page":"1679","article-title":"Asymptotic stability of m-switched systems using lyapunov-like functions","author":"peleties","year":"1991","journal-title":"Proceedings of ACC"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2007.12.027"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530585"},{"key":"ref36","first-page":"25","article-title":"Scalable analysis of linear systems using mathematical programming","author":"sankaranarayanan","year":"2005","journal-title":"Proc of VMCAI'05"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185651"},{"key":"ref34","author":"roux","year":"2013","journal-title":"Analyse statique de systèmes de contrôle commande synthèse d'invariants non linéaires"},{"key":"ref10","article-title":"Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming","author":"cousot","year":"2005","journal-title":"VMCAI volume 3385 of LNCS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref12","first-page":"21","article-title":"The astree analyzer","author":"cousot","year":"2005","journal-title":"Proc ESOP'05"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_4"},{"key":"ref15","article-title":"Control software analysis, part I open-loop properties","author":"feron","year":"2008","journal-title":"CoRR abs\/0809 4812"},{"key":"ref16","article-title":"Control software analysis, part II: closed-loop analysis","author":"feron","year":"2008","journal-title":"CoRR abs\/0812 1986"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_3"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1017\/S0305004111000673","article-title":"A maximin characterization of the escape rate of nonexpansive mappings in metrically convex spaces","volume":"152","author":"gaubert","year":"2012","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"ref19","first-page":"627","article-title":"The zonotope abstract domain taylorl","author":"ghorbal","year":"2009","journal-title":"Proc CAV'09"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/0391"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.na.2006.09.021"},{"key":"ref27","article-title":"MathWorks Inc","year":"0","journal-title":"Polyspace static analyzer fr mathworks com\/products\/polyspace\/"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30232-9_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(03)00647-5"},{"key":"ref29","author":"papadopoulos","year":"2005","journal-title":"Metric spaces convexity and nonpositive curvature"},{"key":"ref5","first-page":"1","article-title":"An elementary introduction to modern convex geometry","author":"ball","year":"1997","journal-title":"Flavors of geometry volume 31 of Math Sci Res Inst Publ"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/781151.781153"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:1)2012"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.sigpro.2005.12.012"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_6"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.56021\/9781421407944","author":"golub","year":"2013","journal-title":"Matrix Computations"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/9.664157"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_1"},{"key":"ref24","first-page":"3","article-title":"Linear operators leaving invariant a cone in a Banach space","volume":"3","author":"krein","year":"1948","journal-title":"Uspehi Matematiëeskih Nauk"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2010.14.143"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref25","article-title":"Ellipsoidal calculus for estimation and control","author":"kurzhanski","year":"1997","journal-title":"Systems & control IIASA Boston"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","location":"Amsterdam, Netherlands","start":{"date-parts":[[2015,10,4]]},"end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318262.pdf?arnumber=7318262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T09:57:39Z","timestamp":1718186259000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318262\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318262","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}