{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:22:45Z","timestamp":1729668165183,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/ssd.2017.8166936","type":"proceedings-article","created":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T19:22:43Z","timestamp":1513192963000},"page":"319-327","source":"Crossref","is-referenced-by-count":2,"title":["Diagnosability of programmable logic controllers"],"prefix":"10.1109","author":[{"given":"Mohammed","family":"Baniyounis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"AlMutazbellah","family":"Mesmar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4236\/ica.2015.61007"},{"journal-title":"Decentralized Diagnosis and Diagnosability by Model Checking","year":"2013","author":"philippot","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00086-X"},{"journal-title":"Industrial control electronics devices systems and applications","year":"2002","author":"bartelt","key":"ref15"},{"key":"ref16","first-page":"8367","article-title":"Formalization and Visualization of Non-Binary PLC Programs","author":"bani younis","year":"2005","journal-title":"Proceedings of the 44th IEEE Conference on Decision and Control (CDC 2005) and European Control Conference (ECC 2005)"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"853","DOI":"10.4028\/www.scientific.net\/AMM.494-495.853","article-title":"Heterogeneous PLC Control Communications and Fault Intelligent Diagnosis","volume":"494 495","author":"dongmei","year":"2014","journal-title":"Applied Mechanics and Materials"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.220-223.431"},{"key":"ref6","article-title":"Using SPC and Template Monitoring Method for Fault Detection and Prediction in Discrete Event Manufacturing Systems","author":"hisham khalil","year":"1999","journal-title":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control\/intelligent Systems and Semiotics Cambridge"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-014-6166-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.855548"},{"key":"ref7","article-title":"Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations","volume":"3","author":"holloway","year":"1996","journal-title":"J Integrated Computer-Aided Eng"},{"journal-title":"Error recovery in automation An overview","year":"0","author":"loborg","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:19960768"},{"key":"ref9","first-page":"368","article-title":"Software Quality Measures to Determine the Diagnosability of PLC Applications","author":"bani","year":"2007","journal-title":"Proceedings of the 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2007)"}],"event":{"name":"2017 14th International Multi-Conference on Systems, Signals & Devices (SSD)","start":{"date-parts":[[2017,3,28]]},"location":"Marrakech","end":{"date-parts":[[2017,3,31]]}},"container-title":["2017 14th International Multi-Conference on Systems, Signals &amp; Devices (SSD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8119308\/8166904\/08166936.pdf?arnumber=8166936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T00:16:36Z","timestamp":1570493796000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8166936\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ssd.2017.8166936","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}