Automatic component abstraction for model-based diagnosis on relational models

DOI10.3233/AIC-130558MaRDI QIDQ5167985zbMATH OpenFDO

Authors Gianluca Torta, Pietro Torasso

Publication date 3 July 2014

Published in AI Communications (Search for Journal in Brave)

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)

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

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)