Availability of a Renewable, Checked System

Abstract

Recurrent expressions are given for point and interval unavailability of a renewable system subjected to periodic checking/repair. The expressions are generalizations of the basic relations in the theory of discrete renewal processes. The asymptotic limits for long times follow simply from a general theorem of this theory. The connection to previous expressions is established.