Next Article in Journal
Generalized Taylor’s Formula and Steffensen’s Inequality
Next Article in Special Issue
Analysis of Noise-Induced Transitions in a Thermo-Kinetic Model of the Autocatalytic Trigger
Previous Article in Journal
Survey of Point Cloud Registration Methods and New Statistical Approach
Previous Article in Special Issue
Dynamic Output Feedback Quantization Control of a Networked Control System with Dual-Channel Data Packet Loss
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Discrete and Continuous Operational Calculus in N-Critical Shocks Reliability Systems with Aging under Delayed Information

by
Jewgeni H. Dshalalow
* and
Hend Aljahani
Department of Mathematical Sciences, College of Engineering and Science, Florida Institute of Technology, Melbourne, FL 32901, USA
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(16), 3568; https://doi.org/10.3390/math11163568
Submission received: 25 June 2023 / Revised: 15 August 2023 / Accepted: 15 August 2023 / Published: 17 August 2023
(This article belongs to the Special Issue Advanced Stochastic Modelling and Applications)

Abstract

:
We study a reliability system subject to occasional random shocks of random magnitudes W 0 , W 1 , W 2 , occurring at times τ 0 , τ 1 , τ 2 , . Any such shock is harmless or critical dependent on W k H or W k > H , given a fixed threshold H. It takes a total of N critical shocks to knock the system down. In addition, the system ages in accordance with a monotone increasing continuous function δ , so that when δ T crosses some sustainability threshold D at time T, the system becomes essentially inoperational. However, it can still function for a while undetected. The most common way to do the checking is at one of the moments τ 1 , τ 2 , when the shocks are registered. Thus, if crossing of D by δ occurs at time T τ k , τ k + 1 , only at time τ k + 1 , can one identify the system’s failure. The age-related failure is detected with some random delay. The objective is to predict when the system fails, through the Nth critical shock or by the observed aging moment, whichever of the two events comes first. We use and embellish tools of discrete and continuous operational calculus ( D -operator and Laplace–Carson transform), combined with first-passage time analysis of random walk processes, to arrive at fully explicit functionals of joint distributions for the observed lifetime of the system and cumulative damage to the system. We discuss various special cases and modifications including the assumption that D is random (and so is T). A number of examples and numerically drawn figures demonstrate the analytic tractability of the results.

1. Introduction

Consider a simple reliability system periodically bombarded by random hard shocks of magnitudes W 1 , W 2 , taking place at respective times τ 1 , τ 2 , . Although some of these shocks are harmless, just one of them (extreme) is fatal. Their effect is binary with respect to a given threshold H, because with W k H , there is no impact felt by the system, but with W k > H , the system is knocked down. We can regard a kth shock harmless if W k H , meaning that it is absorbed by one of its components such as suspension. When the system is unable to absorb a shock, which is when its magnitude exceeds H, the system fails.
This type of failure is called a hard failure as opposed to a commonly referred to soft failure, in which the system is continuously worn out by mere aging or by accumulating soft shocks (no matter how weak) until the wear process crosses some threshold M or when a soft shock escalates the wear to become fatal. Notice that in the former case, there is no damage to the device whenever W k H , whereas in the latter case, the overall damage is amalgamated through periodic soft shocks  X 1 , X 2 , and cleaved to aging. A common mixed system typically combines the two types of shocks, and the system fails when it is hit by one of the two fatal shocks, soft or hard, or by aging alone, whichever comes first.

1.1. System’s Hard Failure

Regarding a hard failure, we specify it as follows. Because the impact of hard shocks is binary, we introduce an auxiliary sequence Y 1 , Y 2 , of Bernoulli RVs (random variables):
Y i = 1 W i > H
and
B k = i = 1 k Y i
Then, obviously, the system fails when (at some epoch τ k ) B k = 1 , preceded by B 1 = 0 , , B k 1 = 0 . System failure due to an extreme shock can be formalized as follows: let
ν = inf n N : W n > H = inf n N : Y n = 1 = inf n N : B n = 1
Then, τ ν is the first passage time of process B n ,that is, τ ν is the time-to-hard-failure of the system.

1.2. N-Critical Shock System

We embellish this model by assuming that the system fails when at some τ n , B n = N 1 , meaning that only upon a total of N shocks landed at the device, which are deemed critical, does it fail. Thus, it occurs when B n = N , while B n 1 = N 1 .
This system is referred to as the N-critical shock model. The above generalization is useful, in particular, when a system consists of N parallel-connected components, so that each critical shock becomes fatal to exactly one of the components, and when the process continues, it eventually knocks the entire system down. It is readily reducible to single fatal shock when N = 1 . For example, in a car’s suspension system assembled around each of the four wheels, which includes four shock absorbers, a critical shock that cannot be fully absorbed by one of the dampers or springs can damage the suspension of the underlying wheel. Suppose yet another such critical shock has landed upon the suspension unit of another wheel; now it can require a comprehensive repair of the car’s suspension system before it becomes operational. In such a case N = 2 . Notice that the vehicle will be hit by many noncritical shocks prior to the first critical shock and between the two critical shocks.
In Figure 1 below, we see a path of such stochastic process with N = 4 in a system being observed from time τ 0 and on.

1.3. N-Critical Shock System with Aging

We further embellish the above setting to model a more realistic but also analytically more challenging system. Assume that besides the hits exerted upon the system, the system also ages, so that without shocks alone, it deteriorates and eventually becomes inoperable. Suppose aging is formalized by a continuous, monotone increasing, deterministic function t δ t of time, such that lim t δ t = (or under some other provisions to warrant crossing of some D by δ on a compact interval) and suppose D R + is a sustainability threshold so that when it is crossed by δ , the system will be ordered to stop or suspend its operation.
In many practical situations, aging and shocks combined will cause an underlying system to fail sooner than just through aging or shocks alone. It is common that a homeowner’s insurance company will cancel someone’s policy after N large claims, or an automobile insurance company will drop its customer for N instances of traffic violations or small car accidents. On the other hand, an insurance company can drop an insured individual for reasons other than claims or violations. For example, dozens of insurance companies pulled out of the state of Florida because of recent major storms, and thus out of fear of being overwhelmed by more forthcoming claims. Also, quite a few automobile insurers significantly raised their premiums in 2023 forcing many customers to look for alternative providers. Among other reasons named by those insurers, such a policy was driven by an increasingly high volume of medical bills pertaining to car accidents in states like Florida, correlated with more intense traffic (possibly due to a record number of move-ins to Florida by residents from other states, especially California, Illinois, and New York that took place in the recent years). This situation can be identified with aging. Thus, an insured homeowner’s policy can be terminated due to N large claims (N critical shocks) or simply by the insurer’s relocation or high premium spikes (aging).
We notice, however, that system’s wear is observed exclusively on the occurrences of shocks W 1 , W 2 , at times τ 1 , τ 2 , . That is, if δ T = D , and T = δ 1 D is the exact epoch of time when a system’s wear function crosses its sustainability threshold, shutting off the system will not happen at exactly that time, but at a later moment closer to T, say some τ μ T (the system can fail earlier at time τ ν , as described above, if the Nth critical shock occurs and instantly knocks the system down).
Here, we have an argument for delayed information. Unlike the common assumption in reliability literature, aging alone need not to have an instantaneous failure effect. In fact, a system can stay operational for a while, although without delivering a satisfactory performance. Consequently, an age-related failure is more difficult to detect and identify than is commonly assumed, let alone being hard to define it. This is because in many cases, systems give up slowly, and their glitches are not immediately manifested. Therefore, there is a degree of uncertainty on when the system malfunctions convincingly enough to be deemed inoperational. In real-world reliability systems, an age-related failure is often authenticated with a delay, for example, upon one of the easy-to-observe incidents of shocks when the system is rigorously tested. As it depicted in Figure 2. Thus, it stands to reason to model reliability systems with partially delayed information, although such modeling is analytically more challenging.
We first define the age-related delayed exit index (identifier)
μ = inf m = 1 , 2 , : τ m T .
Associated with μ is the delayed soft failure time τ μ .
As far as the hard shocks, W 1 , W 2 , , are concerned, we stay under the same assumptions as above, namely, we assume that the system fails when at some τ n , B n = N , meaning that only upon a total of N critical shocks exerted on an underlying device does it fail. Hence, in this case,
ν = min n N : B n = N
As noted, the system can become inoperational at some earlier observed epoch τ μ if μ < ν . Therefore, we define the cumulative exit index
ρ = μ ν
and the associated first passage time, τ ρ , at which the system fails either through aging or on a fatal shock, whichever of the two events comes first.
Figure 3 depicts the situation when the fourth critical and, thus, fatal shock N = 4 occurs earlier than the age-related failure at time T and, thus, at time τ μ when it could have been first observed delaying the real-time crossing. Thus, τ ρ = τ ν , while τ μ > τ ν .
In Figure 4, we see three critical and five noncritical shocks. The 7th noncritical shock was observed at the epoch τ μ when the system became inoperational due to aging, which makes the wear seen above D. The real crossing of D by δ occurred at an earlier time T. However, it was not detected in time. Furthermore, we see that the fourth critical shock N = 4 occurs at time τ ν > τ μ . However, the system failed earlier, at time τ μ (on a noncritical shock), due to aging. Consequently, τ μ = τ ρ .
Continuing with Figure 4, note that if a noncritical shock at time τ μ became critical and, thus, extreme or fatal, the system would undergo the two fatalities: the age-related observed failure at time τ μ and upon the fourth critical (thus fatal) shock at the same time implying that τ μ = τ ν = τ ρ . In this situation, even though the real time of the age-related fatality is at time T < τ ρ , it was not registered.
Our target functional is Φ ρ z , θ = E z B ρ e θ τ ρ , which predicts the time τ ρ of system failure and B ρ —the total number of critical shocks at τ ρ . Using B ρ , we can find the total material damage to the system. The latter would make sense to predict, for example, if some components will remain intact after τ ρ , thereby reducing the overhaul costs compared to the total replacement.

