We are concerned with the computation of the mean-time-to-failure(MTTF) for a large system of loosely interconnected components, mod-eled as continuous time Markov chains. In particular, we show that split-ting the local and synchronization transitions of the smaller subsystemsallows to formulate an algorithm for the computation of the MTTF whichis proven to be linearly convergent. Then, we show how to modify themethod to make it quadratically convergent, thus overcoming the difficul-ties for problems with convergent rate close to1.In addition, it is shown that this decoupling of local and synchroniza-tion transitions allows to easily represent all the matrices and vectors in-volved in the method in the tensor-train (TT) format -- and we providenumerical evidence showing that this allows to treat large problems withup to billions of states -- which would otherwise be unfeasible.

Tensor methods for the computation of MTTF in large systems of loosely interconnected components

Robol L
2019

Abstract

We are concerned with the computation of the mean-time-to-failure(MTTF) for a large system of loosely interconnected components, mod-eled as continuous time Markov chains. In particular, we show that split-ting the local and synchronization transitions of the smaller subsystemsallows to formulate an algorithm for the computation of the MTTF whichis proven to be linearly convergent. Then, we show how to modify themethod to make it quadratically convergent, thus overcoming the difficul-ties for problems with convergent rate close to1.In addition, it is shown that this decoupling of local and synchroniza-tion transitions allows to easily represent all the matrices and vectors in-volved in the method in the tensor-train (TT) format -- and we providenumerical evidence showing that this allows to treat large problems withup to billions of states -- which would otherwise be unfeasible.
2019
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Markov chain
CTMC
Stochastic modeling
Kronecker algebra
Tensor
Exponential sums
Matrix functions
Stochastic automata networks
File in questo prodotto:
File Dimensione Formato  
prod_399425-doc_138410.pdf

accesso aperto

Descrizione: Tensor methods for the computation of MTTF in large systems of loosely interconnected components
Dimensione 1.02 MB
Formato Adobe PDF
1.02 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/358882
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact