Show simple item record

dc.contributor.authorCarrasco, Juan A.
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica
dc.description.abstractThe paper develops a method, called bounding regenerative transformation, for the computation with numerical stability and well-controlled error of bounds for the interval availability distribution of systems modeled by finite (homogeneous) continuous-time Markov chain models with a particular structure. The method requires the selection of a regenerative state and is targeted at a class of models, class C'_1, with a “natural” selection for the regenerative state. For class C'_1 models, bounds tightness can be traded-off with computational cost through a control parameter D_C, with the option D_C = 1 yielding the smallest computational cost. For large class C'_1 models and the selection D_C = 1, the method will often have a small computational cost relative to the model size and, with additional conditions, seems to yield tight bounds for any time interval or not small time intervals, depending on the initial probability distribution of the model. Class C'_1 models with those additional conditions include both exact and bounding failure/repair models of coherent fault-tolerant systems with exponential failure and repair time distributions and repair in every state with failed components with failure rates much smaller than repair rates.
dc.format.extent34 p.
dc.subjectÀrees temàtiques de la UPC::Informàtica::Automàtica i control
dc.subject.lcshProbability and statistics
dc.subject.lcshMarkov processes
dc.titleAn efficient and numerically stable method for computing interval availability distribution bounds
dc.typeExternal research report
dc.subject.lemacMarkov, Processos de
dc.contributor.groupUniversitat Politècnica de Catalunya. QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat
dc.rights.accessOpen Access

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder