[PDF][PDF] Diagnosis of intermittent faults with conditional preferences

C Pralet, X Pucel, S Roussel - … of the 27th International Workshop on …, 2016 - academia.edu
C Pralet, X Pucel, S Roussel
Proceedings of the 27th International Workshop on Principles of …, 2016academia.edu
Diagnosis of intermittent faults is significantly different from diagnosis of permanent faults,
especially when selecting one or several preferred diagnoses. In this paper, we describe a
new modeling approach for intermittent faults based on Past Time Linear Temporal Logic
(PTLTL), and we suggest a conditional diagnosis selection approach based on Conditional
Preference theories. We describe how intermittent faults can create diagnosis instability and
show how our approach can be used to mitigate it. We then describe an incremental way to …
Abstract
Diagnosis of intermittent faults is significantly different from diagnosis of permanent faults, especially when selecting one or several preferred diagnoses. In this paper, we describe a new modeling approach for intermittent faults based on Past Time Linear Temporal Logic (PTLTL), and we suggest a conditional diagnosis selection approach based on Conditional Preference theories. We describe how intermittent faults can create diagnosis instability and show how our approach can be used to mitigate it. We then describe an incremental way to compute diagnoses at each time step, and a reduction of the incremental diagnosis computation to a MaxSAT query. Finally we discuss some limitations of our diagnoser and how they can be overcome.
academia.edu
以上显示的是最相近的搜索结果。 查看全部搜索结果