{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:48:08Z","timestamp":1725443288081},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/ecc.2016.7810324","type":"proceedings-article","created":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T18:12:11Z","timestamp":1484158331000},"page":"441-446","source":"Crossref","is-referenced-by-count":0,"title":["Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers"],"prefix":"10.1109","author":[{"given":"Christian","family":"Dernehl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Characterizing correctness properties of parallel programs using fixpoints","year":"1980","author":"emerson","key":"ref10"},{"key":"ref11","article-title":"Numerical abstract domains for digital filters","author":"feret","year":"2005","journal-title":"International workshop on Numerical and Symbolic Abstract Domains (NSAD 2005)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19718-5_13"},{"journal-title":"CVX Matlab Software for Disciplined Convex Programming Version 2 1","year":"0","author":"grant","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33512-9_12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1070\/RM1972v027n05ABEH001386"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"journal-title":"CalCS SMT Solving for Non-linear Convex Constraints","year":"2010","author":"nuzzo","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377785"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351741"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref8","first-page":"1649","article-title":"Static Value Range Analysis for Matlab\/Simulink-Models","author":"dernehl","year":"2015","journal-title":"Informatik 2015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739402"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185652"},{"journal-title":"SOSTOOLS Sum of squares optimization toolbox for Matlab","year":"0","author":"papachristodoulou","key":"ref1"},{"key":"ref20","first-page":"5606","article-title":"New developments in sum of squares optimization and SOSTOOLS","author":"prajna","year":"2004","journal-title":"Proceedings of the American Control Conference"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470160"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.823000"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2241472"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914221"}],"event":{"name":"2016 European Control Conference (ECC)","start":{"date-parts":[[2016,6,29]]},"location":"Aalborg, Denmark","end":{"date-parts":[[2016,7,1]]}},"container-title":["2016 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7792520\/7810253\/07810324.pdf?arnumber=7810324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T23:11:06Z","timestamp":1506985866000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7810324\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/ecc.2016.7810324","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}