Browsing by Author "Carrasco, Juan A."
Now showing items 1-20 of 72
-
A combinatorial method for the evaluation of yield of fault-tolerant systems-on-chip
(2003)
Conference report
Open AccessIn this paper we develop a combinatorial method for the evaluation of yield of fault-tolerant systems-on-chip. The method assumes that defects are produced according to a model in which defects are lethal and affect given ... -
A comparison of numerical splitting-based methods for Markovian dependability and performability models
(Springer, 1998)
Conference report
Open AccessIterative numerical methods are an important ingredient for the solution of continuous time Markov dependability models of fault-tolerant systems. In this paper we make a numerical comparison of several splitting-based ... -
A failure-distance based method to bound the reliability of non-repairable Fault-tolerant systems without the knowledge of minimal cuts
(2000-12-11)
Research report
Open AccessCTMC (continuous-time Markov chains) are a commonly used formalism for modeling fault-tolerant systems. One of the major drawbacks of CTMC is the well-known state-space explosion problem. This work develops and analyzes ... -
A failure-distance dased method to bound the reliability of non-repairable fault-tolerant systems without the knowledge of minimal cuts
(Institute of Electrical and Electronics Engineers (IEEE), 2001-03)
Article
Open AccessCTMC (continuous-time Markov chains) are a commonly used formalism for modeling fault-tolerant systems. One of the major drawbacks of CTMC is the well-known state-space explosion problem. This paper develops and analyzes ... -
A generalized method for the transient analysis of Markov models of fault-tolerant systems with deferred repair
(2005-07)
Article
Open AccessRandomization is an attractive alternative for the transient analysis of continuous time Markov models. The main advantages of the method are numerical stability, well-controlled computation error, and ability to specify ... -
A generalized method for the transient analysis of Markov models of fault-tolerant systems with deferred repair
(2009-09-15)
Research report
Open AccessRandomization is an attractive alternative for the transient analysis of continuous time Markov models. The main advantages of the method are numerical stability, well-controlled computation error and ability to specify ... -
A method for the computation of reliability bounds for non-repairable fault-tolerant systems
(1997)
Conference report
Open AccessA realistic modeling of fault-tolerant systems requires to take into account phenomena such as the dependence of component failure rates and coverage parameters on the operational configuration of the system, which cannot ... -
A new general-purpose method for the computation of the interval availability distribution
(2013-11-18)
Article
Open AccessWe develop a new randomization-based general-purpose method for the computation of the interval availability distribution of systems modeled by continuous-time Markov chains (CTMCs). The basic idea of the new method is ... -
A new method for computing the largest singular value and an associated right singular vector of a complex matrix
(2023-09-28)
Research report
Open AccessA new method for computing the largest singular value \xi_1 and an associated right singular vector of a large and sparse complex matrix A is developed. The method accelerates a new method for computing \xi_1 and an ... -
A Numerical method for the evaluation of the distribution of cumulative reward till exit of a Subset of transient states of a Markov reward model
(IEEE Computer Society Publications, 2011-09-12)
Article
Open AccessMarkov reward models have interesting modeling applications, particularly those addressing fault-tolerant hardware/software systems. In this paper, we consider a Markov reward model with a reward structure including only ... -
A Parameterized multi-step Newton method for solving systems of nonlinear equations
(2016-03-01)
Article
Open AccessWe construct a novel multi-step iterative method for solving systems of nonlinear equations by introducing a parameter. to generalize the multi-step Newton method while keeping its order of convergence and computational ... -
Adapted importance sampling schemes for the simulation of dependability models of Fault-tolerant systems with deferred repair
(2006)
Conference report
Open AccessThis paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems with deferred repair. We start by stating sufficient conditions for a given importance sampling scheme to satisfy the bounded ... -
An algorithm to find minimal cuts of coherent fault-trees with event-classes using a decision tree
(Institute of Electrical and Electronics Engineers (IEEE), 1999-03)
Article
Open AccessA new algorithm (CS-MC) for computing the minimal cuts of s-coherent fault trees is presented. Input events of the fault tree are assumed classified into classes, where events of the same class are indistinguishable. This ... -
An efficient and numerically stable method for computing bounds for the interval availability distribution
(2011)
Article
Open AccessThis paper is concerned with the computation of the interval availability (proportion of time in a time interval in which the system is up) distribution of a fault-tolerant system modeled by a finite (homogeneous) ... -
An efficient and numerically stable method for computing interval availability distribution bounds
(2009-09-15)
Research report
Open AccessThe 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 ... -
An efficient iterative method for computing deflections of Bernoulli–Euler–von Karman beams on a nonlinear elastic foundation
(2018-10-01)
Article
Open AccessAn efficient iterative method is developed for the static analysis of large deflections of an infinite beam with variable cross-section resting on a nonlinear foundation. A pseudo spring constant is added and explicit ... -
An ROBDD-based combinatorial method for the evaluation of yield of defect-tolerant systems-on-chip
(2009-02)
Article
Open AccessIn this paper, we develop a combinatorial method for the evaluation of the functional yield of defect-tolerant systems-on chip (SoC). The method assumes that random manufacturing defects are produced according to a model ... -
Analysis of sparse numerical methods for dependability evaluation
(ACTA Press, 1987)
Conference report
Open AccessHomogeneous, continuous-time Markov chains are an usual mathematical tool for dependability evaluation of computer systems. Complex systems rise the large state space problem, thus making mandatory the use of efficient ... -
Apunts Electrònica ETSEIB
(Universitat Politècnica de Catalunya, 2022-09-06)
Lecture notes
Open Access -
Automated construction of compound Markov chains from generalized stochastic high-level Petri nets
(1989)
Conference report
Open AccessA new type of Petri nets: Generalized Stochastic High-Level Petri nets (GSHLPN’s), collecting the qualities of GSPN’s and SHLPN’s, is presented. The automated construction of compound continuous-time Markov chains (CTMC’s) ...
