{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:43Z","timestamp":1750306723787,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"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":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656064","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Precise piecewise affine models from input-output data"],"prefix":"10.1145","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nimit","family":"Singhania","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/2958031.2958099"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"FMCAD","author":"Alur R.","year":"2013"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/5.871304"},{"issue":"10","key":"e_1_3_2_1_4_1","first-page":"1567","article-title":"A bounded-error approach to piecewise affine system identification. Automatic Control","volume":"50","author":"Bemporad A.","year":"2005","journal-title":"IEEE Transactions on"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/18.256506"},{"doi-asserted-by":"crossref","unstructured":"M.\n       \n      Col\u00f3n S.\n       \n      Sankaranarayanan and \n      \n      \n      H.\n       \n      Sipma\n      \n  \n  . \n  Linear invariant generation using non-linear constraint solving. In W. Hunt and F. Somenzi editors Computer Aided Verification volume \n  2725\n   of \n  Lecture Notes in Computer Science pages \n  420\n  --\n  432\n  . \n  Springer Berlin Heidelberg 2003\n  .  M. Col\u00f3n S. Sankaranarayanan and H. Sipma. Linear invariant generation using non-linear constraint solving. In W. Hunt and F. Somenzi editors Computer Aided Verification volume 2725 of Lecture Notes in Computer Science pages 420--432. Springer Berlin Heidelberg 2003.","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-540-45069-6_39"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2544173.2509511"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/S0005-1098(02)00224-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1836089.1836091"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-642-02658-4_48"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/11813040_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1162\/neco.1994.6.2.181"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1016\/j.conengprac.2004.04.004"},{"issue":"10","key":"e_1_3_2_1_14_1","first-page":"1520","article-title":"A bayesian approach to identification of hybrid systems. Automatic Control","volume":"50","author":"Juloski A.","year":"2005","journal-title":"IEEE Transactions on"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/s11081-008-9045-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/j.tcs.2005.07.003"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1007\/BF02187916"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/0167-6377(82)90039-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.3166\/ejc.13.242-260"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.automatica.2003.08.006"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1109\/CDC.2003.1272554"}],"event":{"sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"acronym":"ESWEEK'14","name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","location":"New Delhi India"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656064","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":21,"alternative-id":["10.1145\/2656045.2656064","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656064","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}