Abstract
Model-based diagnosis is concerned with diagnosing faults or malfunction of real-world physical or cyberphysical systems using a model of the structure and behavior of the systems. As cyberphysical systems can be extremely large and complex, and the associated computational models will be then equally large and complex, they impose a hard to beat challenge on the computational feasibility of reasoning with such models. When such a model is able to handle the uncertainty associated with diagnostics, giving rise to probabilistic model-based diagnostics, the computational feasibility becomes even harder. This paper: (1) proposes a novel graphical method underlying model-based diagnostics; (2) demonstrates experimentally how a novel, by the authors developed architecture of partitioned positive weighted model counting, is able to handle exact inference to answer a variety of probabilistic queries regarding the health status of a cyberphysical system. Results obtained are well within acceptable time bounds.
Original language | English |
---|---|
Title of host publication | Proceedings of the European Conference of the PHM Society 2024 |
Editors | Phuc Do, Cordelia Ezhilarasu |
Publisher | PHM Society |
Pages | 643-654 |
Number of pages | 12 |
Volume | 8 |
Edition | 1 |
ISBN (Print) | 9781936263400 |
DOIs | |
Publication status | Published - 27 Jun 2024 |
Event | 8th European Conference of the Prognostics and Health Management Society 2024 - Prague, Czech Republic Duration: 3 Jul 2024 → 5 Jul 2024 https://phm-europe.org/ |
Conference
Conference | 8th European Conference of the Prognostics and Health Management Society 2024 |
---|---|
Abbreviated title | phme24 |
Country/Territory | Czech Republic |
City | Prague |
Period | 3/07/24 → 5/07/24 |
Internet address |