Application of Model Based Diagnosis for Diagnosing Faults in the High-speed Maglev's Traction Power Supply System. - Zhigang Liu; Tongjie Liu; Wei Zhong (Cogn. Comput., 2010)