1.4. Analysis of Related Literature

To the best of our knowledge, the above setting is new, and the methods of the underlying system are novel and original. Note that some papers assume that the aging function is stochastic, such as the gamma or Brownian motion process. While the gamma process is a useful vehicle for modeling the aging function, in our case, this feature impedes the analytical tractability of the results and, thus, deviates from our objectives.
Apparently, an N-critical shocks system with no aging was first introduced by Cha and Finkelstein [1] in 2011 (the shock process was assumed to be nonhomogeneous Poisson). Wu et al. [2] in 2022 (with no aging included) resurrected this model under the assumption that shocks arrive according to a Markov renewal process.
In 2012, Jiang et al. [3] studied a variant of such a system with aging, soft shocks (cumulative shock model), and hard shocks. There are three thresholds, H 0 < H 1 < H 2 , of which H 2 is “critical”. It takes just one shock of a magnitude above H 2 to knock the system down. However, once N shocks cross H 0 (but not H 2 ), the threshold H 2 is downgraded to H 1 , so that it now takes one H 1 -critical shock (that is, of a lesser magnitude) to knock the system down. Moreover, aging, along with soft shocks, takes its course, and if the aging curve crosses some D, the system soft fails, unless it fails earlier due to an extreme shock. Now, we see that while this system is not exactly an N-critical shock system, it carries some elements of the N-critical shock protocol.
Dshalalow and White [4] in 2022 studied a mixed system with aging, soft, and critical shocks. The aging process was defined as linear with a deterministic slope and it was combined with soft shocks that accelerated aging, and such a cumulative aging process sooner or later crossed a sustainability threshold. The projection of such a crossing point was referred to as a soft failure. After this random point, say η , the system was shut off. The system could also fail if it was hit by one of the critical shocks, namely, by the Nth critical shock, say at the instant τ ν . Thus, the system fails at time η τ ν .
Related to the N-critical shocks system is a class of so-called run shock models in which an underlying system is knocked down by a total of N critical shocks landed in the system consecutively, rather than in an arbitrary order as in N-critical shock models. We note that a run shock model seems to be more rigid compared to an N-critical shock model, as the former seems to apply to more restricted classes of real-world reliability systems. Furthermore, the N-critical shock setting does not exclude consecutive runs of shocks and is, thus, more relaxed.
An apparent constraint of run models can be seen in the following situation. Assume that a system is hit by a run of N 1 consecutive critical shocks followed by one noncritical shock, and then is followed by another run of N 1 consecutive critical shocks and one noncritical shock, and so on. It seems likely that it takes a while (if ever) to come up against a run of N critical shocks before the system becomes inoperational, whereas in an N-critical shocks setting, a failure would have been detected much earlier. As argued in Mallor and Omey [5] when applied to insurance claims, only a series of N consecutive claims deemed large enough will raise flags. It seems as if N large claims in any order would be sufficiently concerning.
A run shock system was first introduced and studied in 2001 by Mallor and Omey [5] followed by Mallor and Santos [6] in 2003. Another run shock system, combined with other features, was studied by Lyu et al. [7]. More recently in 2019, Eryilmaz and Tekin [8] studied a run shock system that fails when the magnitudes of N consecutive critical shocks cross a threshold H 1 or the magnitude of one single extreme shock crosses threshold H 2 > H 1 , whichever of the two events comes first. Further embellishments of a run shock model were introduced in 2018 by Gong et al. [9] and in 2022 by Wen et al. [10]. Here, we see two critical thresholds, H 1 < H 2 , and two positive integers, N 1 > N 2 . The system fails if N 1 consecutive critical shocks above H 1 or N 2 consecutive critical shocks above H 2 land in the system, whichever comes first. An even more complex run model with modifications was considered by Poursaeed [11] in 2021.
Somewhat related to our system are δ -shock models. A δ -shock policy applies to a system that fails when the time lag between two consecutive shocks becomes less than some fixed δ > 0 . A δ -shock policy is often implemented whenever shock damages are hard to observe. A δ -shock model was first introduced in 1999 by Li et al. [12] followed by Li and Kong [13] in 2007 with the same basic assumptions whereby the authors studied the asymptotic behavior when δ 0 . Another basic δ -shock model from the same period was analyzed by Tang and Lam [14].
Then, we see some modifications and embellishments in the δ -policy like in work of Parvardeh and Balakrishnan [15] from 2015 where their system fails when a the time lag between two consecutive δ -critical shocks is less than a δ , or b the magnitude of any single H - critical shock is larger than an H , whichever comes first. Eryilmaz [16] in 2012 studied a significantly upgraded variant of the δ -system. The author combined the idea of run shocks and δ -shocks in one system that fails when the time lags of each of N consecutive shocks is less than δ . Kus, Tuncel, and Eryilmaz [17], in 2022, studied a mixed shock model, which combines δ -shock and extreme shock models, that is, the system fails if a the time lag between two consecutive δ -critical shocks is less than a δ > 0 , or b a single extreme shock crosses a threshold H , whichever of the two comes first. A further embellishment comes under the assumption of matrix-exponential distributions for intershock times. Among other things, the authors showed that the lifetime (time-to-failure) of the system does not have a matrix-exponential distribution, but it is approximated by a matrix-exponential distribution.
An interesting embellishment of Eryilmaz’s 2012 δ -run model was introduced by Jiang [18] in 2020. Such a system has N different failure thresholds δ 1 > δ 2 > > δ N > 0 . If the time lag between two consecutive critical shocks lies in δ i + 1 , δ i , i = 1 , , N ( δ N + 1 = 0 ) , the system is subject to the ith failure type. The Nth type is irreparable and the whole system needs replacement. The first N 1 types allow repair.
Most recently, Roozegar et al. [19] in 2023 combined δ -shock and extreme shock models. The system fails when a  k interarrival times of noncritical shocks (each in interval ( δ 1 , δ 2 ) ) land between two (nonconsecutive) critical shocks, that is, with magnitudes above H, b , the time lag between two consecutive critical shocks is less than δ 1 , whichever comes first. Other mixed and complex δ -shock models were studied by Lorvand et al. [20] in 2020, Wu [21] 2022, and Doostmoradi [22] of 2023.

1.5. Our Results and Techniques Used

Our present system is different from all existing reliability models in the following way. First, it combines an N-critical shock model (only a few such models are in existence) and an aging process under an arbitrary monotone that increases the deterministic function δ . The crossing of a sustainability threshold D by δ occurs at some point T = δ 1 D observed with some random delay, where system failure can be verified, unless the system fails earlier after being hit by N critical shocks (i.e., those with magnitudes above some H), which can alternate with noncritical shocks in any order. Only after the Nth critical shock is landed in the system does the system fail. Therefore, there is a competition (or game) between two failure processes with soft versus hard failure and delayed information about the soft crossing.
We apply tools of discrete and continuous operational calculus. This is novel in the reliability literature and was introduced by Dshalalow [23] in his earlier papers and has undergone further development throughout the years. The introduction of discrete operational calculus (including the D -operator) was motivated by the needs of fluctuation theory that have arisen from random walks (cf. Dshalalow and White [24]) and applied to queuing, stochastic games, and finance, to name a few. A similar utility of continuous operational calculus (driven by the Laplace–Carson transform) was also enhanced and included in applications to continuous-valued processes.
The objective of our methods is to bear fully explicit formulas, which offer numerous benefits over nonclosed forms (while algorithms are also useful, closed expressions offer many beneficial alternatives). We demonstrate the analytical tractability of our formulas on special cases and by using straightforward computations.
In Section 2, we start with the formalism of special cases solved using probabilistically straightforward tools and compare it with the same results obtained by means of discrete operational calculus. In Section 3, we formalize the general reliability problem and introduce various functionals of the time-to-failure, the overall damage to the system, and pre-time-to-failure moments, among other things, under the assumption that the stream of shocks forms an independent and stationary increment process with position-dependent marking. The main result is carried in Theorem 1. Section 4 and Section 5 deal with the results for the model under special assumptions, one of which is that the input stream of shocks is a marked Poisson process. Section 6 deals with the distributions of τ μ or τ ν , assuming that one of them comes first. In Section 7, we discuss the case when the threshold D and, thus, the time T of crossing are random.

