{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:46:22Z","timestamp":1729655182879,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638377","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"82-89","source":"Crossref","is-referenced-by-count":4,"title":["Rapid prototyping of logic control in industrial automation exploiting the generalized actuator approach"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Paoli","sequence":"first","affiliation":[]},{"given":"Matteo","family":"Sartiniy","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Tilli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2003","author":"iec","journal-title":"Programable controlers - Part 3 Programming language","key":"15"},{"key":"16","article-title":"formal modeling and verification in the software engineering framework of iec 61499: a way to self-verify ing systems","volume":"2","author":"vyatkin","year":"2001","journal-title":"Proc 10th Int IEEE Conf Emerging Technologies and Factory Automation"},{"key":"13","article-title":"logic control and rapidprototyping of festo micro fms","author":"paoli","year":"2008","journal-title":"CASY Technical Report ask Corresponding Authors to obtain a copy"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/DATE.2002.998385"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"1335","DOI":"10.1016\/j.automatica.2005.03.017","article-title":"safe diagnosability for fault tolerant supervision of discrete event systems","volume":"41","author":"paoli","year":"2005","journal-title":"Automatica"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1504\/IJMR.2006.012254"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/INDIN.2004.1417411"},{"year":"0","journal-title":"CoDeSys","key":"1"},{"year":"0","key":"10"},{"key":"7","article-title":"a design procedure for hierararchical supervision systems in industrial automation","author":"faldella","year":"2008","journal-title":"CASY Technical Report ask Corresponding Authors to obtain a copy"},{"year":"0","key":"6"},{"year":"2007","author":"cassandras","journal-title":"Introduction to Discrete Event Systems","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ETFA.2005.1612733"},{"key":"9","article-title":"a modular modelling and implementation of automation functions for flexible manufacturing systems","author":"ferrarini","year":"2006","journal-title":"ANIPLA international Congress 50 Anniversary 1956-2006 Methodologies for Emerging Technologies in Auotomation"},{"key":"8","article-title":"hierarchical supervision systems in industrial automation: a design procedure based on the generalized actuator concept","author":"faldella","year":"2008","journal-title":"IFAC World Congress"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638377.pdf?arnumber=4638377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:22:00Z","timestamp":1497774120000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638377\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638377","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}