Abstract
We consider coherent systems subject to random shocks that can damage a random number of components of a system. Based on the distribution of the number of failed components, we discuss three models, namely, (i) a shock can damage any number of components (including zero) with the same probability, (ii) each shock damages, at least, one component, and (iii) a shock can damage, at most, one component. Shocks arrival times are modeled using three important counting processes, namely, the Poisson generalized gamma process, the Poisson phase-type process and the renewal process with matrix Mittag-Leffler distributed inter-arrival times. For the defined shock models, we discuss relevant reliability properties of coherent systems. An optimal replacement policy for repairable systems is considered as an application of the proposed modeling.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Most of the real-world systems operate in random environments and hence, are often subject to random external shocks. In a broad sense, the term “shock” is used to represent a potentially harmful event of a relatively short duration (e.g., voltage surges in power generation systems, wind gusts for wind turbines, earthquakes for various structures (for example, bridges), failures of cooling systems that result in a sharp rise of temperature of the main system, etc.). In the literature, various shock models have been introduced based on different failure mechanisms in systems (see, e.g., Gut and Hüsler 1999; Cha and Finkelstein 2016; Gut 1990; Gong et al. 2018, 2020; Eryilmaz 2017; Goyal et al. 2022a; Mallor and Omey 2001 to name a few).
Shock models were studied not only for single unit systems but also for multi-component systems, namely, k-out-of-n systems, series–parallel system, parallel-series system and general coherent systems (see Barlow and Proschan 1975 for the definitions). Some follow-up articles review a few of these studies. For instance, Sheu and Liou (1992) have considered the optimal replacement policy for a k-out-of-n system subject to random shocks occurred according to the non-homogeneous Poisson process (NHPP). Skoulakis (2000) have discussed reliability characteristics of systems subject to random shocks described by the renewal process. Sheu and Chang (2001) have studied the optimal replacement policy for a k-out-of-n system based on the NHPP. Levitin and Finkelstein (2017a) have studied the optimal backup in non-repairable 1-out-of-N heterogeneous warm standby systems by considering two different causes of failures of components, namely, internal failures and external shocks. Levitin and Finkelstein (2017b) developed a new general approach to obtain the performance characteristics of complex non-repairable systems in the presence of shocks affecting individual element as well as groups of elements. Eryilmaz and Devrim (2019) have considered reliability of a k-out-of-n system subject to random shocks that occur at random times and cause the failure of random number of components. Moreover, it was assumed in their model that shocks occur according to the phase-type (PH) renewal process. Huang et al. (2019) have performed the reliability analysis of coherent systems subject to internal failures and external shocks. Bian et al. (2021) have studied multi-component systems subject to dependent competing failure processes under the extreme and the cumulative shock models. Wang et al. (2022) have introduced a novel mixed shock model for a multi-state weighted k-out-of-n system by considering system’s resistance against shocks. Lorvand and Kelkinnama (2023) have studied some reliability properties of k-out-of-n systems subject to random shocks under the \(\delta \)-shock model.
A brief literature review of multi-component systems subject to random shocks shows that the NHPP and the renewal processes are mostly used to model the process of shocks that affect these systems. However, the NHPP has some basic limitations, e.g., the independent increment property which is a very restrictive in many real-life applications. For example, if there is a larger number of shocks in the past, we may expect the same in the future (positive dependence). There are many more general counting processes that a free from this limitation. For instance, the Poisson generalized gamma process (PGGP) and the Poisson phase-type process (PPHP) are two rather general counting processes that possess the dependent increment property. The PGGP was introduced and studied by Cha and Mercier (2021). This process is mathematically tractable and contains many well-known processes (namely, the HPP), the NHPP, the Pólya process, and the generalized Pólya process (GPP)) as the particular cases. The PPHP was defined and studied by Goyal et al. (2022b). Due to the denseness property of the mixing distribution (namely, the PH distribution), the PPHP can be used to approximate any mixed Poisson process. Moreover, this process is also mathematically tractable due to its matrix-based expressions. Both the PGGP and the PPHP are mixed Poisson processes and hence, have the positive dependence property (see Theorem 4 in Cha and Mercier 2021).
It should be noted that the renewal processes, considered so far in the literature, are not tailored to describe the heavy tail property for inter-arrival times. However, there are many real-life scenarios (e.g., shocks generated by earthquakes, etc.) where the inter-arrival time between two shocks may have the heavy-tailed behavior. These cases can be modeled by using the well-known heavy-tailed distributions (e.g.,, Pareto, log-normal, heavy-tailed Weibull distribution, etc.). In this paper, we propose to use the renewal process of the matrix-Mittag Leffler type (RPMML) as a more general model. Inter-arrival times of the RPMML follow the matrix Mittag-Leffler (MML) distribution which has a heavy-tailed behavior. Moreover, the MML distribution contains many popular distributions (with heavy-tailed behavior) as the particular cases, namely, Mittag-Leffler distribution, fractional Erlang distribution, etc. Moreover, the set of MML distributions is dense in the set of all distributions with non-negative support. It is important to note that the fractional homogeneous Poisson process (FHPP), one of the popular counting processes, is a ’very’ special case of the RPMML. The contribution of our paper can be summarized as follows:
We suggest and describe three new models for the effect of shocks on performance of coherent systems. Specifically,
-
(i)
A shock can damage any number of components (including zero) with the same probability;
-
(ii)
Each shock damages at least one component;
-
(iii)
A shock can damage at most one component.
For the defined models, we obtain survival probabilities for coherent systems. These results hold for any counting process. Furthermore, we discuss in detail some special cases by considering three important counting processes, namely, the PPHP, the PGGP and the RPMML. The specific case of the k-out-of-n system is also considered. Our results are presented in the closed form that allow for straightforward computations.
The rest of the paper is organized as follows. In Section 2, we present some preliminaries that include definitions, notation, acronyms and descriptions of some important counting processes. In Section 3, we formulate our model. In Section 4, we discuss some general results for the defined models. In Section 5, we derive some results for the defined models for three specific counting processes, namely, the PGGP, the PPHP and the RPMML. In Section 6, as an application, we discuss the optimal replacement policy. Lastly, concluding remarks are given in Section 7.
To enhance the readability of the paper, all proofs of theorems, lemmas, and corollaries, wherever given, are deferred to Appendix A. Further, a more general model is discussed in Appendix B.
2 Preliminaries
For any random variable U, we denote the cumulative distribution function (cdf) by \(F_U(\cdot )\), the survival/reliability function by \(\bar{F}_U(\cdot )\), and the probability density function (pdf) by \(f_{U}(\cdot )\); here \(\bar{F}_U(\cdot )\equiv 1-F_U(\cdot )\). Further, we denote the set of natural numbers by \(\mathbb {N}\), and the set of real numbers by \(\mathbb {R}\). For any set A, |A| represents the cardinality of A. We define \(\sum _{i=1}^{0}(\cdot ) \equiv 0\). Further, we denote the identity matrix by I. In what follows, we give a list of acronyms to be used throughout the paper:
Acronyms:
PH: phase-type
pdf: probability density function
pmf: probablity mass function
cdf: cumulative distribution function
i.i.d.: independent and identically distributed
HPP: homogeneous Poisson process
MML: matrix Mittag-Leffler
NHPP: non-homogeneous Poisson process
PGGP: Poisson generalized gamma process
PPHP: Poisson phase-type process
FHPP: fractional homogeneous Poisson process
RPMML: renewal process of matrix Mittag-Leffler type
Next, we briefly discuss some important counting processes.
2.1 PGGP
The PGGP is a mixed Poisson process with the generalized gamma mixing distribution. It was introduced by Cha and Mercier (2021). This process could be viewed as a Poisson process having a random intensity function which is a product of a deterministic intensity function and a random variable. Below we give the formal definition of the PGGP. First, we recall the definition of the generalized gamma distribution (see Agarwal and Kalla 1996).
Definition 2.1
A random variable Q is said to have a generalized gamma distribution (GGD) with the set of parameters \(\{\nu ,\mu ,\alpha ,l\}\), \(\nu \ge 0,\; \mu ,\alpha ,l > 0\), denoted by \(Q \sim GG(\nu ,\mu ,\alpha ,l)\), if its pdf is given by
where
Definition 2.2
A counting process \( \{ N(t), t \ge 0 \} \) is said to be the PGGP with the set of parameters \(\{\lambda (t),\nu ,\mu ,\alpha ,l\}, \; \lambda (t) > 0,\text { for all } t \ge 0, \; \nu \ge ~0,\) \( \mu ,\alpha ,l >~0 \), denoted by \(PGGP(\lambda (t),\nu ,\mu ,\alpha ,l)\), if
-
(a)
\(\{ N(t), t \ge 0 |Q = q\} \sim NHPP(q \lambda (t))\);
-
(b)
\(Q \sim GG(\nu ,\mu ,\alpha ,l)\). \(\square \)
Remark 2.1
The following statements are true (see Goyal et al. 2022a).
-
(a)
The \(PGGP(\lambda (t), \nu ,\mu ,\alpha ,l)\), where \(\lambda (t) = \lambda \) \((>0)\), \(\nu = 0,\alpha =\mu \) and \(\mu \rightarrow \infty \), is the HPP with the intensity \(\lambda \), regardless of l;
-
(b)
The \(PGGP(\lambda (t), \nu ,\mu ,\alpha ,l)\), where \(\nu = 0,\alpha =\mu \) and \(\mu \rightarrow \infty \), is the NHPP with the intensity function \(\lambda (\cdot )\), regardless of l;
-
(c)
The \(PGGP(\lambda (t), \nu ,\mu ,\alpha ,l)\), where \(\lambda (t) = 1/b\) \((>0)\), \(\nu = 0, \mu = \beta , \alpha = 1\), is the Pólya process with the set of parameters \(\{\beta ,b\}\), regardless of l;
-
(d)
The \(PGGP(\lambda (t), \nu ,\mu ,\alpha ,l)\), where \(\nu = 0, \mu = \tau /\zeta , \alpha = 1/\zeta \) and \(\lambda (t) = \eta (t) \exp \{\zeta \int _{0}^{t} \eta (x) dx \}\), is the GPP with the set of parameters \((\eta (t), \zeta , \tau )\), regardless of l.
2.2 PPHP
The PPHP, introduced by Goyal et al. (2022b), is the mixed NHPP with the continuous phase type (PH) mixing distribution. It is well known that “The set of PH distributions is dense in the set of probability distributions on the non-negative real half-line”. Thus, the PH distribution can be used to approximate any lifetime distribution and consequently, any mixed Poisson process can also be approximated by the PPHP. This important property of the PPHP makes it distinct from other counting processes. Below, we first define the PH distribution and then give the definition of the PPHP.
Definition 2.3
A non-negative random variable X is said to have a PH distribution, denoted by \(X \sim PH( {\varvec{\pi }}, T)\), if
where
-
(i)
\({\varvec{e}}\) is the column vector with all elements being one;
-
(ii)
\( {\varvec{\pi }}\) is a substochastic vector of order m, i.e., \( {\varvec{\pi }}\) is a row vector, all elements of \( {\varvec{\pi }}\) are nonnegative, and \( {\varvec{\pi }} {\varvec{e}} \le 1\), where m is a positive integer; and
-
(iii)
T is a subgenerator of order m, i.e., T is an \(m \times m\) matrix such that: (a) all diagonal elements are negative; (b) all off-diagonal elements are nonnegative; (c) all row sums are non-positive; and (d) T is invertible.\(\square \)
The pair \(( {\varvec{\pi }}, T)\) is called a PH representation of X. Without loss of generality, we assume \({\varvec{\pi }} {\varvec{e}} = 1\) throughout the paper.
Definition 2.4
A counting process \(\{ N(t): t\ge 0\}\) is said to be the PPHP with the set of parameters \(\{\lambda (t), {\varvec{\pi }}, T\}\), denoted by \(PPHP(\lambda (t), {\varvec{\pi }}, T)\), if
-
(i)
\( \{ N(t): t \ge 0\}| (X = x) \sim \text {NHPP}\;(x\lambda (t))\);
-
(ii)
\(X \sim PH( {\varvec{\pi }}, T)\),
where \(\lambda (t) > 0\) and \(( {\varvec{\pi }}, T)\) is a PH representation of X.\(\square \)
In the following lemma we give the pmf of the random variable N(t) following the PPHP (see Goyal et al. 2022b).
Lemma 2.1
Let \(\{N(t): t \ge 0\}\) be the \(PPHP(\lambda (t), {\varvec{\pi }}, T)\). Then pmf of N(t) is given by
2.3 RPMML
The class of MML distributions was defined and studied by Albrecher et al. (2020). These distributions have heavier tails. Below we give the definition of a MML distribution (see Albrecher et al. 2020).
Definition 2.5
Let \(({\varvec{\pi }}, T)\) be a PH reperesentation and \(0 < \gamma \le 1\). A random variable X is said to have a MML distribution with the set of parameters \(\{\gamma , {\varvec{\pi }}, T\}\), if its Laplace transform is given by
where \({\varvec{T}^{\textbf{0}}} = - T {\varvec{e}}\). \(\square \)
We write \(X \sim MML(\gamma , {\varvec{\pi }}, T)\) to indicate that X has a MML distribution with the set of parameters \(\{\gamma , {\varvec{\pi }}, T\}\). Further, the the cdf of X is given by
where
Clearly, when \(\gamma = 1\), \(X\sim PH( {\varvec{\pi }}, T)\). Further, if \( {\varvec{\pi }} = 1\) and \(T = - \lambda \), then X has a Mittag-Leffler distribution with parameters \(\gamma \) and \(\lambda \) (see Kataria and Vellaisamy 2019).
Next, we define the RPMML. Before that we give the definition of the FHPP.
Definition 2.6
The FHPP with the set of parameters \(\{\gamma ,\lambda \}\), denoted by FHPP\((\gamma ,\lambda )\), is a renewal process with inter-arrival times following the Mittag-Leffler distribution with parameters \(\gamma \) and \(\lambda \).
Definition 2.7
A renewal process with inter-arrival times following the MML distribution with the set of parameters \(\{\gamma , {\varvec{\pi }}, T\}\) is called the RPMML with the set of parameters \(\{\gamma , {\varvec{\pi }}, T\}\). \(\square \)
For convenience, we denote the RPMML with the set of parameters \(\{\gamma , {\varvec{\pi }}, T\}\) by \(RPMML(\gamma , {\varvec{\pi }}, T)\).
Remark 2.2
The following observations can be made:
-
(i)
The \(RPMML(1, {\varvec{\pi }}, T)\) is the PH renewal process;
-
(ii)
The \(RPMML(\gamma , 1, -\lambda )\) is the FHPP \((\gamma ,\lambda )\). \(\square \)
In the following lemma we give the pmf of the random variable N(t) following RPMML\((\gamma , {\varvec{\pi }}, T)\).
Lemma 2.2
Let \(\{N(t): t \ge 0\}\) be the RPMML\((\gamma , {\varvec{\pi }}, T)\). Then the pmf of N(t) is given by
where \({\varvec{\pi }_{\varvec{n}}} = ({\varvec{\pi }, 0,\dots ,0})\) and
for \(n \ge 2\), with \({\varvec{\pi }_{\textbf{1}}} = {\varvec{\pi }}, \; T_{1} = T\) and \({\varvec{\pi }_{\textbf{0}}} = T_{0} = 0.\)
3 Model Description
Let L be a random variable representing the lifetime of a coherent system with n i.i.d. components that started operating time \(t = 0\). Assume that the system is subject to external shocks that arrive at random times being the only cause of system’s failure. Let \(\{N(t): t \ge 0\}\) be an orderly counting process where N(t) represents the number of shocks arrived by the time t. Assume that each shock can affect a random number of components. Let \(Z_{i}\) be the random variable representing the number of components failed due to the i-th shock, \(i \in \mathbb {N}\). In what follows, we give a list of model assumptions.
Assumptions:
-
Each shock is harmless with probability \(p_{0}\) and harmful with probability \(1 - p_{0}\), i.e., \(P(Z_{i} = 0) = p_{0}\) and \(P(Z_{i} \ne 0) = 1 - p_{0}\), for \(i \in \mathbb {N}\).
-
If the i-th shock is harmful then it can damage j components with probability \(p_{j}\), i.e., \(P(Z_{i} = j) = p_{j}\), for all \(j = 1,2,\dots ,n\), \(i \in \mathbb {N}\). Clearly, \(p_{1} + p_{2} + \dots + p_{n} = 1 - p_{0}\).
-
\(\{Z_{i}: i \in \mathbb {N} \}\) is a sequence of i.i.d. random variables. This assumption is made for mathematical convenience. Appendix B contains a more general setup where \(Z_{i}\)’s are dependent with a specific dependency structure.
-
The shock process \(\{N(t): t \ge 0\}\) and \(\{Z_{i}: i \in \mathbb {N}\}\) are independent.
In what follows in this paper, we consider three special cases (with respect to distribution of \(Z_{i}\)):
- M1::
-
\(P(Z_{i} = j) = 1/(n+1)\), \(j = 0,1,2,\dots ,n\), i.e., \(Z_{i}\) follows the uniform distribution over \(\{0,1,2,\dots ,n\}\). In other words, a shock can damage any number of components (including zero) with the same probability. This model may be appropriate to use in a situation where the distribution of \(Z_{i}\)’s is in question.
- M2::
-
Each shock is assumed to be harmful, and at least one component is affected by the shock i.e., \(p_{0} = 0\). Consequently, the range of \(Z_{i}\) is given by \(\{1,2,\dots ,n\}\), for all \(i \in \mathbb {N}\).
- M3::
-
Each shock can harm at most one component i.e., \(p_{2}= p_{3} = \dots = p_{n} = 0\). Consequently, the range of \(Z_{i}\) is given by \(\{0,1\}\), for all \(i \in \mathbb {N}\).
Some real-world settings that comply with the described models are given below:
-
Consider an apartment lighting system where n lamps are used to illuminate the apartment. The apartment’s lighting is suitable if at least k (\(1\le k\le n\)) lamps are on. If the magnitude of electricity is above a fixed threshold, then some of these lamps may be damaged. Consequently, the brightness of the apartment will be reduced. If each lamp is considered a component and electric impulses with high magnitudes are considered as shocks, then one can associate this problem with the model introduced in this paper. This example is borrowed from Lorvand and Kelkinnama (2023).
-
The Proton Exchange Membrane Fuel Cells power systems, described in detail in Eryilmaz and Devrim (2019), is another example of the proposed model.
-
In a cricket match, the batting team can be considered as a 2-out-of-11 system. Each ball to the batsman can be considered a shock for the team (system). This setting can be described by the \(M_{3}\) model.
4 General Model
In this section, we obtain some general results. We derive the expression for the survival function of a coherent system for the defined model that is valid for an arbitrary orderly counting process \(\{N(t): t \ge 0\}\). We first consider the k-out-of-n systems, and then generalize the result to coherent systems.
Let M(t) be a random variable representing the number of failed components of a system by time t. Then
Further, let \(L_{k:n}\) be a random variable representing the lifetime of a k-out-of-n system with n i.i.d. components. Note that this system functions until the \((n-k+1)\)-th component fails. Then
Further, let L be a random variable representing the lifetime of a coherent system with n i.i.d. components, described by the system’s signature vector \((s_1,s_2,\dots , s_n)\) (see Samaniego 2007). Then
where \(s_{k} = P(L = L_{k:n})\), for \(k=1,2,\dots ,n\).
To obtain the survival functions of L and \(L_{k:n}\), we first need to find the probabilities \(P(M(t) = i)\), for \(i = 0,1,2,\dots ,n-k\). In the following lemma, we derive these probabilities.
Lemma 4.1
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), \(i \in \mathbb {N}\), and \(\{N(t): t \ge 0\}\) be a counting process. Then
and
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\) and \(1 \le m \le i < n\). \(\square \)
The next theorem immediately follows from Lemma 4.1 and (4.2).
Theorem 4.1
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), \(i \in \mathbb {N}\). Assume that shocks occur according to a counting process \(\{N(t): t \ge 0\}\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\) and \(1 \le m \le i \le n-k\). \(\square \)
The succeeding corollary follows from Theorem 4.1.
Corollary 4.1
The following results hold true.
-
(i)
For model \(M_{1}\):
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\sum _{j=0}^{\infty } \left( \frac{1}{n+1}\right) ^{j} P(N(t) = j) \\&+ \sum _{i=1}^{n-k} \sum _{m=1}^{i} \sum _{j=m}^{\infty } {j \atopwithdelims ()m} {i-1 \atopwithdelims ()m-1} \left( \frac{1}{n+1}\right) ^{j} P(N(t) = j); \end{aligned} \end{aligned}$$ -
(ii)
For model \(M_{2}\):
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} P(N(t) = 0) + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) P(N(t) = m); \end{aligned}$$ -
(iii)
For model \(M_{3}\):
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} \sum _{j=0}^{\infty } p_{0}^{j}P(N(t) = j) + \sum _{i=1}^{n-k} \sum _{j=i}^{\infty } {j \atopwithdelims ()i} p_{1}^{i} p_{0}^{j-i} P(N(t) = j). \end{aligned}$$\(\square \)
In the next theorem we derive the survival function of a coherent system for the defined model. The proof is straightforward by using (4.3) and Theortem 4.1.
Theorem 4.2
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), \(i \in \mathbb {N}\). Assume that shocks occur according to a counting process \(\{N(t): t \ge 0\}\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\), \(s_{k} = P(L = L_{k:n})\), \( 1 \le k \le n-1\) and \(1 \le m \le i \le n-k\).
Remark 4.1
By proceeding in the same line as in Corollary 4.1, the survival function of a coherent system for models \(M_{1}, M_{2}\) and \(M_{3}\) can be obtained.
5 Some Special Cases
In this section, we derive survival functions for the defined model for some specific shock processes, namely, the PGGP, the PPHP and the RPMML. As these processes are quite ‘sophisticated’, each case needs specific technique and reasoning.
5.1 PGGP
Theorem 5.1
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), \(i \in \mathbb {N}\). Assume that shocks occur according to the \(PGGP(\lambda (t), \nu , \mu , \alpha , l)\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\) and \(1 \le m \le i \le n-k\).\(\square \)
The next corollary immediately follows from Theorem 5.1. Here, we obtain the survival function of the k-out-of-n system for models \(M_{1}\), \(M_{2}\) and \(M_{3}\).
Corollary 5.1
The following results hold true.
-
(i)
For model \(M_{1}\):
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\left( \frac{\alpha }{\alpha + (n/(n+1)) \Lambda (t)}\right) ^{\mu -\nu } \Bigg [ \frac{\Gamma _{\nu }(\mu , (\alpha + (n/(n+1))\Lambda (t))l)}{\Gamma _{\nu }(\mu ,\alpha l)} \\&+ \sum _{i=1}^{n-k} \sum _{m=1}^{i} {i-1 \atopwithdelims ()m-1} \times \left( \frac{1}{n+1}\right) ^{m} \left( \frac{\Lambda (t)}{\alpha + (n/(n+1)) \Lambda (t)}\right) ^{m} \\&\frac{\Gamma _{\nu }(m+\mu , (\alpha + (n/(n+1)) \Lambda (t))l)}{m! \Gamma _{\nu }(\mu ,\alpha l)} \Bigg ]; \end{aligned} \end{aligned}$$ -
(ii)
For model \(M_{2}\):
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\left( \frac{\alpha }{\alpha + \Lambda (t)}\right) ^{\mu -\nu } \Bigg [ \frac{\Gamma _{\nu }(\mu , (\alpha + \Lambda (t))l)}{\Gamma _{\nu }(\mu ,\alpha l)} \\&+ \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m}p_{z_{r}} \right) \left( \frac{\Lambda (t)}{\alpha + \Lambda (t)}\right) ^{m} \\&\frac{\Gamma _{\nu }(m+\mu , (\alpha + \Lambda (t))l)}{m! \Gamma _{\nu }(\mu ,\alpha l)} \Bigg ]; \end{aligned} \end{aligned}$$ -
(iii)
For model \(M_{3}\):
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\left( \frac{\alpha }{\alpha + p_{1} \Lambda (t)}\right) ^{\mu -\nu } \Bigg [ \frac{\Gamma _{\nu }(\mu , (\alpha + p_{1} \Lambda (t))l)}{\Gamma _{\nu }(\mu ,\alpha l)} \\&+ \sum _{i=1}^{n-k} \left( \frac{ p_{1} \Lambda (t)}{\alpha + p_{1} \Lambda (t)}\right) ^{i} \frac{\Gamma _{\nu }(i+\mu , (\alpha + p_{1} \Lambda (t))l)}{i! \Gamma _{\nu }(\mu ,\alpha l)} \Bigg ]. \end{aligned} \end{aligned}$$
\(\square \)
The next corollary immediately follows from Theorem 5.1, and Remark 2.1 (b) and (c).
Corollary 5.2
For the general model, the following results hold true for the k-out-of-n system.
-
(i)
Assume that shocks occur according to the NHPP with intensity \(\lambda (t)\). Then
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} \exp \{- (1 - p_{0}) \Lambda (t)\} \Bigg [1 + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \frac{\Lambda (t)^{m}}{m!}\Bigg ]. \end{aligned}$$ -
(ii)
Assume that shocks occur according to the Pólya with the set of parameters \(\{\beta ,b\}\). Then
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\left( \frac{b}{(1 - p_{0}) t+ b} \right) ^{\beta } \Bigg [ 1 + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \\&\frac{\Gamma (\beta + m)}{\Gamma (\beta ) m!} \left( \frac{t}{(1 - p_{0}) t+b} \right) ^{m}\Bigg ]. \end{aligned} \end{aligned}$$
Remark 5.1
From the above corollary, one can obtain the survival functions of the system for models \(M_{1}\), \(M_{2}\) and \(M_{3}\) for the NHPP and the Pólya shock processes. \(\square \)
In the succeeding theorem, we derive the survival function of a coherent system for the defined model. The proof follows from (4.3) and Theorem 5.1.
Theorem 5.2
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), \(i \in \mathbb {N}\). Assume that shocks occur according to the \(PGGP(\lambda (t), \nu , \mu , \alpha , l)\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\), \(s_{k} = P(L = L_{k:n})\), and \(1 \le m \le i \le n-k\). \(\square \)
The next corollary follows from Theorem 5.2, and Remark 2.1 (b) and (c).
Corollary 5.3
For the general model, the following results hold true.
-
(i)
Assume that shocks occur according to the NHPP with intensity \(\lambda (t)\). Then
$$\begin{aligned} \bar{F}_{L}(t)= & {} \exp \{- (1 - p_{0}) \Lambda (t)\} \Bigg [1 + \sum _{k=1}^{n-1} \sum _{i=1}^{n-k} \sum _{m=1}^{i} s_{k} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \frac{\Lambda (t)^{m}}{m!}\Bigg ]. \end{aligned}$$ -
(ii)
Assume that shocks occur according to the Pólya process with the set of parameters \(\{\beta ,b\}\). Then
$$\begin{aligned} \begin{aligned} \bar{F}_{L}(t) =&\left( \frac{b}{(1 - p_{0}) t+ b} \right) ^{\beta } \Bigg [ 1 + \sum _{k=1}^{n-1} \sum _{i=1}^{n-k} \sum _{m=1}^{i} s_{k} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \\&\frac{\Gamma (\beta + m)}{\Gamma (\beta ) m!} \left( \frac{t}{(1 - p_{0}) t+b} \right) ^{m}\Bigg ]. \end{aligned} \end{aligned}$$\(\square \)
In the succeeding example, we illustrate the result given in Corollary 5.2 (ii).
Example 5.1
Consider a 3-out-of-4 system, i.e., \(k = 3\) and \(n = 4\). Assume that shocks occur according to the Pólya process with the set of parameters \(\{\beta , b\}\). Then, from Corollary 5.2 (ii), we get
Let \(\beta = 4\) and \(b = 2\). In Fig. 1a, we plot the above survival function against \(t \in [0,15]\), for different values of \(p_{0}\) and for fixed \(p_{1} = 0.2\). This figure shows that the system’s survival probability increases as \(p_{0}\) increases. In Fig. 1b, we plot the system’s survival function against \(t \in [0,15]\), for model \(M_{1}\), with \(p_{0} = 1/5\) and \(p_{2} = 1/5\). In Fig. 1c, the system’s survival function against \(t \in [0,10]\), for different values of \(p_{1}\), is plotted for model \(M_{2}\). From this figure, we conclude that an increment in \(p_{1}\) increases the system’s survivability. In Fig. 1d, we plot the system’s survival function against \(t \in [0,30]\), for different values of \(p_1\), for model \(M_{3}\). This figure shows that an increment in \(p_{1}\) decreases the system’s survivability. \(\square \)
In the next example, we illustrate the result given in Corollary 5.3 (ii).
Example 5.2
Consider a coherent system with the structure function (see Barlow and Proschan 1975) given by
Now, it can easily be shown that \((s_{1},s_{2},s_{3}) = (1/3,2/3,0)\). Then, from Corollary 5.3 (ii), we get
For fixed \(b = 2 \) and \(\beta = 4\), we plot the survival function of the above coherent system for different failure probability vectors \((p_{0}, p_{1}, p_{2}, p_{3})\) in Fig. 2.
In the succeeding theorem, the mean lifetime of a k-out-of-n system is derived under the assumption that shocks occur according to the Pólya process or the HPP.
Theorem 5.3
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), and \(i \in \mathbb {N}\).
-
(i)
Assume that shocks occur according to the Pólya process with the set of parameters \(\{\beta ,b\}\), \(\beta > 1\). Then the mean lifetime of the k-out-of-n system is given by
$$\begin{aligned} E(L_{k:n})= & {} \left( \frac{b}{\beta -1} \right) \left( \frac{1}{1 - p_{0}} \right) \Bigg [ 1 + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \left( \frac{1}{1-p_{0}}\right) ^{m} \Bigg ]; \end{aligned}$$ -
(ii)
Assume that shocks occur according to the HPP with the intensity \(\lambda \). Then the mean lifetime of the k-out-of-n system is given by
$$\begin{aligned} E(L_{k:n})= & {} \frac{1}{\lambda } \left( \frac{1}{1 - p_{0}} \right) \Bigg [ 1 + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \left( \frac{1}{1-p_{0}}\right) ^{m} \Bigg ]; \end{aligned}$$
here \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\) and \(1 \le m \le i \le n - k\).
The next corollary immediately follows from the above theorem. Here we discuss the results for models \(M_1\), \(M_2\) and \(M_3\).
Corollary 5.4
The following results hold true.
-
(i)
For model \(M_{1}\): If the shocks occur according to the Pólya process with the set of parameters \(\{\beta ,b\}\), \(\beta > 1\), then
$$\begin{aligned} E(L_{k:n}) = \left( \frac{b}{\beta -1} \right) \left( 1 + \frac{1}{n} \right) ^{n-k+1} , \end{aligned}$$and if shocks occur according to the HPP with the intensity \(\lambda \), then
$$\begin{aligned} E(L_{k:n}) = \frac{1}{\lambda } \left( 1 + \frac{1}{n} \right) ^{n-k+1}. \end{aligned}$$ -
(ii)
For model \(M_{2}\): If shocks occur according to the Pólya process with the set of parameters \(\{\beta ,b\}\), \(\beta > 1\), then
$$\begin{aligned} E(L_{k:n})= & {} \left( \frac{b}{\beta -1} \right) \Bigg [ 1 + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \Bigg ], \end{aligned}$$and if shocks occur according to the HPP with the intensity \(\lambda \), then
$$\begin{aligned} E(L_{k:n})= & {} \frac{1}{\lambda } \Bigg [ 1 + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \Bigg ]. \end{aligned}$$ -
(iii)
For model \(M_{3}\): If shocks occur according to the Pólya process with the set of parameters \(\{\beta ,b\}\), \(\beta > 1\), then
$$\begin{aligned} E(L_{k:n})= & {} \left( \frac{b}{\beta -1} \right) \left( \frac{1 + n - k}{p_{1}} \right) , \end{aligned}$$and if shocks occur according to the HPP with the intensity \(\lambda \), then
$$\begin{aligned} E(L_{k:n})= & {} \frac{1}{\lambda }\left( \frac{1 + n - k}{p_{1}} \right) . \end{aligned}$$\(\square \)
The following example illustrates the results given in Theorem 5.3 (ii) and Corollary 5.4.
Example 5.3
Consider a 3-out-of-4 system. Assume that shocks occur according to the HPP with the intensity \(\lambda \). In Table 1, we calculate the mean lifetime of the system for different models and different intensity \(\lambda \) of the HPP. Table 1 shows that an increment in parameter \(\lambda \) decreases the system’s mean lifetime for each model.
In the following theorem we derive the mean lifetime of a coherent system for the general model.
Theorem 5.4
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), and \(i \in \mathbb {N}\).
-
(i)
Assume that shocks occur according to the Pólya process with the set of parameters \(\{\beta ,b\}\), \(\beta > 1\). Then the mean lifetime of the coherent system is given by
$$\begin{aligned} E(L)= & {} \left( \frac{b}{\beta -1} \right) \left( \frac{1}{1 - p_{0}} \right) \Bigg [ 1 + \sum _{k=1}^{n-1} \sum _{i=1}^{n-k} \sum _{m=1}^{i} s_{k} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \left( \frac{1}{1-p_{0}}\right) ^{k} \Bigg ]; \end{aligned}$$ -
(ii)
Assume that shocks occur according to the HPP with the intensity \(\lambda \). Then the mean lifetime of the coherent system is given by
$$\begin{aligned} E(L)= & {} \left( \frac{1}{\lambda } \right) \left( \frac{1}{1 - p_{0}} \right) \Bigg [ 1 + \sum _{k=1}^{n-1} \sum _{i=1}^{n-k} \sum _{m=1}^{i} s_{k} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) \left( \frac{1}{1-p_{0}}\right) ^{k} \Bigg ]; \end{aligned}$$
here \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\), \(s_{k} = P(L = L_{k:n})\), \(1 \le k \le n-1\) and \(1 \le m \le i \le n-k\). \(\square \)
The following example illustrates the results given in Theorem 5.4 (ii).
Example 5.4
Consider the coherent system mentioned in Example 5.2. Assume that shocks occur according to the HPP with the intensity \(\lambda \). Then, from Theorem 5.4 (ii), we have
In Table 2, we calculate the mean lifetime of the system for different intensity \(\lambda \) of the HPP by considering parameters \(p_{0} = 0.4\), \(p_{1} = 0.3\), \(p_{2} = 0.2\) and \(p_{3} = 0.1\). This table shows that an increment in intensity (\(\lambda \)) of the shock process (HPP) decreases the system lifetime.
5.2 PPHP
Theorem 5.5
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), and \(i \in \mathbb {N}\). Assume that shocks occur according to the \(PPHP(\lambda (t), {\varvec{\pi }}, T)\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\) and \(1 \le m \le i \le n-k\). \(\square \)
The following corollary immediately follows from Theorem 5.5. Here we discuss the results for specific models \(M_{1}\), \(M_{2}\) and \(M_{3}\).
Corollary 5.5
The following results hold true.
-
(i)
For model \(M_{1}\):
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} {\varvec{\pi }} \left( \Lambda (t)\left( \frac{n}{n+1}\right) I - T\right) ^{-1} {\varvec{T}^{\textbf{0}}} \\{} & {} + \sum _{i=1}^{n-k} \sum _{m=1}^{i} {i-1 \atopwithdelims ()m-1} \left( \frac{\Lambda (t)}{n+1}\right) ^{m} {\varvec{\pi }} \left( \Lambda (t) \left( \frac{n}{n+1}\right) I - T\right) ^{-(m+1)} {\varvec{T}^{\textbf{0}}}; \end{aligned}$$ -
(ii)
For model \(M_{2}\):
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} {\varvec{\pi }} (\Lambda (t)I - T)^{-1} {\varvec{T}^{\textbf{0}}} \\{} & {} + \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}}\right) \Lambda (t)^{m} {\varvec{\pi }} (\Lambda (t)I - T)^{-(m+1)} {\varvec{T}^{\textbf{0}}}; \end{aligned}$$ -
(iii)
For model \(M_{3}\):
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} {\varvec{\pi }} (\Lambda (t) p_{1} I - T)^{-1} {\varvec{T}^{\textbf{0}}} + \sum _{i=1}^{n-k} p_{1}^{i} \Lambda (t)^{i} {\varvec{\pi }} (\Lambda (t)p_{1}I - T)^{-(i+1)} {\varvec{T}^{\textbf{0}}}. \end{aligned}$$
In the next theorem, we derive the survival function of a coherent system for the general model.
Theorem 5.6
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), and \(i \in \mathbb {N}\). Assume that shocks occur according to the \(PPHP(\lambda (t), {\varvec{\pi }}, T)\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\), \(s_{k} = P(L = L_{k:n})\), \(1 \le k \le n-1\) and \(1 \le m \le i \le n-k\).\(\square \)
The results given in above theorems and corollary are illustrated by the following two examples.
Example 5.5
Consider a 3-out-of-4 system. Then, from Theorem 5.5, we have
Let the parameters be
In Fig. 3a, we plot the survival function of the system (given in Theorem 5.5) against \(t \in [0,250]\), for different values of \(p_{0}\) and for fixed \(p_{1} = 0.2\). In Fig. 3b, we plot the system’s survival function (given in Corollary 5.5 (i)) against \(t \in [0,250]\), for fixed \(p_{0} = 1/5\) and \(p_{2} = 1/5\). In Fig. 3c, we plot the system’s survival function (given in Corollary 5.5 (ii)) against \(t \in [0,250]\), for different values of \(p_{1}\). Lastly, in Fig. 3d, we plot the system’s survival function (given in Corollary 5.5 (iii)) against \(t \in [0,500]\), for different values of \(p_{1}\). From all these figures, we can make the same observations as in Example 5.1.
Example 5.6
Consider the coherent system mentioned in Example 5.2. Then, from Theorem 5.6, we have
In Fig. 4, we plot this against \(t\in [0,1000]\), for different failure probability vectors \((p_{0}, p_{1}, p_{2}, p_{3})\) and for fixed parameters values given by
5.3 RPMML
In the following theorem we derive the survival function of a k-out-of-n system for the defined model by assuming the shock process as the RPMML. The proof immediately follows from Theorem 4.1 and Lemma 2.2 and hence, omitted.
Theorem 5.7
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), and \(i \in \mathbb {N}\). Assume that shocks occur according to the \(RPMML(\gamma , {\varvec{\pi }}, T)\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\), \(1 \le m \le i \le n-k\), and \({\varvec{\pi }_{\varvec{j}}}\)’s and \(T_{j}\)’s are the same as in Lemma 2.2. \(\square \)
The next corollary immediately follows from Theorem 5.7.
Corollary 5.6
The following results hold true.
-
(i)
For model \(M_{1}\):
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\sum _{j=0}^{\infty } \left( 1/(n+1)\right) ^{j} ( {\varvec{\pi }_{\varvec{j}+\textbf{1}}} E_{\gamma ,1}(T_{j+1} t^{\gamma }) {\varvec{e}} - {\varvec{\pi }_{\varvec{j}}} E_{\gamma ,1}(T_{j} t^{\gamma }) {\varvec{e}}) \\&+ \sum _{i=1}^{n-k} \sum _{m=1}^{i} \sum _{j=m}^{\infty } {j \atopwithdelims ()m} {i-1 \atopwithdelims ()m-1} (1/(n+1))^{j} \\&\; ({\varvec{\pi }_{\varvec{j}+\textbf{1}}} E_{\gamma ,1}(T_{j+1} t^{\gamma }) {\varvec{e}} - {\varvec{\pi }_{\varvec{j}}} E_{\gamma ,1}(T_{j} t^{\gamma }) {\varvec{e}}); \end{aligned} \end{aligned}$$ -
(ii)
For model \(M_{2}\):
$$\begin{aligned} \begin{aligned} \bar{F}_{L_{k:n}}(t) =&\; {\varvec{\pi }} E_{\gamma ,1}(T t^{\gamma }) {\varvec{e}} \\&+ \sum _{i=1}^{n-k} \sum _{m=1}^{i} \left( \sum _{{\varvec{z}} \in \Omega _{m,i}} \prod _{r=1}^{m} p_{z_{r}} \right) ( {\varvec{\pi }_{\varvec{m}+\textbf{1}}} E_{\gamma ,1}(T_{m+1} t^{\gamma }) {\varvec{e}} \\&- {\varvec{\pi }_{\varvec{m}}} E_{\gamma ,1}(T_{m} t^{\gamma }) {\varvec{e}}); \end{aligned} \end{aligned}$$ -
(iii)
For model \(M_{3}\):
$$\begin{aligned} \bar{F}_{L_{k:n}}(t)= & {} \sum _{j=0}^{\infty } p_{0}^{j} ( {\varvec{\pi }_{\varvec{j}+\textbf{1}}} E_{\gamma ,1}(T_{j+1} t^{\gamma }) {\varvec{e}} - {\varvec{\pi }_{\varvec{j}}} E_{\gamma ,1}(T_{j} t^{\gamma }) {\varvec{e}}) \\{} & {} + \sum _{i=1}^{n-k} \sum _{j=i}^{\infty } {j \atopwithdelims ()i} p_{1}^{i} p_{0}^{j-i} ( {\varvec{\pi }_{\varvec{j}+\textbf{1}}} E_{\gamma ,1}(T_{j+1} t^{\gamma }) {\varvec{e}} - {\varvec{\pi }_{\varvec{j}}} E_{\gamma ,1}(T_{j} t^{\gamma }) {\varvec{e}}). \end{aligned}$$
The survival function of a coherent system for the defined model is given in the following theorem. The proof is obvious and hence, omitted.
Theorem 5.8
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), and \(i \in \mathbb {N}\). Assume that shocks occur according to the \(RPMML(\gamma , {\varvec{\pi }}, T)\). Then
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\), \(s_{k} = P(L = L_{k:n})\), \(1 \le k \le n-1\), \(1 \le m \le i \le n-k\), and \({\varvec{\pi }_{\varvec{j}}}\)’s and \(T_{j}\)’s are the same as in Lemma 2.2. \(\square \)
Remark 5.2
Since \(\int _{0}^{\infty } {\varvec{\pi }} E_{\gamma ,1}(T t^{\gamma }) {\varvec{e}} dt = \infty \) for \(\gamma < 1\), one can conclude from Theorem 5.8 that \(E(L) = \infty \), for \(0<\gamma < 1\).
In the next two examples, we illustrate the foregoing results.
Example 5.7
Consider a 3-out-of-4 system. Then, from Theorem 5.7, we have
Let the parameters be \({\varvec{\pi }_{\textbf{1}}} = 1\), \(T = -\lambda \) and \(\lambda = 2\), i.e., the shock process be the FHPP with the set of parameters \(\{\gamma ,2\}\). In Fig. 5a, we plot the survival function of the system (given in Theorem 5.7) against \(t \in [0,10]\), for different values of \(p_{0}\), and for fixed \(\gamma = 0.9\) and \(p_{1} = 0.2\). This figure show that the system survivability increases as \(p_0\) increases. In Fig. 5b, we plot the survival function of the system against \(t \in [0,10]\) for the same model, for different values of \(\gamma \), and for fixed \(p_{0} = 0.5\) and \(p_{1} = 0.1\).
Example 5.8
Consider the coherent system given in Example 5.2. Then, from Theorem 5.8, we have
Let the shock process be the FHPP with the set of parameters \(\{\gamma , \lambda \}\), where \(\gamma = 0.9\) and \(\lambda = 2\). In Fig. 6, we plot \(\bar{F}_L(t)\) against \(t\in [0,10]\), for different failure probability vectors \((p_{0}, p_{1}, p_{2}, p_{3})\).
6 Application: Optimal Replacement Time
The study of the optimal replacement policies is one of the important applications of reliability theory. In this section, we consider the problem of finding the optimal replacement time for a coherent system that minimizes the long-run average cost per unit time. According to the classical age replacement policy, a system should be replaced upon failure or reaching the predetermined age t, whichever occurs first.
Below we give a list of assumptions which are similar to those given in Eryilmaz and Devrim (2019).
Assumptions:
-
(a)
A new coherent system with the lifetime L described by the defined shock model is incepted into operation at time zero.
-
(b)
The external shocks are the only reason for the system’s failure, and occur according to the \(RPMML(\gamma , {\varvec{\pi }}, T)\)
-
(c)
The system is replaced by a new one either upon failure or after reaching the predetermined age t, whichever occurs first.
-
(d)
Let \(c_{1}\) and \(c_{2}\) denote the cost of replacement of the system before failure and the cost of replacement of the system after failure, respectively.
-
(e)
If the system is replaced before failure, then all failed components are replaced by new components and all non-failed components are repaired.
-
(f)
A component is as good as new after repair and hence, the system after replacement becomes new.
-
(g)
Let \(c_{a}\) denote the acquisition cost of one component and \(c_{r}\) be the repair cost for a non-failed component. Further, let \(c_{f}\) denote the additional cost of the system failure.
Note that the expected number of components to be replaced before failure is equal to \(E(M(t)| L > t)\), and the expected number of components to be repaired before failure is equal to \(E(n - M(t)|L > t)\). Then
On the other hand, the cost of replacement of the system after failure is given by \(c_{2} = nc_{a} + c_{f}\). Consequently, the total long-run average cost per unit time is given by
Note that the denominator of the above equation tends to \(\infty \) as \(t \rightarrow \infty \) (see Remark 5.2) and hence, the finite optimal replacement time cannot be determined on the infinite horizon. In real life, due to specifications and internal degradation process, an item might be replaced at some large time \(t^{u}\) (say) even if it is not an optimal decision. Thus, we study the optimal replacement policy under the updated Assumption (c) as given below.
Updated Assumption (c): The system is replaced by a new one either upon its failure or after reaching its age to a predetermined threshold value \(t \le t^{u}\), whichever occurs first.
Consequently, our goal is to find the optimal \(t^{*}\) (\(\le t^{u}\)) such that \(C_{L}(t^{*}) < C_{L}(t^{u})\) and \(C_{L}(t^{*}) = min_{t \in (0,t^{u}]} C_{L}(t)\). Now, to evaluate \(C_L(t)\), we need the expressions of \(E(M(t)|L >t)\) and \(\bar{F}_{L}(t)\). The first expression is given by
where the pmf of M(t) is the same as in Lemma 4.1. Further, the expression of \(\bar{F}_{L}(t)\) is obtained from Theorem 5.8.
Due to mathematical complexity, the aforementioned problem cannot be analytically solved. Thus, we consider a numerical example as given below.
Example 6.1
Consider the coherent system mentioned in Example 5.2. Assume that shocks occur according to the RPMML with the parameter set \(\{\gamma , {\varvec{\pi }}, T\}\), where \({\varvec{\pi }} = (1,0)\), \(T= \begin{pmatrix} -\lambda &{} \lambda \\ 0 &{} - \lambda \end{pmatrix}\) and \(\lambda = 1.2\). Then
where \(P(M(t) = 1)\) and \(P(M(t) = 2)\) are the same as in Lemma 4.1, and
Note that \(\int _{0}^{t} {\varvec{\pi }} E_{\gamma ,1}(T u^{\gamma }) {\varvec{e}} du = t {\varvec{\pi }} E_{\gamma ,2}(T t^{\gamma }) {\varvec{e}}\). Consequently,
By using (6.2), (6.3), and (6.4) in (6.1), we get the expression of \(C_L(t)\). Now, in Fig. 7, we plot this \(C_L(t)\) against \(t \in [0,10]\), for different values of \(\gamma \), and for fixed \(c_{a} = 3\), \(c_{f} = 10\), \(c_{r} = 1\), \(p_{0} = 0\), \(p_{1} = 0.2\) and \(p_{2} = 0.1\). From this figure, we see that the the cost function \(C_L(t)\) is in U-shaped in initial time period. Let \(t^{u} = 10\). Then, for \(\gamma = 1\), \(t^{*} = 1.3\) and \(C_L(t^{*}) = 9.9075\); for \(\gamma = 0.99\), \(t^{*} = 1.4\) and \(C_L(t^{*}) = 9.9243\), and, for \(\gamma = 0.98\), \(t^{*} = 1.5\) and \(C_L(t^{*}) = 9.9308\). Moreover, \(C_{L}(t)\) tends to 0 when \(t \rightarrow \infty \) because \(E(L) = \infty \) for \(\gamma <1\).
7 Concluding remarks
The study of shock models for multi-component systems is an important area in modern reliability theory. In this paper, we consider three rather general counting processes for modeling shock occurrences, namely, the PGGP, the PPHP and the RPMML. All these processes are mathematically tractable.
It is important to note that the PPHP can be used to approximate any mixed Poisson process. On the other hand, the RPMML is very useful in modeling the arrivals of shocks with heavy-tailed inter-arrival times. All considered processes have not been used in modeling lifetimes of multi-component systems subject to external shocks. Therefore, our paper is the first to obtain relationships for the survival functions and expected lifetimes for different specific models of the effect of shocks on the components of a coherent system.
We expect that the obtained in this paper innovative results can be used in various applications. As an example, the optimal replacement policy under the RPMML process of shocks was considered.
The \(\delta \)-shock model is one of the popular shock models used in many applications. The study of the \(\delta \)-shock model for a multi-component system based on the PGGP/PPHP/RPMML can be considered as a potential problem yet to be explored. Further, in this paper, we mostly derive the results for coherent systems with i.i.d. or exchangeable components. The study of coherent systems with dependent components can be considered in future as well.
Data Availability
No data was used in this study.
References
Agarwal SK, Kalla SL (1996) A generalized gamma distribution and its application in reliability. Commun Stat Theory Methods 25:201–210
Albrecher H, Bladt M, Bladt M (2020) Matrix Mittag-Leffler distributions and modeling heavy-tailed risks. Extremes 23:425–450
Barlow RE, Proschan F (1975) Statistical theory of reliability and life testing: Probability models. Holt, Rinehart and Winston, New York
Bian L, Wang G, Liu P (2021) Reliability analysis for multi-component systems with interdependent competing failure processes. Appl Math Model 94:446–459
Cha JH, Finkelstein M (2016) New shock models based on the generalized Polya process. Eur J Oper Res 251:135–141
Cha JH, Mercier S (2021) Poisson generalized gamma process and its properties. Stochastics 93:1123–1140
Eryilmaz S (2017) \(\delta \)-shock model based on Polya process and its optimal replacement policy. Eur J Oper Res 263:690–697
Eryilmaz S, Devrim Y (2019) Reliability and optimal replacement policy for a k-out-of-n system subject to shocks. Reliab Eng Syst Saf 188:393–397
Gong M, **e M, Yang Y (2018) Reliability assessment of system under a generalized run shock model. J Appl Probab 55:1249–1260
Gong M, Eryilmaz S, **e M (2020) Reliability assessment of system under a generalized cumulative shock model. Proc Inst Mech Eng Part O: J Risk Reliab 234:129–137
Goyal D, Hazra NK, Finkelstein M (2022a) On the general \(\delta \)-shock model. TEST 31:994–1029. https://doi.org/10.1007/s11749-022-00810-5
Goyal D, Hazra NK, Finkelstein M (2022b) On properties of the phase-type mixed Poisson process and its applications to reliability shock modeling. Methodol Comput Appl Probab 24:2933–2960. https://doi.org/10.1007/s11009-022-09961-2
Gut A (1990) Cumulative shock models. Adv Appl Probab 22:504–507
Gut A, Hüsler J (1999) Extreme shock models. Extremes 2:295–307
Huang X, ** S, He X, He D (2019) Reliability analysis of coherent systems subject to internal failures and external shocks. Reliab Eng Syst Saf 181:75–83
Kataria KK, Vellaisamy P (2019) On the convolution of Mittag-Leffler distributions and its applications to fractional point processes. Stoch Anal Appl 37:115–122
Levitin G, Finkelstein M (2017a) Optimal backup in heterogeneous standby systems exposed to shocks. Reliab Eng Syst Saf 165:336–344
Levitin G, Finkelstein M (2017b) Effect of element separation in series-parallel systems exposed to random shocks. Eur J Oper Res 260:305–315
Lorvand H, Kelkinnama M (2023) Reliability analysis and optimal replacement for a \(k\)-out-of-\(n\) system under a \(\delta \)-shock model. Proc Inst Mech Eng Part O: J Risk Reliab 237:98–111. https://doi.org/10.1177/1748006X221082762
Mallor F, Omey E (2001) Shocks, runs and random sums. J Appl Probab 38:438–448
Samaniego FJ (2007) System signatures and their applications in engineering reliability. Wiley, New York
Sheu SH, Chang TH (2001) An optimal replacement period for a \(k\)-out-of-\(n\): F system subject to shocks. Int J Syst Sci 32:565–573
Sheu SH, Liou CT (1992) Optimal replacement of a \(k\)-out-of-\(n\) system subject to shocks. Microelectron Reliab 32:649–655
Skoulakis G (2000) A general shock model for a reliability system. J Appl Probab 37:925–935
Wang X, Zhao X, Wu C, Wang S (2022) Mixed shock model for multi-state weighted \(k\)-out-of-\(n\): \(F\) systems with degraded resistance against shocks. Reliab Eng Syst Saf 217:108098
Funding
The first author sincerely acknowledges the financial support received from UGC, Govt. of India. The work of the second author was supported by IIT. Jodhpur, India.
Author information
Authors and Affiliations
Contributions
All others discussed the setting, the methods and derivations. The first author made the major writing and derivations. The second author supervised the work and checked the derivation. The third author participated in writing and discussions on all stages.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A
Proof of Lemma 2.2
Let \(S_{1}, S_{2}, \dots \) be a sequence of arrival times. Then
Note that \(S_{n} = X_{1} + X_{2} + \dots + X_{n} \sim MML(\gamma ,{\varvec{\pi }_{\varvec{n}}}, T_{n})\), where \(X_{i}\)’s are inter-arrival time. Then, from (2.2), we have \(P(S_{n} > t) = {\varvec{\pi }_{\varvec{n}}} E_{\gamma ,1}(T_{n} t^{\gamma }) {\varvec{e}}.\) Consequently, the result follows from (A1). \(\square \)
Proof of Lemma 4.1
Note that the event “\(M(t) = 0\)” happens if and only if each shock, occurred till time t, is harmless for the system. Then,
Now, for \(1 \le i < n\), the event “\(M(t) = i\)” means that exactly i components of the system failed till time t. Thus, if \(N(t) = j\), then there are exactly m harmful shocks out of j shocks, where \(j \ge m, 1 \le m \le i\). Consequently, we can write
where the last equality holds because \(Z_{i}\)’s are i.i.d, and the process \(\{N(t): t \ge 0\}\) and \(\{Z_{i}: i \in \mathbb {N}\}\) are independent. Hence the result is proved. \(\square \)
Proof of Corollary 4.1
Proof (i): If \(p_{j} = 1/(n+1)\), for all \(j = 1,2,\dots ,n\), then
By using Bose-Einstien value, one can show that \(| \Omega _{m,i}| = {i-1 \atopwithdelims ()m-1}\). Thus
By using the above equality in Theorem 4.1, we get the required result.
Proof (ii): The result immediately follows from Theorem 4.1 by substituting \(p_{0} = 0\).
Proof (iii): Note that
By using the above equality in Theorem 4.1, we get the required result. \(\square \)
Proof of Theorem 5.1
From Theorem 4.1, we have
Let Q be the mixing distribution of the PGGP. Then, for \(m \ge 0\), we have
where the first equality follows from Definition 2.2; the second equality holds due to the Dominated Convergence Theorem, and the last equality follows from (2.1). Now, by using (A3) in (A2), we get the required result. \(\square \)
Proof of Theorem 5.3
We only prove part (i). Part (ii) can be proved in the same line. Now, from Corollary 5.2 (ii), we have
Again, we have
By using the above equality in (A4), we get the required result. \(\square \)
Proof of Corollary 5.4
We only prove part (i). Other parts can be proved in same line. Now, from Theorem 5.3 (i), we have, for model \(M_{1}\),
Hence part (i) is proved. \(\square \)
Proof of Theorem 5.4
We have \(P(L> t) = \sum _{i=1}^{n} s_{i} P(L_{i:n} > t)\), which implies \(E(L) = \sum _{i=1}^{n} s_{i} E(L_{i:n})\). Consequently, the result follows from Theorem 5.3. \(\square \)
Proof of Theorem 5.5
From Theorem 4.1 and Lemma 2.1, we get
Further, we can write
Now, for \(m \ge 0\), we have
where the first equality follows from (A6); the fifth equality holds because \( {m+l \atopwithdelims ()m} = {m+l \atopwithdelims ()l}\), and the sixth equality holds because \(\sum _{l=0}^{\infty } {m+l \atopwithdelims ()l} T^{l} = (I - T)^{-(m+1)}\). Now, by using (A7), we can write
Finally, by using (A8) in (A5), we get the required result. \(\square \)
Appendix B
Here we discuss the case: \(Z_{i}\)’s are dependant random variables with a specific dependency structure. We consider the following assumptions:
Assumptions:
-
Each shock is harmless with probability \(p_{0}\) and harmful with probability \(1 - p_{0}\), i.e., \(P(Z_{i} = 0) = p_{0}\) and \(P(Z_{i} \ne 0) = 1 - p_{0}\), for \(i \in \mathbb {N}\).
-
If the first shock is harmful then it can damage j components with probability \(p_{j}\), i.e., \(P(Z_{1} = j) = p_{j}\) for all \(j = 1,2,\dots ,n\). Clearly, \(p_{1} + p_{2} + \dots + p_{n} = 1 - p_{0}\).
-
The random variables \(Z_{1}, Z_{2}, \dots , Z_{m}, Z_{m+1}\) are dependent with the dependancy structure given by
$$\begin{aligned} P(Z_{m+1} = z_{m+1}| Z_{1} = z_{1}, \dots , Z_{m} = z_{m}) = {\left\{ \begin{array}{ll} p_{z_{m+1}} ,&{} \text {if }z_{m+1} < n - z_{1} - z_{2} - \dots - z_{m} \\ p_{z_{m+1}} + \dots + p_{n} ,&{} \text {if }z_{m+1} = n - z_{1} - z_{2} - \dots - z_{m}, \end{array}\right. } \end{aligned}$$where \(z_{1} + z_{2} + \dots + z_{m} < n\) and \(m \ge 1\).
-
The random variables \(Z_{1}, Z_{2}, Z_{3}, \dots \) are exchangeable.
-
\(\{N(t): t \ge 0\}\) and \(\{Z_{i}: i \in \mathbb {N}\}\) are independent.
Based on the above assumptions, we derive the expression for \(P(M(t) = i)\), for \(i = 0,1,2,\dots , n-1\), in the following lemma.
Lemma 7.1
Let \(P(Z_{i} = j) = p_{j}\), for all \(j = 0,1,2,\dots ,n\), \(i \in \mathbb {N}\), and let \(\{N(t): t \ge 0\}\) be a counting process. Then
and
where \(\Omega _{m,i} = \{ {\varvec{z}} = (z_{1},z_{2},\dots ,z_{m})|z_{1} + z_{2} + \dots + z_{m} = i, 1 \le z_{l} \le n, 1\le l \le m\}\) and \(1 \le m \le i < n-1\).
Proof: By proceeding in the same line as in the proof of Lemma 4.1, we get
and, for \(1 \le i \le n-1\),
where the last equality holds because \(\{N(t): t \ge 0\}\) and \(\{Z_{i}: i \in \mathbb {N}\}\) are independent. Now, consider
By using the above equality recursively, we get
Since \(z_{1} + z_{2} + \dots + z_{m} = i < n\), we get
Consequently,
By using above equality in (B1), we get
and hence, the required result is proved. \(\square \)
One may note that, even if a specific dependency structure between \(Z_{i}\)’s is assumed in Lemma 7.1, the results given in Lemmas 7.1 and 4.1 are the same. Thus, all results developed for the case of independent \(Z_{i}\)’s also hold for the aforementioned dependant \(Z_i\)’s setup.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Goyal, D., Kamal Hazra, N. & Finkelstein, M. On Survival of Coherent Systems Subject to Random Shocks. Methodol Comput Appl Probab 26, 6 (2024). https://doi.org/10.1007/s11009-024-10077-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11009-024-10077-y
Keywords
- Coherent system
- Shock models
- Poisson generalized gamma process
- Poisson phase-type process
- Renewal process of the matrix Mittag-Leffler type