{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:54:13Z","timestamp":1730220853195,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502611","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T03:20:08Z","timestamp":1542338408000},"page":"500-507","source":"Crossref","is-referenced-by-count":0,"title":["Multi-resource sharing scheduling considering uncontrollable environment"],"prefix":"10.1109","author":[{"given":"Mahya","family":"Rahimi","sequence":"first","affiliation":[]},{"given":"Emil","family":"Dumitrescu","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Niel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Contribution a la reconfiguration des systèmes de production: ordonnancement par recherche datteignabilite","author":"marange","year":"2011","journal-title":"J Eur des Systèmes Autom"},{"key":"ref11","first-page":"133","volume":"11","author":"gaubert","year":"1995","journal-title":"Task Resource Models and (Max +) Automata"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2495\/TDI-V1-N3-414-420"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00291-016-0443-1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2016.03.011"},{"key":"ref15","first-page":"3254","article-title":"Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach","author":"cimatti","year":"2015","journal-title":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence"},{"key":"ref16","first-page":"1","article-title":"Model-based Framework for Schedulability Analysis Using UppaaI4. 1","author":"david","year":"2009","journal-title":"Model-Based Design for Embedded Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3182\/20100830-3-DE-4013.00059"},{"key":"ref18","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 Automat Contr"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0178-y"},{"key":"ref4","first-page":"594","article-title":"IBM ILOG CPLEX Optimisation Studio","year":"2014","journal-title":"Man Seq interval Var"},{"journal-title":"Optimisation d'alignements d'un réseau de pipelines basée sur les algebres tropicales et les approches genetiques","year":"2015","author":"quintero garcia","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.363"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"journal-title":"Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines","year":"2016","author":"shehabinia","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7946(10)28201-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2016.05.020"},{"journal-title":"Parallel machine scheduling with additional resources Notation classification models and solution methods","year":"2013","author":"edis","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.014"},{"key":"ref20","first-page":"66","article-title":"Efficient on-the-flyalgorithms for the analysis of timed games","volume":"5","author":"cassez","year":"2005","journal-title":"Proc Int Conf Concurrency Theory CONCUR"},{"journal-title":"UPPAAL TIGA User-manual","year":"2007","author":"behrmann","key":"ref22"},{"journal-title":"A comparison of Timed Games and Time Optimal Supervisor Synthesis","year":"2010","author":"de munter","key":"ref21"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2018,9,4]]},"location":"Turin","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502611.pdf?arnumber=8502611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:24:42Z","timestamp":1598225082000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502611\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502611","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}