{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:23:58Z","timestamp":1730283838889,"version":"3.28.0"},"reference-count":53,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/mwscas.2018.8624110","type":"proceedings-article","created":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T22:23:31Z","timestamp":1555367011000},"page":"733-738","source":"Crossref","is-referenced-by-count":6,"title":["A Survey on Fault-Tolerant Supervisory Control"],"prefix":"10.1109","author":[{"given":"Mohammad","family":"Karimadini","sequence":"first","affiliation":[]},{"given":"Ali","family":"Karimoddini","sequence":"additional","affiliation":[]},{"given":"Abdollah","family":"Homaifar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116855"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1080\/00207179008934118"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807551"},{"key":"ref32","article-title":"A merge method for decentralized discrete-event fault diagnosis","author":"xuan hu","year":"2008","journal-title":"2008 The Third International Conference on Internet Monitoring and Protection ICIMP"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2009093"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853503"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929388"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1990.203436"},{"journal-title":"A survey of formal methods for intelligent swarmsDES Controller Synthesis and Fault Tolerant Control A Survey of Recent Advances Tech Rep TR-2003-40","year":"2003","author":"jensen","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582703"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799382"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844852"},{"key":"ref29","first-page":"3763","article-title":"Coordinated decentralized protocols for failure diagnosis of discrete event systems","volume":"4","author":"debouk","year":"1998","journal-title":"Decision and Control 1998 Proceedings of the 37th IEEE Conference on"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.11.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.059"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.09.009"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(99)80053-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2009.01.015"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.830290"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963444"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.829616"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/9.402"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/9.478331"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(96)00116-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(89)90627-6"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1137\/0331061"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0166-3615(91)90088-Q"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012443875-0\/50034-3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.03.017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2006.08.004"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-008044613-4.50041-0"},{"key":"ref18","first-page":"42","article-title":"Abstraction-based failure diagnosis for discrete event systems","volume":"59","author":"schmidt","year":"2010","journal-title":"Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.010"},{"key":"ref4","first-page":"293","article-title":"A review of process fault detection and diagnosis: Part i: Quantitative model-based methods","volume":"27","author":"venkatasubramanian","year":"2003","journal-title":"Computers"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(84)90098-0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2004.12.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0009-2509(02)00520-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2007.06.002"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0066-4138(09)91036-9","article-title":"Principles of model-based fault detection","volume":"17","author":"frank","year":"1992","journal-title":"Annual Review in Automatic Programming"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-0578(07)60013-5"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2008.4564678"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/CIMA.2005.1662328"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875443"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/70.760362"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586651"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/9.376114"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/9.250564"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CIMA.2005.1662332"}],"event":{"name":"2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS)","start":{"date-parts":[[2018,8,5]]},"location":"Windsor, ON, Canada","end":{"date-parts":[[2018,8,8]]}},"container-title":["2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8610060\/8623819\/08624110.pdf?arnumber=8624110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T04:12:52Z","timestamp":1555387972000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8624110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/mwscas.2018.8624110","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}