Diagnosis of Open Circuit Faults for Traction Inverter Based on Mixed Logic Dynamic Model