Solving large interval availability models using a model transformation approach
type: Item
instance of: scholarly article
title: Solving large interval availability models using a model transformation approach
zbMATH Open document ID: 1044.60085
DOI: 10.1016/S0305-0548(03)00036-4
published in: Computers \& Operations Research
publication date: 2004-06-15T00:00:00Z
review text: Fault-tolerant systems are often modeled using continuous time Markov chains. Computation of the distribution of the interval availability, i.e. of the distribution of the fraction of time in a time interval in which the system is operational, of a fault-tolerant system modeled by a continuous time Markov chain, is an important problem which has received attention recently. The author develops a new method to compute the distribution of the interval availability which, for large enough models and large enough time intervals, is significantly faster than previous methods.
Mathematics Subject Classification ID: 60K10
Mathematics Subject Classification ID: 90B25
Mathematics Subject Classification ID: 68M15
zbMATH DE Number: 2075486
zbMATH Keywords: fault-tolerant computer systems
zbMATH Keywords: continuous time Markov chains
zbMATH Keywords: interval availability distribution
zbMATH Keywords: Randomization
zbMATH Keywords: Model transformation
author: Juan A. Carrasco
reviewed by: Moshe Shaked
MaRDI profile type: Publication
cites work: Reliability Analysis of a One-Unit System
cites work: Q3218851
cites work: Interval availability analysis using operational periods
cites work: Interval availability analysis using denumerable Markov processes: application to multiprocessor subject to breakdowns and repair
cites work: Closed-form solution for the distribution of the total time spent in a subset of states of a homogeneous Markov process during a finite observation period
cites work: Occupation times in markov processes
cites work: Q5691143
cites work: Q4109064
cites work: Computation of the Chi-Square and Poisson Distribution
cites work: Q3923308
cites work: A benchmark for ph estimation algorithms: results for acyclic-ph
cites work: Q5342712
cites work: Q4331783
cites work: Non-negative matrices and Markov chains. 2nd ed
description: scientific article; zbMATH DE number 2075486