Asymptotic Stability of a Series-Parallel Repairable System Consisting of Three-Unit with Multiple Vacations of a Repairman

We study a series-parallel repairable system consisting of three units with multiple vacations of a repairman. We first show that all points on the imaginary axis except zero belong to the resolvent set of the operator and zero is an eigenvalue of the operator, and then we prove that the semigroup generated by the operator is irreducible. By combining these results with our previous result we deduce that the dynamic solution of the system converges strongly to its steady-state solution. Thus we obtain asymptotic stability of the dynamic solution of the system.


Introduction
The series-parallel repairable system consisting of three units, as one of the important systems in reliability applications, has been studied in previous literatures.Li et al. [1] studied a repairable system with three units and two different repair facilities, and obtained the explicit expressions of the state probabilities of the system and the steady-state reliability of the system.Kovalenko [2] investigated a three-component system consisting of one master control element and two slave elements with priority serving by a single repair facility, and obtained the failure frequency and the average up-time.In those literatures, the authors assumed that the failed unit would be immediately repaired and as good as new after repair.But in practice, due to various reasons, the failed unit cannot be immediately repaired.In addition, in the case of good units, the repairman leaves for a vacation or does other work, which can increase the profit of the system.From this point, to study reliability of repairable systems with a repairman who can take a vacation or can do other work is important in terms of theory and practice.Hu et al. [3] considered a series-parallel repairable system with three units and multiple vacations of a repairman; they obtained the reliability indices of the system by using the method of supplement variables, the vector Markov progress method and the tool of the Laplace transform.They used the dynamic solution in calculating the availability and the reliability.But they did not discuss the existence of the dynamic solution and the asymptotic stability of the dynamic solution.Haji et al. [4] proved that the above system has a unique nonnegative dynamic solution under the assumption 1.1 by using results from the theory of positive operators and semigroups that can be found in [5] and [6].In this paper, we further study this system and prove that the dynamic solution converges strongly to the steady state solution under the assumption 1.1.

Fundamental Principles
Our main focus in this paper is on the asymptotic stability of the dynamic solution of the system.We prove that the dynamic solution converges strongly to the steady state solution which is the eigenfunction corresponding to eigenvalue 0 of the system operator.To this purpose we first prove that 0 is an eigenvalue of the system operator we obtain that all points on the imaginary axis except zero belong to the resolvent set of the system operator, and then we prove that the semigroup generated by the operator is irreducible.By combining these results with our previous result we deduce that the dynamic solution of the system converges strongly to its steady-state solution.
According to [3], the series-parallel repairable system consisting of three-unit with multiple vacations of a repair-man can be described by the following system of partial differential equations with integral boundary conditions: ( ) ( ) ( ) ( ) ( ) ( ) ( ) , , , p t y b y p t y t y ( ) ( ) ( ) , , , p t y b y p t y t y ( ) ( ) ( ) , 0 , 0 , 0 , 0 0, p t p t p t p t and the initial conditions ( ) ( ) 0 , d : p t x x the probability that at time t all the three units are operating, the repairman is in vacation, the system is good and the elapsed vacation time lies in [ ) ( ) 1 , d : p t x x the probability that at time t unit 1 and one of unit 2 and unit 3 are operating, another one is waiting for repair, the repairman is in vacation, the system is good and the elapsed vacation time lies in [ ) ( ) 2 , d : p t x x the probability that at time t unit 2 and unit 3 are temporarily halted, unit 1 is waiting for repair, the repairman is in vacation, the system is down and the elapsed repair time lies in [ ) ( ) 3 , d : p t x x the probability that at time t one of unit 2 and unit 3 is tem- porarily halted, another one is waiting for repair, unit 1 is also waiting for repair , the repairman is in vacation, the system is down and the elapsed vacation time lies in [ ) ( ) 4 , d : p t x x the probability that at time t unit 1 is temporarily halted, unit 2 and unit 3 are waiting for repair, is also waiting for repair, the repairman is in vacation, the system is down and the elapsed vacation time lies in [ ) ( ) In [4], the authors transformed the system into an abstract Cauchy problem [5], Def.II.6.1] on the Banach space ( ) , 0, 0, 0, 0, 0, 0, 0, 0, 0 , )     0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

The Main Result
To prove our main result on the asymptotic stability of the dynamic solution of system, we first prove the some lemmas.In [7], A. Haji and A. Radl gave the following result.Lemma 2.1: Let ( )    From ( 33)-(42) we know that the matrix 0 FD is column stochastic and thus ( ) . Applying Lemma 2.1(i), we immediately obtain ( ) . Using Lemma 2.1(ii) we can show that 0 is the only spectral value of A on the imaginary axis.
Lemma 2.3: The spectrum ( ) , then it is not difficult to derive that 1 ai FD < , thus the spectral radius fulfills ( ) < .This implies ( ) where The resolvent operator of the differential operators

Conclusion
In this paper, we investigated a series-parallel repairable system consisting of three units with multiple vacations of a repairman.The study of the dynamic solution as well as its stability is in demand in terms of theory and practice.We discussed the asymptotic stability of the dynamic solution and showed that the dynamic solution converges strongly to the steady state solution by analyzing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator.
p t y y the probability that at time t unit 1 and one of unit 2 and unit 3 are operating, another one being repaired by the repairman, the system is good and the elapsed repair time of unit 2 or unit 3 lies in [ ) p t y y the probability that at time t unit 2 and unit 3 are temporarily halted, unit 1 being repaired, the system is down and the elapsed repair time of unit 1 lies in [ ) p t y y the probability that at time t one of unit 2 and unit 3 are tem- porarily halted, another one is waiting for repair, unit 1 being repaired, the system is down and the elapsed repair time of unit 1 lies in [ ) p t y y the probability that at time t unit 1 is temporarily halted, one of unit 2 and unit 3 is waiting for repair, another one being repaired by the repairman, the system is down and the elapsed repair time of unit 2 or unit 3 p t y y the probability that at time t unit 1 is waiting for repair, one of unit 2 and unit 3 is temporarily halted, another one being repaired by the repairman, the system is down and the elapsed repair time of unit 2 or unit 3 lies in [ ) y the repair rate function of unit 1 and unit 2 (or unit 3).Assumption 1.1:The functions ( )