{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:59:22Z","timestamp":1729648762098,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6314891","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:55:22Z","timestamp":1405547722000},"page":"2645-2650","source":"Crossref","is-referenced-by-count":20,"title":["On-the-fly model abstraction for controller synthesis"],"prefix":"10.1109","author":[{"given":"M.","family":"Rungger","sequence":"first","affiliation":[]},{"given":"O.","family":"Stursberg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","first-page":"5911","article-title":"Abstraction based solution of complex attainability problems for decomposable continuous plants","author":"rei\ufffdig","year":"2010","journal-title":"40th IEEE Conf Decision and Control"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-21582-2","author":"deuflhard","year":"2002","journal-title":"Scientific Computing with Ordinary Differential Equations"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(93)90045-P"},{"journal-title":"Combinatorial Optimization Polyhedra and Efficiency","year":"2003","author":"schrijver","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012900383090"},{"key":"2","doi-asserted-by":"crossref","first-page":"2583","DOI":"10.1109\/TAC.2011.2118950","article-title":"Computing abstractions of nonlinear systems","volume":"56","author":"rei\ufffdig","year":"2011","journal-title":"IEEE Transaction on Automatic Control"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4755-1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2011.02.002"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717967"},{"key":"5","first-page":"298","article-title":"Optimizing hybrid control trajectories by model abstraction and refinement","author":"paschedag","year":"2009","journal-title":"3rd Conf Analysis and Design of Hybrid Systems"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-007-9312-z"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434428"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/9.664160"}],"event":{"name":"2012 American Control Conference - ACC 2012","start":{"date-parts":[[2012,6,27]]},"location":"Montreal, QC","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6297579\/6314593\/06314891.pdf?arnumber=6314891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T16:50:47Z","timestamp":1498150247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6314891\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6314891","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}