Model-based diagnosis with uncertain observations.

Dean Cazes Meir Kalech

Published in: Int. J. Intell. Syst. (2021)

Keyphrases

model based diagnosis
model based reasoning
diagnostic reasoning
consistency based diagnosis
discrete event systems
physical systems

fault localization
dynamic systems
digital circuits
possibilistic networks
constraint programming

decision making
failure diagnosis
repair actions
diagnostic systems
cooperative

model checking
hardware designs
distributed systems
graphical models
objective function