This paper provides a different view for understanding problems and faults with the goal of defining a method for the formal specification of systems. To accomplish this task we need to pass through a non trivial number of steps, concepts and tools where the first one, the most important, is the concept of method itself, since we realized that computer science has a proliferation of languages b...

Reliability analysis of fault tolerant systems often ignores the small probability that a failure might not be detected or, if detected, may not be properly handled. The probability that the failure is detected and properly handled is called coverage. Inclusion of coverage in reliability analysis is especially important when analyzing critical systems, systems which for some reason are not easi...

This paper aims to provide a high performance sensorless control based on an Extended Kalman Filter (EKF) applied to fault-tolerant PMSM drive system with statorresistance estimation. It proposes a fast method of fault switches detection in the power converters. The considered drive is composed of three phases PMSM and a four leg three phase’s inverter when the fourth is the redundant leg. Afte...

An analysis of the failure statistics of a commercially available fault-tolerant system shows that administration and software are the major contributors to failure. Various approaches to software fault-tolerance are then discussed notably process-pairs, transactions and reliable storage. It is pointed out that faults in production software are often (transient) and that a transaction mechanism...

This paper discusses the fault tolerant control problem for discrete event systems modeled by Petri nets. The fault is represented by the unobservable transitions. Firstly, an observer-based fault diagnosis method is proposed to estimate the marking with unknown initial markings and meanwhile, to diagnose the faulty behavior. Then, an adaptive fault tolerant controller is designed to maintain t...

In this paper the problem of active fault tolerant control design for noisy systems described by Takagi-Sugeno fuzzy models is studied. The proposed control strategy is based on the known of the fault estimated and the error between the faulty system state and a reference system state. The considered systems are affected by actuator and sensor faults and have the weighting functions depending o...

Some basic ideas underlying the EU project IFATIS (intelligent fault tolerant control in integrated systems) are described. Faults in the plant (controlled system) as well as in the controllers (computer systems) are taken into account. Plant modules and controller modules are considered as resources. Needed application functions (partial processes) are to be allocated to such resources to run ...

Stimulated by the growing demand for improving system performance and reliability, fault-tolerant system design has been receiving significant attention. This paper proposes a new fault-tolerant control methodology using adaptive estimation and control approaches based on the learning capabilities of neural networks or fuzzy systems. On-line approximation-based stable adaptive neural/fuzzy cont...

We estimate the resources required in fusion-based quantum computing scheme to simulate electrolyte molecules Li-ion batteries on a fault-tolerant, photonic computer. focus that can provide practical solutions industrially relevant problems. Certain fault-tolerant operations require use of single-qubit "magic states" prepared by dedicated state factories" (MSFs). Producing and consuming magic s...

Fault tolerance plays a major role in quantum computer design. As the quantum environment is not stable enough when the information is read from it, better designs with error correcting capability have to be designed to overcome the information loss due to decoherence in quantum circuits. This paper presents one such fault tolerant design using a new reversible gate.