A Generalized Fault Coverage Model for Linear Time-Invariant Systems

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.