{"id":"https://openalex.org/W646446002","doi":null,"title":"Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis","display_name":"Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis","publication_year":2010,"publication_date":"2010-07-07","ids":{"openalex":"https://openalex.org/W646446002","mag":"646446002"},"language":"en","primary_location":{"id":"mag:646446002","doi":null,"is_oa":true,"landing_page_url":"https://theses.hal.science/tel-00502012","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://theses.hal.science/tel-00502012","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043214009","display_name":"Guillaume Merle","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4387153626","display_name":"Laboratoire Universitaire de Recherche en Production Automatis\u00e9e","ror":"https://ror.org/05wjc8a85","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954","https://openalex.org/I4387153626"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Guillaume Merle","raw_affiliation_strings":["Laboratoire Universitaire de Recherche en Production Automatis\u00e9e"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Universitaire de Recherche en Production Automatis\u00e9e","institution_ids":["https://openalex.org/I4387153626"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5043214009"],"corresponding_institution_ids":["https://openalex.org/I4387153626"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9452999830245972,"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"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9452999830245972,"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"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.031700000166893005,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.003000000026077032,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dynamic-fault-trees","display_name":"dynamic fault trees","score":0.9729999899864197},{"id":"https://openalex.org/keywords/algebraic-modeling","display_name":"algebraic modeling","score":0.859000027179718},{"id":"https://openalex.org/keywords/structure-functions","display_name":"structure functions","score":0.9729999899864197},{"id":"https://openalex.org/keywords/temporal-operators","display_name":"temporal operators","score":0.7990000247955322},{"id":"https://openalex.org/keywords/dynamic-gates","display_name":"dynamic gates","score":0.7179999947547913},{"id":"https://openalex.org/keywords/failure-probability","display_name":"failure probability","score":0.5899999737739563},{"id":"https://openalex.org/keywords/top-event","display_name":"top event","score":0.5830000042915344},{"id":"https://openalex.org/keywords/canonical-form","display_name":"canonical form","score":0.6980000138282776},{"id":"https://openalex.org/keywords/reliability-analysis","display_name":"reliability analysis","score":0.6570000052452087},{"id":"https://openalex.org/keywords/critical-systems","display_name":"critical systems","score":0.6050000190734863}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.6855468153953552},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6009014844894409},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5327971577644348},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5057525634765625},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.499096155166626},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.49643832445144653},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46923547983169556},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4332544803619385},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.42139533162117004},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41475045680999756},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3977994918823242},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3862225413322449},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1738884150981903},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1405404806137085},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13048729300498962},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.09224408864974976},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.08093509078025818},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:646446002","doi":null,"is_oa":true,"landing_page_url":"https://theses.hal.science/tel-00502012","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"mag:646446002","doi":null,"is_oa":true,"landing_page_url":"https://theses.hal.science/tel-00502012","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W71197997","https://openalex.org/W1481658262","https://openalex.org/W2067858102","https://openalex.org/W2113315940","https://openalex.org/W2119460326","https://openalex.org/W2125959410","https://openalex.org/W2159724167"],"related_works":["https://openalex.org/W2148398694","https://openalex.org/W2027480762","https://openalex.org/W4301261973","https://openalex.org/W1979387421","https://openalex.org/W2170449522","https://openalex.org/W7099518550","https://openalex.org/W2065428029","https://openalex.org/W2615152253","https://openalex.org/W3036251830","https://openalex.org/W1490779206"],"abstract_inverted_index":{"In":[0],"the":[1,4,20,29,37,52,66,70,89,98,111,118,134,138,151,174,197,209],"context":[2],"of":[3,6,22,32,72,85,91,100,102,113,121,126,137,141,154,176,196],"reliability":[5],"critical":[7],"systems,":[8],"we":[9,50,148,181],"focus":[10],"on":[11,81,88,204],"Dynamic":[12],"Fault":[13,45],"Tree":[14],"(DFT)":[15],"analysis.":[16],"Our":[17],"contribution":[18],"is":[19,74,79,130],"definition":[21,90,175],"an":[23],"algebraic":[24,67,77],"framework":[25,68,78],"allowing":[26,69,95],"to":[27,35,42,47,57,96,108,132,159,164,168,173],"determine":[28,133],"structure":[30,119,145,152,198],"function":[31,120,153],"DFTs":[33,73,142,155,184],"and":[34,87,116,167,189],"extend":[36],"analytical":[38],"methods":[39],"commonly":[40],"used":[41],"analyze":[43,58],"Static":[44],"Trees":[46],"DFTs.":[48,122],"First,":[49],"review":[51],"main":[53],"approaches":[54],"which":[55],"allow":[56,107],"DFTs,":[59],"as":[60,62],"well":[61],"their":[63],"limits.":[64],"Then,":[65],"modelling":[71],"presented.":[75],"This":[76],"based":[80],"a":[82,160,169,177],"temporal":[83,93,105],"model":[84,97,125],"events,":[86],"three":[92],"operators":[94,106],"sequences":[99],"appearance":[101],"events.":[103],"These":[104],"algebraically":[109],"define":[110],"behaviour":[112],"dynamic":[114,128],"gates,":[115],"hence":[117],"A":[123],"probabilistic":[124],"these":[127],"gates":[129],"given":[131],"failure":[135],"probability":[136],"top":[139],"event":[140],"from":[143,191,208],"this":[144,192,202],"function.":[146,199],"Finally,":[147],"show":[149,182],"how":[150,183],"can":[156,185],"be":[157,186],"simplified":[158],"canonical":[161,194],"form":[162,171,195],"thanks":[163,172],"some":[165],"theorems":[166],"minimal":[170,193],"minimization":[178],"criterion.":[179],"Last,":[180],"analyzed":[187],"analytically":[188],"directly":[190],"We":[200],"illustrate":[201],"approach":[203],"two":[205],"DFT":[206],"examples":[207],"literature.":[210]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2016-06-24T00:00:00"}