Parametric abstraction of behavioral modes for model-based diagnosis

DOI10.3233/AIC-2009-0444MaRDI QIDQ5322326zbMATH OpenOpenAlexFDO

Authors Gianluca Torta, Pietro Torasso

Publication date 20 July 2009

Published in AI Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/aic-2009-0444

zbMATH Keywords

abstractionmodel-based diagnosismodel compilation

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• Automatic component abstraction for model-based diagnosis on relational models
• KI 2005: Advances in Artificial Intelligence
• Hierarchical model-based diagnosis based on structural abstraction
• scientific article; zbMATH DE number 4185071
• Abstraction-based failure diagnosis for discrete event systems

Cited in

(5)

• Task-dependent qualitative domain abstraction
• Diagnosing time-varying misbehavior: An approach based on model decomposition
• KI 2005: Advances in Artificial Intelligence
• Hierarchical model-based diagnosis based on structural abstraction
• Automatic component abstraction for model-based diagnosis on relational models

This page was built for publication: Parametric abstraction of behavioral modes for model-based diagnosis

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