OASIcs.DX.2024.13.pdf
- Filesize: 0.85 MB
- 15 pages
Document
MSO Sets and MTES for Dummies
Authors
Louise Travé-Massuyès 
,
Elodie Chanthery
-
Part of:
Volume:
35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Principles of Diagnosis and Resilient Systems (DX) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-11-26
File
Document Identifiers
Author Details
Cite As Get BibTex
Maxence Glotin, Louise Travé-Massuyès, and Elodie Chanthery. MSO Sets and MTES for Dummies. In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 13:1-13:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/OASIcs.DX.2024.13
Abstract
Structural analysis-based diagnosis allows for the extraction of a wealth of information and properties by studying a structural model that represents a physical system. This diagnosis approach is centered on structurally overdetermined sets, which enable the generation of residuals for fault detection and isolation. As the 'for Dummies' editorial collection, this article aims at taking on complex concepts and making them easy to understand. It aims to clarify and compare key concepts in structural analysis, focusing on Minimally Structurally Overdetermined (MSO) sets and Minimal Test Equation Supports (MTES). Additionally, we explain and illustrate the Dulmage-Mendelsohn decomposition, which helps identify structurally overdetermined parts of the system and plays a important role in the structural analysis process. Through detailed exploration and practical examples, we demonstrate the roles, applications, and interrelations of these sets, highlighting their respective strengths and limitations. The paper provides an overview of the algorithms used to identify and use these sets, including a theoretical and practical comparison of their computational efficiency and diagnostic capabilities.
Subject Classification
ACM Subject Classification
- Computing methodologies → Knowledge representation and reasoning
Keywords
- Structural analysis
- MTES
- MSO sets
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Elodie Chanthery, Anna Sztyber, Louise Travé-Massuyès, and Carlos Gustavo Pérez-Zuñiga. Process decomposition and test selection for distributed fault diagnosis. In Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices: 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 22-25, 2020, Proceedings 33, pages 914-925. Springer, 2020. URL: https://doi.org/10.1007/978-3-030-55789-8_78.
- Elodie Chanthery, Louise Travé-Massuyès, and Saurabh Indra. Fault isolation on request based on decentralized residual generation. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 46(5):598-610, 2015. URL: https://doi.org/10.1109/TSMC.2015.2479192.
- Marie-Odile Cordier, Philippe Dague, François Lévy, Jacky Montmain, Marcel Staroswiecki, and Louise Travé-Massuyès. Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 34(5):2163-2177, 2004. URL: https://doi.org/10.1109/TSMCB.2004.835010.
-
Andrew L Dulmage and Nathan S Mendelsohn. Coverings of bipartite graphs. Canadian Journal of Mathematics, 10:517-534, 1958.
-
Mattias Krysander, Jan Åslund, and Erik Frisk. A structural algorithm for finding testable sub-models and multiple fault isolability analysis. In 21st International Workshop on Principles of Diagnosis (DX-10), Portland, Oregon, USA, pages 17-18, 2010.
- Mattias Krysander, Jan Åslund, and Mattias Nyberg. An efficient algorithm for finding minimal overconstrained subsystems for model-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 38(1):197-206, 2007. URL: https://doi.org/10.1109/TSMCA.2007.909555.
-
Carlos Gustavo Pérez, Louise Travé-Massuyès, Elodie Chanthery, and Javier Sotomayor. Decentralized diagnosis in a spacecraft attitude determination and control system. Journal of Physics: Conference Series, 659(1):012054, 2015.
-
Carlos Pérez-Zuñiga, Elodie Chanthery, Louise Travé-Massuyes, Javier Sotomayor, and Christian Artigues. Decentralized diagnosis via structural analysis and integer programming. IFAC-PapersOnLine, 51(24):168-175, 2018.