Reformulation for the Diagnosis of Discrete-Event Systems

Moreover, all of the of a system and, after detection, to determine the location faults that occurred within the (possibly extended) time interval and/or the type of system faults that caused the abnormal during which the system has been observed must be behaviour. A diagnosis hypothesis indicates which fault(s) accounted for in the diagnosis. Considering again the diagnosis occurred in the system, and the diagnosis is the set of alternative of a car, for each component we could be interested hypotheses that explain (i.e., are compatible) with in knowing whether a fault has occurred to it during the last the observed system behaviour. In this paper, we focus on week; in such a case, it is difficult to perform a drastic abstraction Model-Based Diagnosis (MBD) of Discrete-Event Systems of the model without losing any precision in the (DESs, see (Cassandras and Lafortune 1999)), where the diagnosis discrimination among different hypotheses. is computed by comparing a complete DES model In this article, we study a novel approach to reduce the of the system behaviour with a (partial) observation of the complexity of DES diagnosis, based on a reformulation of actual system behaviour (Sampath et al. 1995).