Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems.

Gianfranco Lamperti Marina Zanella Xiangfu Zhao

Published in: CD-MAKE (2018)

Keyphrases

model based diagnosis
physical systems
discrete event systems
complex systems
model based reasoning
knowledge compilation
dynamic systems
digital circuits
expert systems
database systems
knowledge based systems
integrity constraints
qualitative and quantitative
diagnostic reasoning