Abstract
In this paper, reliability properties of a system that is subject to a sequence of shocks are investigated under a particular new change point model. According to the model, a change in the distribution of the shock magnitudes occurs upon the occurrence of a shock that is above a certain critical level. The system fails when the time between successive shocks is less than a given threshold, or the magnitude of a single shock is above a critical threshold. The survival function of the system is studied under both cases when the times between shocks follow discrete distribution and when the times between shocks follow continuous distribution. Matrix-based expressions are obtained for matrix-geometric discrete intershock times and for matrix-exponential continuous intershock times, as well.
Keywords: Delta shock model, Mixed shock model, Matrix-geometric distributions, Matrix-exponential distributions, Reliability
Introduction
Although the event of system failure is defined through the magnitudes of random shocks in classical shock models, according to the delta shock model, the system fails if the length of the times between two successive shocks is less than a given fixed threshold. Such a model has been studied by Li (1984), Li and Kong (2007), Li and Zhao (2007) when the shocks occur according to a Poisson process, i.e. the interarrival times between shocks are exponentially distributed. Tuncel and Eryilmaz (2018) obtained the survival function and the mean time to failure of the system when intershock times follow proportional hazard rate model. Eryilmaz (2017) studied reliability properties of a system under the delta shock model when the shocks occur according to a Polya process. Under the assumption of Polya process, the interarrival times between successive shocks are no longer independent.
Various modifications and generalizations of delta shock (or simply, -shock) models have been introduced to represent real life systems and processes. Mallor and Santos (2003) studied a general shock model that generalizes the extreme, the cumulative and the run shock models. Wang and Zhang (2005) defined a mixed shock model. According to their model, the system fails if either the time between two successive shocks is less than a given threshold or the magnitude of a single shock exceeds a given threshold. This is a mixed model that combines delta and extreme shock models. See also Parvardeh and Balakrishnan (2015) for mixed shock models. Eryilmaz (2012) extended the delta shock model to the case when the system fails if a specified number of consecutive interarrival times are less than a threshold delta. Jiang (2020) defined and studied a generalized delta shock model with multi-failure thresholds. Goyal et al. (2022a) introduced a general δ-shock model when the recovery time depends on both the arrival times and the magnitudes of shocks. See also Lorvand et al. (2019), Poursaeed (2021), Goyal et al. (2022b) and Lorvard and Nematollahi (2022) for other types of extensions and generalizations of the delta shock model.
Shock models have wide applications for modeling various real-life processes and systems. The term shock is generic, and it can be replaced by an appropriate concept depending on the process under concern. For example, in a certain spare parts inventory management system, demands arrive randomly with random size. In this case, the interarrival times are the times between successive demands. The size of a demand coincides with the magnitude of a shock. In a certain portfolio of an insurance company, claims occur randomly over time. In this case, the interarrival times are the times between successive claims and the magnitudes of the shocks are the sizes of the claims.
In most real-life situations, after a shock that is above a certain level, the characteristics, e.g., distribution of the shocks may change. For example, if the shock is a kind of environmental effect, e.g., pressure, temperature, and wind, then a harsher environment might be available after the shock that is significantly different from the previous shocks. Eryilmaz and Kan (2021) studied reliability and optimal replacement policy for an extreme shock model when the distribution of the shock size changes after a random number of shocks following a particular distribution. In particular, for a sequence of shock sizes denoted by , , , they considered the case when , , , are independent and identically distributed (iid) with common distribution and , , are iid with common distribution , where is a positive discrete random variable independent of ’s and follows a particular distribution. Also, Eryilmaz and Kan (2021), studied the reliability of an extreme shock model when there is a change in the shock size distribution. According to their model, the change in shock size distribution occurs upon the occurrence of a shock that is above a fixed warning threshold. They assumed that the distribution of the magnitudes of shocks changes after the first shock of size at least a given level. That is, if denotes the number of shocks until the first shock of size at least , then it is assumed that , , , have common distribution , and , , have another common distribution . In this case, the random variable denotes the number of shocks until the change point depends on , , . Applications of this model to statistical control processes and wind turbines are given by Eryilmaz and Kan (2021).
In this paper, we study a new mixed shock model that combines extreme and delta shock models under the change point model proposed by Eryilmaz and Kan (2021). Such a model is useful for modeling various real-life systems or processes. In general, this proposed new change point setup is useful to model the situation when there is a change in behavior of the system/process upon the occurrence of an unexpected event, e.g., a sudden change in environmental condition, a large claim due to an extreme event, an enormous demand shock for health care systems and ventilators due to COVID-19. Such changes ensure the change in probability distribution of the shock/claim/demand. Also, this model is useful for insurance portfolio management. Consider a heterogeneous portfolio of losses and/or payments of an insurance company. Expected losses are defined by a threshold, say , and are such that the loss sizes do not exceed the threshold . An unexpected future loss, (with loss size exceeding the value of the threshold) could be used as a warning for an approaching high-risk situation for the portfolio since the distribution of the claim sizes may change after an unexpected loss. This may occur if the portfolio is affected by a random event such as explosion, breakdown that influence all policies. A plausible criterion to confer that a high-risk situation is approaching for the insurance company would be to observe at least two unexpected losses that are very close to each other or more generally to observe least two unexpected losses which are separated by at most expected losses (this corresponds to the classical -shock model) as well as the size of a unexpected catastrophic loss is at least (this corresponds to the extreme shock model).
The findings of the paper can be summarized as follows:
The probability generating function (Laplace-Stieltjes transform) of the system’s lifetime is obtained when the times between shocks follow discrete (continuous) distribution
The matrix-based expressions for the survival function of the system are obtained when the times between shocks follow discrete matrix-geometric (continuous matrix-exponential) distribution.
In mixed shock models, system failure results from the competing failure criteria. Indeed, in most real-life processes, the system failure occurs with respect to the occurrence of two or more different events. The novelty of the present paper lies in combining the mixed shock model previously studied in the literature with the change point-based model. Such a combined model is flexible and can be used in a more general setting.
The paper is organized as follows. In Sect. 2, the model is described, and some preliminary results are presented. In Sect. 3, the reliability properties of the system are investigated under both cases when the interarrival times between successive shocks follow discrete and continuous probability distributions. Section 4 contains numerical illustrations.
Description of the model and preliminary results
We consider a system that is subject to random shocks. Let , , be the interarrival times between successive shocks, with common distribution function (df) , where denotes a generic random variable of s. Also, let , , be the random magnitudes of the shocks. It is assumed that the distribution of the magnitudes of shocks changes after the first shock of size at least . That is, the random shock magnitudes , , , have common df , and , , have common df , where denotes the random number of shocks until the first shock of size at least . The system fails when the time between successive shocks is less than a given threshold , or the magnitude of a single shock is at least , where . Let also denotes the number of shocks for which the time between successive shocks is less than a given threshold , or the magnitude of a single shock is at least . Then, the lifetime of the system is , Hence, is a random sum and has a compound distribution.
For simplicity, let us denote by:
: the probability that the magnitude of a shock before the change in shock size distribution is below ,
: the probability that the magnitude of a shock before the change in shock size distribution is below ,
: the probability that the magnitude of a shock after the change in shock size distribution is below .
It should be noted that the mixed shock model considered in the present paper coincides with the model studied by Eryilmaz and Kan (2021) when .
In the following Lemma 1 we obtain the joint probability mass function (pmf) of the random vector , .
Lemma 1.
The joint pmf of the random variables and is
| 1 |
Proof.
For we have
and
For we have
and
Using Lemma 1, we can easily obtain the marginal pmfs of the random variables and , given in the following:
Corollary 1.
(i) The marginal pmf of is given by.
| 2 |
(ii) The marginal pmf of is given by
| 3 |
for , and
| 4 |
for .
Proof.
(i) Using (1) we get
(ii) Similarly, from (1) we obtain
Now, the result follows immediately, since
Remark 1. (i) From Eq. (2), we have that the random variable follows the geometric distribution with parameter .
(ii) Let .
Let also
| 5 |
and consider the geometric random variables and having probability mass functions
| 6 |
and
| 7 |
respectively. Note that , where the symbol means equality in distribution.
Then Eq. (3) can be rewritten as
| 8 |
Therefore, the distribution of the random variable is a mixture of two geometric distributions. It should be noted that the weights and may take negative values and hence, Eq. (8) is a generalized mixture of two geometric distributions.
(iii) Let .
Then, Eq. (4) can also be rewritten as
| 9 |
where
| 10 |
is given by (7), and the random variable has the negative binomial distribution with probability mass function
| 11 |
Therefore, since the weights and may take negative values, Eq. (9) is a generalized mixture of negative binomial and geometric distributions.
Reliability of the system
For our system, the following two dependent lifetime random variables are of interest
Note that and are compound random variables (or random sums), denotes the time until the first shock is of size at least , i.e., it is the time until the change point and the random variable denotes the lifetime of the system.
In the sequel, we examine two cases according to which the interarrival times , , between successive shocks have a discrete or a continuous distribution.
The discrete case
Suppose that the interarrival times , , between successive shocks have a discrete distribution with an arbitrary common df . Let be the pmf of and be the pmf of the lifetime . Define the probability generating functions (pgf) of the conditional random variables and by
and
Then, we have the following.
Theorem 1.
Let be the joint pgf of the random vector . Then, it holds.
Proof.
By conditioning on we get
The result follows using the details in the proof of Lemma 1.
By letting in Theorem 1 we obtain the marginal pgfs of the lifetimes respectively. Thus, we have the following:
Corollary 2.
(i) The pgf of the lifetime random variable .
| 12 |
(ii) The pgf of the lifetime random variable is
| 13 |
Using that and and Corollary 2, we can obtain the means of the random variables and . Thus, we have the following:
Corollary 3.
The mean of is
and the mean time to failure (MTTF) of the system is
For some specific distributions of the random variable we can obtain analytical results for the evaluation of the distributions of the lifetime random variables and .
At first, we consider the particular case when the interarrival times between successive shocks follow the geometric distribution with common pmf
| 14 |
and we represent the random variables and as matrix-geometric distributions.
A discrete random variable with zero pmf at zero that has a probability generating function in the form
| 15 |
for some and real constants and , is said to have a matrix-geometric distribution (see, e.g. Bladt and Nielsen (2017)). In this case, the probability mass function and the survival function of the random variable can be represented, respectively, as
| 16 |
and
| 17 |
where is a row vector, is the identity matrix of order , and the matrix and the column vector are given by
| 18 |
We write , to represent that the random variable has matrix-geometric distribution.
Theorem 2.
Let the interarrival times between successive shocks follow the geometric distribution with common pmf given by (14). Then
(i) The random variable , where and are given by (18) with
(ii) The random variable , where and are given by (18) with
Proof.
Under the assumptions of the Theorem,
and
(i) Using Eq. (12), the pgf of is obtained as
and hence the result follows directly from (15).
(ii) Using Eq, (13), the pgf of can be written as
where the coefficients and are as given in the theorem. Since is of the form of Eq. (15), the result follows immediately.
The continuous case
Now suppose that the interarrival times , , between successive shocks have a continuous distribution with an arbitrary common df and let denotes its common probability density function (pdf). Also, let be the Laplace–Stieltjes transform (LST) of . Similar to the proof of Theorem 2, we can obtain the joint LST of the random vector given in the following Theorem 3. Define the LSTs of the random variables and by
and
respectively, then we have the next.
Theorem 3.
The joint LST of the random vector is.
Using the LST of Theorem 3, we get the marginal LSTs and of the random variables and .
Corollary 4.
The marginal LSTs corresponding to and are given, respectively, by.
and
It should be noted that using the relations , and Corollary 4, we can obtain the means of the random variables and . Their expressions are the same with those given in Corollary 3 for the discrete case.
As in the discrete case, by considering specific distributions of the random variable , we can obtain analytical results for the evaluation of the distributions of the lifetime random variables and . We consider the particular case when the interarrival times between successive shocks follow the exponential distribution with common pdf
In this case, we have
and
Using Corollary 3, the LSTs of the random variables and are found to be
| 19 |
and
| 20 |
Corollary 5
Let have the exponential distribution with parameter . If , then the distribution of the random variables and approaches the exponential distribution with parameter , that is.
Proof.
The result follows immediately from (19) and (20), since
and is the LST of the exponential distribution with parameter .
A continuous random variable is said to have a matrix-exponential distribution, if its distribution function is given by
| 21 |
where is a vector, is a matrix (which is called a companion matrix) and is a vector. We write to present that the random variable has a matrix-exponential distribution with parameters . The common probability density function is computed from . If denotes the Laplace–Stieltjes transform of , then can be computed from
where is the identity matrix of order .
The non-centralized moments of can be computed from
Asmussen and Bladt (1997) showed that if , , , then the LST is rational and can be written as
| 22 |
where , , are real numbers. It should be noted that Eq. (22) holds true when there is no point mass at zero. Then, the representation , , is given by
| 23 |
For a comprehensive review of matrix-exponential distributions and their sub-class of phase-type distributions, we refer to Bladt and Nielsen (2017).
As it is clear from (19) and (20), the LSTs of the random variables and are not in the form of (22). That is, the numerator and denominator are not polynomial functions. Therefore, the random variables and do not have matrix-exponential distributions. However, using the Taylor expansion for the exponential terms involved in (19) and (20), the LSTs and hence the survival functions of and can be approximated by matrix-exponential distributions. Such a method has been used by Kus et al. (2022) and Chadjiconstantinidis and Eryilmaz (2022). To obtain the approximated values of the survival functions, we first represent (19) and (20) in the form of (22) via Taylor expansion of the exponential terms and then use (23).
For illustration purposes, let us consider the LST of the random variables . Multiplying both the numerator and the denominator of the right-hand side of (19) by , we get
For sufficiently large , using the Taylor expansion for the term the LST of can be approximated by the rational LST
where
Therefore, the approximated random variable of has a matrix-exponential distribution, and hence, using these coefficients, the survival function of can be approximated by
where
and ’s, ’s are given as above.
By a similar way, using (20) we can approximate the LST of by a rational LST, and hence we can approximate the distribution of by a matrix-exponential distribution. Using Corollary 4, this approach can be easily applied and for the more general case when the interarrival times between successive shocks have a matrix-exponential distribution. The details are omitted (see, for example in Kus et al. (2022) and Chajiconstantinidis and Eryilmaz (2022)).
Numerical illustrations
In this section, we present some illustrative computational results. First, consider the case when the intershock times follow the geometric distribution with mean and when and . In Table 1, we present the survival functions of and for selected values of . Clearly, the survival functions are decreasing in since we expect more frequent shocks with an increase in .
Table 1.
Survival functions when the intershock times have geometric distribution
| 0.1 | 5 | 0.7283 | 0.7676 |
| 10 | 0.5979 | 0.6772 | |
| 15 | 0.4910 | 0.5931 | |
| 20 | 0.4032 | 0.5162 | |
| 0.2 | 5 | 0.4997 | 0.5489 |
| 10 | 0.3093 | 0.3802 | |
| 15 | 0.1915 | 0.2586 | |
| 20 | 0.1185 | 0.1735 |
Table 2 contains approximated values of the survival functions when the intershock times have exponential distribution with mean when and . As expected, an increase in leads to a decrease in survival probabilities.
Table 2.
Survival functions when the intershock times have exponential distribution
| 0.1 | 0.7 | 5 | 0.7324 | 0.7746 |
| 10 | 0.6061 | 0.6810 | ||
| 15 | 0.5016 | 0.6033 | ||
| 20 | 0.4153 | 0.5256 | ||
| 0.8 | 5 | 0.7546 | 0.7715 | |
| 10 | 0.6454 | 0.6871 | ||
| 15 | 0.5560 | 0.6078 | ||
| 20 | 0.4818 | 0.5366 | ||
| 0.2 | 0.7 | 5 | 0.5263 | 0.5744 |
| 10 | 0.3384 | 0.4107 | ||
| 15 | 0.2170 | 0.2895 | ||
| 20 | 0.1390 | 0.2019 | ||
| 0.8 | 5 | 0.5469 | 0.5711 | |
| 10 | 0.3765 | 0.4147 | ||
| 15 | 0.2564 | 0.2965 | ||
| 20 | 0.1790 | 0.2096 |
Reliability application
Kus et al. (2022) used the mixed -shock model to represent a repairable system consisting of active and cold standby components. As noted by Kus et al. (2022), at time t = 0, both of the components are new, and component 1 starts operation first, while component 2 is in a cold standby state. The standby component is switched into operation when the active component (component 1) fails, and a repair action is immediately taken for component 1. Suppose that the repair time for a failed component is fixed as δ, and the component is as good as new after repair. A damage of random size occurs upon the failure of a component. Let denote the magnitude of the damage for the component who lives, i = 0, 1, 2, …. If the size of the damage is above d, then the unit cannot be repaired and hence the system fails after the failure of the standby component. Such a repairable system fails either if one of s is less than or equal to δ or the size of the damage for a failed component is above d. The lifetime of the system is then represented as
Under the change point setup considered in the present paper, the random variable denotes the number of component failures until the first damage that is at least Assume that the size of the damage is determined by a certain environmental factor. Thus, the probabilistic law of the damage size changes after the damage above the threshold .
Suppose that there is a desired level for the mean time to failure (MTTF) of the system. If the MTTF of the system is below a given specified level, then an additional standby component may be added to increase the performance of the system. The MTTF of the system can be computed from
where is the time to failure distribution of the component. The distribution may be either discrete or continuous depending on the system. If the lifetime of the component corresponds to the number of cycles, then should be modeled as discrete. For example, the lifetimes of batteries may be measured in terms of how many times their charge–discharge processes have been repeated. In this case, a cycle is one complete use of the battery to store power and release it (Willis and Scott (2000)).
Summary and conclusions
In this paper, a mixed shock model that combines extreme and delta shock models has been studied when there is a change in shock size distribution. Computationally efficient matrix-based expressions were obtained for the survival function and mean time to failure of the system. The results extend and generalize the previous results mainly in two directions. First, the model of Eryilmaz and Kan (2021) has been extended to a mixed model. Second, discrete intershock times have also been considered for reliability evaluation of the system. The latter one is also new for the extreme shock model with a change point studied in Eryilmaz and Kan (2021). As a future work, more general models and extensions can be considered. For example, a mixed model that combines run and delta shock models can be studied. The dependence between shock magnitude and the intershock time may be considered as well. The consideration of the change point in the interarrival times is also worthy to investigate since it is applicable to real life systems.
Acknowledgements
The authors thank the anonymous referees for their helpful comments and suggestions, which were useful in improving the paper.
Footnotes
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
- Asmussen S, Bladt M (1997) Renewal theory and queueing algorithms for matrix-exponen-tial distributions. In: Alfa A, Chakravarthy SR (eds) Matrix-analytic methods in stochastic models. Taylor and Francis, Boca Raton, pp 313–341 [Google Scholar]
- Bladt M, Nielsen BF (2017) Matrix-exponential Distributions in Applied Probability. Springer, New York [Google Scholar]
- Chadjiconstantinidis S, Eryilmaz S (2022) Reliability assessment for censored δ-shock Models. Methodol Comput Appl Probab. 10.1007/s11009-022-09972-z [Google Scholar]
- Eryilmaz S (2012) Generalized δ-shock model via runs. Stat Probab Lett 82:326–331 [Google Scholar]
- Eryilmaz S (2017) δ-shock model based on Polya process and its optimal replacement policy. Eur J Oper Res 263:690–697 [Google Scholar]
- Eryilmaz S, Kan C (2021) A new shock model with a change in shock size distribution. Probab Eng Inf Sci 35:381–395 [Google Scholar]
- Goyal D, Hazra NK, Finkelstein M (2022a) On the general δ-shock model. TEST. 10.1007/s11749-022-00810-5 [Google Scholar]
- Goyal D, Hazra NK, Finkelstein M (2022b) On the time-dependent delta-shock model governed by the generalized Polya process. Methodol Comput Appl Probab 24:1627–1650 [Google Scholar]
- Jiang Y (2020) A new δ-shock model for systems subject to multiple failure types and its optimal order-replacement policy. Proce Instit Mechan Eng Part O J Risk Reliab 234:138–150 [Google Scholar]
- Kus C, Tuncel A, Eryilmaz S (2022) Assessment of shock models for a particular class of intershock time distributions. Methodol Comput Appl Probab 24:213–231 [Google Scholar]
- Li ZH (1984) Some distributions related to Poisson processes and their application in solving the problem of traffic jam. J Lanzhou Univ Nat Sci 20:127–136 [Google Scholar]
- Li ZH, Kong XB (2007) Life behavior of δ-shock model. Statist Probab Lett 77:577–587 [Google Scholar]
- Li ZH, Zhao P (2007) Analysis on the δ-shock model of complex systems. IEEE Trans Reliab 56:340–348 [Google Scholar]
- Lorvand H, Nematollahi AR, Poursaeed MH (2019) Life distribution properties of a new delta-shock model. Commun Statist Theory Methods 49:3010–3025 [Google Scholar]
- Lorvard H, Nematollahi AR (2022) Generalized mixed delta-shock models with random interarrival times and magnitude of shocks. J Comput Appl Math 403:112832 [Google Scholar]
- Mallor F, Santos J (2003) Reliability of systems subject to shocks with a stochastic dependence for the damages. TEST 12:427–444 [Google Scholar]
- Parvardeh A, Balakrishnan N (2015) On mixed δ-shock models. Statist Probab Lett 102:51–60 [Google Scholar]
- Poursaeed MH (2021) Reliability analysis of an extended shock model. Proce Instit Mech Eng Part O J Risk Reliab 235:845–852 [Google Scholar]
- Tuncel A, Eryilmaz S (2018) System reliability under shock model. Commun Statist Theory Methods 47:4872–4880 [Google Scholar]
- Wang GJ, Zhang YL (2005) A shock model with two-type failures and optimal replacement policy. Int J Syst Sci 36:209–214 [Google Scholar]
- Willis HL, Scott WG (2000) Distributed power generation Planning and Evaluation. CRC Press, Taylor & Francis Group
