{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T13:31:39Z","timestamp":1778851899471,"version":"3.51.4"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T00:00:00Z","timestamp":1501545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Technology Foundation Program of National Defense","award":["Z132014B002"],"award-info":[{"award-number":["Z132014B002"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/tsmc.2016.2583509","type":"journal-article","created":{"date-parts":[[2016,7,14]],"date-time":"2016-07-14T00:38:46Z","timestamp":1468456726000},"page":"1965-1978","source":"Crossref","is-referenced-by-count":7,"title":["Fault Propagation Reasoning and Diagnosis for Computer Networks Using Cyclic Temporal Constraint Network Model"],"prefix":"10.1109","volume":"47","author":[{"given":"Yiqian","family":"Cui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junyou","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zili","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"257","article-title":"Extending and unifying chronicle representation with event counters","author":"dousson","year":"0","journal-title":"presented at the 15th Eur Conf Artif Intell (ECAI)"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)37375-5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1921168.1921172"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2011.6133988"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-007-0117-z"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2007.08.054"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00044-7"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.1998.674134"},{"key":"ref35","first-page":"1454","article-title":"Qualitative temporal reasoning with points and durations","author":"navarrete","year":"0","journal-title":"presented at the 15th Int Joint Conf Artif Intell (IJCAI)"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","article-title":"A survey on temporal reasoning in artificial intelligence","volume":"7","author":"vila","year":"1994","journal-title":"AI Commun"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2004.01.007"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2009.5062194"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0895-7177(01)00049-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/0740817X.2010.546387"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2011.03.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/35.492975"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICDP.1996.864202"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011315125608"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5014-9_4"},{"key":"ref23","first-page":"130","article-title":"Integrated event management: Event correlation using dependency graphs","author":"gruschke","year":"1998","journal-title":"Proc IFIP\/IEEE Int Workshop Distrib Syst Oper Manage"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2004.836121"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1162678.1162683"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2015.01.002"},{"key":"ref10","first-page":"42","author":"marina","year":"0","journal-title":"presented at the 2nd MONET Workshop Model Based Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34890-2_26"},{"key":"ref40","first-page":"324","article-title":"Chronicle recognition improvement using temporal focusing and hierarchization","author":"dousson","year":"2007","journal-title":"Proc Int Joint Conf Artif Intell (IJCAI)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/INM.1999.770687"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/095281399146607"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1991.131685"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2008.2005958"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/65.244794"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/nem.659"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/90.477721"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3644-6"},{"key":"ref3","author":"chen","year":"2012","journal-title":"Robust Model-Based Fault Diagnosis for Dynamic Systems"},{"key":"ref6","author":"hamscher","year":"1992","journal-title":"Readings in Model-Based Diagnosis"},{"key":"ref5","author":"ding","year":"2008","journal-title":"Model-Based Fault Diagnosis Techniques"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2007.87"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.05.005"},{"key":"ref49","author":"dawood","year":"2011","journal-title":"Theories of Interval Arithmetic Mathematical Foundations and Applications"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.010"},{"key":"ref46","first-page":"3724","article-title":"SMT-based validation of timed failure propagation graphs","author":"bozzano","year":"2015","journal-title":"Proc AAAI"},{"key":"ref45","first-page":"73","article-title":"A consistency-based robust diagnosis approach for temporal causal systems","author":"abdelwahed","year":"0","journal-title":"presented at the 16th Int Workshop Principles Diagn"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/AUTEST.2007.4374226"},{"key":"ref47","article-title":"Diagnostic technology evaluation report for on-board crew launch vehicle","author":"hayden","year":"2006","journal-title":"NASA Ames Research Center"},{"key":"ref42","first-page":"36","article-title":"From a timed fault model to temporal fault signatures","author":"guerraz","year":"0","journal-title":"presented at the 2nd MONET Workshop Model Based Syst"},{"key":"ref41","first-page":"51","article-title":"Chronicles construction starting from the fault model of the system to diagnose","author":"guerraz","year":"2004","journal-title":"Proc Int Workshop Principles Diagnosis"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRD.2015.2409376"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRD.2009.2032054"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/7982810\/07511724.pdf?arnumber=7511724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:41:20Z","timestamp":1642005680000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7511724\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":51,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2016.2583509","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8]]}}}