2. Motivation and Some Preliminaries

Throughout this paper, the principal reliability system and its variants are considered on a filtered probability space Ω , F , F n n N 0 , P .

2.1. A System with Extreme Shocks N = 1

We start with the basic system introduced in Section 1.1 with only hard shocks landing in the system. It was specified by a sequence of Bernoulli RVs Y k of (1) and the sequence B n of partial sums in (2). The associated marked counting process
( B , T ) = k = 1 Y k ε τ k ε a is the point mass
has stationary and independent increments and is assumed to have position-dependent marking. In this system, the first hard shock that is extreme, that is with W k > H , knocks the system down.
This system can be analyzed through straightforward probabilistic tools, such as the double expectation, if the process B , T has a position-independent marking. Then, from (3), ν Geo 1 p (which means ν belongs to the equivalence class of all type 1-geometric RVs with parameter p), where
p = P W > H
such that W i W . Here, W is a generic equivalence class of all RVs with the common distribution as W. Because ν is geometric, the first passage time (a system’s lifetime) distribution can be expressed through the LST (Laplace–Stieltjes transform)
E e θ τ ν = E E e θ τ ν | ν = E γ ν θ = p γ θ 1 1 p γ θ
where γ θ = E e θ Δ , Δ 1 = τ 1 , Δ 2 = τ 2 τ 1 , Δ .
In particular, let
Δ Exp γ , γ θ = γ γ + θ .
To minimize the burden of a large number of characters throughout, and for convenience, we use 1 γ as the mean of Δ whose LST is γ θ . In addition, γ is also the parameter of the distribution of Δ if it is exponential.
Then,
E e θ τ ν = p γ γ + θ 1 1 p γ γ + θ = p γ γ + θ 1 p γ = p γ p γ + θ
implying that τ ν Exp p γ .
Note that the analysis of the above system becomes less straightforward if the marking is not position-independent.

2.2. N-Critical Shock System

With the aim of obtaining results that are as tractable as possible, we assume that the marks W k are independent and identically distributed iid (meaning W k W —the equivalence class of all RVs sharing a common PDF—probability distribution function— F W ) and independent of τ k . The lengths Δ k of the intervals ( τ k 1 , τ k ] , k = 1 , 2 , , are iid borrowed from the class Δ , with a common PDF φ . On occasion, unless τ 0 = 0 a.s. (almost surely), we assume that τ 0 Δ 0 with PDF φ 0 .
The lifetime (time-to-failure) of such a system is τ ν , that is, when the Nth critical shock lands in the system. If we operate with the above-introduced auxiliary sequence B n = j = 0 n Y j of partial sums, we see that { B n } is a monotone nondecreasing sequence of dependent binomial RVs with respective parameters n , p , n = 0 , 1 , , with p = P W > H (unless we assume that B 0 = r a.s. and then the parameters are n + r , p ). A stopping time of the process relative to filtration F n is τ ν , that is, when { B n } hits N.
Under the assumed position independence, the LST of τ ν becomes
E e θ τ ν = p γ θ 1 1 p γ θ N ,
which follows from (5) and that ν is negative binomial with parameters N , p . In the particular case, when γ θ = γ γ + θ , it implies that
E e θ τ ν = γ p γ p + θ N
and thus τ ν Erlang N , γ p .

2.3. Discrete Operational Calculus in the N-Critical Shock Model

The above system was straightforward, and the related Formulas (6) and (7) were an easy exercise presented as an illustration. To understand the tools employed in the forthcoming sections, we apply them for this very system as an alternative approach under the following formalism. Suppose that ( B , T ) = k = 1 Y k ε τ k introduced in (1)–(3) and (4) is a marked delayed renewal process, with position-dependent marking and the functional
Γ z , θ = E z Y e θ Δ
of the joint transform of the increments ( Y 1 , Δ 1 ) , Y 2 , Δ 2 , of random measure B , T assuming that
τ 0 = Δ 0 = 0 and Y 0 = B 0 = r a . s .
Using the results from Dshalalow [23] or Formula (4) from Theorem 1 [24] from Dshalalow and White, we obtain the joint transform of B ν and τ ν , where Ys (and their sums Bs) are integer-valued RVs:
Φ ν z , θ = E z B ν e θ τ ν = z r z r [ 1 Γ ( z , θ ) ] D x N r 1 1 1 Γ ( x z , θ )
Here, Y and Δ are not independent, and D is the so-called D -operator introduced in [23] as
D x k ψ ( x , y ) = lim x 0 1 k ! k x k 1 1 x ψ ( x , y ) , k 0 0 , k < 0
where ψ is a function analytic in x at zero.
We will make use of several pertinent properties of D (see some of them in Dshalalow [23] and Dshalalow and White [24]).
(Di)
D is a linear functional.
(Dii)
D x k ( 1 ( x ) ) = 1 , where 1 ( x ) = 1 for all x R .
(Dii)
Let g be an analytic function at zero. Then, it holds true that
D x k x j g ( x ) = D x k j g ( x ) .
(Div)
In particular, if j = k , we have
D x k x k g ( x ) = g ( 0 ) .
(Dv)
D x k 1 1 b x = 1 b k + 1 1 b , b 1 , and D x k 1 1 x = k + 1
(Dvi)
From (Div) and (Dv), D x k 1 a b x = 1 a b 1 b a k + 1
(Dvii)
D x j 1 a b x e δ x = k = 0 1 k ! δ k D x j x k 1 a b x = k = 0 1 k ! δ k D x j k 1 a b x = k = 0 j 1 k ! δ k D x j k 1 a b x
from (Dvi)
= k = 0 j 1 k ! δ k 1 a b 1 b a k + 1 = 1 a b k = 0 j 1 k ! δ k 1 b a j k + 1 .
In the event that Ys and Δ s are independent pertaining to our N-critical shock model in Section 2.2 (notation (8) and assumptions (9)), we show how the marginal functional of (10) can be reduced to (6)–(7).
First of all, because Y is Bernoulli,
E z Y = E z 1 W j > H + 1 W j H = z E 1 W j > H + E 1 W j H = z p + q ,
where p = P W j > H and q = 1 p . As for Δ , we assume it is exponential with parameter γ , that is, the support counting measure T of B , T is ordinary Poisson of rate γ . Thus,
E e θ Δ = γ γ + θ
and
Γ z , θ = z p + q γ γ + θ .
With no initial damage to the system, or r = 0 , the joint distribution of the time-to-failure (first passage time) τ ν and the cumulative damage to the system B ν at time τ ν is
Φ ν z , θ = E z B ν e θ τ ν = 1 [ 1 Γ ( z , θ ) ] D x N 1 1 1 Γ ( x z , θ ) .
Under no restriction to Δ , with Γ z , θ = p z + q γ θ , and
D x N 1 1 1 Γ ( x z , θ ) = D x N 1 1 1 p x z + q γ ( θ ) = D x N 1 1 1 γ θ q p x z γ ( θ )
then using D v i and passing to the limit as z 1
= 1 1 γ θ q p z γ θ 1 p z γ θ 1 γ θ q N | z = 1 = 1 1 γ θ 1 p γ θ 1 γ θ q N
implying that the marginal functional E e τ ν θ is
Φ ν 1 , θ = E e τ ν θ = 1 1 p γ θ 1 γ θ q N = p γ θ 1 1 p γ θ N
which agrees with (6) and (7) if γ θ = γ γ + θ .
Note that the assumption that B , T is position-independent played an essential role in arriving at (6) and (7).
Remark 1. 
In the context of special case (7), that is, E e θ τ ν = γ p γ p + θ N , suppose N is random, then
γ p γ p + θ N = E e θ τ ν | N .
If N Geo 1 π ,
E γ p λ p + θ N = π γ p γ p + θ 1 1 π γ p γ p + θ = γ π p γ p + θ γ 1 π p = γ π p γ π p + θ ,
implying that τ ν is exponential with parameter γ π p .
The above discussion was a mere demonstration that the discrete operational calculus agrees with conventional techniques when it pertains to basic models. In the next subsection, we introduce a more complex model where it would be difficult to analyze the system using conventional probability tools.

