Deterministic reliability-modeling of dynamic redundancy

Temporal logic, an extension of the traditional Boolean logic, is applied to deterministic reliability modeling and probabilistic analysis of systems with dynamic redundancy. Temporal logic is introduced, and the temporal structure function is defined. The expressions of temporal logic for active and passive redundancy are explained, followed by a discussion of switches. The concept of the temporal structure function is illustrated by important classes of dynamic systems. It is shown how temporal specifications of structural reliability facilitate subsequent probabilistic analysis and make the reliability analysis of complex dynamic systems feasible