{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:31:56Z","timestamp":1729629116701,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582903","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"4694-4699","source":"Crossref","is-referenced-by-count":4,"title":["On the Partitioning of Syntax and Semantics For Hybrid Systems Tools"],"prefix":"10.1109","author":[{"given":"J.","family":"Sprinkle","sequence":"first","affiliation":[]},{"given":"A.D.","family":"Ames","sequence":"additional","affiliation":[]},{"given":"A.","family":"Pinto","sequence":"additional","affiliation":[]},{"family":"Haiyang Zheng","sequence":"additional","affiliation":[]},{"given":"S.S.","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"14","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","article-title":"Approximate reachability analysis of piecewise linear dynamical systems","volume":"1790","author":"asarin","year":"2000","journal-title":"ser Lecture Notes in Computer Science"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824311"},{"key":"3","article-title":"Hierarchical hybrid modeling of embedded systems","author":"alur","year":"2001","journal-title":"Proc First Int Workshop Embedded Software EMSOFT'01"},{"year":"0","key":"2"},{"journal-title":"Hybrid Systems Interchange Format (v 4 1 8)","year":"2004","author":"sprinkle","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"article-title":"Modeling techniques, programming languages design toolsets for hybrid systems","year":"2004","author":"carloni","key":"8"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01582903.pdf?arnumber=1582903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T09:51:50Z","timestamp":1497693110000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582903\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582903","relation":{},"subject":[]}}