{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:32Z","timestamp":1763466512955,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7040368","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T14:53:59Z","timestamp":1424184839000},"page":"6246-6253","source":"Crossref","is-referenced-by-count":28,"title":["Incremental synthesis of switching protocols via abstraction refinement"],"prefix":"10.1109","author":[{"given":"Petter","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426654"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580816"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.026"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_28"},{"key":"ref16","first-page":"2222","article-title":"Sampling-based motion planning with deterministic fL-calculus specifications","author":"karaman","year":"2009","journal-title":"Proc of IEEE CDC held jointly with CCC"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426346"},{"key":"ref18","article-title":"Patching task-level robot controllers based on a local fL-calculus formula","author":"livingston","year":"0","journal-title":"Proc of the IEEE ICRA 2013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.027"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/37.793443"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00139-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2012.2230992"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717115"},{"key":"ref7","first-page":"433","article-title":"Robust controller synthesis for hybrid systems using modal logic","author":"moor","year":"2001","journal-title":"Proc HSCC"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871306"},{"key":"ref9","first-page":"191","article-title":"Synthesis of switching controllers using approximately bisimilar multiscale abstractions","author":"camara","year":"2011","journal-title":"Proc HSCC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859428"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36387-4","volume":"2500","author":"gradel","year":"2002","journal-title":"Automata Logics and Infinite Games A Guide to Current Research sere Lecture Notes in Computer Science"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579879"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref23"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07040368.pdf?arnumber=7040368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T01:44:24Z","timestamp":1498182264000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7040368\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7040368","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}