{"id":"https://openalex.org/W1998293183","doi":"https://doi.org/10.1109/icirt.2013.6696297","title":"A new generation algorithm of fault tree minimal cut sets and its application in CBTC system","display_name":"A new generation algorithm of fault tree minimal cut sets and its application in CBTC system","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W1998293183","doi":"https://doi.org/10.1109/icirt.2013.6696297","mag":"1998293183"},"language":"en","primary_location":{"id":"doi:10.1109/icirt.2013.6696297","doi":"https://doi.org/10.1109/icirt.2013.6696297","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icirt.2013.6696297","pdf_url":null,"source":{"id":"https://openalex.org/S7407086246","display_name":"IEEE International Conference on Intelligent Rail Transportation (ICIRT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Conference on Intelligent Rail Transportation Proceedings","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5000006991","display_name":"Zuoyu Miao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuoyu Miao","raw_affiliation_strings":["State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019257999","display_name":"Ru Niu","orcid":"https://orcid.org/0000-0002-1680-8106","observed_orcids":["https://orcid.org/0000-0002-1680-8106"]},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ru Niu","raw_affiliation_strings":["State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067908158","display_name":"Tao Tang","orcid":"https://orcid.org/0000-0001-7838-8525","observed_orcids":["https://orcid.org/0000-0001-7838-8525"]},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Tang","raw_affiliation_strings":["State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100758750","display_name":"Jieyu Liu","orcid":"https://orcid.org/0000-0002-3315-8598","observed_orcids":["https://orcid.org/0000-0002-3315-8598"]},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jieyu Liu","raw_affiliation_strings":["Institute for Traffic Safety and Automation Engineering, Technische Universit\u00e4t Brausnchweig, Brausnchweig, Germany","Inst. for Traffic Safety & Autom. Eng., Tech. Univ. Brausnchweig, Braunschweig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Traffic Safety and Automation Engineering, Technische Universit\u00e4t Brausnchweig, Brausnchweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Inst. for Traffic Safety & Autom. Eng., Tech. Univ. Brausnchweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8275,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80870748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"226"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9711999893188477,"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"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9711999893188477,"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.012600000016391277,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.003000000026077032,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"fault tree analysis","score":0.9860000014305115},{"id":"https://openalex.org/keywords/minimal-cut-sets","display_name":"minimal cut sets","score":0.9959999918937683},{"id":"https://openalex.org/keywords/binary-decision-diagrams","display_name":"binary decision diagrams","score":0.8870000243186951},{"id":"https://openalex.org/keywords/depth-first-search","display_name":"depth-first search","score":0.6579999923706055},{"id":"https://openalex.org/keywords/communication-based-train-control","display_name":"CBTC","score":0.8889999985694885},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.5289999842643738},{"id":"https://openalex.org/keywords/reliability-analysis","display_name":"reliability analysis","score":0.4860000014305115}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.7966594696044922},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7399752736091614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7038099765777588},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6070752739906311},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.5215375423431396},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5195332169532776},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5017249584197998},{"id":"https://openalex.org/C197855036","wikidata":"https://www.wikidata.org/wiki/Q380172","display_name":"Binary tree","level":2,"score":0.4921990931034088},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4597378969192505},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4563818573951721},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4293917417526245},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.42751413583755493},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3704473376274109},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18467873334884644},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.16099563241004944},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10647425055503845},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icirt.2013.6696297","doi":"https://doi.org/10.1109/icirt.2013.6696297","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icirt.2013.6696297","pdf_url":null,"source":{"id":"https://openalex.org/S7407086246","display_name":"IEEE International Conference on Intelligent Rail Transportation (ICIRT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Conference on Intelligent Rail Transportation Proceedings","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1971708520","https://openalex.org/W1994143452","https://openalex.org/W2048972217","https://openalex.org/W2080267935","https://openalex.org/W2091098176","https://openalex.org/W2098233855","https://openalex.org/W2102651486","https://openalex.org/W2106059462","https://openalex.org/W2119806321","https://openalex.org/W2154903026","https://openalex.org/W2158963168","https://openalex.org/W2533201271"],"related_works":["https://openalex.org/W2155025062","https://openalex.org/W2519999207","https://openalex.org/W2352002655","https://openalex.org/W3049585699","https://openalex.org/W7118000310","https://openalex.org/W1969343052","https://openalex.org/W3114542295","https://openalex.org/W4285174383","https://openalex.org/W1969883598","https://openalex.org/W2479345352"],"abstract_inverted_index":{"Fault":[0],"Tree":[1],"Analysis":[2],"(FTA)":[3],"is":[4,25,34,101,123,141],"a":[5,74],"classic":[6],"method":[7,33,75],"in":[8,125,155],"reliability":[9],"and":[10,19,53,158],"safety":[11],"engineering.":[12],"With":[13],"the":[14,21,29,78,91,96,110,112,116,132,145],"increase":[15,57],"of":[16,23,58,115,134,138,147],"system":[17,122],"scale":[18,66],"complexity,":[20,59,140],"amount":[22],"work":[24],"heavily":[26],"loaded.":[27],"Thus":[28],"computer":[30,40],"aided":[31,41],"FTA":[32,42],"important":[35],"for":[36],"related":[37],"analysis.":[38],"Existing":[39],"analysis":[43],"methods":[44],"invariably":[45],"confront":[46],"combinatorial":[47],"problems":[48],"which":[49,87],"are":[50,88],"computationally":[51],"expensive":[52],"often":[54],"with":[55,83],"exponential":[56],"especially":[60],"when":[61],"it":[62],"comes":[63],"to":[64,103],"large":[65],"fault":[67],"trees.":[68],"In":[69,109],"this":[70],"paper,":[71],"we":[72],"propose":[73],"based":[76],"on":[77],"Binary":[79],"Decision":[80],"Diagram":[81],"(BDD)":[82],"new":[84,136],"conversion":[85],"rules":[86],"derived":[89],"from":[90],"Component":[92],"Connection":[93],"Method.":[94],"Besides,":[95],"Depth":[97],"First":[98],"Search":[99],"(DFS)":[100],"applied":[102],"generate":[104],"MCSs":[105],"(Minimal":[106],"Cut":[107],"Sets).":[108],"end,":[111],"Zone":[113],"Controller":[114],"CBTC":[117],"(Communication":[118],"Based":[119],"Train":[120],"Control)":[121],"analyzed":[124],"case":[126],"study.":[127],"The":[128],"result":[129],"proves":[130],"that":[131],"application":[133],"our":[135],"algorithm,":[137],"linear":[139],"more":[142],"efficient":[143],"than":[144],"algorithm":[146],"verifying":[148],"all":[149],"possible":[150],"basic":[151],"event":[152],"combinations,":[153],"both":[154],"computation":[156],"speed":[157],"memory":[159],"usage.":[160]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}