{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:20:01Z","timestamp":1729660801667,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301520","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:21:19Z","timestamp":1445883679000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Optimal directed control of discrete event systems with linear temporal logic constraints"],"prefix":"10.1109","author":[{"given":"Ami","family":"Sakakibara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasinee","family":"Pruekprasert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"Ushio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref10"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.33"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_12"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/00207178608933645"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.572984"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(96)00032-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012902409982"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217536"},{"journal-title":"Supervisory control of discrete-event systems","year":"2014","author":"wonham","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01439153"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217524"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927800"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902652"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.923820"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01768705"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/j.automatica.2013.11.030","article-title":"LTL receding horizon control for finite deterministic systems","volume":"50","author":"ding","year":"2014","journal-title":"Automatica"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(88)90012-2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.08.035"},{"key":"ref26","first-page":"850","article-title":"Evaluation of AGV routing strategies using hierarchical simulation","author":"alexopoulos","year":"1995","journal-title":"Proc Winter Simulation Conf"},{"key":"ref25","first-page":"140","article-title":"Better Quality in Synthesis through Quantitative Objectives","author":"bloem","year":"2009","journal-title":"Proc 21st Int Conf on Computer Aided Verification"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301520.pdf?arnumber=7301520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T18:15:52Z","timestamp":1498241752000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301520","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}