{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T21:28:21Z","timestamp":1771536501004,"version":"3.50.1"},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"CNES Research and Technology of Space Systems 2013 Program"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Aerosp. Electron. Syst."],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/taes.2019.2923344","type":"journal-article","created":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T19:38:41Z","timestamp":1560800321000},"page":"2568-2580","source":"Crossref","is-referenced-by-count":6,"title":["Applying Active Diagnosis to Space Systems by On-Board Control Procedures"],"prefix":"10.1109","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0015-5566","authenticated-orcid":false,"given":"Elodie","family":"Chanthery","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5322-8418","authenticated-orcid":false,"given":"Louise","family":"Trave-Massuyes","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2970-914X","authenticated-orcid":false,"given":"Yannick","family":"Pencole","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9061-8354","authenticated-orcid":false,"given":"Regis","family":"De Ferluc","sequence":"additional","affiliation":[]},{"given":"Brice","family":"Dellandrea","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref11","first-page":"1306","article-title":"Pervasive diagnosis: The integration of diagnostic goals into production plans","author":"kuhn","year":"0","journal-title":"Proc 23rd AAAI Conf Artif Intell"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref13","first-page":"271","article-title":"Hybrid system diagnosis: Test of the diagnoser HYDIAG on a benchmark of the international diagnostic competition DXC2011","author":"maiga","year":"0","journal-title":"Proc 8th IFAC Symp Fault Detect Supervision Saf Tech Processes"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3182\/20090630-4-ES-2003.00036"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/3468.736357"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/9.701089"},{"key":"ref18","first-page":"312","article-title":"Testing for discrimination of diagnoses","author":"struss","year":"0","journal-title":"Proc 5th Int Workshop Princ Diagnosis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2009.5410420"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01229"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3182\/20090630-4-ES-2003.00244"},{"key":"ref6","first-page":"43","article-title":"Principles of self-maintenance in an on-board architecture including active diagnosis","author":"chanthery","year":"0","journal-title":"Proc IJCAI Workshop Self-* Auton Syst Reason Integr Challenges"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3182\/20090630-4-ES-2003.00252"},{"key":"ref8","first-page":"281","article-title":"HYDIAG: Extended diagnosis and prognosis for hybrid systems","author":"chanthery","year":"0","journal-title":"Proc 26th Int Workshop Princ Diagnosis"},{"key":"ref7","first-page":"378","article-title":"An AO*-like algorithm implementation for active diagnosis","author":"chanthery","year":"0","journal-title":"Proc 10th Int Symp Artif Intell Robot Autom Space"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0153-z"},{"key":"ref1","first-page":"384","article-title":"Supremica—An integrated environment for verification, synthesis and simulation of discrete event systems","author":"\u00e5kesson","year":"0","journal-title":"Proc 8th Int Workshop Discrete Event Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1984.1103593"}],"container-title":["IEEE Transactions on Aerospace and Electronic Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7\/8866758\/08737853.pdf?arnumber=8737853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:52:03Z","timestamp":1657745523000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8737853\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":19,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/taes.2019.2923344","relation":{},"ISSN":["0018-9251","1557-9603","2371-9877"],"issn-type":[{"value":"0018-9251","type":"print"},{"value":"1557-9603","type":"electronic"},{"value":"2371-9877","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10]]}}}