Displaying similar documents to “Simulation of high available fault-tolerant systems by simulating stiff and large Markov chains.”

Simulation of transient performance measures for stiff markov chains

Abdelaziz Nasroallah (2010)

RAIRO - Operations Research

Similarity:

We consider the simulation of transient performance measures of high reliable fault-tolerant computer systems. The most widely used mathematical tools to model the behavior of these systems are Markov processes. Here, we deal basically with the simulation of the mean time to failure (MTTF) and the reliability, R(t), of the system at time t. Some variance reduction techniques are used to reduce the simulation time. We will combine two of these techniques: Importance Sampling and...

Mode set focused hybrid estimation

Theresa Rienmüller, Michael Hofbaur, Louise Travé-Massuyès, Mehdi Bayoudh (2013)

International Journal of Applied Mathematics and Computer Science

Similarity:

Estimating the state of a hybrid system means accounting for the mode of operation or failure and the current state of the continuously valued entities concurrently. Existing hybrid estimation schemes try to overcome the problem of an exponentially growing number of possible mode-sequence/continuous-state combinations by merging hypotheses and/or deducing likelihood measures to identify tractable sets of the most likely hypotheses. However, they still suffer from unnecessarily high computational...

Reliability modeling of fault tolerant control systems

Hongbin Li, Qing Zhao, Zhenyu Yang (2007)

International Journal of Applied Mathematics and Computer Science

Similarity:

This paper proposes a novel approach to reliability evaluation for active Fault Tolerant Control Systems (FTCSs). By introducing a reliability index based on the control performance and hard deadline, a semi-Markov process model is proposed to describe system operation for reliability evaluation. The degraded performance of FTCSs in the presence of imperfect Fault Detection and Isolation (FDI) is reflected by semi-Markov states. The semi-Markov kernel, the key parameter of the process,...

Fault diagnosis and fault tolerant control using set-membership approaches: Application to real case studies

Vicenç Puig (2010)

International Journal of Applied Mathematics and Computer Science

Similarity:

This paper reviews the use of set-membership methods in fault diagnosis (FD) and fault tolerant control (FTC). Setmembership methods use a deterministic unknown-but-bounded description of noise and parametric uncertainty (interval models). These methods aims at checking the consistency between observed and predicted behaviour by using simple sets to approximate the exact set of possible behaviour (in the parameter or the state space). When an inconsistency is detected between the measured...

Bayesian reliability models of Weibull systems: State of the art

Abdelaziz Zaidi, Belkacem Ould Bouamama, Moncef Tagina (2012)

International Journal of Applied Mathematics and Computer Science

Similarity:

In the reliability modeling field, we sometimes encounter systems with uncertain structures, and the use of fault trees and reliability diagrams is not possible. To overcome this problem, Bayesian approaches offer a considerable efficiency in this context. This paper introduces recent contributions in the field of reliability modeling with the Bayesian network approach. Bayesian reliability models are applied to systems with Weibull distribution of failure. To achieve the formulation...

Detection and identification of loss of efficiency faults of flight actuators

Daniel Ossmann, Andreas Varga (2015)

International Journal of Applied Mathematics and Computer Science

Similarity:

We propose linear parameter-varying (LPV) model-based approaches to the synthesis of robust fault detection and diagnosis (FDD) systems for loss of efficiency (LOE) faults of flight actuators. The proposed methods are applicable to several types of parametric (or multiplicative) LOE faults such as actuator disconnection, surface damage, actuator power loss or stall loads. For the detection of these parametric faults, advanced LPV-model detection techniques are proposed, which implicitly...