Model-Based Diagnosis for Automotive Repair.

Marialuisa Sanseverino Fulvio Cascio

Published in: IEEE Expert (1997)

Keyphrases

model based diagnosis
repair actions
model based reasoning
diagnostic reasoning
discrete event systems
fault localization
dynamic systems
consistency based diagnosis
diagnostic systems
constraint programming
physical systems
digital circuits
model checking
constraint satisfaction
diagnostic process