{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:17:28Z","timestamp":1725560248378},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641244","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:11:18Z","timestamp":1291151478000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["A methodology for modular model-building in discrete automation"],"prefix":"10.1109","author":[{"given":"M","family":"Sartini","sequence":"first","affiliation":[]},{"given":"A","family":"Paoli","sequence":"additional","affiliation":[]},{"given":"R C","family":"Hill","sequence":"additional","affiliation":[]},{"given":"S","family":"Lafortune","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"113","article-title":"Formal modeling and verification in the software engineering framework of IEC 61499: A way to self-verifying systems","author":"vyatkin","year":"2001","journal-title":"Proc 10th Int IEEE Conf Emerging Technologies and Factory Automation"},{"journal-title":"Proceedings of the 20th International Workshop on Principles of Diagnosis 2009","article-title":"Fault diagnosis of discrete event systems using components fault-free models","year":"0","author":"sayed-mouchaweh","key":"15"},{"journal-title":"Proceedings of the 7th IFAC Symposium on Fault Detection Supervision and Safety of Technical Processes 2009","article-title":"Rule-based composable modelling of industrial automation automata under nominal and faulty conditions","year":"0","author":"tilli","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"journal-title":"Model-building for Automated Manufacturing Systems A Discrete Event Systems Approach","year":"2010","author":"sartini","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"journal-title":"Proceedings of 2005 IFAC World Congress","article-title":"Designing dependable logic controllers using the supervisory control theory","year":"0","author":"roussel","key":"12"},{"journal-title":"Proceedings of 17th IFAC WC 2008","article-title":"Hierarchical control architectures in industrial automation: A design approach based on the generalized actuator concept","year":"0","author":"faldella","key":"3"},{"journal-title":"Proceeding of 1st IFAC Workshop on Dependable Control of Discrete Systems 2007","article-title":"Optimal discrete controller synthesis for modeling faulttolerant distributed systems","year":"0","author":"dumitrescu","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417411"},{"journal-title":"Proceedings of the 17th IFACWorld Congress 2008","article-title":"A fault tolerant architecture for supervisory control of discrete event systems","year":"0","author":"paoli","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2006.876635"},{"journal-title":"Proceedings of 6th Int Workshop on Discrete Event Systems 2002","article-title":"Modelling and plc-based implementation of modular supervisory control discrete event systems","year":"0","author":"hellgren","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2008.4626492"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICAT.2009.5348451"},{"journal-title":"Proceedings of 3th IFAC Workshop on Discrete-Event System Design 2006","article-title":"Logic controllers dependability verification using a plant model","year":"0","author":"machado","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0022-3"}],"event":{"name":"Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641244.pdf?arnumber=5641244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T04:37:41Z","timestamp":1490071061000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641244\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641244","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}