{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:11:13Z","timestamp":1729624273583,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/aero.2014.6836252","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T19:09:23Z","timestamp":1406574563000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Automatic systems diagnosis without behavioral models"],"prefix":"10.1109","author":[{"given":"Shekhar","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Johan","family":"de Kleer","sequence":"additional","affiliation":[]},{"given":"Arjan J.C.","family":"van Gemund","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Empirical evaluation of diagnostic algorithm performance using a generic framework","author":"feldman","year":"2010","journal-title":"International Journal of Prognostics and Health Management"},{"key":"17","article-title":"Diagnosing multiple persistent and intermittent faults","volume":"7","author":"de kleer","year":"2007","journal-title":"Proc DX"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070507"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"13","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1016\/S0005-1098(01)00005-X","article-title":"Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems","volume":"37","author":"staroswiecki","year":"2001","journal-title":"Automatica"},{"key":"14","article-title":"Spectrum-based sequential diagnosis","volume":"10","author":"gonzalez-sanchez","year":"2010","journal-title":"Proc DX"},{"key":"11","article-title":"Circular pruning for lazy diagnosis of active systems","author":"ducoli","year":"2009","journal-title":"Proc DX'09"},{"key":"12","article-title":"Distributed consistency-based diagnosis without behavior","author":"gianfranco","year":"0","journal-title":"Proc 20th DX"},{"key":"21","article-title":"A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis","author":"abreu","year":"2009","journal-title":"Proc Symp Abstraction Reformulation Approximation"},{"key":"20","article-title":"Pervasive diagnosis: Integration of active diagnosis into production plans","author":"kuhn","year":"2008","journal-title":"Proc of AAAI '08"},{"key":"22","article-title":"Computing observation vectors for max-fault min-cardinality diagnoses","author":"feldman","year":"2008","journal-title":"Proc of AAAI '08"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982489"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/32.153381"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2007.51"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2008.4751833"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224279"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.40"},{"journal-title":"BACINOL Bayesian Circuit Analysis By Topology","year":"2011","author":"wilson","key":"29"},{"journal-title":"ASML Netherlands","year":"2008","author":"schoemaker","key":"3"},{"journal-title":"ModeL-Based Diagnosis In Industrial Context","year":"2011","author":"reeven","key":"2"},{"key":"10","article-title":"Fault models in structural diagnosis","author":"bakker","year":"1989","journal-title":"Proc Of DX'89"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2007.tb02878.x"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2008.48"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.31"},{"journal-title":"Embedded Systems Institute Personal Communication","year":"2008","author":"mathijssen","key":"5"},{"key":"4","article-title":"How to debug sequential code by means of constraint representation","author":"nica","year":"2008","journal-title":"Proc Of DX'08"},{"key":"9","article-title":"Minimum cardinality candidate generation","volume":"9","author":"de kleer","year":"2009","journal-title":"Proc DX"},{"key":"8","article-title":"Diagnosing intermittent faults using maximum likelihood estimation","volume":"2010","author":"abreu","year":"0","journal-title":"Artificial Intelligence Journal"}],"event":{"name":"2014 IEEE Aerospace Conference","start":{"date-parts":[[2014,3,1]]},"location":"Big Sky, MT, USA","end":{"date-parts":[[2014,3,8]]}},"container-title":["2014 IEEE Aerospace Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6825322\/6836156\/06836252.pdf?arnumber=6836252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:26:23Z","timestamp":1498152383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6836252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/aero.2014.6836252","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}