{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T21:09:26Z","timestamp":1730236166446,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/iccp.2015.7312618","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T23:03:35Z","timestamp":1446505415000},"page":"133-140","source":"Crossref","is-referenced-by-count":2,"title":["Evolutionary synthesis of hybrid controllers"],"prefix":"10.1109","author":[{"given":"Tiberiu S.","family":"Letia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attila O.","family":"Kilyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"92","article-title":"Core Hybrid Event-B Machines","volume":"105","author":"banach","year":"2015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.922714"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2014.6982486"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05582-4_52"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30175-2_3"},{"article-title":"Generative Programming: Methods, Tools, and Applications","year":"2000","author":"czarnecki","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"ref5","article-title":"Automatic construction of program transformation templates","volume":"48","author":"chiba","year":"2007","journal-title":"IPSJ Transactions on Programming"},{"key":"ref8","first-page":"31","article-title":"Survey of modeling, analysis, and control of hybrid systems","author":"de","year":"2009","journal-title":"chapter 2"},{"article-title":"Hybrid Systems: Modeling, Analysis and Control","year":"2008","author":"lygeros","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0437-3_5"},{"key":"ref1","article-title":"A General Theory of Automatic Program Synthesis","author":"smith","year":"1981","journal-title":"Technical Report Number"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"}],"event":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","start":{"date-parts":[[2015,9,3]]},"location":"Cluj-Napoca, Romania","end":{"date-parts":[[2015,9,5]]}},"container-title":["2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7301668\/7312586\/07312618.pdf?arnumber=7312618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T05:21:06Z","timestamp":1490419266000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7312618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iccp.2015.7312618","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}