{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:59:44Z","timestamp":1761487184199,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1273025","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"2658-2664","source":"Crossref","is-referenced-by-count":12,"title":["Safe diagnosability of discrete event systems"],"prefix":"10.1109","volume":"3","author":[{"given":"A.","family":"Paoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1080\/00207178808906178"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019770124060"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/9.701089"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184991"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.946047"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024793"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167685"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011273108731"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1273025"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"1","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","article-title":"Fault diagnosis in dynamic systems using analitical and knowledge based redundancy: A survey and some new results","volume":"26","author":"frank","year":"1990","journal-title":"Automatica"},{"key":"10","article-title":"Probabilistic reasoning in distributed diagnosis for qualitative systems","author":"su","year":"2002","journal-title":"Proceedings of the 41st IEEE Conference on Decision and Control"},{"key":"7","article-title":"Diagnosis of repeated failures in discrete event systems","author":"kumar","year":"2002","journal-title":"Proceedings of the 41st IEEE Conference on Decision and Control"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167686"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167683"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013335803945"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/9.855548"},{"key":"8","article-title":"Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications","author":"jiang","year":"2002","journal-title":"Proceeding of the American Control Conference"}],"event":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","acronym":"CDC-03","location":"Maui, Hawaii, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28482\/01273025.pdf?arnumber=1273025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:40:23Z","timestamp":1497588023000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1273025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1273025","relation":{},"subject":[]}}