This paper addresses the problems of robust fault estimation and fault-tolerant control for Takagi–Sugeno (T–S) fuzzy systems with time delays and unknown sensor faults. A fuzzy augmented state and fault observer is designed to achieve the system state and sensor fault estimates simultaneously. Furthermore, based on the information of on-line fault estimates, an observer-based dynamic output fe...

This paper addresses the problem of robust fault estimation and fault tolerant control of a continuous age structured model of a harvested fishery system. The harvested fish population is represented by TakagiSugeno fuzzy systems, where the effort is used as a control term, the age classes as a states and the quantity of captured fish per unit of effort as a measured output. Under some biologic...

Runtime verification (RV) is a natural fit for ultra-critical systems, where correctness is imperative. In ultra-critical systems, even if the software is fault-free, because of the inherent unreliability of commodity hardware and the adversity of operational environments, processing units (and their hosted software) are replicated, and fault-tolerant algorithms are used to compare the outputs....

In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system, together with the relevant fault hypothesis and faulttolerant mechanism templates in a pool are translated into a distributed game, and we perform an incomplete search of strategies to cope with undecidability. The re...

This paper presents a fault detection, isolation and reconstruction (FDIR) mechanism for the fault-tolerant system. A self-detection component is introduced to the normal dual-channel redundant system, and the component can detect the outputs of the behavior model and the nominal system model. The control strategy is reconfigured by using the differences between the outputs of the behavior mode...

Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-agent system by refinement in Event-B. We demonstrate how to formally specify cooperative error recovery and dynamic reconfiguration in Event-B. Moreover, we discuss how to express and verify essential properties of a ...

In this paper, we propose a new fault-tolerant model for replication in distributed-file systems. We combine the advantages of the modular redundancy, primary-stand-by, and weighted priority schemes to address the fault-tolerant model. To fulfill the fault-tolerant requirements, we use the ideas of directoryoriented replication and the extended prefix table while incorporating a two-level heap ...

A fuzzy fault-tolerant control scheme is proposed for a class of multiple input fuzzy bilinear systems with unmeasurable states. First, a fuzzy detective observer is designed to detect the fault. Based on the developed detective observer, a fuzzy controller is proposed to guarantee the closed-loop system without faults is asymptotically stable. Then, a fuzzy adaptive diagnostic observer is desi...