84 research outputs found
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models
This paper presents an on-the-fly uniformization technique for the analysis
of time-inhomogeneous Markov population models. This technique is applicable to
models with infinite state spaces and unbounded rates, which are, for instance,
encountered in the realm of biochemical reaction networks. To deal with the
infinite state space, we dynamically maintain a finite subset of the states
where most of the probability mass is located. This approach yields an
underapproximation of the original, infinite system. We present experimental
results to show the applicability of our technique
Techniques for the Fast Simulation of Models of Highly dependable Systems
With the ever-increasing complexity and requirements of highly dependable systems, their evaluation during design and operation is becoming more crucial. Realistic models of such systems are often not amenable to analysis using conventional analytic or numerical methods. Therefore, analysts and designers turn to simulation to evaluate these models. However, accurate estimation of dependability measures of these models requires that the simulation frequently observes system failures, which are rare events in highly dependable systems. This renders ordinary Simulation impractical for evaluating such systems. To overcome this problem, simulation techniques based on importance sampling have been developed, and are very effective in certain settings. When importance sampling works well, simulation run lengths can be reduced by several orders of magnitude when estimating transient as well as steady-state dependability measures. This paper reviews some of the importance-sampling techniques that have been developed in recent years to estimate dependability measures efficiently in Markov and nonMarkov models of highly dependable system
Modelo para un sistema multi estado reparable con tasas de reparación y fallas variables en el tiempo utilizando modelos de dinámica de sistemas equivalente
This paper treats with the reliability assessment of a Repairable Multi-State System (RMSS) by means of a Nonhomogeneous Continuous-Time Markov Chain (NH-CTMC). A RMSS run on different operating conditions that may be considered acceptable or unacceptable according to a defined demand level. In these cases, the commonly used technique is Homogeneous Continuous-Time Markov Chain (H-CTMC), since its solution is mathematically tractable. However, the H-CMTC involve that the time between state transitions is exponentially distributed, and the failure and repair rates are constants. It's certainly not true if the system components age with the operation or if the repair activities depend on the instant of time when the failure occurred. In these cases, the failure and repair rates are time-varying and the NH-CTMC is needed to be considered. Nevertheless, for these models the analytical solution may not exist and the use of others techniques is required. This paper proposes the use of an Equivalent Systems Dynamics Model (ESDM) to model a NH-CTMC. A ESDM represent the Markov Model (MM) by means of the language and the tools of the Systems Dynamics (SD), and the results are obtained by simulation. As an example, an RMSS with three components, failure rates associated with the Weibull distribution and repair rates associated with the Log-logistic distribution is developed. This example serves to identify the advantages and disadvantages of a ESDM to make model a RMSS and evaluate some reliability measures.This paper treats with the reliability assessment of a Repairable Multi-State System (RMSS) by means of a Nonhomogeneous Continuous-Time Markov Chain (NH-CTMC). A RMSS run on different operating conditions that may be considered acceptable or unacceptable according to a defined demand level. In these cases, the commonly used technique is Homogeneous Continuous-Time Markov Chain (H-CTMC), since its solution is mathematically tractable. However, the H-CMTC involve that the time between state transitions is exponentially distributed, and the failure and repair rates are constants. It's certainly not true if the system components age with the operation or if the repair activities depend on the instant of time when the failure occurred. In these cases, the failure and repair rates are time-varying and the NH-CTMC is needed to be considered. Nevertheless, for these models the analytical solution may not exist and the use of others techniques is required. This paper proposes the use of an Equivalent Systems Dynamics Model (ESDM) to model a NH-CTMC. A ESDM represent the Markov Model (MM) by means of the language and the tools of the Systems Dynamics (SD), and the results are obtained by simulation. As an example, an RMSS with three components, failure rates associated with the Weibull distribution and repair rates associated with the Log-logistic distribution is developed. This example serves to identify the advantages and disadvantages of a ESDM to make model a RMSS and evaluate some reliability measures
- …