This work is focused on structural approaches to studying diagnosability properties given a system model taking into account, both simultaneously or separately, integral and differential causal interpretations for differential constraints. We develop a model characterization and corresponding algorithms, for studying system diagnosability using a structural decomposition that avoids generating the full set of system ARRs. Simultaneous application of integral and differential causal interpretations for differential constraints results in a mixed causality interpretation for the system. The added power of mixed causality is demonstrated using a case study. Finally, we summarize our work and provide a discussion of the advantages of mixed causality over just derivative or just integral causality.
How to Cite
diagnosis, fault isolation, diagnosability analysis, dynamic systems
(Brenan et al., 1996 ) K. E. Brenan, S. L. Campbell, and L. R. Petzold. Numerical solution of initial-value problems in differential-algebraic equations, volume 14 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1996. Revised and corrected reprint of the 1989 original.
(Cassar and Staroswiecki, 1997 ) J.P. Cassar and M. Staroswiecki. A structural approach for the design of failure detection and identiﬁcation systems. In Prococeedings of IFAC Control of Industrial Systems, Belfort, France, 1997.
(Chantler et al., 1996 ) M. Chantler, S. Daus, T. Vikatos, and G. Coghill. The use of quantitative dynamic models and dependency recording engines. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, DX96, pages 59–68, Val Morin, Quebec, Canada, 1996.
(Cordier et al., 2004 ) M.O. Cordier, P. Dague, F. Lévy, J. Montmain, M. Staroswiecki, and L. Travé-Massuy`es. Conﬂicts versus Analytical Redundancy Relations: a comparative analysis of the Model-based Diagnosis approach from the Artiﬁcial Intelligence and Automatic Control perspectives. IEEE Trans. Syst. Man Cy. B., 34(5):2163–2177, 2004.
(Dressler and Struss, 1996 ) O. Dressler and P. Struss. The Consistency-based approach to automated diagnosis of devices. In Gerhard Brewka, editor, Principles of Knowledge Representation, pages 269–314. CSLI Publications, Standford, 1996.
(Dressler and Struss, 2003 ) O. Dressler and P. Struss. A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In Proceedings of the 14th International Workshop on Principles of Diagnosis, DX03, Washington D.C., USA, 2003.
(Dulmage and Mendelsohn, 1958 ) A. L. Dulmage and N. S.Mendelsohn. Coverings of bipartite graphs. Canadian Journal of Mathematics, 10:517–534, 1958.
(Flaugergues et al., 2009 ) V. Flaugergues, V. Cocquempot, M. Bayart, and M. Pengov. Structural Analysis for FDI: a modiﬁed, invertibility-based canonical decomposition. In Proceedings of the 20th International Workshop on Principles of Diagnosis, DX09, pages 59–66, Stockholm, Sweden, 2009.
(Fritzson, 2004 ) Peter Fritzson. Principles of object oriented modeling and simulation with modelica 2.1. Wiley, 2004.
(Harary, 1969 1969. F. Harary. Graph theory. Addison-Wesley, Krysander and Frisk, 2008 ) M. Krysander and E. Frisk. Sensor placement for fault diagnosis. IEEE Trans. Syst. Man Cy. A., 38(6):1398–1410, 2008.
(Krysander et al., 2008 ) M. Krysander, J. Aslund, and M. Nyberg. An Efﬁcient Algorithm for Finding Minimal Over-constrained Sub-systems for Model-based Diagnosis. IEEE Trans. Syst. Man Cy. A., 38(1):197–206, 2008.
(Pulido and Alonso, 2004 ) B. Pulido and C. Alonso. Possible Conﬂicts: a compilation technique for consistencybased diagnosis. IEEE Trans. Syst. Man Cy. B., 34(5):2192–2206, Oct. 2004.
Reiter, 1987 ) R. Reiter. A Theory of Diagnosis from First Principles. Artiﬁcial Intelligence, 32:57–95, 1987.
( Rosich et al., 2009 ) A. Rosich, E. Frisk, J. Aslund, R. Sarrate, and F. Nejjari. Sensor Placement for Fault Diagnosis Based On Causal Computations. In Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS09, pages 402–407, Barcelona, Spain, 2009.
(Travé-Massuy`es et al., 2006 ) L. Travé-Massuy`es, T. Escobet, and X. Olive. Diagnosability analysis based on component supported analytical redundancy relations. IEEE Trans. Syst. Man Cy. A., 36(6), 2006.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.