A Generalized Fault Coverage Model for Linear Time-Invariant Systems

Abstract

This paper proposes a fault coverage model for Linear Time-Invariant (LTI) systems subject to uncertain input. A state-space representation, defined by the state-transition matrix, and the input matrix, is used to represent LTI system dynamic behavior. The uncertain input is considered to be unknown but bounded, where the bound is defined by an ellipsoid. The state-transition matrix, and the input matrix must be such that, for any possible input, the system dynamics meets its intended function, which can be defined by some performance requirements. These performance requirements constrain the system trajectories to some region of the state-space defined by a symmetrical polytope. When a fault occurs, the state-transition matrix, and the input matrix might be altered; and then, it is guaranteed the system survives the fault if all possible post-fault trajectories are fully contained in the region of the state-space defined by the performance requirements. This notion of guaranteed survivability is the basis to model (in the context of LTI systems) the concept of fault coverage, which is a probabilistic measure of the ability of the system to keep delivering its intended function after a fault. Analytical techniques to obtain estimates of the proposed fault coverage model are presented. To illustrate the application of the proposed model, two examples are discussed.

A Unified Approach to Reliability Assessment of Multiphase DC–DC Converters in Photovoltaic Energy Conversion Systems

“…It is defined as the conditional probability that, given a fault has occurred, the system architecture is altered, and the intended functionality is restored [51]. Techniques to quantify fault coverage for dynamical systems of the kind considered in this paper are proposed in [52]. In essence, if detailed models are available, the FDIR effectiveness to handle each particular fault can be quantified by fault coverage c, which can be incorporated into the state-transition diagram, as shown in Fig.…”

“…As a consequence of a fault in State 1, a transition may be made to State 2 (fault detected and isolated) or to State 3 (failed state). Design and implementation aspects of FDIR are beyond the scope of this paper, and readers are referred to [50] and [52] and the references within for further information. In this study, we assume perfect FDIR, which implies c = 1.…”

A Set-Theoretic Method for Parametric Uncertainty Analysis in Markov Reliability and Reward Models

“…The parameter vector can be expressed as where is the vector of nominal parameter values, and where is a parallelotope defined as (6) The vertices of are determined by the parameter value ranges, while the vectors define the edges of [14]. Given this unknown-but-bounded parametric uncertainty model, we are interested in characterizing the uncertainty in the stationary distribution .…”

Robust and resilient control design for cyber-physical systems with an application to power systems

“…This assumption can be validated by two facts. The first is that the attack rate on control systems is often lower than the one on information systems, [17], and the second one is that the time scale of the failure rate of devices and components in control systems is larger than the one of the system dynamics and operations [18].…”