3. The N-Critical Shock System under Aging General Case

For convenience, we summarize the above notations in Section 1 and Section 2.
μ = inf m = 1 , 2 , : τ μ T
ν = min n N : B n = N
ρ = μ ν
The following functionals are introduced:
Φ ρ z , θ ; ξ , u , ϑ ; N , T = E ξ ρ z B ρ u B ρ 1 e θ τ ρ ϑ τ ρ 1
Φ μ > ν z , θ ; ξ , u , ϑ ; N , T = E ξ ν z B ν u B ν 1 e θ τ ν ϑ τ ν 1 1 μ > ν
Φ μ < ν z , θ ; ξ , u , ϑ ; N , T = E ξ μ z B μ u B μ 1 e θ τ μ ϑ τ μ 1 1 μ < ν
Φ μ ν z , θ ; ξ , u , ϑ ; N , T = E ξ μ z B μ u B μ 1 e θ τ μ ϑ τ μ 1 1 μ ν
Φ μ ν z , θ ; ξ , u , ϑ ; N , T = E ξ μ z B μ u B μ 1 e θ τ μ ϑ τ μ 1 1 μ ν
We will use the following:
  • The Laplace–Carson transform is defined as
    L C q · y = y q = 0 e y q · d q , y > 0
    with the inverse
    L C y 1 ( · ) ( q ) = L y 1 ( · 1 / y ) q
    where L y 1 is the inverse of the Laplace transform;
  • The D -operator, already introduced in (11).
Theorem 1. 
Let ( B , T ) = k = 1 Y k ε τ k be a marked random measure with position-dependent marking representing a delayed marked renewal process, such that the joint transforms of the respective increments of B , T are
Γ z , θ = E z Y e θ Δ of Y i , Δ i , i = 1 , 2 , , Γ 0 z , θ = E z Y 0 e θ Δ 0
(since Y 0 , Δ 0 has a different distribution from Y i , Δ i s), with the respective components
Δ 1 = τ 1 , Δ 2 = τ 2 τ 1 , Δ Δ 0 = τ 0 Δ
Y i = 1 W i > H Y 0 = B 0 is an integer - valued , non - negative , RV
Then, the functionals Φ ρ , Φ μ > ν , Φ μ < ν , Φ μ ν , Φ μ ν of (15)–(19) satisfy the following formulas:
Φ ρ z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z , θ Γ 0 z x , θ + y + Ψ Γ z , θ Γ z x , θ + y T
Φ μ > ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z , θ + y Γ 0 z x , θ + y + Ψ [ Γ z , θ + y Γ z x , θ + y ] T
Φ μ < ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z x , θ Γ 0 z x , θ + y + Ψ [ Γ z x , θ Γ z x , θ + y ] T
Φ μ ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z , θ Γ 0 z x , θ + Ψ [ Γ z , θ Γ z x , θ ] T
Φ μ ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z , θ Γ 0 z , θ + y + Ψ [ Γ z , θ Γ z , θ + y ] T
where
Ψ = Ψ z , θ ; ξ , u , ϑ ; x , y = ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y
Proof. 
Introduce the families of random indices extended from (12)–(14):
μ p = inf m : τ m > p : p 0 ν q = inf n : B n > q : q = 0 , 1 , ρ p , q = μ p ν q : p , q R + × N 0
and furthermore, the families of F -measurable sets:
H 12 = H 12 p , q = μ p > ν q } , p , q R + × N 0 H 21 = H 21 p , q = μ p < ν q } , p , q R + × N 0 H 11 = H 11 p , q = μ p = ν q } , p , q R + × N 0 .
Note that μ = μ T , ν = ν N 1 , and ρ = ρ T , N 1 .
Next, the associated families of functionals are:
Φ ρ p , q z , θ ; ξ , u , v = E ξ ρ p , q z B ρ p , q u B ρ p , q 1 e θ τ ρ p , q ϑ τ ρ p , q 1 = E ξ ρ p , q z B ρ p , q u B ρ p , q 1 e θ τ ρ p , q ϑ τ ρ p , q 1 1 H 12 + 1 H 21 + 1 H 11 = Φ μ p > ν q z , θ ; ξ , u , ϑ + Φ μ p < ν q z , θ ; ξ , u , ϑ + Φ μ p = ν q z , θ ; ξ , u , ϑ .
The first term of (31) can be modified as
Φ μ p > ν q z , θ ; ξ , u , ϑ = E ξ ρ p , q z B ρ p , q u B ρ p , q 1 e θ τ ρ p , q ϑ τ ρ p , q 1 1 μ p > ν q = E ξ ν q z B ν q u B ν q 1 e θ τ ν q ϑ τ ν q 1 1 μ p > ν q = j = 0 k > j E ξ j z B j u B j 1 e θ τ j ϑ τ j 1 1 { μ p = k , ν q = j }
To continue, we introduce and use the following operators:
(i)
The operator D applied to function N 0 , B ¯ 0 , 1 C , f , where B 0 , 1 is a unit ball centered at zero:
D p { f ( p ) } ( x ) = p = 0 x p f ( p ) ( 1 x ) , x B 0 , 1 .
Note that the dummy index p attached to D is being used for convenience only to indicate which variable (if more than one) it applies to. It can be readily shown that D k of (11) is the inverse operator of D that restores f if we apply it for every k:
D x k D p { f ( p ) } ( x ) = f ( k ) , k = 0 , 1 ,
(ii)
The Laplace–Carson transform L C q · y of (20) with the inverse L C y 1 of (21). The dummy index q in L C q plays the same role as p in D p .
Then, the composition of the two operators reads
D p q · x , y = L C q D p · x , y .
Now, the application of operator D p q to 1   { μ p = k , ν q = j } can be readily proven to yield
D p q 1 { μ p = k , ν q = j } x , y = x B j 1 x B j e y τ k 1 e y τ k = x B j 1 1 x Y j e y τ k 1 1 e y Δ k , j , k = 0 , 1 , , where B 1 = τ 1 = 0
Using Fubini’s theorem and noticing that D p q is a linear operator, we obtain from (31)–(33)
Φ μ > ν * z , θ ; ξ , u , ϑ ; x , y = D p q Φ μ p > ν q z , θ ; ξ , u , ϑ x , y = j = 0 ξ j k > j E [ z B j u B j 1 e θ τ j ϑ τ j 1 D p q 1 { μ p = k , ν q = j } x , y ] = j = 0 ξ j k > j E [ ( z u x ) B j 1 e ( θ + ϑ + y ) τ j 1 e θ + y Δ j z Y j 1 x Y j × e y i = j + 1 k 1 Δ i 1 e y Δ k ]
and further by the independent increments property
= j = 0 ξ j E ( z u x ) B j 1 e ( θ + ϑ + y ) τ j 1 E e θ + y Δ j z Y j 1 x Y j × k > j Γ k j 1 1 , y 1 Γ 1 , y
The expression k > j Γ k j 1 1 , y 1 Γ 1 , y = 1 , because Γ 1 , y < 1 for y > 0 as previously assumed.
From (8), (22), and (34),
Φ μ > ν * z , θ ; ξ , u , ϑ ; x , y = E e θ + y Δ 0 z Y 0 1 x Y 0 + j = 1 ξ j Γ 0 z u x , θ + ϑ + y Γ j 1 z u x , θ + ϑ + y [ Γ z , θ + y Γ z x , θ + y ] = Γ 0 z , θ + y Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ + y Γ z x , θ + y ]
after noticing that Γ z u x , θ + ϑ + y < 1 as pointed out in [23,24] under similar circumstances.
Finally, we apply the inverse of D p q ,
D p q 1 = D x N 1 L C y 1
to Φ μ > ν * z , θ ; ξ , u , ϑ ; x , y of (35), thus arriving at (26):
Φ μ > ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 { Γ 0 z , θ + y Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ + y Γ z x , θ + y ] } T
A similar expression for Φ μ > ν of (27) can be readily obtained by interchanging the roles of μ and ν :
Φ μ < ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 { Γ 0 z x , θ Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z x , θ Γ z x , θ + y ] } T .
The expression for Φ μ = ν z , θ ; ξ , u , ϑ ; N , T can be obtained using similar routines as in the derivation of Φ μ > ν z , θ ; ξ , u , ϑ ; N , T to obtain
Φ μ = ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 { [ Γ 0 z , θ Γ 0 z x , θ + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ Γ z x , θ ] ] [ Γ 0 z , θ + y Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y Γ z , θ + y Γ z x , θ + y ] } T .
Finally, for (25),
Φ ρ z , θ ; ξ , u , ϑ ; N , T = Φ μ > ν z , θ ; ξ , u , ϑ ; N , T + Φ μ < ν z , θ ; ξ , u , ϑ ; N , T + Φ μ = ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 { Γ 0 z , θ + y Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ + y Γ z x , θ + y ] + Γ 0 z x , θ Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z x , θ Γ z x , θ + y ] + Γ 0 z , θ Γ 0 z x , θ + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ Γ z x , θ ] Γ 0 z , θ + y Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y Γ z , θ + y Γ z x , θ + y } T
after cancellation
= D x N 1 L C y 1 Γ 0 z , θ Γ 0 z x , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y Γ z , θ Γ z x , θ + y T .
The other useful combinations (28) and (29) are
Φ μ ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z , θ Γ 0 z x , θ + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ Γ z x , θ ] T Φ μ ν z , θ ; ξ , u , ϑ ; N , T = D x N 1 L C y 1 Γ 0 z , θ Γ 0 z , θ + y + ξ Γ 0 z u x , θ + ϑ + y 1 Γ z u x , θ + ϑ + y [ Γ z , θ Γ z , θ + y ] T .
 □
