Computing the failure flow parameter in logical-and-probabilistic models by the variable recursive growing method

A method to compute the failure flow parameter in a class of logical-and-probabilistic models is proposed. The method can be applied for redundant structures of systems with restorable elements not necessarily reducible to sequential-parallel structures. In combination with the considered methods of decomposition and aggregation, it enables analyzing systems of much higher dimension.