Parametric abstraction of behavioral modes for model-based diagnosis

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

Pietro Torasso, Gianluca Torta

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)

Cited In (1)

• Diagnosing time-varying misbehavior: An approach based on model decomposition

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Abstraction-based failure diagnosis for discrete event systems 👍 👎

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)