{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:15:14Z","timestamp":1729635314130,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717909","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"5899-5904","source":"Crossref","is-referenced-by-count":3,"title":["Formal analysis of piecewise affine systems through formula-guided refinement"],"prefix":"10.1109","author":[{"given":"Boyan","family":"Yordanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jana","family":"Tumova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivana","family":"Cerna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiri","family":"Barnat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1038\/35002131","article-title":"Construction of a genetic toggle switch in Escherichia coli","volume":"403","author":"gardner","year":"2000","journal-title":"Nature"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45138-9_38"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","article-title":"Equivalence of hybrid dynamical models","volume":"37","author":"heemels","year":"2001","journal-title":"Automatica"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/978-3-540-31954-2_23","article-title":"Comparison of four procedures for the identification of hybrid systems","volume":"3414","author":"juloski","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"journal-title":"Multi-Parametric Toolbox (MPT)","year":"2004","author":"kvasnica","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-78929-1_21","article-title":"Dealing with non-determinism in symbolic control","author":"kloetzer","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref19","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"Proc Logic in Computer Science"},{"key":"ref4","first-page":"197","article-title":"Minimal model generation","volume":"531","author":"bouajjani","year":"1990","journal-title":"Computer-Aided Verification (CAV)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1048"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Computer-Aided Verification (CAV)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.948467"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HiBi.2009.10"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016043502772"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_19"},{"key":"ref20","article-title":"Model checking discrete time piesewise affine systems: application to gene networks","author":"yordanov","year":"2007","journal-title":"European Control Conference"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717909"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717909.pdf?arnumber=5717909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T15:13:48Z","timestamp":1560006828000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717909","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}