{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T07:54:03Z","timestamp":1768290843539,"version":"3.49.0"},"reference-count":103,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T00:00:00Z","timestamp":1764288000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Engineering Applications of Artificial Intelligence"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1016\/j.engappai.2025.113379","type":"journal-article","created":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T22:07:50Z","timestamp":1764626870000},"page":"113379","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"PA","title":["On validating propositional logic system descriptions for fault diagnosis"],"prefix":"10.1016","volume":"165","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8674-6895","authenticated-orcid":false,"given":"Alexander","family":"Diedrich","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9470-0811","authenticated-orcid":false,"given":"Lukas","family":"Moddemann","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8747-3596","authenticated-orcid":false,"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.engappai.2025.113379_b1","series-title":"Lectures on Nonlinear Dynamics","first-page":"133","article-title":"An introduction to nonlinear system identification","author":"Aguirre","year":"2023"},{"key":"10.1016\/j.engappai.2025.113379_b2","doi-asserted-by":"crossref","unstructured":"Balzereit, K., Diedrich, A., Ginster, J., Windmann, S., Niggemann, O., 2021. An Ensemble of Benchmarks for the Evaluation of AI Methods for Fault Handling in CPPS. In: 19th IEEE International Conference on Industrial Informatics.","DOI":"10.1109\/INDIN45523.2021.9557516"},{"key":"10.1016\/j.engappai.2025.113379_b3","article-title":"AutoConf: A new algorithm for reconfiguration of cyber-physical production systems","author":"Balzereit","year":"2022","journal-title":"IEEE Trans. Ind. Inform."},{"issue":"6","key":"10.1016\/j.engappai.2025.113379_b4","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1109\/TC.1976.1674658","article-title":"A theory of diagnosability of digital systems","volume":"100","author":"Barsi","year":"1976","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10626-012-0153-z","article-title":"Diagnosability analysis of hybrid systems cast in a discrete-event framework","volume":"24","author":"Bayoudh","year":"2014","journal-title":"Discrete Event Dyn. Syst."},{"key":"10.1016\/j.engappai.2025.113379_b6","doi-asserted-by":"crossref","DOI":"10.1016\/j.artint.2022.103725","article-title":"Diagnosability of fair transition systems","volume":"309","author":"Bittner","year":"2022","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.engappai.2025.113379_b7","series-title":"A Logical Theory of Causality","author":"Bochman","year":"2021"},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b8","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1007\/s12555-018-0682-9","article-title":"Diagnosability analysis of intermittent faults in discrete event systems using a twin-plant structure","volume":"18","author":"Boussif","year":"2020","journal-title":"Int. J. Control. Autom. Syst."},{"key":"10.1016\/j.engappai.2025.113379_b9","unstructured":"Bozzano, M., Cimatti, A., Tonetta, S., 2019. Testing diagnosability of fair discrete-event systems. In: Proc. International Workshop on Principles of Diagnosis (DX-19)."},{"issue":"2","key":"10.1016\/j.engappai.2025.113379_b10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.neuroimage.2010.02.059","article-title":"Wiener\u2013Granger causality: a well established methodology","volume":"58","author":"Bressler","year":"2011","journal-title":"Neuroimage"},{"key":"10.1016\/j.engappai.2025.113379_b11","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1214\/23-SS145","article-title":"Some models are useful, but how do we know which ones? Towards a unified Bayesian model taxonomy","volume":"17","author":"B\u00fcrkner","year":"2023","journal-title":"Stat. Surv."},{"issue":"12","key":"10.1016\/j.engappai.2025.113379_b12","doi-asserted-by":"crossref","first-page":"3104","DOI":"10.1109\/TAC.2012.2200372","article-title":"A new approach for diagnosability analysis of Petri nets using verifier nets","volume":"57","author":"Cabasino","year":"2012","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"10.1016\/j.engappai.2025.113379_b13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s000100050025","article-title":"Graph similarity and distance in graphs","volume":"55","author":"Chartrand","year":"1998","journal-title":"Aequationes Math."},{"issue":"1\u20132","key":"10.1016\/j.engappai.2025.113379_b14","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.artint.2003.06.003","article-title":"Hierarchical model-based diagnosis based on structural abstraction","volume":"155","author":"Chittaro","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.engappai.2025.113379_b15","doi-asserted-by":"crossref","DOI":"10.1016\/j.artint.2024.104116","article-title":"Critical observations in model-based diagnosis","author":"Christopher","year":"2024","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.engappai.2025.113379_b16","series-title":"ECAI","first-page":"131","article-title":"Diagnosis and diagnosability analysis using PEPA","author":"Console","year":"2000"},{"key":"10.1016\/j.engappai.2025.113379_b17","unstructured":"Cordier, M.-O., Trav\u00e9-Massuyes, L., Pucel, X., et al., 2006. Comparing diagnosability in continuous and discrete-event systems. In: Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06). pp. 55\u201360."},{"issue":"8","key":"10.1016\/j.engappai.2025.113379_b18","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3182\/20090630-4-ES-2003.00036","article-title":"Improving diagnosability of hybrid systems through active diagnosis","volume":"42","author":"Daigle","year":"2009","journal-title":"IFAC Proc. Vol."},{"issue":"1","key":"10.1016\/j.engappai.2025.113379_b19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"De Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"9","key":"10.1016\/j.engappai.2025.113379_b20","doi-asserted-by":"crossref","first-page":"2050","DOI":"10.1109\/TAC.2011.2105738","article-title":"Verification of hybrid automata diagnosability by abstraction","volume":"56","author":"Di Benedetto","year":"2011","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.engappai.2025.113379_b21","unstructured":"Diedrich, A., Buchholz, F., Niggemann, O., 2022. Learning a Causal System Description for Diagnosing Physical Systems. In: Proceedings of the 33rd International Workshop on Principles of Diagnosis, Toulouse, France.."},{"key":"10.1016\/j.engappai.2025.113379_b22","series-title":"Applying simulated annealing to problems in model-based diagnosis","author":"Diedrich","year":"2016"},{"key":"10.1016\/j.engappai.2025.113379_b23","doi-asserted-by":"crossref","DOI":"10.1109\/TSMC.2025.3614484","article-title":"Diagnosis driven anomaly detection for cyber-physical systems","author":"Diedrich","year":"2025","journal-title":"IEEE Trans. Syst. Man, Cybern.: Syst. (Early Access )"},{"key":"10.1016\/j.engappai.2025.113379_b24","doi-asserted-by":"crossref","unstructured":"Diedrich, A., Moddemann, L., Niggemann, O., 2024. Learning System Descriptions for Cyber-Physical Systems. In: Proceedings of 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes.","DOI":"10.1016\/j.ifacol.2024.07.289"},{"key":"10.1016\/j.engappai.2025.113379_b25","doi-asserted-by":"crossref","unstructured":"Diedrich, A., Niggemann, O., 2021. Diagnosing Systems through Approximated Information [submitted]. In: 13th Annual Conference of the Prognostics and Health Management Society.","DOI":"10.36001\/phmconf.2021.v13i1.2983"},{"key":"10.1016\/j.engappai.2025.113379_b26","doi-asserted-by":"crossref","DOI":"10.1016\/j.engappai.2021.104636","article-title":"On residual-based diagnosis of physical systems","volume":"109","author":"Diedrich","year":"2022","journal-title":"Eng. Appl. Artif. Intell."},{"issue":"1","key":"10.1016\/j.engappai.2025.113379_b27","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TCST.2017.2757456","article-title":"Diagnosability of hybrid systems","volume":"27","author":"Diene","year":"2017","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b28","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0098-1354(93)80018-I","article-title":"A plant-wide industrial process control problem","volume":"17","author":"Downs","year":"1993","journal-title":"Comput. Chem. Eng."},{"key":"10.1016\/j.engappai.2025.113379_b29","series-title":"SpaceOps 2012","article-title":"An advanced columbus thermal and environmental control system","author":"Doy\u00e9","year":"2012"},{"key":"10.1016\/j.engappai.2025.113379_b30","series-title":"2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation","article-title":"An AI benchmark for diagnosis, reconfiguration & planning","author":"Ehrhardt","year":"2012"},{"key":"10.1016\/j.engappai.2025.113379_b31","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1016\/j.knosys.2018.07.039","article-title":"Structural abstraction for model-based diagnosis with a strong fault model","volume":"161","author":"Elimelech","year":"2018","journal-title":"Knowl.-Based Syst."},{"key":"10.1016\/j.engappai.2025.113379_b32","series-title":"Fault Diagnosis of Dynamic Systems","author":"Escobet","year":"2019"},{"key":"10.1016\/j.engappai.2025.113379_b33","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1613\/jair.3025","article-title":"Approximate model-based diagnosis using greedy stochastic search","volume":"38","author":"Feldman","year":"2010","journal-title":"J. Artificial Intelligence Res."},{"key":"10.1016\/j.engappai.2025.113379_b34","series-title":"KI 2001: Advances in Artificial Intelligence: Joint German\/Austrian Conference on AI Vienna, Austria, September 19\u201321, 2001 Proceedings 24","first-page":"185","article-title":"Hierarchical diagnosis of large configurator knowledge bases","author":"Felfernig","year":"2001"},{"key":"10.1016\/j.engappai.2025.113379_b35","unstructured":"Fourlas, G., Kyriakopoulos, K.J., Krikelis, N., 2002. Diagnosability of hybrid systems. In: Proceedings of the 10th IEEE Mediterranean Conference on Control and Automation."},{"key":"10.1016\/j.engappai.2025.113379_b36","unstructured":"Frisk, E., Krysander, M., 2007. Sensor placement for maximum fault isolability. In: Proceedings of 18th International Workshop on Principles of Diagnosis. pp. 106\u2013113."},{"issue":"1","key":"10.1016\/j.engappai.2025.113379_b37","doi-asserted-by":"crossref","first-page":"3287","DOI":"10.1016\/j.ifacol.2017.08.504","article-title":"A toolbox for analysis and design of model based diagnosis systems for large scale models","volume":"50","author":"Frisk","year":"2017","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.engappai.2025.113379_b38","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10044-008-0141-y","article-title":"A survey of graph edit distance","volume":"13","author":"Gao","year":"2010","journal-title":"Pattern Anal. Appl."},{"issue":"9","key":"10.1016\/j.engappai.2025.113379_b39","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1109\/TCS.1979.1084687","article-title":"Controllability\/observability analysis of digital circuits","volume":"26","author":"Goldstein","year":"1979","journal-title":"IEEE Trans. Circuits Syst."},{"key":"10.1016\/j.engappai.2025.113379_b40","first-page":"253","article-title":"Diagnosability of discrete faults with uncertain observations","author":"Grastien","year":"2018","journal-title":"Diagn. Secur. Saf. Hybrid Dyn. Cyber-Physical Syst."},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b41","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/54.785838","article-title":"Unveiling the ISCAS-85 benchmarks: A case study in reverse engineering","volume":"16","author":"Hansen","year":"1999","journal-title":"IEEE Des. Test Comput."},{"key":"10.1016\/j.engappai.2025.113379_b42","series-title":"Validation and Verification of Conceptual Models of Diagnosis","first-page":"117","article-title":"Validation and verification of conceptual models of diagnosis","author":"van Harmelen","year":"1997"},{"key":"10.1016\/j.engappai.2025.113379_b43","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1007\/BF02365362","article-title":"On the jaccard similarity test","volume":"88","author":"Ivchenko","year":"1998","journal-title":"J. Math. Sci."},{"key":"10.1016\/j.engappai.2025.113379_b44","article-title":"Hierarchical fault root cause identification in plant-wide processes using distributed direct causality analysis","author":"Jiang","year":"2023","journal-title":"IEEE Trans. Ind. Inform."},{"key":"10.1016\/j.engappai.2025.113379_b45","series-title":"2020 59th IEEE Conference on Decision and Control","first-page":"2690","article-title":"Structural methods for distributed fault diagnosis of large-scale systems","author":"Jung","year":"2020"},{"key":"10.1016\/j.engappai.2025.113379_b46","series-title":"Learning for Dynamics and Control Conference","first-page":"8","article-title":"Automated design of grey-box recurrent neural networks for fault diagnosis using structural models and causal information","author":"Jung","year":"2022"},{"key":"10.1016\/j.engappai.2025.113379_b47","article-title":"Structural fault detection and isolation in hybrid systems","author":"Khorasgani","year":"2017","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"10.1016\/j.engappai.2025.113379_b48","first-page":"17","article-title":"Wind turbine fault localization: A practical application of model-based diagnosis","author":"Koitz","year":"2018","journal-title":"Diagn. Secur. Saf. Hybrid Dyn. Cyber-Physical Syst."},{"key":"10.1016\/j.engappai.2025.113379_b49","series-title":"IJCAI International Joint Conference on Artificial Intelligence","first-page":"2333","article-title":"Learning SMT (LRA) constraints using SMT solvers","volume":"Vol. 2018","author":"Kolb","year":"2018"},{"issue":"6","key":"10.1016\/j.engappai.2025.113379_b50","doi-asserted-by":"crossref","first-page":"1398","DOI":"10.1109\/TSMCA.2008.2003968","article-title":"Sensor placement for fault diagnosis","volume":"38","author":"Krysander","year":"2008","journal-title":"IEEE Trans. Syst. Man, Cybern.-Part A: Syst. Humans"},{"key":"10.1016\/j.engappai.2025.113379_b51","series-title":"Fault diagnosis utilizing structural analysis","author":"Krysander","year":"2002"},{"key":"10.1016\/j.engappai.2025.113379_b52","first-page":"383","article-title":"First international diagnosis competition-dxc\u201909","volume":"9","author":"Kurtoglu","year":"2009","journal-title":"Proc. DX"},{"issue":"1","key":"10.1016\/j.engappai.2025.113379_b53","doi-asserted-by":"crossref","first-page":"3022","DOI":"10.1016\/j.ifacol.2017.08.670","article-title":"From diagnosability to opacity: A brief history of diagnosability or lack thereof","volume":"50","author":"Lafortune","year":"2017","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.engappai.2025.113379_b54","first-page":"1","article-title":"Deep learning of causal structures in high dimensions under data limitations","author":"Lagemann","year":"2023","journal-title":"Nat. Mach. Intell."},{"key":"10.1016\/j.engappai.2025.113379_b55","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1613\/jair.1.14630","article-title":"Sequence-oriented diagnosis of discrete-event systems","volume":"78","author":"Lamperti","year":"2023","journal-title":"J. Artificial Intelligence Res."},{"issue":"4","key":"10.1016\/j.engappai.2025.113379_b56","first-page":"3786","article-title":"A genetic algorithm approach for diagnosability analysis","volume":"2","author":"Leal","year":"2014","journal-title":"Int. J. Eng. Dev. Res."},{"key":"10.1016\/j.engappai.2025.113379_b57","series-title":"Signal Analysis and Prediction","first-page":"163","article-title":"System identification","author":"Ljung","year":"1998"},{"key":"10.1016\/j.engappai.2025.113379_b58","series-title":"2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation","first-page":"1","article-title":"Using ontologies to create logical system descriptions for fault diagnosis","author":"Ludwig","year":"2024"},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b59","doi-asserted-by":"crossref","DOI":"10.1103\/PhysRevE.94.032220","article-title":"Inferring connectivity in networked dynamical systems: Challenges using granger causality","volume":"94","author":"Lusch","year":"2016","journal-title":"Phys. Rev. E"},{"key":"10.1016\/j.engappai.2025.113379_b60","series-title":"Industrial Inform. (INDIN), 2014 12th IEEE International Conference on","first-page":"60","article-title":"Online passive learning of timed automata for cyber-physical production systems","author":"Maier","year":"2014"},{"key":"10.1016\/j.engappai.2025.113379_b61","series-title":"\u201dTennessee-Eastman-Process\u201d alarm management dataset","author":"Manca","year":"2020"},{"key":"10.1016\/j.engappai.2025.113379_b62","series-title":"2023 IEEE 21st International Conference on Industrial Informatics","first-page":"1","article-title":"Concept of a causality-driven fault diagnosis system for cyber-physical production systems","author":"Mehling","year":"2023"},{"key":"10.1016\/j.engappai.2025.113379_b63","unstructured":"Merkelbach, S., Diedrich, A., Niggemann, O., 2024. Towards the Generation of Models for Fault Diagnosis of CPS Using VQA Models. In: ML4CPS 2024 \u2013 Machine Learning for Cyber Physical Systems Conference."},{"key":"10.1016\/j.engappai.2025.113379_b64","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1613\/jair.4503","article-title":"A novel sat-based approach to model based diagnosis","volume":"51","author":"Metodi","year":"2014","journal-title":"J. Artificial Intelligence Res."},{"key":"10.1016\/j.engappai.2025.113379_b65","doi-asserted-by":"crossref","unstructured":"Moddemann, L., Steude, H.S., Diedrich, A., Niggemann, O., 2024a. Discret2Di - Deep Learning based Discretization for Model-based Diagnosis. In: Proceedings of 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes.","DOI":"10.1016\/j.ifacol.2024.07.291"},{"key":"10.1016\/j.engappai.2025.113379_b66","series-title":"2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation","first-page":"1","article-title":"Extracting knowledge using machine learning for anomaly detection and root-cause diagnosis","author":"Moddemann","year":"2024"},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b67","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","article-title":"Hierarchical model-based diagnosis","volume":"35","author":"Mozeti\u010d","year":"1991","journal-title":"Int. J. Man-Mach. Stud."},{"issue":"3","key":"10.1016\/j.engappai.2025.113379_b68","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1109\/TSMCA.2007.893487","article-title":"Model-based diagnosis of hybrid systems","volume":"37","author":"Narasimhan","year":"2007","journal-title":"IEEE Trans. Syst. Man, Cybern.-Part A: Syst. Humans"},{"issue":"5\u20136","key":"10.1016\/j.engappai.2025.113379_b69","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1016\/j.mcm.2006.06.008","article-title":"Fault diagnosability utilizing quasi-static and structural modelling","volume":"45","author":"Nejjari","year":"2007","journal-title":"Math. Comput. Modelling"},{"issue":"2","key":"10.1016\/j.engappai.2025.113379_b70","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"Nguyen","year":"1987","journal-title":"AI Mag."},{"key":"10.1016\/j.engappai.2025.113379_b71","series-title":"Causality","author":"Pearl","year":"2009"},{"key":"10.1016\/j.engappai.2025.113379_b72","unstructured":"Peischl, B., Pill, I., Wotawa, F., 2016. Abductive diagnosis based on modelica models. In: 27th International Workshop on Principles of Diagnosis. DX."},{"key":"10.1016\/j.engappai.2025.113379_b73","first-page":"45","article-title":"Fault detection and localization using modelica and abductive reasoning","author":"Pill","year":"2018","journal-title":"Diagn. Secur. Saf. Hybrid Dyn. Cyber-Physical Syst."},{"key":"10.1016\/j.engappai.2025.113379_b74","unstructured":"Poll, S., de Kleer, J., Feldman, A., Garcia, D., Kurtoglu, T., Narasimhan, S., 2010. Second international diagnostics competition\u2013DXC\u201910. In: Proceedings of the 21st International Workshop on Principles of Diagnosis."},{"key":"10.1016\/j.engappai.2025.113379_b75","unstructured":"Poll, S., Patterson-Hine, A., Camisa, J., Garcia, D., Hall, D., Lee, C., Mengshoel, O.J., Neukom, C., Nishikawa, D., Ossenfort, J., et al., 2007. Advanced diagnostics and prognostics testbed. In: Proceedings of the 18th International Workshop on Principles of Diagnosis. DX-07, pp. 178\u2013185."},{"issue":"2","key":"10.1016\/j.engappai.2025.113379_b76","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","article-title":"Explanation and prediction: an architecture for default and abductive reasoning","volume":"5","author":"Poole","year":"1989","journal-title":"Comput. Intell."},{"issue":"8","key":"10.1016\/j.engappai.2025.113379_b77","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1002\/int.4550090804","article-title":"Foundation and application of knowledge base verification","volume":"9","author":"Preece","year":"1994","journal-title":"Int. J. Intell. Syst."},{"key":"10.1016\/j.engappai.2025.113379_b78","first-page":"167","article-title":"Hierarchical model-based diagnosis","volume":"1","author":"Provan","year":"2001","journal-title":"Proc. DX"},{"issue":"24","key":"10.1016\/j.engappai.2025.113379_b79","doi-asserted-by":"crossref","first-page":"1091","DOI":"10.1016\/j.ifacol.2018.09.726","article-title":"A survey of active fault diagnosis methods","volume":"51","author":"Pun\u010doch\u00e1\u0159","year":"2018","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.engappai.2025.113379_b80","article-title":"A theory of diagnosability of digital systems","author":"Rehak","year":"2024","journal-title":"Mach. Learn. Cyber-Physical Syst. (ML4CPS)"},{"issue":"1","key":"10.1016\/j.engappai.2025.113379_b81","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.engappai.2025.113379_b82","series-title":"International Conference on Graph Transformation","first-page":"319","article-title":"Representing first-order logic using graphs","author":"Rensink","year":"2004"},{"key":"10.1016\/j.engappai.2025.113379_b83","series-title":"IJCAI","first-page":"532","article-title":"Diagnosability testing with satisfiability algorithms.","author":"Rintanen","year":"2007"},{"key":"10.1016\/j.engappai.2025.113379_b84","doi-asserted-by":"crossref","unstructured":"Rodler, P., 2022. How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms. In: 33rd International Workshop on Principle of Diagnosis \u2013 DX 2022.","DOI":"10.3233\/FAIA230490"},{"key":"10.1016\/j.engappai.2025.113379_b85","series-title":"2012 IEEE 27th Convention of Electrical and Electronics Engineers in Israel","first-page":"1","article-title":"Machine-learning-based circuit synthesis","author":"Rokach","year":"2012"},{"key":"10.1016\/j.engappai.2025.113379_b86","first-page":"1","article-title":"Active-learning-based reconstruction of circuit model","author":"Rozenfeld","year":"2022","journal-title":"Appl. Intell."},{"issue":"11","key":"10.1016\/j.engappai.2025.113379_b87","doi-asserted-by":"crossref","first-page":"eaau4996","DOI":"10.1126\/sciadv.aau4996","article-title":"Detecting and quantifying causal associations in large nonlinear time series datasets","volume":"5","author":"Runge","year":"2019","journal-title":"Sci. Adv."},{"issue":"7","key":"10.1016\/j.engappai.2025.113379_b88","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1109\/9.701089","article-title":"Active diagnosis of discrete-event systems","volume":"43","author":"Sampath","year":"1998","journal-title":"IEEE Trans. Autom. Control"},{"issue":"9","key":"10.1016\/j.engappai.2025.113379_b89","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.engappai.2025.113379_b90","unstructured":"Stern, R., Kalech, M., Elimelech, O., 2014. Hierarchical diagnosis in strong fault models. In: Twenty Fifth International Workshop on Principles of Diagnosis."},{"issue":"6","key":"10.1016\/j.engappai.2025.113379_b91","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.ifacol.2022.07.099","article-title":"Learning physical concepts in CPS: A case study with a three-tank system","volume":"55","author":"Steude","year":"2022","journal-title":"IFAC-PapersOnLine"},{"issue":"4","key":"10.1016\/j.engappai.2025.113379_b92","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/TSMC.2017.2710132","article-title":"Model-based fault diagnosis system verification using reachability analysis","volume":"49","author":"Su","year":"2017","journal-title":"IEEE Trans. Syst. Man, Cybern.: Syst."},{"key":"10.1016\/j.engappai.2025.113379_b93","series-title":"IJCAI","first-page":"1265","article-title":"Diagnosability of discrete-event systems with uncertain observations.","author":"Su","year":"2016"},{"key":"10.1016\/j.engappai.2025.113379_b94","series-title":"A computational model of skill acquisition","author":"Sussman","year":"1973"},{"issue":"2","key":"10.1016\/j.engappai.2025.113379_b95","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/AIC-130558","article-title":"Automatic component abstraction for model-based diagnosis on relational models","volume":"26","author":"Torta","year":"2013","journal-title":"AI Commun."},{"key":"10.1016\/j.engappai.2025.113379_b96","series-title":"Fault Diagnosis of Dynamic Systems","first-page":"153","article-title":"BRIDGE: Matching model-based diagnosis from FDI and DX perspectives","author":"Trav\u00e9-Massuy\u00e8s","year":"2019"},{"key":"10.1016\/j.engappai.2025.113379_b97","series-title":"12th Intl. Work. Principles of Diagnosis","article-title":"Model-based diagnosability and sensor placement","author":"Trav\u00e9-Massuyes","year":"2001"},{"issue":"6","key":"10.1016\/j.engappai.2025.113379_b98","doi-asserted-by":"crossref","first-page":"1146","DOI":"10.1109\/TSMCA.2006.878984","article-title":"Diagnosability analysis based on component-supported analytical redundancy relations","volume":"36","author":"Trav\u00e9-Massuyes","year":"2006","journal-title":"IEEE Trans. Syst. Man, Cybern.-Part A: Syst. Humans"},{"key":"10.1016\/j.engappai.2025.113379_b99","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jprocont.2015.08.001","article-title":"Functional diagnosability and detectability of nonlinear models based on analytical redundancy relations","volume":"35","author":"Verdi\u00e8re","year":"2015","journal-title":"J. Process Control"},{"key":"10.1016\/j.engappai.2025.113379_b100","doi-asserted-by":"crossref","unstructured":"Vignolles, A., Chanthery, E., Ribot, P., 2020. An overview on diagnosability and prognosability for system monitoring. In: European Conference of the Prognostics and Health Management Society. PHM Europe.","DOI":"10.36001\/phme.2020.v5i1.1235"},{"key":"10.1016\/j.engappai.2025.113379_b101","first-page":"189","article-title":"On the verification of diagnosis models","author":"Wotawa","year":"2022","journal-title":"Ind. Artif. Intell. Technol. Appl."},{"key":"10.1016\/j.engappai.2025.113379_b102","series-title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016","first-page":"1265","article-title":"Diagnosability of discrete-event systems with uncertain observations","author":"Xingyu","year":"2016"},{"key":"10.1016\/j.engappai.2025.113379_b103","doi-asserted-by":"crossref","DOI":"10.1016\/j.aei.2022.101534","article-title":"CPS-enabled and knowledge-aided demand response strategy for sustainable manufacturing","volume":"52","author":"Yun","year":"2022","journal-title":"Adv. Eng. Inform."}],"container-title":["Engineering Applications of Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0952197625034104?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0952197625034104?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T00:15:41Z","timestamp":1768263341000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0952197625034104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":103,"alternative-id":["S0952197625034104"],"URL":"https:\/\/doi.org\/10.1016\/j.engappai.2025.113379","relation":{},"ISSN":["0952-1976"],"issn-type":[{"value":"0952-1976","type":"print"}],"subject":[],"published":{"date-parts":[[2026,2]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On validating propositional logic system descriptions for fault diagnosis","name":"articletitle","label":"Article Title"},{"value":"Engineering Applications of Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.engappai.2025.113379","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 The Authors. Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}],"article-number":"113379"}}