Graph-Theoretic Analysis of Residual Generation Under Computational Constraints
This work addresses fault diagnosis in systems with computational constraints, but it is incremental as it builds on existing concepts like PSO/MSO sets and MTES.
The paper tackles the problem of model-based fault diagnosis under computational constraints by introducing a unified structural framework that identifies suitable submodels for residual generation. The results show that the framework generalizes existing MTES-based analysis to scenarios with explicit computational limitations.
A unified structural framework is presented for model-based fault diagnosis that explicitly incorporates both fault locations and constraints imposed by the residual generation methodology. Building on the concepts of proper and minimal structurally overdetermined (PSO/MSO) sets and Test Equation Supports (TES/MTES), the framework introduces testable PSO sets, Residual Generation (RG) sets, irreducible fault signatures (IFS), and Irreducible RG (IRG) sets to characterize which submodels are suitable for residual generation under given computational restrictions. An operator $M^*$ is defined to extract, from any model, the largest testable PSO subset consistent with a specified residual generation method. Using this operator, an algorithm is developed to compute all RG sets, and it is shown that irreducible fault signature sets form the join-irreducible elements of a join-semilattice of sets and fully capture the multiple-fault isolability properties in the method-constrained setting. The approach is exemplified on a semi-explicit linear DAE model, where low structural differential index can be used to define $M^*$. The results demonstrate that the proposed framework generalizes MTES-based analysis to residual generation scenarios with explicit computational limitations.