Remark 2. 
Because we will focus on the marginal functional
Φ ρ z , θ ; N , T = E z B ρ e θ τ ρ = E ξ ρ z B ρ u B ρ 1 e θ τ ρ ϑ τ ρ 1 | ξ = u = 1 , ϑ = 0
in (15) and in the other variants (16)–(19), setting ξ = u = 1 and ϑ = 0 , we drop ρ , B ρ 1 , τ ρ 1 for now. The latter can be of some interest though, if we want to predict the time and the wear of the system around the time of the N 1 st critical shock for the benefit of early warning. The only part of all formulas that undergoes changes will be
Ψ z , θ ; x , y = Γ 0 z x , θ + y 1 Γ z x , θ + y
of (30). However, some formulas of Theorem 1 can be modified accordingly and simplified, such as
Φ ρ z , θ : = Φ ρ z , θ ; N , T = Γ 0 z , θ 1 Γ z , θ D x N 1 L C y 1 Γ 0 z x , θ + y 1 Γ z x , θ + y T
after using the linearity of the inverse operator D p q 1 = D x N 1 L C y 1 and the property
D x N 1 L C y 1 1 x , y = 1
which is due to the similar properties of the D -operator and the Laplace–Carson inverse.
In summary,
Corollary 1. 
Under the assumptions in Remark 2, the associated marginal functional Φ ρ satisfies Formula (36).

4. Some Special Assumptions about the System

Besides dropping ρ , B ρ 1 , τ ρ 1 from the functional Φ ρ in Remark 2, we specify the initial conditions for our model that are most commonly adapted to real-world reliability systems.
Initial Conditions. In what follows, we assume in (22)–(24) that
τ 0 = Δ 0 = 0 and B 0 = r < N
as an initial wear of the system after it underwent r critical shocks prior to the beginning of observations at time zero, and thus,
Γ 0 z , θ = z r , r < N
and further
Γ z , θ = E z Y e θ Δ = E z Y E e θ Δ = p z + q γ θ
considering the binary nature of Ys and its assumed position independence of Δ s. From (36) and (37)–(39),
Φ ρ z , θ = z r z r 1 p z + q γ θ D x N r 1 L C y 1 1 1 p z x + q γ θ + y T
Consider two marginals.
Marginal 1. 
W i t h   θ = 0 ,
E z B ρ = Φ ρ z , 0 = z r z r p 1 z D x N r 1 L C y 1 1 1 p z x + q γ y T
i m p l y i n g t h a t t h e m e a n q u a n t i t y o f c r i t i c a l s h o c k s u p o n t h e s y s t e m s f a i l u r e i s
E B ρ = lim z 1 d d z Φ ρ z , 0 = r + p D x N r 1 L C y 1 1 1 p x + q γ y T
Marginal 2. 
W i t h   z = 1 ,
E e θ τ ρ = Φ ρ 1 , θ = 1 1 γ θ D x N r 1 L C y 1 1 1 p x + q γ θ + y T
i m p l y i n g t h a t t h e m e a n   t i m e - t o - f a i l u r e   i s
E τ ρ = d d θ Φ ρ 1 , θ | θ = 0 = 1 γ D x N r 1 L C y 1 1 1 p x + q γ y T
w h e r e   E Δ = 1 γ   i s t h e m e a n t i m e b e t w e e n t w o s u c c e s s i v e s h o c k s .
From (42) and (44),
1 γ p ( E B ρ r ) = 1 γ D x N r 1 L C y 1 1 1 p x + q γ y T = E τ ρ
Consequently, we arrive at an interesting and surprising relationship between the two marginal expectations.
Corollary 2. 
1. 
E B ρ and E τ ρ are related through an affine transformation. E B ρ = γ p E τ ρ + r
2. 
E B ρ and E τ ρ are related through a linear transformation if and only if r = 0 . In this case
E B ρ = γ p E τ ρ
The surprising part of the linear relationship between E B ρ and E τ ρ is because B ρ and τ ρ are not independent.
Remark 3. 
In Formula (40),
Φ ρ z , θ = z r 1 1 p z + q γ θ D x N r 1 L C y 1 1 1 p z x + q γ θ + y T
we see that, with r = 0 , (40) reduces to
Φ ρ z , θ = 1 1 p z + q γ θ D x N 1 L C y 1 1 1 p z x + q γ θ + y T
Observe that the functional of the simplified system can be easily restored to its original version under an arbitrary r via multiplication by z r and by replacing N with N r in (45), which gives us the green light to proceed with r = 0 .
Thus, with r = 0 in (38), Γ 0 z , θ = 1 , and with (39), Ψ of (30) reduces to
Ψ = 1 1 p z x + q γ θ + y .
Altogether, under the initial conditions specified in (37), Remark 3, and (46), the associated special case of Theorem 1 reads as follows:
Corollary 3. 
Under the initial conditions
τ 0 = Δ 0 = B 0 = 0
and taking into account Remark 3, the functionals Φ ρ and Φ μ > ν satisfy the following formulas:
Φ ρ z , θ = Φ ρ z , θ ; ξ = 1 , u = 1 , ϑ = 0 ; N , T = 1 1 p z + q γ θ D x N 1 L C y 1 1 1 p z x + q γ θ + y T
Φ ρ z , θ = Φ μ > ν z , θ ; ξ = 1 , u = 1 , ϑ = 0 ; N , T = p z D x N 1 1 x L C y 1 γ θ + y 1 p z x + q γ θ + y T .

5. Special Case Marked Poisson Stream of Shocks

