{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:22:52Z","timestamp":1762521772069,"version":"3.37.3"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2016,6,1]],"date-time":"2016-06-01T00:00:00Z","timestamp":1464739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1446145","CNS-1446151"],"award-info":[{"award-number":["CNS-1446145","CNS-1446151"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Control Netw. Syst."],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/tcns.2015.2428471","type":"journal-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:48:00Z","timestamp":1430506080000},"page":"162-172","source":"Crossref","is-referenced-by-count":51,"title":["Traffic Network Control From Temporal Logic Specifications"],"prefix":"10.1109","volume":"3","author":[{"given":"Samuel","family":"Coogan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ebru Aydin","family":"Gol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murat","family":"Arcak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Monotone Dynamical Systems an Introduction to the Theory of Competitive and Cooperative Systems","year":"1995","author":"smith","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.817920"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/0516030"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971309"},{"key":"ref37","first-page":"502","article-title":"Multi-Parametric Toolbox 3.0","author":"herceg","year":"0","journal-title":"Proc Eur Control Conf"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1201\/b10384-34"},{"key":"ref35","article-title":"Streett games on finite graphs","author":"horn","year":"0","journal-title":"Proc 2nd Workshop Games Design Verif"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-4340-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2160595"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1109\/TAC.2013.2295664","article-title":"Language-guided controller synthesis for linear systems","volume":"59","author":"gol","year":"2014","journal-title":"IEEE Trans Autom Control"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314916"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185648"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461379"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/acs.680"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.819610"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0965-8564(01)00017-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2013.08.014"},{"journal-title":"Principals of Model Checking","year":"2008","author":"baier","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0968-090X(94)00012-T"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.11.005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6243-9_2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2012.6338817"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0233-2"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"97","DOI":"10.3934\/dcdsb.2006.6.97","article-title":"A global attractivity result for maps with invariant boxes","volume":"6","author":"kulenovic","year":"2006","journal-title":"Discrete and Continuous Dynamical Systems - Series B"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843709"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171941"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45426-8_14"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0191-2615(94)90002-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28091-X_26"}],"container-title":["IEEE Transactions on Control of Network Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6509490\/7494747\/07100902.pdf?arnumber=7100902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:34:57Z","timestamp":1633919697000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7100902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":37,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcns.2015.2428471","relation":{},"ISSN":["2325-5870"],"issn-type":[{"type":"electronic","value":"2325-5870"}],"subject":[],"published":{"date-parts":[[2016,6]]}}}