{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:06:25Z","timestamp":1761293185519},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2015,7,1]],"date-time":"2015-07-01T00:00:00Z","timestamp":1435708800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cybern."],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/tcyb.2014.2347801","type":"journal-article","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T20:53:58Z","timestamp":1410209638000},"page":"1236-1249","source":"Crossref","is-referenced-by-count":23,"title":["Fault Diagnosis in Discrete-Event Systems with Incomplete Models: Learnability and Diagnosability"],"prefix":"10.1109","volume":"45","author":[{"given":"Raymond H.","family":"Kwong","sequence":"first","affiliation":[]},{"given":"David L.","family":"Yonge-Mallo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1137\/0205007"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"ref33","article-title":"Fault diagnosis and learning in discrete-event systems with incomplete information","author":"yeung","year":"2003"},{"key":"ref32","first-page":"49","article-title":"Probabilistic DES fault diagnosis with an incomplete model","author":"whiteford","year":"2007","journal-title":"Proc of 1st IFAC workshop on dependable control of discrete systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/176584.176589"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-51734-0_50","article-title":"Inductive inference, DFAs, and computational complexity","volume":"397","author":"pitt","year":"1989","journal-title":"Analogical and Inductive Inference"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosis for partially-observed discrete event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Trans Autom Control"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"ref34","author":"hopcroft","year":"2007","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","article-title":"Fault diagnosis in discrete-event systems: Framework and model reduction","volume":"48","author":"hashtrudi zad","year":"2003","journal-title":"IEEE Trans Autom Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0006-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034216"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0122-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.860291"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-5238-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-008-0044-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844722"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.915172"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.921035"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2013.09.009"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.833335"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2264809"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.835010"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2010.2047257"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.835008"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref7","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref2","author":"korbicz","year":"2003","journal-title":"Fault Diagnosis"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref1","author":"blanke","year":"2006","journal-title":"Diagnosis and Fault-Tolerant Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851444"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2014932"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2183169"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2183358"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","article-title":"Fault detection for discrete event systems using Petri nets with unobservable transitions","volume":"40","author":"cabasino","year":"2010","journal-title":"Automatica"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.007"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929388"}],"container-title":["IEEE Transactions on Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221036\/7122378\/06891318.pdf?arnumber=6891318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:42:25Z","timestamp":1642005745000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6891318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":39,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tcyb.2014.2347801","relation":{},"ISSN":["2168-2267","2168-2275"],"issn-type":[{"value":"2168-2267","type":"print"},{"value":"2168-2275","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}