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

We consider a failure diagnosis problem for discrete event systems in the presence of 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. Copyright (C) 2020 The Authors.