Fault Diagnosis in Discrete Event Systems via State and Event Observations
Isao ONISHI, Toshimitsu Ushio, Shinzo Kodama · Transactions of the Society of Instrument and Control Engineers · 1996
Recently, many model-based fault detection methods have been proposed in discrete event systems. In this paper, we consider discrete event systems modeled by finite state machines, and propose a design method of a diagnoser which detects failurers in the discrete event systems via state and event observations. This diagnoser can detect failures more precisely than that using event observation only. This diagnoser performs diagnostics using on-line observations of the system behavior. It is said that the systems diagnosable if the diagnoser detects any failure using finite numbers of observation data after it occurs. We consider a necessary and sufficient condition for systems to be diagnosable.