Abstract Fault diagnosis of Discrete Event Systems has become an active research area in
recent years. The research activity in this area is driven by the needs of many different …

This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

The first step in the diagnosis of failure occurrences in discrete event systems is the
verification of the system diagnosability. Several works have addressed this problem using …

A system is said to be current-state opaque if the entrance of the system state to a set of
secret states remains opaque (uncertain) to an intruder-at least until the system leaves the …

In the usual approaches to fault diagnosis of discrete event systems it is assumed that not
only all sensors work properly but also all information reported by sensors always reaches …

This paper addresses the problem of fault diagnosis and diagnosability enforcement of
discrete event systems. Given a nondiagnosable discrete event system modeled with Petri …

In this paper, we study fault diagnosis in discrete event systems modeled by partially
observed Petri nets, ie, Petri nets equipped with sensors that allow observation of the …

We consider the problem of diagnosing the occurrence of a certain unobservable event of
interest, the fault event, in the operation of a partially-observed discrete-event system subject …

This paper is about the diagnosability of fault patterns in timed stochastic discrete event
systems. For this purpose, the diagnosability problem is formulated with labeled stochastic …

This article begins with an introduction to the modeling of discrete event systems, a class of
dynamical systems with discrete states and event-driven dynamics. It then focuses on logical …