Exploració per autor "Carrasco, Juan A."
Ara es mostren els items 21-40 de 72
-
Bounding steady-state availability models with group repair and phase type repair distributions
Carrasco, Juan A. (1999-05)
Article
Accés obertWe propose an algorithm to obtain bounds for the steady-state availability using Markov models in which only a small portion of the state space is generated. The algorithm is applicable to models with group repair and ... -
Bounding steady-state availability models with phase type repair distributions
Carrasco, Juan A. (1998)
Comunicació de congrés
Accés obertWe propose a method to obtain bounds for the steady-state availability using Markov models in which only a small portion of the state space is generated. The method is applicable to models with phase type repair distributions ... -
Combinatorial methods for the evaluation of yield and operational reliability of fault-tolerant systems-on-chip
Carrasco, Juan A.; Suñé, Víctor (2004-02)
Article
Accés obertIn this paper we develop combinatorial methods for the evaluation of yield and operational reliability of fault-tolerant systems-on-chip. The method for yield computation assumes that defects are produced according to a ... -
Comment on "Performability analysis: a new algorithm"
Suñé, Víctor; Carrasco, Juan A.; Nabli, H; Sericola, B (2010-01)
Article
Accés obertThe paper “Performability Analysis: A New Algorithm” describes an algorithm for computing the complementary distribution of the accumulated reward over an interval of time in a homogeneous Markov process. In this comment, ... -
Computation of absorption probability distributions of continuous-time Markov chains using regenerative randomization
Carrasco, Juan A.; Calderón, A (Institute of Electrical and Electronics Engineers (IEEE), 1995)
Text en actes de congrés
Accés obertRandomization is a popular method for the transient solution of continuous-time Markov models. Its primary advantages over other methods (i.e., ODE solvers) are robustness and ease of implementation. It is however well-known ... -
Computation of Bounds for Transient Measures of Large Rewarded Markov Models using Regenerative Randomization
Carrasco, Juan A. (2003-06)
Article
Accés obertIn this paper we generalize a method (called regenerative randomization) for the transient solution of continuous time Markov models. The generalized method allows to compute two transient measures (the expected transient ... -
Computationally efficient and numerically stable reliability bounds for repairable fault-tolerant systems
Carrasco, Juan A. (2002-03)
Article
Accés obertThe transient analysis of large continuous time Markov reliability models of repairable fault-tolerant systems is computationally expensive due to model stiffness. In this paper, we develop and analyze a method to compute ... -
Corrections on “Failure Transition Distance-Based Importance Sampling Schemes for the Simulation of Repairable Fault-Tolerant Computer Systems"
Carrasco, Juan A. (Institute of Electrical and Electronics Engineers (IEEE), 2007-06-01)
Article
Accés obertVarious corrections to the above titled paper (ibid., vol. 55, no. 2, pp. 207-236) are presented. The corrections do not propagate to any other part of the paper and do not affect the correctness of the experimental results ... -
Corrigendum: "Transient Analysis of Rewarded Continuous Time Markov Models by Regenerative Randomization with Laplace Transform Inversion"
Carrasco, Juan A. (Wiley Heyden, 2008-06-01)
Article
Accés obertClarifications regarding paper with same title and authors published in the same journal. -
Cumulative dominance and heuristic performance in binary multi-attribute choice
Carrasco, Juan A.; Baucells, M; Hogarth, R M (2005-09-01)
Report de recerca
Accés obertSeveral studies have reported high performance of simple decision heuristics in multi-attribute decision making. In this paper, we focus on situations where attributes are binary and analyze the performance of Determinis ... -
Cumulative dominance and heuristic performance in binary multiattribute choice
Carrasco, Juan A.; Baucells, M; Hogarth, R M (2008-09)
Article
Accés obertSeveral studies have reported high performance of simple decision heuristics in multi-attribute decision making. In this paper, we focus on situations where attributes are binary and analyze the performance of Determinis ... -
Efficient exploration of availability models guided by failure distances
Carrasco, Juan A.; Calderón, A; Escribá, J (1996-05)
Article
Accés obertRecently, a method to bound the steady-state availability using the failure distance concept has been proposed. In this paper we refine that method by introducing state space exploration techniques. In the methods proposed ... -
Efficient implementations of the randomization method with control of the relative error
Suñé, Víctor; Carrasco, Juan A. (2005-05)
Article
Accés obertRandomization is a well-known numerical method for the transient analysis of continuous-time Markov chains. The main advantages of the method are numerical stability, well-controlled computation error and ability to specify ... -
Efficient transient simulation of failure/repair markovian models
Carrasco, Juan A. (1991)
Text en actes de congrés
Accés obertSimulation methods have recently been developed for the solution of the extremely large Markovian dependability models which result from complex fault-tolerant computer systems. This paper presents efficient simulation ... -
Evaluation of a state observer for frequency estimation in a grid tied photovoltaic inverter
Cabrera Tobar, Ana; Gomis Bellmunt, Oriol; Carrasco, Juan A.; Barnes, Mike (2018)
Text en actes de congrés
Accés restringit per política de l'editorialAhstract-A phase locked loop (PLL) is commonly used to measure the electrical frequency deviations in PV grid tied inverters. However, this control is affected by sudden changes of power that usually happens with this type ... -
Evaluation of safety-oriented two-version architectures
Carrasco, Juan A.; Figueras Pàmies, Joan; Kuntzman, A (1991-03)
Article
Accés obertA Markov model taking into account physical and design faults for a two-version architecture oriented to safety-related applications is developed. Only a probabilistic knowledge of the initial state of the versions in ... -
Failure distance based bounds for steady-state availability without the kwnowledge of minimal cuts
Suñé, Víctor; Carrasco, Juan A. (1999)
Text en actes de congrés
Accés obertWe propose an algorithm to compute bounds for the steady-state unavailability using continuous-time Markov chains, which is based on the failure distance concept. The algorithm generates incrementally a subset of the state ... -
Failure distance-based simulation of repairable fault-tolerant systems
Carrasco, Juan A. (Elsevier, 1992)
Text en actes de congrés
Accés obertThis paper presents a new importance sampling scheme called failure biasing for the efficient simulation of Markovian models of repairable fault-tolerant systems. The new scheme enriches the failure biasing scheme previously ... -
Failure transition distance-based importance sampling schemes for the simulation of repairable fault-tolerant computer systems
Carrasco, Juan A. (Institute of Electrical and Electronics Engineers (IEEE), 2006-06)
Article
Accés obertMarkov models are often used to evaluate dependability attributes of fault-tolerant computer systems. The use in practice of Markov models is, however, hampered by the well-known state space explosion problem. Simulation ... -
Frozen Jacobian multistep iterative method for solving nonlinear IVPs and BVPs
Ahmad, Fayyaz; Shafiq Ur, Rehman; Ullah, Malik Zaka; Aljahdali, Hani Moaiteq; Alshomrani, Ali Saleh; Carrasco, Juan A.; Ahmad, Shamshad (2017-01-01)
Article
Accés obertIn this paper, we present and illustrate a frozen Jacobian multistep iterative method to solve systems of nonlinear equations associated with initial value problems (IVPs) and boundary value problems (BVPs). We have used ...