A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures

Abstract

Abstract We consider a failure diagnosis problem for discrete event systems in the presence of sensor failures. In most existing works on failure diagnosis subject to sensor failures, intermittent sensor failures and permanent ones are dealt with separately. In this paper, we develop a general framework where the diagnosis problem can be addressed in the presence of both intermittent and permanent sensor failures. We introduce a new notion of diagnosability subject to sensor failures in the general framework. Then, we present how to verify the diagnosability property.