{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T10:50:41Z","timestamp":1791111041353,"version":"4.1.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/cdc.2009.5400641","type":"proceedings-article","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T15:27:26Z","timestamp":1265124446000},"page":"1008-1013","source":"Crossref","is-referenced-by-count":4,"title":["An extended qualitative multi-faults diagnosis from first principles I: Theory and modelling"],"prefix":"10.1109","author":[{"given":"He-xuan","family":"Hu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anne-lise","family":"Gehin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mireille","family":"Bayart","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.06.003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00081-2"},{"key":"ref12","article-title":"Case Studies in Model-based Diagnosis and Fault Analysis of Car-Subsystems","author":"malik","year":"1996","journal-title":"Proceedings of the European Conference on Artificial Intelligence (ECAI)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/64.108950"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref16","article-title":"Le raisonnement qualitatif pour les sciences de l‘ingénieur","author":"trave-massuyes","year":"1997","journal-title":"Hermes"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(02)00161-8"},{"key":"ref18","article-title":"A Model-based Approach to Reactive Self-Configuring Systems","author":"williams","year":"1996","journal-title":"Proceedings Thirteenth National Conference on Artificial Intelligence (AAAI ?96)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2478\/v10006-008-0041-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/64.87688"},{"key":"ref6","article-title":"Chapter: Qualitative Physics","author":"grantham","year":"1990"},{"key":"ref5","article-title":"Automated Planning: Theory and Practice","author":"ghallab","year":"2004"},{"key":"ref8","article-title":"A Formal Framework of Reconfigurable Control Based on Model Checking","author":"hu","year":"2008","journal-title":"American Control Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90079-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"ref1","article-title":"Introduction to Discrete Event Systems","author":"cassandras","year":"2007"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90073-1"}],"event":{"name":"2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC)","location":"Shanghai, China","start":{"date-parts":[[2009,12,15]]},"end":{"date-parts":[[2009,12,18]]}},"container-title":["Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5379695\/5399469\/05400641.pdf?arnumber=5400641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T23:19:22Z","timestamp":1489879162000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5400641\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2009.5400641","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}