{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:12:57Z","timestamp":1730203977059,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1109\/ccta41146.2020.9206376","type":"proceedings-article","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T00:39:12Z","timestamp":1601426352000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Monitoring and verification of event-driven transportation systems in discrete manufacturing"],"prefix":"10.1109","author":[{"given":"Petar","family":"Andonov","sequence":"first","affiliation":[]},{"given":"Anton","family":"Savchenko","sequence":"additional","affiliation":[]},{"given":"Philipp","family":"Rumschinski","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Trenner","sequence":"additional","affiliation":[]},{"given":"Jorg","family":"Neidig","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Findeisen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"CPLEX v12 1 User's Manual for CPLEX","year":"2009","key":"ref10"},{"key":"ref11","article-title":"Recommendations for implementing the strategic initiative industrie 4.0","author":"kagermann","year":"2013","journal-title":"Technical report Federal Ministry of Education and Research of Germany"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.871312"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2015-0067"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-4-69"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03127"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bts137"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2009.7074861"},{"key":"ref18","first-page":"197","author":"trenner","year":"2015","journal-title":"Einsatz cyber-physischer Systeme im Echtzeitkontext"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2014.09.007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75857-2"},{"key":"ref3","volume":"2","author":"blanke","year":"2006","journal-title":"Diagnosis and Fault-Tolerant Control"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.22616\/ERDev2018.17.N428"},{"journal-title":"Neue Methoden zur Effizienzanalyse in verketteten Produktionslinien am Beispiel von Getr änkeabfüllanlagen","year":"2018","author":"flad","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.09.545"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2013.11.039"},{"key":"ref2","first-page":"484","article-title":"Flexible and reconfigurable layouts in complex manufacturing systems","author":"azevedo","year":"2012","journal-title":"Proc IFIP Int Conf Adv Prod Manag Syst"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.09.127"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23860-4_52"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2015.04.008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfoodeng.2007.06.008"},{"journal-title":"Model Building in Mathematical Programming","year":"2013","author":"paul williams","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1287\/opre.34.1.91"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2363135"}],"event":{"name":"2020 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2020,8,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2020,8,26]]}},"container-title":["2020 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9200884\/9206152\/09206376.pdf?arnumber=9206376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:48:53Z","timestamp":1656344933000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9206376\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/ccta41146.2020.9206376","relation":{},"subject":[],"published":{"date-parts":[[2020,8]]}}}