Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Fault-tolerant computer system design
Fault-tolerant computer system design
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
Automatica (Journal of IFAC)
The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System
IEEE Transactions on Computers
Brief paper: Supervisory fault tolerant control for a class of uncertain nonlinear systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Paper: A survey of design methods for failure detection in dynamic systems
Automatica (Journal of IFAC)
Brief Robust fault-tolerant self-recovering control of nonlinear uncertain systems
Automatica (Journal of IFAC)
Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming
Automatica (Journal of IFAC)
Implicit fault-tolerant control: application to induction motors
Automatica (Journal of IFAC)
Coverage in fault-tolerant control
Automatica (Journal of IFAC)
Hi-index | 22.14 |
In this paper, we propose an approach for modeling fault coverage in nonlinear dynamical systems. Fault coverage gives a measure of the likelihood that a system will be able to recover after a fault occurrence. In our setup, the system dynamics are described by a standard state-space model. The system input (disturbance) is considered to be unknown but bounded at all times. Before any fault occurrence, the vector field governing the system dynamics is such that, for any possible input signal, the corresponding system reach set is contained in some region of the state space defined by the system performance requirements. When a fault occurs, the vector field that governs the system dynamics might be altered. Fault coverage is defined as the probability that, given a fault has occurred, the system trajectories remain, at all times, within the region of the state-space defined by the performance requirements. Input-to-state stability (ISS) concepts are used to compute estimates of the proposed coverage model. Several examples are discussed in order to illustrate the proposed modeling approach.