In this section, we make the assumption that the stream of shocks hitting the system is marked Poisson with position-independent marking. More formally, the support counting measure of the stream ( B , T ) = k = 1 Y k ε τ k is Poisson of rate γ . That being said, Formula (45) reduces to
Φ ρ z , θ = 1 1 a z γ γ + θ D x N 1 L C y 1 φ x , y T
where p z + q is tentatively abbreviated as a z and φ stands for
φ x , y = 1 a z x γ γ + θ + y 1 .
Our first step is to apply the Laplace–Carson inverse of (50) to φ in (51). We point out the following properties of the Laplace–Carson inverse L C y 1 :
(LC1)
L C y 1 is linear;
(LC2)
L C y 1 1 T = 1  (where 1 y = 1 y C ) ;
(LC3)
L C y 1 1 α + y T = 1 α [ 1 e α T ] , where α is a function in variables, other than y.
Back to (51), φ can be rewritten as
φ x , y = 1 + γ a z x γ γ a z x + θ + y .
Then, by LC1–LC3,
ψ x = L C y 1 φ x , y T = 1 + γ a z x γ γ a z x + θ 1 e γ γ a ( z x ) + θ T .
Next, we apply the D -operator to ψ . Rewriting ψ in its explicit form gives
ψ x = 1 + γ p z x + γ q γ p γ p z x + θ 1 e γ p + θ T e γ p z T x = γ + θ γ p + θ γ p z x + e γ p + θ T e γ p z T x γ + θ γ p + θ γ p z x e γ p + θ T e γ p z T x
Then, from (52), by property (Dvii),
δ z , θ = D x N 1 ψ x = γ + θ γ p 1 z + θ 1 γ p z γ p + θ N + e γ p + θ T k = 0 N 1 1 k ! γ p z T k γ + θ γ p 1 z + θ e γ p + θ T k = 0 N 1 1 k ! γ p z T k 1 γ p z γ p + θ N k
Finally,
E z B ρ e θ τ ρ = Φ ρ z , θ = 1 1 ( p z + q ) γ γ + θ δ z , θ
In particular, with N = 1 , (53) reduces to
δ z , θ = σ z , θ 1 e γ p + θ T + e γ p + θ T
or in the form
= σ z , θ + e γ p + θ T 1 σ z , θ
where
σ z , θ = γ + θ γ p 1 z + θ 1 γ p z γ p + θ
Marginal Transform of τ ρ . Of further interest is the marginal transform of τ ρ where the latter is the time-to-failure of the system. From (53)–(56),
E e θ τ ρ = 1 θ γ + θ δ 1 , θ
which can be reduced to the following expression:
E e θ τ ρ = γ p γ p + θ N + γ γ + θ e γ p + θ T k = 0 N 1 1 k ! T k γ p k γ p γ p + θ N e γ p + θ T k = 0 N 1 1 k ! T k γ p + θ k
Now with E τ ρ N = 1 lim θ 0 d d θ E e θ τ ρ , we obtain
E τ ρ N = N γ p + 1 γ N γ p + T e γ p T k = 0 N 1 1 k ! γ p T k T e γ p T γ p T N 1 ( N 1 ) !
or in the form
E τ ρ N = N γ p + 1 γ N γ p e γ p T k = 0 N 1 1 k ! γ p T k + T e γ p T e γ p T k = N 1 1 k ! γ p T k
The second term becomes zero for N = 1 and it is then simplified to
E τ ρ 1 = 1 γ p 1 q e γ p T , with q = 1 p .
With T in (57), the system will be knocked down through the Nth critical and, thus, the fatal shock alone (with no aging involved), so that
E e θ τ ρ γ p γ p + θ N as T
which agrees with Formula (7) as expected. There is an interesting asymptotics of E τ ρ N with respect to N. First, we show the validity of the following lemma:
Lemma 1. 
From Formula (59), lim N N 1 e γ p T k = 0 N 1 1 k ! γ p T k = 0 .
Proof. 
First,
1 e γ p T k = 0 N 1 1 k ! γ p T k = e γ p T k = N 1 k ! γ p T k
Let 0 < a < 1 for some a. Then, N k = N 1 k ! a k < N k = N a k = N a N 1 a 0 , because for b > 1 , the function
f x = x b x 0 as x .
Thus, lim N N 1 e γ p T k = 0 N 1 1 k ! γ p T k = 0 if γ p T < 1 . Now, let a = γ p T 1 .
Then, using Stirling’s formula,
a k k ! < a e k k < z k for some 0 < z < 1 , some large N and all k N .
Thus,
k = N 1 k ! a k < N k = N z k = N z N 1 1 z 0 as N
 □
Using Lemma 1 and (58), we have
Corollary 4. 
The mean time-to-failure of the system if N is
lim N E τ ρ N = 1 γ + T
Example 1. 
In reality, however, the value 1 γ + T is reached by E τ ρ N much sooner, in fact, at relatively small values of N. For example, with γ = 2 ,   p = 0.5 , and T = 10 ,   E τ ρ N = 10.5 at N = 32 , 33 , as we can see from Figure 5 below and printed Table 1 in the associated values of E τ ρ N for N = 1 , , 40 .
Example 2. 
With γ = 2 ,   p = 0.5 , and T = 40 ,   E τ ρ N = 40.5 at N = 73 , as seen in Figure 6, and further explained in Table 2 in a similar way as Table 1 explains Figure 5.
Remark 4. 
Formula (62) shows that, with a very large number of critical shocks needed to knock the system down, it becomes inoperational due to aging (with a delay by 1 γ due to a delayed notice at some τ n > T such that τ n 1 < T ) .
On the other hand, for T ,
E τ ρ T N γ p
which is in agreement with (61).
Remark 5. 
From Formula (58), under N = 1 when one critical shock becomes fatal,
E e θ τ ρ = γ p γ p + θ + γ γ + θ e γ p + θ T γ p γ p + θ e γ p + θ T
confirming Formula (60) for E τ ρ 1 .

6. What Makes the System Fail Sooner

One worthwhile piece of information would be to learn which of the two events comes first: the fatal failure due to a fatal shock or through aging. The associated functional
E z B ρ e θ τ ρ 1 τ ν < τ μ = Φ μ > ν z , θ ; N , T
borrowed from Corollary 1 (Formula (23)) carries the joint distribution of B ρ , τ ρ on the confined probability space Ω , F μ > ν , P . In particular, it will provide us with the likelihood P μ > ν = Φ ν 1 , 0 that the system becomes inoperational due to a fatal N th critical shock before it would degrade through aging.
Therefore, according to (23) of Corollary 1,
Φ μ > ν z , θ ; N , T = p z D x N 1 1 x L C y 1 γ θ + y 1 p z x + q γ θ + y T .
Now, under the assumptions in Section 5 that shocks, with their magnitudes, arrive in accordance with a marked Poisson process, and thus γ θ = γ γ + θ ,
Φ μ > ν z , θ ; N , T = γ p z D x N 1 1 x L C y 1 1 γ p 1 z x + θ + y T
which after the use of property (LC3) L C y 1 1 α + y T = 1 α [ 1 e α T ] , Φ μ > ν z , θ ; N , T becomes
Φ μ > ν z , θ ; N , T = γ p z D x N 1 L C y 1 Φ μ > ν * z , θ ; x , y T = D x N 1 α x 1 e γ p + θ T e γ p z T x ,
where
α x = γ p z 1 x γ p 1 z x + θ .
With the familiar routine, we reduce α x to a proper fraction in x before applying the D -operator. This straightforward operation leads to
α x = 1 γ p 1 z + θ γ p + θ γ p z x .
Thus,
E z B ρ e θ τ ρ 1 μ > ν = Φ μ > ν z , θ = D x N 1 L C y 1 Φ ν < μ * z , θ ; x , y T = D x N 1 1 γ p 1 z + θ γ p + θ γ p z x e γ p + θ T e γ p z T x + e γ p + θ T e γ p z T x γ p 1 z + θ γ p + θ γ p z x
due to property (Dvi) that D x k 1 a c x = 1 a c 1 c a k + 1
= 1 γ p 1 z + θ γ p 1 z + θ 1 γ p z γ p + θ N e γ p + θ T k = 0 N 1 1 k ! γ p z T k + e γ p + θ T γ p 1 z + θ γ p 1 z + θ k = 0 N 1 1 k ! γ p z T k 1 γ p z γ p + θ N k
finally arriving at
E z B ρ e θ τ ρ 1 μ > ν = Φ μ > ν z , θ = γ p z γ p + θ N e γ p + θ T k = 0 N 1 1 k ! γ p z T k γ p z γ p + θ N k .
For θ = 0 , the associated marginal functional is
E z B ρ 1 μ > ν = Φ ν < μ z , 0 ; N , T = z N z N e γ p T k = 0 N 1 1 k ! γ p T k .
In particular, for z = 1 ,
P μ > ν N = 1 e γ p T k = 0 N 1 1 k ! γ p T k
which is a gamma probability distribution function with fixed parameters α = N and β = γ p and under a variable time T.
Example 3. 
Considering P μ > ν = P μ > ν N as a function of variable N and with γ = 2 ,   p = 0.5 , and T = 10 , we plot it for N = 1 , , 40 . Figure 7 below shows that this probability is monotone decreasing in N as expected and then runs to zero.

7. The Case Where D Is Random

