{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:40Z","timestamp":1763468080676,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T00:00:00Z","timestamp":1334620800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,4,17]]},"DOI":"10.1145\/2185632.2185651","type":"proceedings-article","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T12:53:22Z","timestamp":1334667202000},"page":"105-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["A generic ellipsoid abstract domain for linear time invariant systems"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Roux","sequence":"first","affiliation":[{"name":"ONERA, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romain","family":"Jobredeaux","sequence":"additional","affiliation":[{"name":"Georgia Tech, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Lo\u00efc","family":"Garoche","sequence":"additional","affiliation":[{"name":"ONERA, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"F\u00e9ron","sequence":"additional","affiliation":[{"name":"Georgia Tech, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","volume-title":"ESOP","author":"Adj\u00e9 A.","year":"2010","unstructured":"A. Adj\u00e9 , S. Gaubert , and E. Goubault . Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis . In ESOP , volume 6012 of LNCS . Springer , 2010 . A. Adj\u00e9, S. Gaubert, and E. Goubault. Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. In ESOP, volume 6012 of LNCS. Springer, 2010."},{"key":"e_1_3_2_1_2_1","volume-title":"Using ellipsoidal domains to analyze control systems software","author":"Alegre F.","year":"2009","unstructured":"F. Alegre , E. F\u00e9ron , and S. Pande . Using ellipsoidal domains to analyze control systems software . 2009 . http:\/\/arxiv.org\/abs\/0909.1977. F. Alegre, E. F\u00e9ron, and S. Pande. Using ellipsoidal domains to analyze control systems software. 2009. http:\/\/arxiv.org\/abs\/0909.1977."},{"key":"e_1_3_2_1_3_1","series-title":"Studies in Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970777","volume-title":"Linear Matrix Inequalities in System and Control Theory","author":"Boyd S.","year":"1994","unstructured":"S. Boyd , L. El Ghaoui , E. F\u00e9ron , and V. Balakrishnan . Linear Matrix Inequalities in System and Control Theory , volume 15 of Studies in Applied Mathematics . SIAM , Philadelphia, PA , June 1994 . S. Boyd, L. El Ghaoui, E. F\u00e9ron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory, volume 15 of Studies in Applied Mathematics. SIAM, Philadelphia, PA, June 1994."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_7_1","volume-title":"ASIAN","author":"Cousot P.","year":"2006","unstructured":"P. Cousot , R. Cousot , J. Feret , L. Mauborgne , A. Min\u00e9 , D. Monniaux , and X. Rival . Combination of abstractions in the Astr\u00e9e static analyzer . In ASIAN , Tokyo, Japan , LNCS 4435, 2006 . Springer . P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min\u00e9, D. Monniaux, and X. Rival. Combination of abstractions in the Astr\u00e9e static analyzer. In ASIAN, Tokyo, Japan, LNCS 4435, 2006. Springer."},{"key":"e_1_3_2_1_8_1","volume-title":"ESOP, number 2986 in LNCS","author":"Feret J.","year":"2004","unstructured":"J. Feret . Static analysis of digital filters . In ESOP, number 2986 in LNCS . Springer , 2004 . J. Feret. Static analysis of digital filters. In ESOP, number 2986 in LNCS. Springer, 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"International workshop on Numerical and Symbolic Abstract Domains (NSAD)","author":"Feret J.","year":"2005","unstructured":"J. Feret . Numerical abstract domains for digital filters . In International workshop on Numerical and Symbolic Abstract Domains (NSAD) , 2005 . J. Feret. Numerical abstract domains for digital filters. In International workshop on Numerical and Symbolic Abstract Domains (NSAD), 2005."},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","volume-title":"SAS","author":"Gawlitza T. M.","year":"2010","unstructured":"T. M. Gawlitza and H. Seidl . Computing relaxed abstract semantics w.r.t. quadratic zones precisely . In SAS , volume 6337 of LNCS . Springer , 2010 . T. M. Gawlitza and H. Seidl. Computing relaxed abstract semantics w.r.t. quadratic zones precisely. In SAS, volume 6337 of LNCS. Springer, 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_47"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","volume-title":"VMCAI","author":"Goubault E.","year":"2011","unstructured":"E. Goubault and S. Putot . Static analysis of finite precision computations . In VMCAI , volume 6538 of LNCS . Springer , 2011 . E. Goubault and S. Putot. Static analysis of finite precision computations. In VMCAI, volume 6538 of LNCS. Springer, 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1515\/9781400841042","volume-title":"Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach","author":"Haddad W. M.","year":"2008","unstructured":"W. M. Haddad and V. S. Chellaboina . Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach . Princeton University Press , 2008 . W. M. Haddad and V. S. Chellaboina. Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach. Princeton University Press, 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/050622870"},{"key":"e_1_3_2_1_15_1","volume-title":"A lecture on the S-Procedure","author":"J\u00f6nsson U. T.","year":"2001","unstructured":"U. T. J\u00f6nsson . A lecture on the S-Procedure , 2001 . U. T. J\u00f6nsson. A lecture on the S-Procedure, 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957836"},{"key":"e_1_3_2_1_17_1","series-title":"LNCS","volume-title":"ESOP","author":"Min\u00e9 A.","year":"2004","unstructured":"A. Min\u00e9 . Relational abstract domains for the detection of floating-point run-time errors . In ESOP , volume 2986 of LNCS . Springer , 2004 . A. Min\u00e9. Relational abstract domains for the detection of floating-point run-time errors. In ESOP, volume 2986 of LNCS. Springer, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_21"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_39"},{"key":"e_1_3_2_1_22_1","first-page":"46","author":"Rump S. M.","year":"2006","unstructured":"S. M. Rump . Verification of positive definiteness. BIT Numerical Mathematics , 46 , 2006 . S. M. Rump. Verification of positive definiteness. BIT Numerical Mathematics, 46, 2006.","journal-title":"BIT Numerical Mathematics"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_8"},{"key":"e_1_3_2_1_24_1","unstructured":"Scilab Team. Scilab. http:\/\/www.scilab.org.  Scilab Team. Scilab. http:\/\/www.scilab.org."}],"event":{"name":"HSCC'12: Hybrid Systems: Computation and Control","sponsor":["IEEE","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Beijing China","acronym":"HSCC'12"},"container-title":["Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185651","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2185632.2185651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:45Z","timestamp":1750236525000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185651"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,17]]},"references-count":23,"alternative-id":["10.1145\/2185632.2185651","10.1145\/2185632"],"URL":"https:\/\/doi.org\/10.1145\/2185632.2185651","relation":{},"subject":[],"published":{"date-parts":[[2012,4,17]]},"assertion":[{"value":"2012-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}