{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T17:25:56Z","timestamp":1777569956021,"version":"3.51.4"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319542911","type":"print"},{"value":"9783319542928","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-54292-8_2","type":"book-chapter","created":{"date-parts":[[2017,2,16]],"date-time":"2017-02-16T02:12:49Z","timestamp":1487211169000},"page":"15-30","source":"Crossref","is-referenced-by-count":2,"title":["Proving Properties on PWA Systems Using Copositive and Semidefinite Programming"],"prefix":"10.1007","author":[{"given":"Assal\u00e9","family":"Adj\u00e9","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,17]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-662-46081-8_6","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Adj\u00e9","year":"2015","unstructured":"Adj\u00e9, A., Garoche, P.-L.: Automatic synthesis of piecewise linear quadratic invariants for programs. In: D\u2019Souza, D., Lal, A., Larsen, K.G. (eds.) VMCAI 2015. LNCS, vol. 8931, pp. 99\u2013116. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46081-8_6"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-662-48288-9_14","volume-title":"Static Analysis","author":"A Adj\u00e9","year":"2015","unstructured":"Adj\u00e9, A., Garoche, P.-L., Magron, V.: Property-based polynomial invariant generation using sums-of-squares optimization. In: Blazy, S., Jensen, T. (eds.) SAS 2015. LNCS, vol. 9291, pp. 235\u2013251. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-48288-9_14"},{"key":"2_CR3","unstructured":"Allamigeon, X.: Static analysis of memory manipulations by abstract interpretation \u2013 Algorithmics of tropical polyhedra, and application to abstract interpretation. Ph.D. thesis, \u00c9cole Polytechnique, Palaiseau, France, November 2009"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Allamigeon, X., Gaubert, S., Goubault, E., Putot, S., Stott, N.: A scalable algebraic method to infer quadratic invariants of switched systems. In: 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4\u20139, 2015, pp. 75\u201384 (2015)","DOI":"10.1109\/EMSOFT.2015.7318262"},{"issue":"3","key":"2_CR5","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/s10898-011-9749-3","volume":"52","author":"IM Bomze","year":"2012","unstructured":"Bomze, I.M., Schachinger, W., Uchida, G.: Think co(mpletely)positive ! matrix properties, examples and a clustered bibliography on copositive optimization. J. Glob. Optim. 52(3), 423\u2013445 (2012)","journal-title":"J. Glob. Optim."},{"issue":"1","key":"2_CR6","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1137\/070711815","volume":"20","author":"S Bundfuss","year":"2009","unstructured":"Bundfuss, S., D\u00fcr, M.: An adaptive linear approximation algorithm for copositive programs. SIAM J. Optim. 20(1), 30\u201353 (2009)","journal-title":"SIAM J. Optim."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238\u2013252. Los Angeles, California, NY (1977)","DOI":"10.1145\/512950.512973"},{"issue":"1","key":"2_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1017\/S0305004100036185","volume":"58","author":"PH Diananda","year":"1962","unstructured":"Diananda, P.H.: On non-negative forms in real variables some or all of which are non-negative. Math. Proc. Camb. Philos. Soc. 58(1), 17\u201325 (1962)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Johansson, M.: On modeling, analysis and design of piecewise linear control systems. In: Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS 2003, vol. 3, pp. III-646\u2013III-649 (2003)","DOI":"10.1109\/ISCAS.2003.1205102"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0024-3795(81)90276-7","volume":"35","author":"DH Martin","year":"1981","unstructured":"Martin, D.H., Jacobson, D.H.: Copositive matrices and definiteness of quadratic forms subject to homogeneous linear inequality constraints. Linear Algebra Appl. 35, 227\u2013258 (1981)","journal-title":"Linear Algebra Appl."},{"issue":"12","key":"2_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1017\/S0013091500014681","volume":"13","author":"JE Maxfield","year":"1962","unstructured":"Maxfield, J.E., Minc, H.: On the matrix equation X\u2019X = A. Proc. Edinb. Math. Soc. (Series 2) 13(12), 125\u2013129 (1962)","journal-title":"Proc. Edinb. Math. Soc. (Series 2)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Mignone, D., Ferrari-Trecate, G., Morari, M.: Stability and stabilization of piecewise affine and hybrid systems: an lmi approach. In: Proceedings of the 39th IEEE Conference on Decision and Control, vol. 1, pp. 504\u2013509 (2000)","DOI":"10.1109\/CDC.2000.912814"},{"issue":"2","key":"2_CR13","doi-asserted-by":"crossref","first-page":"184","DOI":"10.2307\/1905733","volume":"19","author":"TS Motzkin","year":"1951","unstructured":"Motzkin, T.S.: Two consequences of the transposition theorem on linear inequalities. Econometrica 19(2), 184\u2013185 (1951)","journal-title":"Econometrica"}],"container-title":["Lecture Notes in Computer Science","Numerical Software Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54292-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T06:40:14Z","timestamp":1498372814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-54292-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319542911","9783319542928"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54292-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}