{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:08:22Z","timestamp":1725523702444},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005190","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T21:34:59Z","timestamp":1421184899000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Validation of logic controllers from events observation in a closed-loop system"],"prefix":"10.1109","author":[{"given":"Anais","family":"Guignard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Faure","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1999","author":"clarke","journal-title":"Model checking","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TSE.1978.231496"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/DCDS.2011.5970309"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CONIELECOMP.2013.6525771"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ACC.2010.5530540"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.automatica.2007.10.014"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/5.533956"},{"year":"0","author":"klein","article-title":"Fault detection of Discrete Event Systems using an identification approach","key":"ref7"},{"year":"1979","author":"boehm","journal-title":"Classics in Software Engineering","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/CDC.2000.914135"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-662-04558-9"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005190.pdf?arnumber=7005190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T04:58:23Z","timestamp":1490331503000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005190\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005190","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}