Automatic component abstraction for model-based diagnosis on relational models

DOI10.3233/AIC-130558zbMATH Open1291.68379MaRDI QIDQ5167985FDOQ5167985

Authors: Gianluca Torta, Pietro Torasso 

Publication date: 3 July 2014

Published in: AI Communications (Search for Journal in Brave)

Recommendations

• Parametric abstraction of behavioral modes for model-based diagnosis
• KI 2005: Advances in Artificial Intelligence
• Hierarchical model-based diagnosis based on structural abstraction
• Abstraction-based failure diagnosis for discrete event systems
• scientific article; zbMATH DE number 2086972

zbMATH Keywords

relational modelsmodel-based diagnosiscomponent abstractionminimum-cardinalitytask-dependent abstraction

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Task-dependent qualitative domain abstraction
• Parametric abstraction of behavioral modes for model-based diagnosis
• KI 2005: Advances in Artificial Intelligence
• Hierarchical model-based diagnosis based on structural abstraction

This page was built for publication: Automatic component abstraction for model-based diagnosis on relational models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5167985)