Parametric abstraction of behavioral modes for model-based diagnosis

DOI10.3233/AIC-2009-0444zbMATH Open1187.68374OpenAlexW1676946443MaRDI QIDQ5322326FDOQ5322326

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

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

zbMATH Keywords

abstractionmodel-based diagnosismodel compilation

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cited In (4)

• 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

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)