{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:23:43Z","timestamp":1784211823552,"version":"3.55.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341752","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:45:29Z","timestamp":1191937529000},"page":"207-212","source":"Crossref","is-referenced-by-count":9,"title":["PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems"],"prefix":"10.1109","author":[{"given":"Tord","family":"Alenljung","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Markus","family":"Skoldstam","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"14","article-title":"www.supremica.org. The official website for the Supremica project","year":"2007"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1988.194747"},{"key":"12","author":"sko?ldstam","year":"2007","journal-title":"Supervisory control applied to automata extended with variables"},{"key":"3","author":"clarke","year":"2000","journal-title":"Model checking"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"1","article-title":"Programmable Controllers-Part 3, 2nd ed., ser. International standard","year":"2003"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CIM.1990.128107"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.1998.758209","article-title":"PLC-based implementation of supervisory control for discrete event systems","author":"fabian","year":"1998","journal-title":"Proc 37th Conf Decision and Control"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/9.855548"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814099"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","location":"Scottsdale, AZ, USA","start":{"date-parts":[[2007,9,22]]},"end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341752.pdf?arnumber=4341752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T19:46:31Z","timestamp":1497728791000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341752","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}