{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:43:12Z","timestamp":1730220192796,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2003.1247689","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T17:17:26Z","timestamp":1080667046000},"page":"69-74","source":"Crossref","is-referenced-by-count":2,"title":["Modelling, supervision and diagnosis of a manufacturing cell"],"prefix":"10.1109","volume":"1","author":[{"given":"C.","family":"Cardenas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Olmos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Baeyens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A comparative Study of Synthesis Methods for Discrete Event Controllers","author":"pinzon","year":"1997","journal-title":"Rutcor Research Report"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.52290"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167714"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref16","article-title":"Failure diagnosis using discrete-event models","author":"sampath","year":"1997","journal-title":"Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/9.701089"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.914131"},{"key":"ref3","article-title":"The Real-Time Supervisory Control of an Experimental Manufacturing Cell","volume":"12","year":"1996","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"ref6","article-title":"PLC-based Implementation of Supervisory Control for Discrete Event Systems","author":"fabian","year":"1998","journal-title":"Proc The 37th IEEE CDC"},{"key":"ref5","first-page":"161","article-title":"Centralized Modular Diagnosis and Phenomenon of Coupling","author":"garc\u00eda","year":"2002","journal-title":"Wades'02"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.946047"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167713"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.914133"},{"article-title":"Control of Discrete Event Processes: Theory and Application","year":"1992","author":"balemi","key":"ref1"},{"key":"ref9","article-title":"Ladder Logic Implementation of Ramadge-Wonham Supervisory Controller","author":"liu","year":"2002","journal-title":"Proc WODES'02"}],"event":{"name":"2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings","acronym":"ETFA-03","location":"Lisbon, Portugal"},"container-title":["EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8826\/27939\/01247689.pdf?arnumber=1247689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:51:13Z","timestamp":1489416673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1247689\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/etfa.2003.1247689","relation":{},"subject":[]}}