EFFICIENT ON-LINE FAILURE IDENTIFICATION FOR DISCRETE-EVENT SYSTEMS

摘要

The paper addresses the problem of diagnosing complex embedded discrete-event systems. Given a flow of observations from the system, the goal is to explain these observations by identifying possible failures. Approaches that efficiently compute the possible failures, like the classical diagnoser approach, suffer from large space complexity and hence cause difficulties in embedding diagnostic activities. This paper presents a method that dramatically reduces the size of the classical diagnoser and keeps its efficiency.