Abstract-This paper focus on a sub-class of Dynamic Fault Trees (DFTs), som kallas Priority Dynamic Fault Trees (PDFTs), innehållande endast statiska portar, och Priority Dynamic Gates (Priority-AND, och Functional Dependency) för vilka en prioriterad relation bland indata noderna helt bestämmer utdatabeteendet. Vi definierar händelser som temporalvariabler, och vi visar att, genom att lägga till de vanliga booleska operatörer nya temporal operatörer betecknas INNAN och SIMULTANEOUS, är det möjligt att härleda strukturfunktionen av Top Event med någon kaskad av Priority Dynamic Gates, och upprepning av grundläggande händelser. En uppsättning av teorem tillhandahålls för att uttrycka strukturfunktionen i en summa av produkt kanonisk form, där varje produkt representerar en uppsättning snittsekvenser för systemet. Vi visar slutligen genom några exempel att den kanoniska formen kan utnyttjas för att direkt och algebraiskt avgöra felsannolikheten för PDFT:s Top Event utan att ta till motsvarande Markov-modell. Fördelen med metoden är att den ger en fullständig kvalitativ beskrivning av systemet och att eventuell felfördelning kan anpassas.  Index termer-algebraisk
Tillförlitligheten i systemet uttryckt algebraiskt kan utvärderas baserat på algebraiska uttryck av den översta händelsen REF.
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events
{'venue': 'IEEE Transactions on Reliability', 'journal': 'IEEE Transactions on Reliability', 'mag_field_of_study': ['Mathematics', 'Computer Science']}