{"id":"https://openalex.org/W2904800836","doi":"https://doi.org/10.1109/dsa.2018.00018","title":"An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree","display_name":"An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2904800836","doi":"https://doi.org/10.1109/dsa.2018.00018","mag":"2904800836"},"language":"en","primary_location":{"id":"doi:10.1109/dsa.2018.00018","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsa.2018.00018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 5th International Conference on Dependable Systems and Their Applications (DSA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015211419","display_name":"Wei Jiang","orcid":"https://orcid.org/0000-0001-6120-5278"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Jiang","raw_affiliation_strings":["Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056723585","display_name":"Siwei Zhou","orcid":"https://orcid.org/0000-0003-0015-7131"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Siwei Zhou","raw_affiliation_strings":["Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101862257","display_name":"Luyao Ye","orcid":"https://orcid.org/0000-0001-9347-9994"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Luyao Ye","raw_affiliation_strings":["Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101936847","display_name":"Dongdong Zhao","orcid":"https://orcid.org/0000-0002-4697-6901"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongdong Zhao","raw_affiliation_strings":["Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064710384","display_name":"Jing Tian","orcid":"https://orcid.org/0000-0002-0052-3093"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Tian","raw_affiliation_strings":["Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066624039","display_name":"W. Eric Wong","orcid":"https://orcid.org/0000-0002-1021-4753"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W. Eric Wong","raw_affiliation_strings":["Department of Computer Science, University of Texas at Dallas, Dallas, Texas, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at Dallas, Dallas, Texas, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016677170","display_name":"Jianwen Xiang","orcid":"https://orcid.org/0000-0001-8440-4181"},"institutions":[{"id":"https://openalex.org/I196699116","display_name":"Wuhan University of Technology","ror":"https://ror.org/03fe7t173","country_code":"CN","type":"education","lineage":["https://openalex.org/I196699116"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianwen Xiang","raw_affiliation_strings":["Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hubei Key Laboratory of Transportation of Internet of Things, Wuhan University of Technology, Wuhan, China","institution_ids":["https://openalex.org/I196699116"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5369,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.64622179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":null,"first_page":"44","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.675764799118042},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5934645533561707},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5077860951423645},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.479328989982605},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.4374406933784485},{"id":"https://openalex.org/keywords/binary-tree","display_name":"Binary tree","score":0.43073514103889465},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4217957854270935},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4185093641281128},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3216245770454407},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.08445078134536743},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08313775062561035}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.675764799118042},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5934645533561707},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5077860951423645},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.479328989982605},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.4374406933784485},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.43073514103889465},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4217957854270935},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4185093641281128},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3216245770454407},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.08445078134536743},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08313775062561035},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dsa.2018.00018","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsa.2018.00018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 5th International Conference on Dependable Systems and Their Applications (DSA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.7599999904632568,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W646446002","https://openalex.org/W1914368692","https://openalex.org/W1984923395","https://openalex.org/W2027480762","https://openalex.org/W2033997465","https://openalex.org/W2074897389","https://openalex.org/W2080267935","https://openalex.org/W2083910000","https://openalex.org/W2104496936","https://openalex.org/W2113315940","https://openalex.org/W2121337044","https://openalex.org/W2127860857","https://openalex.org/W2141563236","https://openalex.org/W2154538165","https://openalex.org/W2154884120","https://openalex.org/W2155213674","https://openalex.org/W2170449522","https://openalex.org/W2342726990","https://openalex.org/W2762900313","https://openalex.org/W3165744266","https://openalex.org/W4248279182","https://openalex.org/W6632501209"],"related_works":["https://openalex.org/W4300631294","https://openalex.org/W3151920376","https://openalex.org/W2368585766","https://openalex.org/W197248315","https://openalex.org/W2390183607","https://openalex.org/W2122917767","https://openalex.org/W4244913946","https://openalex.org/W3196342125","https://openalex.org/W2013926333","https://openalex.org/W2140425425"],"abstract_inverted_index":{"Dynamic":[0],"fault":[1,10,24],"tree":[2],"(DFT)":[3],"is":[4,94,107,127,213],"an":[5,152],"extension":[6],"of":[7,31,61,65,120,125,137,139,180,190,196,210,218],"traditional":[8,46,83],"static":[9],"tree,":[11],"in":[12,198],"which":[13,71],"several":[14,236],"dynamic":[15,134],"gates":[16,135],"are":[17],"introduced":[18],"to":[19,130,173,202],"model":[20],"sequential":[21,33,43,69,103],"dependency":[22],"between":[23],"events.":[25,146],"As":[26],"for":[27,163,177,193,215],"the":[28,74,92,131,160,174,178,194,199,203,216,231],"quantitative":[29],"analysis":[30,217],"DFT,":[32],"binary":[34,47,154],"decision":[35,48,155],"diagram":[36,49,156],"(SBDD)":[37],"has":[38],"been":[39],"proposed":[40,165],"by":[41,82,166,235],"incorporating":[42],"nodes":[44],"into":[45,58],"(BDD).":[50],"With":[51],"SBDD,":[52],"a":[53,59,99,111,188],"DFT":[54,164,182,220],"can":[55,72],"be":[56],"reduced":[57],"sum":[60],"disjoint":[62],"products":[63],"(SDP)":[64],"basic":[66,141],"events":[67,142],"and":[68,78,86,116,207,229],"nodes,":[70],"avoid":[73],"space":[75],"explosion":[76],"problem":[77],"exponential":[79],"complexity":[80],"caused":[81],"Markov":[84],"chain":[85],"inclusion/exclusion":[87],"based":[88,109,158],"solutions,":[89],"respectively.":[90],"However,":[91],"SBDD":[93,126,234],"not":[95],"developed":[96,108],"base":[97],"on":[98,110,159],"well-defined":[100],"temporal":[101],"or":[102,143],"algebra.":[104],"Rather,":[105],"it":[106],"precedence":[112],"operator":[113],"with":[114,183,233],"specific":[115,145],"very":[117],"limited":[118],"number":[119],"reduction":[121,179,195],"rules.":[122],"The":[123],"applications":[124],"thus":[128],"restricted":[129],"DFTs":[132],"whose":[133],"consist":[136],"inputs":[138],"only":[140],"some":[144],"In":[147,171],"this":[148],"paper,":[149],"we":[150,186],"present":[151],"algebraic":[153,161,205],"(ABDD)":[157],"framework":[162,206],"G.":[167],"Merle":[168],"et":[169],"al.":[170],"addition":[172],"existing":[175],"laws":[176,192],"arbitrary":[181],"any":[184,222],"structure,":[185],"introduce":[187],"set":[189,209],"new":[191],"SDP":[197],"ABDD.":[200],"Thanks":[201],"sound":[204],"complete":[208],"laws,":[211],"ABDD":[212],"applicable":[214],"general":[219],"without":[221],"structure":[223],"restriction.":[224],"We":[225],"illustrate":[226],"our":[227],"approach":[228],"compare":[230],"difference":[232],"examples.":[237]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}