Professional Documents
Culture Documents
Applications
Vladimir Rykov
Gubkin Russian State University (GUBKIN University),
Leninsky pr., 65, Moscow, 119991, Russian Federation, and
Peoples' Friendship University of Russia (RUDN University)
Miklukho-Maklaya str. 6, Moscow 117197, Russian Federation
The talk consists from two parts. In the rst one a short review of the Smith's
regenerative idea development is proposed. Decomposable Semi-Regenerative
Processes (DSRPr) as its generalization is proposed. Some previous its
applications is reviewed.
In the second part of the talk the DSRPr is used for study of reliability of a
double redundant reparable system with arbitrary distributed life and repair times
of its components
2 Regenerative Processes
3 Semi-Regenerative processes
5 Applications
9 Reliability function
12 Conclusion
Apparently Ja. Bernully was the rst, who consider i.i.d. r.v.'s (1713) [1]
W. Smith in (1955) [2] spread out this notion to processes in time and
propose the nation of a Regenerative process.
We start with the very known notion of regeneration [Smith (1955)]. Let
X = {X (t), t ∈ R} be a Stochastic Process (SP) with measurable states space
(E , E), and FtX = σ{X (v ), v ≤ t} be appropriate σ -algebra.
X
A Random variable (r.v.) S ∈ Ft is called a Markov Time (MT), if the event
{S ≤ t} became known from observation of the process X trajectory before time
t , {S ≤ t} ∈ FtX . A MT S of the SP X is its Regeneration Time (RT), if the
process forget its past at this time,
Note that if there exists with probability one a nite RT S, so there exists a
sequence of such times {Sn , n = 1, 2, . . . }.
Remark 2. Sometimes it is necessary to consider a RPr with delay, for which the
distribution of the rst RC diers from others.
X (t)
6
- R
- t
S0 = 0 S1
Figure 1: Structure of RP
Denote by
π (1) (t, Γ) = P{X (Sn + t) ∈ Γ, t < Tn }
F (t) = P{Tn ≤ t} and
distribution of a RPr at separate RP and by
X X X
H(t) = E 1{Sn ≤t} = P{Sn ≤ t} = F ∗n (t)
n≥0 n≥0 n≥0
Zt
π(t; Γ) ≡ P{X (t) ∈ Γ} = P{X (t − u) ∈ Γ, t − u < T }H(du) ≡
0
Zt
≡ π (1) (t − u, Γ)H(du).
0
The Key Renewal Theorem [Smith (1955)] allows to prove the existence of
stationary probability distribution of the RPr and represent it in the form
Z∞
1
π(Γ) = lim π(t; Γ) = π (1) (t, Γ)dt. (3)
t→∞ M[Tn ]
0
Apparently E. Cinlar in (1969) [4] and J. Jacod (1971) [5] introduced and
investigated semi-Markov chains
Further due to E. Numellin (1978) [9] this notion get the term
Semi-Regenerative Processes
In applications RT's are usually some state destination times. This state is called
Regeneration State (RS). In the case of several RS's the notion of RPr is
generalized to Semi-egenerative Process (SRPr). Denote by E1 the set of RS's of
the process. In the following it is supposed that it is discrete (nite or
denumerable).
Let
At that
P{ lim Sn = ∞} = 1.
n→∞
Remark
RC's of SRPr
Wn = {(X (Sn−1 + t), Tn ), t ≤ Tn , n = 1, 2, . . . }
form a Markov Chain in functional space, and a regular SPPr is reconstructed (up
to equivalency) by it.
Remark
X (t)
6
X1
Xn−1
X2 R1 R2 ... Rn ...
Xn - t
S0 S1 S2 Sn−1 Sn
Figure 2: Structure of SRPr
Theorem
Let {X (t), Sn } is an SRPr. Then the sequences {Xn } and {Yn } are homogeneous
Markov (MCh) and Semi-Markov chains (SMCh), and {N(t)} is a Markov
Renewal Process (MRP).
Proof.
See for example in [Jolkof, Rykov (1981) [11]] and [Rykov (1997) [?]].
X
Q(x, a, y ) < 1 − b < 1. (5)
y ∈E
In words this assumption means that the appropriate SMP stays in any state
positive time with positive probability.
Theorem
The condition (5) of a SRPr {X (t), Sn } uniform regularity is sucient for its
regularity.
For proof see Jolkof, Rykov, 1981 [11] and Rykov, 1997 [?].
Denote by
X
H(x, t, y ) = Ex 1{([0,t], y )} (Sn , Xn )
n≥0
Markov Renewal Matrix (MRM). For the SRPr distribution the following
representation takes place
Zt X
π(x, t, Γ) = H(x, du, y )π (1) (y , t − u, Γ) ≡ H ? π (1) (x, t, Γ), (6)
0 y ∈E
Zt X
lim H ? g (t, x) ≡ lim H(x, du, y )g (y , t − u)dt =
t→∞ t→∞
0 y ∈E
Z∞ X
−1
= m α(y )g (y , t) dt.
0 y ∈E
Z∞X
−1
π(Γ) = lim π(x, t, Γ) = m α(x)π (1) (x, t, Γ) dt (7)
t→∞
0 x∈E
Remark
The Generalization to the case of general RS space see in [Jacod (1971) [5],
Nummelin (1978) [9]].
However, if the behavior of the process is enough complex then the calculation
of the function π (1) (x, t, Γ) is also not a simple problem. Its solution can be
(1) (1) (2)
simplied if at any RP (Sn , Sn+1 ] one can nd another embedded RT's Sn,k .
the ow of σ -algebras of events, associated with the process {X (t)} behavior at
the interval T.
Denition
X (S + t) ∈ Γ | FST
P = P {X (S + t) ∈ Γ | X (S)} .
In the gure 3 the structure of an ERT at an interval of some RPr are shown.
X (t)
6
X1
Xk−1
X2
T1 T2 ... Tk ...
Xk
- t
S S1 S2 Sk−1 S
Figure 3: Structure of embedded regeneration periods
Denition
(2) (1)
n o
With xed n the triplet X (t), Sn,k , Tn is called
T (1)
(2) (2) (2)
n o
X Sn,k + t ∈ Γ | F (n2) = P X Sn,k + t ∈ Γ | X Sn,k
P =
Sn,k
(2) (2)
n o
= P X Sn,1 + t ∈ Γ | X Sn,1 . (8)
(2)
the r.v. Snk are called Embedded Regeneration Times (ERT's)
(2) (2) (2) (1) (2) (2)
i
the intervals Tnk = Snk , Snk+1 and their lengths Tnk = Snk+1 − Snk are
States (ERS).
The maximal value of the decomposition level of a DSRP is called its Rank r.
The set of regeneration states of the k -th level denote by Ek .
Remark
Remark
Generally speaking, the embedded regeneration times of some process are not
its regeneration times in the original sense, but since their formal denitions
are the same, the primary results for the SRP are easily extended to the case of
DSRP.
X
N (k) (t, y ) = 1{[0,t),y } Sn(k) , Xn(k) 1
{Sn <T (k−1) }
(k) .
n≥0
X
H (k) (x, t, y ) = Ex (k) (k)
1{[0, t), y } Sn , Xn 1
{Sn <T (k−1) }
(k) .
n≥0
Remark
These notions could be generalize for general measurable (not only denumerable)
regeneration states space (E , E) for any C ∈ E by the following way
X
N (k) (t, C ) = 1{[0,t),C } Sn(k) , Xn(k) 1
{Sn <T (k−1) }
(k) .
n≥0
Theorem
where Q (k) (x; t, y ) and Q (k−1) are the Semi-Markov Matrices of the external and
internal embedded periods and the symbol “?00 denote matrix convolution, given
by this formula.
Proof.
for denumerable states space see in [Jolko, Rykov (1981), Rykov (1997)]. For
general case it could be done analogously.
V.Rykov ICSM-2020 November 30, 2020 28 / 57
Similarly to (6) dierent characteristics of the DSRP of the (k − 1)-th level can
be expressed in terms of its corresponding characteristics of the k -th level.
Particularly, for the one-dimensional distributions
n o
(k) (k)
π (k) (x, t, Γ) = P X Sn−1 + t ∈ Γ, t < Tn(k) | Xn−1 = x (k = 1, r )
where ERM H (k) (x, t, y ) satises the equation (9). These relations make it
possible to recover the process distribution by its distribution on separate minimal
periods of embedded regeneration.
The limit theorem for SRPr's allows to calculate its stationary distributions, and
the system of embedded regeneration periods give it possible to calculate them in
terms of distributions at smallest regeneration periods.
The proposed methods has been applied for dierent models study
For the Priority ququeing systems investigation (V. Rykov, 1975 [10])
For the single -server queue with arbitrary inter-arrival and service time
distributions study (V. Rykov, 1983, 1984 [12] [13]),
For the complex hierarhical systems study (V. Rykov, 1996 [14], V.Rykov
1997a,b [15, 16]).
For the reliability of dierent systems study V. Rykov, D. Kozyrev, 2010 [18]).
In the second part of the talk a new application of the DSRP will be proposed.
This part of the talk is devoted to one new application of the DSRPr.
From practical point of view they create the base for reliability analysis of
dierent complex systems with arbitrary distributed life- and repair times of
their components.
Study of the systems with dependent components was done in [28], [30].
We are interesting in
reliability function
R(t) = P{T > t},
time-dependent state probabilities
stationary probabilities
availability coecient
Kav. = π0 + π1 .
Z∞ Z∞
−sx
ã(s) = e dA(x), b̃(s) = e −sx dB(x),
0 0
Z ∞ Z ∞
ãB (s) = e −sx B(x)dA(x), b̃A (s) = e −sx A(x)dB(x), (10)
0 0
d d
aB = − ãB (s)s=0 , bA = − b̃A (s)s=0 . (11)
ds ds
ãB (s) + ã1−B (s) = ã(s), b̃A (s) + b̃1−A (s) = b̃(s)
Z∞
ãB (s) + b̃A (s) = s e −sx A(x)B(x)dx
V.Rykov
0
ICSM-2020 November 30, 2020 37 / 57
Reliability function I
presented Process J is a regenerative one with delay and its trajectory is
S0 = 0, S1 = A1 , S2 = S1 + G1 , . . . , Sk+1 = Sk + Gk , . . . ,
where regeneration period G is the time interval between two successive returns of
the process J into the state 1 after the system failure and repair, when one of the
system's components begins operate and the other begins to be repaired. This r.v.
satises to the equation
(
A+G if B < A,
G= (12)
B if B > A.
(
A+F if B < A,
F = (13)
A if B > A,
F1 = A + F . (14)
Z∞
= E e −sG = e −st dG (t)
g̃ (s)
0
Z∞ Z
−sx −sy
= dA(x) B(x)e g̃ (s) + e dB(y ) =
y >x
0
Z∞ Z ∞
−sx
= g̃ (s) e B(x)dA(x) + e −sy A(y )dB(y ) =
0
0
= g̃ (s)ãB (s) + b̃A (s),
from which the expression for the regeneration period m.g.f. follows:
b̃A (s)
g̃ (s) = E[e −sG ] = . (15)
1 − ãB (s)
Z∞
f˜(s) = E e −sT = e −st dF (t) =
0
Z∞ h i
= e −sx B(x)f˜(s) + (1 − B(x)) dA(x) =
0
= f˜(s)ãB (s) + ã1−B (s),
from which the expression for m.g.f.' of the system times between failures and
time to the rst failure holds:
aB + bA
g = E[G ] = −g̃ 0 (0) = , (17)
q
Z∞ Z∞
1 1
F̃ (s) = e −st
F (t)dt = e −st dF (t) = f˜(s)
s s
0 0
for LT R̃(s) of the reliability function R(t) = 1 − F (t) from (16) it holds
a a
E[F ] = R̃(0) = = . (19)
1 − ãB (0) q
For the system state probabilities calculation we use the theory of regenerative
processes, accordingly to which the state probabilities of the process in any time t
πj (t) = P{J(t) = j} (j = 0, 1, 2)
(1)
πj (t) = P{J(t) = j, t < G } (j = 0, 1, 2)
Z∞
(1,1) (1)
πi (t) = πi (t) + dH(u)πj (t − u). (20)
In our case as it was mentioned before the process J is a regenerative process with
delay (see gure 4).
(1,1)
πj (t) = P{J(t) = j, t < A} = δj 0 (1 − A(t)), (21)
In terms of the c.d.f. G (t) = P{Gi ≤ t} of r.v.'s Gi the renewal function H(t) is
determined as follows
X X X
H(t) = P Gi ≤ t = G ∗k (t), (22)
k≥1 1≤i≤k k≥1
Z∞ Z∞
1 (1) 1 E[Gj ]
lim πj (t) = πj (t)dt = E[1{J(t)=j} ]dt = , (23)
t→∞ E[G ] E[G ] E[G ]
0 0
(
0 if A ≤ B,
G0 =
A − B + G0 if A > B;
(
A if A ≤ B,
G1 =
B + G1 if A > B;
(
B −A if A ≤ B,
G2 = (24)
G2 if A > B.
ab + bA − b (a + b) − (ab + bA ) aB + bA − a
g0 = , g1 = , g2 = ,
q q q
and therefore taking into account the expression (17) for E[G] the stationary
probabilities are:
b a+b a
π0 = 1 − π1 = − 1, π2 = 1 − . (25)
aB + bA aB + bA aB + bA
With the help of embedded regeneration theory and special transformations the
closed form representation of the reliability function and the steady state
probabilities for the double redundant renewable system with generally distributed
life- and repair times of its components are found.
The publication has been prepared under support of the RUDN University
Program 5-100 (Sections 1 and 2) and funded by RFBR according to the
research projects No. 17-01-00633 (Sections 3 and 4) and No. 17-07-00142
(Section 5).
[2] Smith W.L. Regenerative stochastic processes. Proc.of Royal Soc., Ser. A,
232 (1955)
[3] A.A. Markov. Spreading of the LNL to values depending on of another. Izv.
phisico-math. soc. of Kazan univ. - ser/ 2, V. 15 (1906), pp. 135-156/ (in
Russian).
[7] G.P. Klimov (1966). Stochastic service systems. M.: Nauka, 1966. (In
Russian)
[17] V. Rykov (2009). To Polling Systems analysis. Autom. and Remote Control
No.6 (2009), pp. 90-118.
[19] Gnedenko B.V. On cold double redundant system. Izv. AN SSSR. Texn.
Cybern. (4), 3 12. (1964, In Russian)
[20] Gnedenko B.V. On cold double redundant system with restoration. Izv. AN
SSSR. Texn. Cybern. (5), 111 118 (1964 In Russian)
[21] Solov'ev A.D. On reservation with quick restoration. Izv. AN SSSR. Texn.
Cybern. (1) 56 71. ( 1970, In Russian)
[25] Rykov V., Kozyrev D., Zaripova E. Modeling and simulation of reliability
function of a homogeneous hot double redundant repairable system. In:
Proceedings 31st European Conference on Modeling and Simulation (ECMS
2017), pp. 701-705 (2017). DOI: 10.7148/2017-0701
[26] Efrosinin D., Rykov V., Vishnevskiy V.: Sensitivity of Reliability Models to
the Shape of Life and Repair Time Distributions. In: Proceedings of the 9-th
International Conference on Availability, Reliability and Security (ARES
2014), pp. 430-437 ( 2014) Published in CD: 978-I-4799-4223-7/14, 2014,
IEEE. DOI 10.1109/ARES 2014.65.
[27] Rykov V., Kozyrev D.: On sensitivity of steady state probabilities of a cold
redundant system to the shape of life and repair times distributions of its
elements. Statistics and Simulation, Springer Proceedings in Mathematics &
Statistivs, vol. 231, pp. 391-402 ( 2018). DOI:
10.1007/978-3-319-76035-3_28.
[29] V. Rykov. On Reliability of Renewable Systems. In: Vonta I., Ram M. (eds.)
Reliability Engineering. Theory and Applications, pp. 173-196. CRC Press.
(2018)