Suppose now that the sustainability threshold D is an RV. Then, T = δ 1 D is also random. We return to the special case with Δ Exp γ . According to (59), we have
E τ ρ = E τ ρ N = N γ p + 1 γ N γ p k = 0 N 1 1 k ! γ p k T k e γ p T + k = 0 N 1 1 k ! ( γ p ) k T k + 1 e γ p T e γ p T T N γ p N 1 ( N 1 ) !
under the assumption that T is deterministic. Given that T is random, we interpret E τ ρ of (63) as the conditional expectation E τ ρ | T . Thus, from (63), under the assumption that the right-hand side represents E τ ρ | T , we have
E τ ρ = E E τ ρ | T = N γ p + 1 γ N γ p k = 0 N 1 1 k ! γ p k E [ T k e γ p T ] + k = 0 N 1 1 k ! ( γ p ) k E [ T k + 1 e γ p T ] E [ e γ p T T N ] γ p N 1 ( N 1 ) !
Now,
E e θ T T j = x = 0 e θ x x j f T x d x = L x j f x θ = 1 j d j d θ j L T θ
where L T θ = E e θ T .
Example 4. 
Assuming
T Exp ξ
we have
L T θ = ξ ξ + θ and L j θ = ξ 1 j j ! ξ + θ j + 1 .
Thus, E e θ T T j = ξ j ! ξ + θ j + 1 implying that
E e γ p T T j = ξ j ! ξ + γ p j + 1 .
Then, from (64) and (65),
E τ ρ = N γ p + 1 γ N γ p k = 0 N 1 1 k ! γ p k ξ k ! ξ + γ p k + 1 + k = 0 N 1 1 k ! ( γ p ) k ξ ( k + 1 ) ! ξ + γ p k + 2 ξ N ! ξ + γ p N + 1 γ p N 1 ( N 1 ) !
or in the form
E τ ρ = N γ p + 1 γ N γ p ξ ξ + γ p k = 0 N 1 γ p ξ + γ p k + ξ ξ + γ p 2 k = 0 N 1 γ p ξ + γ p k k + 1 ξ N ξ + γ p 2 γ p ξ + γ p N 1 .
Thus, if T Exp ξ , then E τ ρ satisfies Formula (66).
Example 5. 
We wonder what the aging function δ is supposed to be in order that δ T = D , provided D is an RV. We give an example of such a function. Let β > 1 and D = U Un 0 , β . Then, if F T is the probability distribution function of RV T ,
P T = δ 1 D = β F T 1 U t = P F T 1 1 β U t = P U β F T t = β 1 β F T t = F T t
implying that β F T 1 U T , that is, β F T 1 U has the same distribution as T , where U Un 0 , β and, thus, δ is identified as β F T .
In conclusion, when D Un 0 , β , the aging function δ is β F T , where T is an RV with the probability distribution function F T whatever F T represents (note that β > D a.s.).
For example, with D = δ T Un 0 , β and T exponential with parameter ξ, as assumed in Example 4, the aging function is δ x = β ( 1 e ξ x ) .

8. Summary

In this paper, we studied a reliability system on a filtered probability space Ω , F , F n n N 0 , P subject to occasional random shocks of random magnitudes W 0 , W 1 , W 2 , occurring at times τ 0 , τ 1 , τ 2 , , thus forming a marked point process k = 0 W k ε τ k . All shocks are either harmless or critical dependent on whether W k H or W k > H , given a fixed threshold H. It takes a total of N critical shocks to knock the system down. The very last of the N critical shocks is fatal. We form a sequence Y k of auxiliary Bernoulli RVs, where Y k = 1 H , W k and the associated sequence B n of its partial sums
B n = k = 0 n Y k .
The RV ν = min n = 0 , 1 , : B n = N is called the exit index, and the stopping time τ ν relative to the filtration F n is referred to as the first passage time of process B , T = k = 0 Y k ε τ k . The first passage time (the term was borrowed from fluctuation theory) is also the lifetime of the system or, synonymously, the time-to-failure.
Besides the above shocks, the system also ages formalized by a monotone increasing continuous function δ , such that δ t as t . Suppose D is a fixed real number (failure threshold), thus, there is a compact interval 0 , T such that δ T = D . However, our aging process is restrictive, we embellish it arguing that in a real-world situation, the failure time T due to aging is hard to detect or even hard to define, because the system does not really stop functioning, but it continues to operate, although not well enough. The latter is often difficult to diagnose even if watching all the time, and as a result, the system’s aging is rather monitored at times τ n when shocks occur, which undoubtedly is more cost-effective than watching it in real time. The shortcoming of this approach is that system failure associated with its aging will be identified with some delay, but this is either the only way or a preferred way to maintain such systems. In summary, this setting makes the aging-related failure random.
We define the age-related delayed exit index
μ = inf m = 1 , 2 , : τ m T .
Associated with μ is the delayed soft failure time τ μ .
Now, combining the two causes for system failure, we define the cumulative exit index, which is the shock count for system failure
ρ = μ ν ,
and the associated modified first passage time τ ρ , which becomes the new lifetime of the system. Using the common terminology in the reliability literature, we deal with two competing processes: inducing a soft failure and a hard failure, and the system fails whenever one of the two failures comes first.
The goal of this research was to obtain the joint distribution of the time-to-failure τ ρ and the total damage to the system upon its failure specified by the quantity B ρ   N , all in a closed form, rather than algorithmically or numerically. We treat the joint transform Φ ρ = E ξ ρ z B ρ e θ τ ρ u B ρ 1 e ϑ τ ρ 1 that also carries the information about the system one shock prior to the fatal failure, and the total shock count ρ on the system’s failure.
To obtain Φ ρ , we use operational calculus that includes the D -operators introduced and developed in our past work, and modified for the current system. The results are self-contained, are based on Theorem 1, and were rigorously proved.
The main assumptions were that the stream of shocks B , T = k = 0 Y k ε τ k was a process with independent increments, which is marked delayed renewal with position-dependent marking, that is, the increments Y k , Δ k = τ k τ k 1 are mutually dependent for each k = 0 , 1 , τ 1 = 0 . These assumptions we sustained throughout the proof of Theorem 1. Also, Y 0 , τ 0 = Δ 0 are differently distributed from the rest of the sequence Y k , Δ k , because in some applications Y 0 , Δ 0 may contain a history of the process included as an initial condition.
In Section 4, the “terminated” version k = 0 ρ Y k , ε τ k of B , T observed from its inception through the lifetime τ ρ is not renewal, Markov, or even semi-Markov. Yet, one interesting property holds for the marginals of B ρ = k = 0 ρ Y k and τ ρ when Y 0 = B 0 = r and τ 0 = Δ 0 = 0 under the assumption of position independence. That is, when the system was observed at some moment when it underwent r critical shocks. It turns out that E B ρ and E τ ρ are related through the affine transformation E B ρ = γ p E τ ρ + r , where 1 γ = E Δ (the mean time between two successive shocks) and p = P W > H that a shock is critical. Or the relationship between E B ρ (the mean number of critical shocks at time τ ρ ) and E τ ρ (the mean system’s lifetime) is linear if and only if r = 0 .
Fully explicit expressions (53) and (54) of the joint transform E z B ρ e θ τ ρ and their marginals appear when the stream of shocks is a marked Poisson process (as per Section 5). Section 5 also discusses the asymptotics of E τ ρ N when N , supported by numerical examples.
In Section 6, we deal with E z B ρ e θ τ ρ 1 τ ν < τ μ , that is, with the joint transform of B ρ and τ ρ on the confined σ -algebra F ν < μ . In particular, we arrive at P ν < μ , i.e., the probability that the system fails due to shocks sooner than via aging. Very explicit and compact formulas such as
E z B ρ e θ τ ρ 1 μ > ν = γ p z γ p + θ N e γ p + θ T k = 0 N 1 1 k ! γ p z T k γ p z γ p + θ N k
are due to the assumption on the stream of shocks being marked Poisson (of rate γ , with p = P W > H ). From this expression,
P μ > ν N , T = 1 e γ p T k = 0 N 1 1 k ! γ p T k
which reads as the gamma probability distribution function with fixed parameters α = N and β = γ p if time T were a time variable (which, of course, is not).
Section 7 deals with the system under the assumption that D (the threshold of the aging function is supposed to cross) is random, thus also making the projection T of crossing random. Some special cases lead to explicit formulas. One worthwhile example discusses the case when D is a uniform RV in interval 0 , β and the aging function is a multiple of the probability distribution function of the now RV T.

Author Contributions

