この資料をSMS送信: State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming