{"id":"https://openalex.org/W2108122578","doi":"https://doi.org/10.1109/tr.2009.2034946","title":"Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems","display_name":"Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems","publication_year":2009,"publication_date":"2009-12-11","ids":{"openalex":"https://openalex.org/W2108122578","doi":"https://doi.org/10.1109/tr.2009.2034946","mag":"2108122578"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2009.2034946","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2009.2034946","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"type":"article","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/A5102958423","display_name":"Abhishek Shrestha","orcid":"https://orcid.org/0009-0007-9627-8355"},"institutions":[{"id":"https://openalex.org/I100633361","display_name":"University of Massachusetts Dartmouth","ror":"https://ror.org/00fzmm222","country_code":"US","type":"education","lineage":["https://openalex.org/I100633361"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A. Shrestha","raw_affiliation_strings":["Electrical & Computer Engineering Department, University of Massachusetts, Dartmouth, MA, USA"],"affiliations":[{"raw_affiliation_string":"Electrical & Computer Engineering Department, University of Massachusetts, Dartmouth, MA, USA","institution_ids":["https://openalex.org/I100633361"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114377940","display_name":"Liudong Xing","orcid":"https://orcid.org/0000-0003-1606-1644"},"institutions":[{"id":"https://openalex.org/I100633361","display_name":"University of Massachusetts Dartmouth","ror":"https://ror.org/00fzmm222","country_code":"US","type":"education","lineage":["https://openalex.org/I100633361"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Liudong Xing","raw_affiliation_strings":["Electrical & Computer Engineering Department, University of Massachusetts, Dartmouth, MA, USA"],"affiliations":[{"raw_affiliation_string":"Electrical & Computer Engineering Department, University of Massachusetts, Dartmouth, MA, USA","institution_ids":["https://openalex.org/I100633361"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113616242","display_name":"Yuanshun Dai","orcid":null},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]},{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Yuanshun Dai","raw_affiliation_strings":["Electrical Engineering & Computer Science Department and the Industrial & Information Engineering Department, University of Tennessee, Knoxville, TN, USA","School of Computer Science, University of Electronic Science and Technology, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"Electrical Engineering & Computer Science Department and the Industrial & Information Engineering Department, University of Tennessee, Knoxville, TN, USA","institution_ids":["https://openalex.org/I75027704"]},{"raw_affiliation_string":"School of Computer Science, University of Electronic Science and Technology, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102958423"],"corresponding_institution_ids":["https://openalex.org/I100633361"],"apc_list":null,"apc_paid":null,"fwci":5.4291,"has_fulltext":false,"cited_by_count":102,"citation_normalized_percentile":{"value":0.95896688,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"59","issue":"1","first_page":"145","last_page":"161"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998999834060669,"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.8965100049972534},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.7600951194763184},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.650995671749115},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5366525053977966},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5360567569732666},{"id":"https://openalex.org/keywords/state-diagram","display_name":"State diagram","score":0.49834442138671875},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4707273542881012},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4669695198535919},{"id":"https://openalex.org/keywords/story-driven-modeling","display_name":"Story-driven modeling","score":0.4640810489654541},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4544154107570648},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44482359290122986},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.41012558341026306},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4010744094848633},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3790546655654907},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.35383957624435425},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.297639399766922},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2739429771900177},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.17978721857070923},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.16730207204818726},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15628600120544434},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10806819796562195},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.10077235102653503}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.8965100049972534},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.7600951194763184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.650995671749115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5366525053977966},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5360567569732666},{"id":"https://openalex.org/C16671368","wikidata":"https://www.wikidata.org/wiki/Q230885","display_name":"State diagram","level":3,"score":0.49834442138671875},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4707273542881012},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4669695198535919},{"id":"https://openalex.org/C168054591","wikidata":"https://www.wikidata.org/wiki/Q17152869","display_name":"Story-driven modeling","level":5,"score":0.4640810489654541},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4544154107570648},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44482359290122986},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.41012558341026306},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4010744094848633},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3790546655654907},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.35383957624435425},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.297639399766922},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2739429771900177},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.17978721857070923},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.16730207204818726},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15628600120544434},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10806819796562195},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.10077235102653503},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2009.2034946","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2009.2034946","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W73629738","https://openalex.org/W110971078","https://openalex.org/W201886365","https://openalex.org/W205175551","https://openalex.org/W436503306","https://openalex.org/W642414339","https://openalex.org/W1511470875","https://openalex.org/W1655884486","https://openalex.org/W1724428047","https://openalex.org/W1965529703","https://openalex.org/W1968936541","https://openalex.org/W1980381676","https://openalex.org/W1987824485","https://openalex.org/W1993030408","https://openalex.org/W1994143452","https://openalex.org/W2011940677","https://openalex.org/W2018625634","https://openalex.org/W2030246750","https://openalex.org/W2048972217","https://openalex.org/W2057697326","https://openalex.org/W2059949763","https://openalex.org/W2067019595","https://openalex.org/W2071056164","https://openalex.org/W2080267935","https://openalex.org/W2083592025","https://openalex.org/W2096076317","https://openalex.org/W2102828897","https://openalex.org/W2106132160","https://openalex.org/W2113918114","https://openalex.org/W2118134711","https://openalex.org/W2121876898","https://openalex.org/W2127368091","https://openalex.org/W2138028341","https://openalex.org/W2142194347","https://openalex.org/W2143706300","https://openalex.org/W2146188408","https://openalex.org/W2167888825","https://openalex.org/W2167947550","https://openalex.org/W2168881618","https://openalex.org/W2169302393","https://openalex.org/W2172013989","https://openalex.org/W3145128584","https://openalex.org/W4229663176","https://openalex.org/W4231842458","https://openalex.org/W4246219036","https://openalex.org/W6608195497","https://openalex.org/W6608310612","https://openalex.org/W6636938487"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W3140601928","https://openalex.org/W1977451125","https://openalex.org/W2168881618","https://openalex.org/W86917440","https://openalex.org/W2057159994","https://openalex.org/W2109998394","https://openalex.org/W2562014135","https://openalex.org/W2314460954","https://openalex.org/W2108122578"],"abstract_inverted_index":{"Decision":[0],"diagrams":[1,111],"are":[2,65,74,152],"graphical":[3],"structures":[4],"based":[5,138],"on":[6,139],"Shannon's":[7],"decomposition.":[8],"They":[9],"have":[10],"been":[11,44,51],"extensively":[12],"used":[13],"for":[14,112],"representing":[15],"and":[16,30,40,62,83,115,127,135,146,157],"manipulating":[17],"logic":[18],"functions":[19],"in":[20,37,57,78],"areas":[21],"such":[22],"as":[23],"circuit":[24],"verification,":[25],"compact":[26],"Markov":[27],"chain":[28],"representation,":[29],"symbolic":[31],"model":[32],"checking.":[33],"However,":[34],"their":[35],"applicability":[36],"reliability":[38],"modeling":[39,114],"analysis":[41,116],"has":[42],"only":[43],"recently":[45],"studied.":[46],"Moreover,":[47],"the":[48,60,81,113],"study":[49],"had":[50],"mostly":[52],"restricted":[53],"to":[54,101],"binary-state":[55],"systems":[56,73,76],"which":[58,79],"both":[59,80,133,155],"system":[61,82],"its":[63,84],"components":[64,85],"either":[66],"operational,":[67],"or":[68],"failed.":[69],"Nevertheless,":[70],"many":[71],"practical":[72],"multi-state":[75],"(MSS)":[77],"may":[86],"reside":[87],"at":[88],"multiple":[89],"(more":[90],"than":[91],"two)":[92],"performance":[93,147],"levels":[94],"(or":[95],"states),":[96],"varying":[97],"from":[98],"perfect":[99],"operation":[100],"complete":[102],"failure.":[103],"This":[104],"paper":[105],"presents":[106],"three":[107],"forms":[108],"of":[109,117],"decision":[110,120,125,129,141],"MSS:":[118],"binary":[119,124],"diagrams,":[121,126],"logarithmically":[122],"encoded":[123],"multi-valued":[128],"diagrams.":[130,142],"We":[131],"present":[132],"separated,":[134],"shared":[136],"methods":[137],"these":[140,150],"Comprehensive":[143],"complexity":[144],"analysis,":[145],"comparisons":[148],"among":[149],"methods,":[151],"conducted":[153],"with":[154],"mathematical,":[156],"empirical":[158],"approaches.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":11},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":12},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}