Conceptualization, J.H.D.; methodology, J.H.D.; software, J.H.D. and H.A.; validation, J.H.D. and H.A.; formal analysis, J.H.D.; data curation, J.H.D. and H.A.; writing—original draft preparation, J.H.D.; writing—review and editing, J.H.D. and H.A.; visualization, J.H.D. and H.A.; supervision, J.H.D.; All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors are much in debt to anonymous referees for their careful reviews of our manuscript. Their insightful suggestions led to a notable improvement.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Cha, J.H.; Finkelstein, M. On New Classes of Extreme Shock Models and Some Generalizations. J. Appl. Probab. 2011, 48, 258–270. [Google Scholar] [CrossRef]
  2. Wu, B.; Cui, L.; Qiu, Q. Two Novel Critical Shock Models Based on Markov Renewal Processes. Nav. Res. Logist. 2022, 69, 163–176. [Google Scholar] [CrossRef]
  3. Jiang, L.; Feng, Q.; Coit, D.W. Reliability and Maintenance Modeling for Dependent Competing Failure Processes With Shifting Failure Thresholds. IEEE Trans. Reliab. 2012, 61, 932–948. [Google Scholar] [CrossRef]
  4. Dshalalow, J.H.; White, R.T. Fluctuation Analysis of a Soft-Extreme Shock Reliability Model. Mathematics 2022, 10, 3312. [Google Scholar] [CrossRef]
  5. Mallor, F.; Omey, E. Shocks, Runs and Random Sums. J. Appl. Probab. 2001, 38, 438–448. [Google Scholar] [CrossRef]
  6. Mallor, F.; Santos, J. Reliability of Systems Subject to Shocks with a Stochastic Dependence for the Damages. Test 2003, 12, 427–444. [Google Scholar] [CrossRef]
  7. Lyu, H.; Wang, S.; Zhang, X.; Yang, Z.; Pecht, M. Reliability Modeling for Dependent Competing Failure Processes with Phase-Type Distribution Considering Changing Degradation Rate. Eksploat. Niezawodn. Maint. Reliab. 2021, 23, 627–635. [Google Scholar] [CrossRef]
  8. Eryilmaz, S.; Tekin, M. Reliability Evaluation of a System under a Mixed Shock Model. J. Comput. Appl. Math. 2019, 352, 255–261. [Google Scholar] [CrossRef]
  9. Gong, M.; Xie, M.; Yang, Y. Reliability Assessment of System Under a Generalized Run Shock Model. J. Appl. Probab. 2018, 55, 1249–1260. [Google Scholar] [CrossRef]
  10. Wen, Y.; Liu, B.; Shi, H.; Kang, S.; Feng, Y. Reliability Evaluation and Optimization of a System with Mixed Run Shock. Axioms 2022, 11, 366. [Google Scholar] [CrossRef]
  11. Poursaeed, M.H. A Run Shock-Erosion Model. Commun. Stat. Theory Methods 2021, 50, 1228–1239. [Google Scholar] [CrossRef]
  12. Li, Z.; Chan, L.Y.; Yuan, Z. Failure Time Distribution under a δ-Shock Model and Its Application to Economic Design of Systems. Int. J. Reliab. Qual. Saf. Eng. 1999, 06, 237–247. [Google Scholar] [CrossRef]
  13. Li, Z.; Kong, X. Life Behavior of δ-Shock Model. Stat. Probab. Lett. 2007, 77, 577–587. [Google Scholar] [CrossRef]
  14. Tang, Y.Y.; Lam, Y. A δ-Shock Maintenance Model for a Deteriorating System. Eur. J. Oper. Res. 2006, 168, 541–556. [Google Scholar] [CrossRef]
  15. Parvardeh, A.; Balakrishnan, N. On Mixed δ-Shock Models. Stat. Probab. Lett. 2015, 102, 51–60. [Google Scholar] [CrossRef]
  16. Eryılmaz, S. Generalized δ-Shock Model via Runs. Stat. Probab. Lett. 2012, 82, 326–331. [Google Scholar] [CrossRef]
  17. Kus, C.; Tuncel, A.; Eryilmaz, S. Assessment of Shock Models for a Particular Class of Intershock Time Distributions. Methodol. Comput. Appl. Probab. 2022, 24, 213–231. [Google Scholar] [CrossRef]
  18. Jiang, Y. A New δ-Shock Model for Systems Subject to Multiple Failure Types and Its Optimal Order-Replacement Policy. Inst. Mech. Eng. Part O J. Risk Reliab. 2020, 234, 138–150. [Google Scholar] [CrossRef]
  19. Roozegar, R.; Entezari, M.; Nadarajah, S. A New Mixed δ-Shock Model and Associated Reliability Properties. Stoch. Models 2023, 1–29. [Google Scholar] [CrossRef]
  20. Lorvand, H.; Nematollahi, A.; Poursaeed, M.H. Life Distribution Properties of a New δ-Shock Model. Commun. Stat. Theory Methods 2020, 49, 3010–3025. [Google Scholar] [CrossRef]
  21. Wu, Y. Reliability Modelling Considering Self-Exciting Mechanisms of Shock Damage. Appl. Sci. 2022, 12, 10418. [Google Scholar] [CrossRef]
  22. Doostmoradi, A.; Akhoond, M.R.; Zadkarami, M.R. Reliability of a System under a New Mixed Shock Model. Commun. Stat. Theory Methods 2023, 52, 156–169. [Google Scholar] [CrossRef]
  23. Dshalalow, J.H. On the Level Crossing of Multi-Dimensional Delayed Renewal Processes. Int. J. Stoch. Anal. 1997, 10, 355–361. [Google Scholar] [CrossRef]
  24. Dshalalow, J.H.; White, R.T. Current Trends in Random Walks on Random Lattices. Mathematics 2021, 9, 1148. [Google Scholar] [CrossRef]
Figure 1. A total of 10 shocks of which 4 are critical of which the 4th N = 4 is fatal.
Figure 1. A total of 10 shocks of which 4 are critical of which the 4th N = 4 is fatal.
Mathematics 11 03568 g001
Figure 2. The age-related failure occurs at time T, but it is observed with a delay, at τ μ .
Figure 2. The age-related failure occurs at time T, but it is observed with a delay, at τ μ .
Mathematics 11 03568 g002
Figure 3. Of the total of 10 shocks, 4 are critical of which the 4th N = 4 is fatal at τ ν < τ μ .
Figure 3. Of the total of 10 shocks, 4 are critical of which the 4th N = 4 is fatal at τ ν < τ μ .
Mathematics 11 03568 g003
Figure 4. The system aged (as observed at τ μ ) earlier than the Nth N = 4 critical shock at τ ν .
Figure 4. The system aged (as observed at τ μ ) earlier than the Nth N = 4 critical shock at τ ν .
Mathematics 11 03568 g004
Figure 5. The values of E τ ρ N ,   N = 1 , , 40 , for γ = 2 ,   p = 0.5 , and T = 10 .
Figure 5. The values of E τ ρ N ,   N = 1 , , 40 , for γ = 2 ,   p = 0.5 , and T = 10 .
Mathematics 11 03568 g005
Figure 6. The values of E τ ρ N ,   N = 1 , , 80 , for γ = 2 ,   p = 0.5 , and T = 40 .
Figure 6. The values of E τ ρ N ,   N = 1 , , 80 , for γ = 2 ,   p = 0.5 , and T = 40 .
Mathematics 11 03568 g006
Figure 7. The values of P μ > ν N ,   N = 1 , , 40 , for γ = 2 ,   p = 0.5 , and T = 10 .
Figure 7. The values of P μ > ν N ,   N = 1 , , 40 , for γ = 2 ,   p = 0.5 , and T = 10 .
Mathematics 11 03568 g007
Table 1. The values of E τ ρ N ,   N = 1 , , 40 .
Table 1. The values of E τ ρ N ,   N = 1 , , 40 .
[1]0.99997731.99970492.99807053.99151784.97172345.9235541
[7]6.82494047.64975948.37323928.97786459.45737989.8174718
[13]10.073305510.245295110.354792110.420891510.458782510.4794421
[19]10.490174210.495494610.498015910.499159910.499657610.4998655
[25]10.499949010.499981410.499993410.499997710.499999310.4999998
[31]10.499999910.500000010.500000010.500000010.500000010.5000000
[37]10.500000010.500000010.500000010.5000000
Table 2. The values of E τ ρ N ,   N = 1 , , 80 .
Table 2. The values of E τ ρ N ,   N = 1 , , 80 .
[25]24.9923925.9863626.9764327.9606028.9362429.8999430.8474831.77387
[33]32.6734633.5401034.3674635.1493235.8799436.5544437.1691037.72160
[41]38.2111638.6385439.0059639.3169439.5759939.7883239.9595540.09540
[49]40.2014340.2828340.3443140.3900040.4234040.4474240.4644340.47628
[57]40.4844140.4899040.4935540.4959340.4974740.4984540.4990640.49944
[65]40.4996740.4998140.4998940.4999440.4999740.4999840.4999940.49999
[73]40.5000040.5000040.5000040.5000040.5000040.5000040.50000
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Dshalalow, J.H.; Aljahani, H. Discrete and Continuous Operational Calculus in N-Critical Shocks Reliability Systems with Aging under Delayed Information. Mathematics 2023, 11, 3568. https://doi.org/10.3390/math11163568

AMA Style

Dshalalow JH, Aljahani H. Discrete and Continuous Operational Calculus in N-Critical Shocks Reliability Systems with Aging under Delayed Information. Mathematics. 2023; 11(16):3568. https://doi.org/10.3390/math11163568

Chicago/Turabian Style

Dshalalow, Jewgeni H., and Hend Aljahani. 2023. "Discrete and Continuous Operational Calculus in N-Critical Shocks Reliability Systems with Aging under Delayed Information" Mathematics 11, no. 16: 3568. https://doi.org/10.3390/math11163568

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop