ftree2bdd {FaultTree} | R Documentation |
Prepares a BDD string in if-then-else form '<tag,if,else>'
ftree2bdd(DF, ft_node=1)
DF |
A fault tree dataframe object. |
ft_node |
A gate node ID treated as top of (sub)tree to be calculated. |
Rauzy, Antoine (1993) "New algorithms for fault trees analysis" Reliabiity Engineering System Safety, volume 40
Limnios, Nikolaos (2007) Fault Trees ISTE,Ltd.