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

DOI10.1007/BF01530752zbMath0855.68099OpenAlexW1993842818MaRDI QIDQ1924816

Luca Console, Daniele Theseider Dupré, Luigi Portinale, Pietro Torasso

Publication date: 3 December 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530752

zbMATH Keywords

time-varying systemsmode transition graphs

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A spectrum of definitions for temporal model-based diagnosis ⋮ Process algebras for systems diagnosis.

Cites Work

• Temporal constraint networks
• On the Relationship Between Abduction and Deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Diagnosing time-varying misbehavior: An approach based on model decomposition