{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:51:15Z","timestamp":1729633875596,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7040319","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:53:59Z","timestamp":1424202839000},"page":"5943-5948","source":"Crossref","is-referenced-by-count":2,"title":["Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines"],"prefix":"10.1109","author":[{"given":"Liyong","family":"Lin","sequence":"first","affiliation":[]},{"given":"Ahmad Reza","family":"Shehabinia","sequence":"additional","affiliation":[]},{"given":"Rong","family":"Su","sequence":"additional","affiliation":[]},{"given":"Bertil","family":"Brandin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TAC.2011.2157391","article-title":"The synthesis of time optimal supervisors by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"IEEE Trans Automatic Control"},{"key":"ref12","first-page":"321","article-title":"Heaps of pieces, I: Basic definitions and combinatorial lemmas","author":"viennot","year":"1997","journal-title":"Combinatoire Enumerative Labelle and Leroux Eds no 1234 in Lecture Notes in mathematics"},{"key":"ref13","article-title":"Systems Control Group, Dept. of ECE, University of Toronto","author":"wonham","year":"2013","journal-title":"Supervisory control of discrete-event systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2004.03.006"},{"key":"ref6","first-page":"312","article-title":"Scheduling cluster tools with supervisory control theory","volume":"11","author":"cury","year":"2013","journal-title":"Intelligent Manufacturing Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref8","article-title":"Temporal Logic for Real-Time Systems","author":"ostroff","year":"1989","journal-title":"Advanced Software Development Series Ed J Kramer Research Studies Press Limited (Distributed by John Wiley and Sons)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2007.02.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-2361-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.363"}],"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\/07040319.pdf?arnumber=7040319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T05:44:29Z","timestamp":1498196669000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7040319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7040319","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}