{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T10:33:01Z","timestamp":1763116381213,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6759929","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"490-495","source":"Crossref","is-referenced-by-count":10,"title":["Fault detection using interval Kalman filtering enhanced by constraint propagation"],"prefix":"10.1109","author":[{"family":"Jun Xiong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carine","family":"Jauberthie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trave-Massuyes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francoise","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"864","DOI":"10.1137\/0730044","article-title":"Inverse interval matrix","volume":"30","author":"rohn","year":"1993","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"17","article-title":"An introduction to the kalman filter","author":"welch","year":"2001","journal-title":"SIGGRAPH"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1977.1101538"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"16","first-page":"230","article-title":"Revising hull and box consistency","author":"benhamou","year":"1999","journal-title":"Proceedings of the International Conference on Logic Programming"},{"key":"13","first-page":"19","article-title":"Generating semantic descriptions from drawings of scenes with shadows","author":"waltz","year":"1975","journal-title":"The Psychology of Computer Vision"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(93)90106-4"},{"key":"12","article-title":"Automatic error analysis in digital computation","author":"moore","year":"1959","journal-title":"Technical Report LMSD-48421 Lockheed Missiles and Space Co"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1117\/1.2993320"},{"key":"20","first-page":"378","article-title":"Boosting the interval narrowing algorithm","author":"lhomme","year":"1996","journal-title":"Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming"},{"key":"22","article-title":"Fault detection based on interval analysis","author":"adrot","year":"2002","journal-title":"15th Triennial World Congress"},{"key":"23","first-page":"21","article-title":"A diagnosis driven self reconfigurable filter","author":"benazera","year":"2007","journal-title":"18th Int Workshop Principles of Diagnosis (DX-07)"},{"key":"24","first-page":"21","article-title":"The Ca-En diagnosis system and its automatic modelling method","volume":"5","author":"trave-massuyes","year":"2001","journal-title":"Computacin I Sistemas Revista IberoAmericana de Computacin"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6484-0_16"},{"key":"2","first-page":"4839","article-title":"State estimation by interval analysis for a nonlinear differential aerospace model","author":"ribot","year":"2007","journal-title":"Proceedings of European Control Conference"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"7","article-title":"Numerical accurate computations for ellipsoidal state bounding","author":"lesecq","year":"2003","journal-title":"Proceedings of MED'03"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2004.02.019"},{"key":"5","first-page":"347","article-title":"Guaranteed mobile robot tracking using interval analysis","author":"kieffer","year":"1999","journal-title":"Proc of MISC '99"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/7.570759"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/acs.1038"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06759929.pdf?arnumber=6759929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:35:22Z","timestamp":1498109722000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6759929\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6759929","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}