{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:47:41Z","timestamp":1730274461104,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"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":[[2021,6,20]]},"DOI":"10.1109\/isie45552.2021.9576459","type":"proceedings-article","created":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:55:52Z","timestamp":1635800152000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application"],"prefix":"10.1109","author":[{"given":"Tuojian","family":"Lyu","sequence":"first","affiliation":[]},{"given":"Jan Olaf","family":"Blech","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1080\/09537287.2018.1424960"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9211901"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA.2018.00016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502567"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2019.101919"},{"key":"ref16","first-page":"1","article-title":"On definition of a formal model for iec 61499 function blocks","author":"dubinin","year":"2007","journal-title":"EURASIP Journal on Embedded Systems 2008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.934796"},{"journal-title":"IEC 61131–3 Programming Industrial Automation Systems","year":"2010","author":"tiegelkamp","key":"ref3"},{"key":"ref6","first-page":"6:6505","article-title":"Smart factory of industry 4.0: Key technologies, application case, and challenges","author":"chen","year":"2017","journal-title":"IEEE Access"},{"journal-title":"Programming future industrial cyber physical systems A review and perspective on the state of the art","year":"2018","author":"atmojo","key":"ref5"},{"journal-title":"Modelling Control Systems Using IEC 61499","year":"0","author":"zoitl","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3270112.3275336"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/sres.2704"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1142\/S2424862217500130"},{"key":"ref9","first-page":"1217","volume":"10","author":"zhang","year":"2019","journal-title":"A simulation-based approach for plant layout design and production planning Journal of Ambient Intelligence and Humanized Computing"}],"event":{"name":"2021 IEEE 30th International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2021,6,20]]},"location":"Kyoto, Japan","end":{"date-parts":[[2021,6,23]]}},"container-title":["2021 IEEE 30th International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9575168\/9576159\/09576459.pdf?arnumber=9576459","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:47:34Z","timestamp":1652197654000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9576459\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,20]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isie45552.2021.9576459","relation":{},"subject":[],"published":{"date-parts":[[2021,6,20]]}}}